-
Algorithms for the Global Domination Problem
Authors:
Ernesto Parra Inza,
Nodari Vakhania,
Jose M. Sigarreta Almira,
Frank A. Hernández Mira
Abstract:
A dominating set D in a graph G is a subset of its vertices such that every vertex of the graph which does not belong to set D is adjacent to at least one vertex from set D. A set of vertices of graph G is a global dominating set if it is a dominating set for both, graph G and its complement. The objective is to find a global dominating set with the minimum cardinality. The problem is known to be…
▽ More
A dominating set D in a graph G is a subset of its vertices such that every vertex of the graph which does not belong to set D is adjacent to at least one vertex from set D. A set of vertices of graph G is a global dominating set if it is a dominating set for both, graph G and its complement. The objective is to find a global dominating set with the minimum cardinality. The problem is known to be NP-hard. Neither exact nor approximation algorithm existed . We propose two exact solution methods, one of them being based on an integer linear program (ILP) formulation, three heuristic algorithms and a special purification procedure that further reduces the size of a global dominated set delivered by any of our heuristic algorithms. We show that the problem remains NP-hard for restricted types of graphs and specify some families of graphs for which the heuristics guarantee the optimality. The second exact algorithm turned out to be about twice faster than ILP for graphs with more than 230 vertices and up to 1080 vertices, which were the largest benchmark instances that were solved optimally. The heuristics were tested for the existing 2284 benchmark problem instances with up to 14000 vertices and delivered solutions for the largest instances in less than one minute. Remarkably, for about 52% of the 1000 instances with the obtained optimal solutions, at least one of the heuristics generated an optimal solution, where the average approximation error for the remaining instances was 1.07%.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Exact and Heuristic Algorithms for the Domination Problem
Authors:
Ernesto Parra Inza,
Frank Angel Hernández Mira,
José María Sigarreta Almira,
Nodari Vakhania
Abstract:
In a simple connected graph $G=(V,E)$, a subset of vertices $S \subseteq V$ is a dominating set if any vertex $v \in V\setminus S$ is adjacent to some vertex $x$ from this subset. A number of real-life problems can be modeled using this problem which is known to be among the difficult NP-hard problems in its class. We formulate the problem as an integer liner program (ILP) and compare the performa…
▽ More
In a simple connected graph $G=(V,E)$, a subset of vertices $S \subseteq V$ is a dominating set if any vertex $v \in V\setminus S$ is adjacent to some vertex $x$ from this subset. A number of real-life problems can be modeled using this problem which is known to be among the difficult NP-hard problems in its class. We formulate the problem as an integer liner program (ILP) and compare the performance with the two earlier existing exact state-of-the-art algorithms and exact implicit enumeration and heuristic algorithms that we propose here. Our exact algorithm was able to find optimal solutions much faster than ILP and the above two exact algorithms for middle-dense instances. For graphs with a considerable size, our heuristic algorithm was much faster than both, ILP and our exact algorithm. It found an optimal solution for more than half of the tested instances, whereas it improved the earlier known state-of-the-art solutions for almost all the tested benchmark instances. Among the instances where the optimum was not found, it gave an average approximation error of $1.18$.
△ Less
Submitted 16 June, 2023; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Total Roman 2-domination in graphs
Authors:
Suitberto Cabrera Garcia,
Abel Cabrera Martinez,
Frank A. Hernandez Mira,
Ismael G. Yero
Abstract:
Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2\}$ is a total Roman $\{2\}$-dominating function if: (1) every vertex $v\in V$ for which $f(v)=0$ satisfies that $\sum_{u\in N(v)}f(u)\geq 2$, where $N(v)$ represents the open neighborhood of $v$, and (2) every vertex $x\in V$ for which $f(x)\geq 1$ is adjacent to at least one vertex $y\in V$ such that $f(y)\geq 1$. The weight of the funct…
▽ More
Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2\}$ is a total Roman $\{2\}$-dominating function if: (1) every vertex $v\in V$ for which $f(v)=0$ satisfies that $\sum_{u\in N(v)}f(u)\geq 2$, where $N(v)$ represents the open neighborhood of $v$, and (2) every vertex $x\in V$ for which $f(x)\geq 1$ is adjacent to at least one vertex $y\in V$ such that $f(y)\geq 1$. The weight of the function $f$ is defined as $ω(f)=\sum_{v\in V}f(v)$. The total Roman $\{2\}$-domination number, denoted by $γ_{t\{R2\}}(G)$, is the minimum weight among all total Roman $\{2\}$-dominating functions on $G$. In this article we introduce the concepts above and begin the study of its combinatorial and computational properties. For instance, we give several closed relationships between this parameter and other domination related parameters in graphs. In addition, we prove that the complexity of computing the value $γ_{t\{R2\}}(G)$ is NP-hard, even when restricted to bipartite or chordal graphs.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
A note on total co-independent domination in trees
Authors:
Abel Cabrera Martínez,
Frank A. Hernández Mira,
José M. Sigarreta Almira,
Ismael G. Yero
Abstract:
A set $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total domination number of $G$ is the minimum cardinality of any total dominating set of $G$ and is denoted by $γ_t(G)$. The total dominating set $D$ is called a total co-independent dominating set if $V(G)\setminus D$ is an independent set and has at least one verte…
▽ More
A set $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total domination number of $G$ is the minimum cardinality of any total dominating set of $G$ and is denoted by $γ_t(G)$. The total dominating set $D$ is called a total co-independent dominating set if $V(G)\setminus D$ is an independent set and has at least one vertex. The minimum cardinality of any total co-independent dominating set is denoted by $γ_{t,coi}(G)$. In this paper, we show that, for any tree $T$ of order $n$ and diameter at least three, $n-β(T)\leq γ_{t,coi}(T)\leq n-|L(T)|$ where $β(T)$ is the maximum cardinality of any independent set and $L(T)$ is the set of leaves of $T$. We also characterize the families of trees attaining the extremal bounds above and show that the differences between the value of $γ_{t,coi}(T)$ and these bounds can be arbitrarily large for some classes of trees.
△ Less
Submitted 2 May, 2020;
originally announced May 2020.
-
Simulation design for forthcoming high quality plasma wakefield acceleration experiment in linear regime at SPARC_LAB
Authors:
Stefano Romeo,
Enrica Chiadroni,
Michele Croia,
Massimo Ferrario,
Anna Giribono,
Alberto Marocchino,
Francesco Mira,
Riccardo Pompili,
Andrea Renato Rossi,
Cristina Vaccarezza
Abstract:
In the context of plasma wakefield acceleration beam driven, we exploit a high density charge trailing bunch whose self-fields act by mitigating the energy spread increase via beam loading compensation, together with bunch self-contain operated by the self-consistent transverse field. The work, that will be experimentally tested in the SPARC_LAB test facility, consists of a parametric scan that al…
▽ More
In the context of plasma wakefield acceleration beam driven, we exploit a high density charge trailing bunch whose self-fields act by mitigating the energy spread increase via beam loading compensation, together with bunch self-contain operated by the self-consistent transverse field. The work, that will be experimentally tested in the SPARC_LAB test facility, consists of a parametric scan that allows to find optimized parameters in order to preserve the high quality of the trailing bunch over the entire centimeters acceleration length, with a final energy spread increase of 0.1% and an emittance increase of 5 nm. The stability of trailing bunch parameters after acceleration is tested employing a systematic scan of the parameters of the bunches at the injection. The results show that the energy spread increase keeps lower than 1% and the emittance increase is lower than 0.02 mm mrad in all the simulations performed. The energy jitter is of the order of 5%.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Design of high brightness Plasma Wakefield Acceleration experiment at SPARC\_LAB test facility with particle-in-cell simulations
Authors:
Alberto Marocchino,
Enrica Chiadroni,
Massimo Ferrario,
Francesco Mira,
Andrea Renato Rossi
Abstract:
The present numerical investigation of a Plasma Wakefield Acceleration scenario in the weakly non linear regime with external injection is motivated by the upcoming campaigns at the SPARC\_LAB test facility where the final goal is to demonstrate modest gradient acceleration ($\sim$1 GV/m) with no quality loss. The accelerated bunch can be envisioned to seed a free electron laser. The numerical stu…
▽ More
The present numerical investigation of a Plasma Wakefield Acceleration scenario in the weakly non linear regime with external injection is motivated by the upcoming campaigns at the SPARC\_LAB test facility where the final goal is to demonstrate modest gradient acceleration ($\sim$1 GV/m) with no quality loss. The accelerated bunch can be envisioned to seed a free electron laser. The numerical study has been conducted with the particle-in-cell code ${\tt ALaDyn}$, an exhaustive description of the plasma-acceleration version is provided. The configuration consider a two bunches setup with parameters in the facility range, the bunches are generated and pre-accelerated up to 100 MeV by a high brightness photo-injector prior plasma injection. To verify the working point robustness we have considered case scenario where the driver bunch reaches the plasma or with a larger dimension or with large emittance. We also present an analytical approach based on the envelope equation that allows to reduce the matching condition in the presence of a ramp. Here, we limit our interest to a simplified theoretical case with a linear plasma ramp. As a final aspect we propose to combine classical integrated bunch diagnostics with the test by Shapiro-Wilk, a mathematical test to diagnose bunch deviation from a Gaussian distribution.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Plasma acceleration limitations due to betatron radiation
Authors:
V. Shpakov,
E. Chiadroni,
A. Curcio,
H. Fares,
M. Ferrario,
A. Marocchino,
F. Mira,
V. Petrillo,
A. R. Rossi,
S. Romeo
Abstract:
High energy spread caused by the longitudinal size of the beam is well known in wake-field acceleration. Usually this issue can be solved with beam loading effect that allows to keep accelerating field nearly constant, along the whole duration of the beam. In this work, however, we would like to address another source of energy spread that arises at high energy, due to betatron radiation.
High energy spread caused by the longitudinal size of the beam is well known in wake-field acceleration. Usually this issue can be solved with beam loading effect that allows to keep accelerating field nearly constant, along the whole duration of the beam. In this work, however, we would like to address another source of energy spread that arises at high energy, due to betatron radiation.
△ Less
Submitted 9 February, 2018;
originally announced February 2018.
-
Characterization of self-injected electron beams from LWFA experiments at SPARC_LAB
Authors:
G. Costa,
M. P. Anania,
F. Bisesto,
E. Chiadroni,
A. Cianchi,
A. Curcio,
M. Ferrario,
F. Filippi,
A. Marocchino,
F. Mira,
R. Pompili,
A. Zigler
Abstract:
The plasma-based acceleration is an encouraging technique to overcome the limits of the accelerating gradient in the conventional RF acceleration. A plasma accelerator is able to provide accelerating fields up to hundreds of $GeV/m$, paving the way to accelerate particles to several MeV over a short distance (below the millimetre range). Here the characteristics of preliminary electron beams obtai…
▽ More
The plasma-based acceleration is an encouraging technique to overcome the limits of the accelerating gradient in the conventional RF acceleration. A plasma accelerator is able to provide accelerating fields up to hundreds of $GeV/m$, paving the way to accelerate particles to several MeV over a short distance (below the millimetre range). Here the characteristics of preliminary electron beams obtained with the self-injection mechanism produced with the FLAME high-power laser at the SPARC_LAB test facility are shown. In detail, with an energy laser on focus of $1.5\ J$ and a pulse temporal length (FWHM) of $40\ fs$, we obtained an electron plasma density due to laser ionization of about $6 \times 10^{18}\ cm^{-3}$, electron energy up to $350\ MeV$ and beam charge in the range $(50 - 100)\ pC$.
△ Less
Submitted 3 February, 2018;
originally announced February 2018.
-
EuPRAXIA@SPARC_LAB Design study towards a compact FEL facility at LNF
Authors:
M. Ferrario,
D. Alesini,
M. P. Anania,
M. Artioli,
A. Bacci,
S. Bartocci,
R. Bedogni,
M. Bellaveglia,
A. Biagioni,
F. Bisesto,
F. Brandi,
E. Brentegani,
F. Broggi,
B. Buonomo,
P. L. Campana,
G. Campogiani,
C. Cannaos,
S. Cantarella,
F. Cardelli,
M. Carpanese,
M. Castellano,
G. Castorina,
N. Catalan Lasheras,
E. Chiadroni,
A. Cianchi
, et al. (95 additional authors not shown)
Abstract:
On the wake of the results obtained so far at the SPARC\_LAB test-facility at the Laboratori Nazionali di Frascati (Italy), we are currently investigating the possibility to design and build a new multi-disciplinary user-facility, equipped with a soft X-ray Free Electron Laser (FEL) driven by a $\sim$1 GeV high brightness linac based on plasma accelerator modules. This design study is performed in…
▽ More
On the wake of the results obtained so far at the SPARC\_LAB test-facility at the Laboratori Nazionali di Frascati (Italy), we are currently investigating the possibility to design and build a new multi-disciplinary user-facility, equipped with a soft X-ray Free Electron Laser (FEL) driven by a $\sim$1 GeV high brightness linac based on plasma accelerator modules. This design study is performed in synergy with the EuPRAXIA design study. In this paper we report about the recent progresses in the on going design study of the new facility.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Characterisation of beam driven ionisation injection in the blowout regime of Plasma Acceleration
Authors:
Francesco Mira,
Massimo Ferrario,
Pasquale Londrillo,
Alberto Marocchino
Abstract:
Beam driven ionisation injection is characterised for a variety of high-Z dopant. We discuss the region of extraction and why the position where electrons are captured influences the final quality of the internally-injected bunch. The beam driven ionisation injection relies on the capability to produce a high gradient fields at the bubble closure, with magnitudes high enough to ionise by tunnellin…
▽ More
Beam driven ionisation injection is characterised for a variety of high-Z dopant. We discuss the region of extraction and why the position where electrons are captured influences the final quality of the internally-injected bunch. The beam driven ionisation injection relies on the capability to produce a high gradient fields at the bubble closure, with magnitudes high enough to ionise by tunnelling effect the still bounded electrons (of a high-Z dopant). The ionised electrons are captured by the nonlinear plasma wave at the accelerating and focusing wake phase leading to high-brightness trailing bunches. The high transformer ratio guarantees that the ionisation only occurs at the bubble closure. The quality of the ionisation-injected trailing bunches strongly and non-linearly depends on the properties of the dopant gas (density and initial ionisation state). We use the full 3D PIC code ${\tt ALaDyn}$ to consider the highly three-dimensional nature of the effect. By means of a systematic approach we have investigated the emittance and energy spread formation and the evolution for different dopant gases and configurations.
△ Less
Submitted 12 January, 2018;
originally announced January 2018.
-
On computational and combinatorial properties of the total co-independent domination number of graphs
Authors:
Abel Cabrera Martinez,
Frank A. Hernandez Mira,
Jose M. Sigarreta Almira,
Ismael G. Yero
Abstract:
A subset $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total dominating set $D$ is called a total co-independent dominating set if the subgraph induced by $V-D$ is edgeless and has at least one vertex. The minimum cardinality of any total co-independent dominating set is the total co-independent domination number of…
▽ More
A subset $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total dominating set $D$ is called a total co-independent dominating set if the subgraph induced by $V-D$ is edgeless and has at least one vertex. The minimum cardinality of any total co-independent dominating set is the total co-independent domination number of $G$ and is denoted by $γ_{t,coi}(G)$. In this work we study some complexity and combinatorial properties of $γ_{t,coi}(G)$. Specifically, we prove that deciding whether $γ_{t,coi}(G)\le k$ for a given integer $k$ is an NP-complete problem and give several bounds on $γ_{t,coi}(G)$. Also, since any total co-independent dominating set is also a total dominating set, we characterize all the trees having equal total co-independent domination number and total domination number.
△ Less
Submitted 29 August, 2017; v1 submitted 2 May, 2017;
originally announced May 2017.