2 research outputs found
A Linear Kernel for Planar Total Dominating Set
A total dominating set of a graph is a subset such
that every vertex in is adjacent to some vertex in . Finding a total
dominating set of minimum size is NP-hard on planar graphs and W[2]-complete on
general graphs when parameterized by the solution size. By the meta-theorem of
Bodlaender et al. [J. ACM, 2016], there exists a linear kernel for Total
Dominating Set on graphs of bounded genus. Nevertheless, it is not clear how
such a kernel can be effectively constructed, and how to obtain explicit
reduction rules with reasonably small constants. Following the approach of
Alber et al. [J. ACM, 2004], we provide an explicit kernel for Total Dominating
Set on planar graphs with at most vertices, where is the size of the
solution. This result complements several known constructive linear kernels on
planar graphs for other domination problems such as Dominating Set, Edge
Dominating Set, Efficient Dominating Set, Connected Dominating Set, or Red-Blue
Dominating Set.Comment: 33 pages, 13 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