1,346 research outputs found
Domination parameters with number 2: Interrelations and algorithmic consequences
In this paper, we study the most basic domination invariants in graphs, in which number 2 is intrinsic part of their definitions. We classify them upon three criteria, two of which give the following previously studied invariants: the weak 2-domination number, γw2(G), the 2-domination number, γ2(G), the {2}-domination number, γ{2}(G), the double domination number, γ×2(G), the total {2}-domination number, γt{2}(G), and the total double domination number, γt×2(G), where G is a graph in which the corresponding invariant is well defined. The third criterion yields rainbow versions of the mentioned six parameters, one of which has already been well studied, and three other give new interesting parameters. Together with a special, extensively studied Roman domination, γR(G), and two classical parameters, the domination number, γ(G), and the total domination number, γt(G), we consider 13 domination invariants in graphs. In the main result of the paper we present sharp upper and lower bounds of each of the invariants in terms of every other invariant, a large majority of which are new results proven in this paper. As a consequence of the main theorem we obtain new complexity results regarding the existence of approximation algorithms for the studied invariants, matched with tight or almost tight inapproximability bounds, which hold even in the class of split graphs.Fil: Bonomo, Flavia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; ArgentinaFil: Brešar, Boštjan. Institute of Mathematics, Physics and Mechanics; Eslovenia. University of Maribor; EsloveniaFil: Grippo, Luciano Norberto. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de General Sarmiento. Instituto de Ciencias; ArgentinaFil: Milanič, Martin. University of Primorska; EsloveniaFil: Safe, Martin Dario. Universidad Nacional de General Sarmiento. Instituto de Ciencias; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentin
Domination parameters with number 2: interrelations and algorithmic consequences
In this paper, we study the most basic domination invariants in graphs, in
which number 2 is intrinsic part of their definitions. We classify them upon
three criteria, two of which give the following previously studied invariants:
the weak -domination number, , the -domination number,
, the -domination number, , the double
domination number, , the total -domination number,
, and the total double domination number, , where is a graph in which a corresponding invariant is well
defined. The third criterion yields rainbow versions of the mentioned six
parameters, one of which has already been well studied, and three other give
new interesting parameters. Together with a special, extensively studied Roman
domination, , and two classical parameters, the domination number,
, and the total domination number, , we consider 13
domination invariants in graphs . In the main result of the paper we present
sharp upper and lower bounds of each of the invariants in terms of every other
invariant, large majority of which are new results proven in this paper. As a
consequence of the main theorem we obtain some complexity results for the
studied invariants, in particular regarding the existence of approximation
algorithms and inapproximability bounds.Comment: 45 pages, 4 tables, 7 figure
Signed double Roman domination on cubic graphs
The signed double Roman domination problem is a combinatorial optimization
problem on a graph asking to assign a label from to each
vertex feasibly, such that the total sum of assigned labels is minimized. Here
feasibility is given whenever (i) vertices labeled have at least one
neighbor with label in ; (ii) each vertex labeled has one
-labeled neighbor or at least two -labeled neighbors; and (iii) the sum
of labels over the closed neighborhood of any vertex is positive. The
cumulative weight of an optimal labeling is called signed double Roman
domination number (SDRDN). In this work, we first consider the problem on
general cubic graphs of order for which we present a sharp
lower bound for the SDRDN by means of the discharging method. Moreover, we
derive a new best upper bound. Observing that we are often able to minimize the
SDRDN over the class of cubic graphs of a fixed order, we then study in this
context generalized Petersen graphs for independent interest, for which we
propose a constraint programming guided proof. We then use these insights to
determine the SDRDNs of subcubic grid graphs, among other results
Data Reductions and Combinatorial Bounds for Improved Approximation Algorithms
Kernelization algorithms in the context of Parameterized Complexity are often
based on a combination of reduction rules and combinatorial insights. We will
expose in this paper a similar strategy for obtaining polynomial-time
approximation algorithms. Our method features the use of
approximation-preserving reductions, akin to the notion of parameterized
reductions. We exemplify this method to obtain the currently best approximation
algorithms for \textsc{Harmless Set}, \textsc{Differential} and
\textsc{Multiple Nonblocker}, all of them can be considered in the context of
securing networks or information propagation
Perfect Roman Domination and Unique Response Roman Domination
The idea of enumeration algorithms with polynomial delay is to polynomially
bound the running time between any two subsequent solutions output by the
enumeration algorithm. While it is open for more than four decades if all
minimal dominating sets of a graph can be enumerated in output-polynomial time,
it has recently been proven that pointwise-minimal Roman dominating functions
can be enumerated even with polynomial delay. The idea of the enumeration
algorithm was to use polynomial-time solvable extension problems. We use this
as a motivation to prove that also two variants of Roman dominating functions
studied in the literature, named perfect and unique response, can be enumerated
with polynomial delay. This is interesting since Extension Perfect Roman
Domination is W[1]-complete if parameterized by the weight of the given
function and even W[2]-complete if parameterized by the number vertices
assigned 0 in the pre-solution, as we prove. Otherwise, efficient solvability
of extension problems and enumerability with polynomial delay tend to go
hand-in-hand. We achieve our enumeration result by constructing a bijection to
Roman dominating functions, where the corresponding extension problem is
polynomimaltime solvable. Furthermore, we show that Unique Response Roman
Domination is solvable in polynomial time on split graphs, while Perfect Roman
Domination is NP-complete on this graph class, which proves that both
variations, albeit coming with a very similar definition, do differ in some
complexity aspects. This way, we also solve an open problem from the
literature
On -stable locally checkable problems parameterized by mim-width
In this paper we continue the study of locally checkable problems under the
framework introduced by Bonomo-Braberman and Gonzalez in 2020, by focusing on
graphs of bounded mim-width. We study which restrictions on a locally checkable
problem are necessary in order to be able to solve it efficiently on graphs of
bounded mim-width. To this end, we introduce the concept of -stability of a
check function. The related locally checkable problems contain large classes of
problems, among which we can mention, for example, LCVP problems. We give an
algorithm showing that these problems are XP when parameterized by the
mim-width of a given binary decomposition tree of the input graph, that is,
that they can be solved in polynomial time given a binary decomposition tree of
bounded mim-width. We explore the relation between -stable locally checkable
problems and the recently introduced DN logic (Bergougnoux, Dreier and Jaffke,
2022), and show that both frameworks model the same family of problems. We
include a list of concrete examples of -stable locally checkable problems
whose complexity on graphs of bounded mim-width was open so far
- …