16,948 research outputs found
Dominating sequences in grid-like and toroidal graphs
A longest sequence of distinct vertices of a graph such that each
vertex of dominates some vertex that is not dominated by its preceding
vertices, is called a Grundy dominating sequence; the length of is the
Grundy domination number of . In this paper we study the Grundy domination
number in the four standard graph products: the Cartesian, the lexicographic,
the direct, and the strong product. For each of the products we present a lower
bound for the Grundy domination number which turns out to be exact for the
lexicographic product and is conjectured to be exact for the strong product. In
most of the cases exact Grundy domination numbers are determined for products
of paths and/or cycles.Comment: 17 pages 3 figure
Disjoint Dominating Sets with a Perfect Matching
In this paper, we consider dominating sets and such that and
are disjoint and there exists a perfect matching between them. Let
denote the cardinality of smallest such sets in
(provided they exist, otherwise ). This
concept was introduced in [Klostermeyer et al., Theory and Application of
Graphs, 2017] in the context of studying a certain graph protection problem. We
characterize the trees for which equals a certain
graph protection parameter and for which ,
where is the independence number of . We also further study this
parameter in graph products, e.g., by giving bounds for grid graphs, and in
graphs of small independence number
The Parameterized Complexity of Domination-type Problems and Application to Linear Codes
We study the parameterized complexity of domination-type problems.
(sigma,rho)-domination is a general and unifying framework introduced by Telle:
a set D of vertices of a graph G is (sigma,rho)-dominating if for any v in D,
|N(v)\cap D| in sigma and for any $v\notin D, |N(v)\cap D| in rho. We mainly
show that for any sigma and rho the problem of (sigma,rho)-domination is W[2]
when parameterized by the size of the dominating set. This general statement is
optimal in the sense that several particular instances of
(sigma,rho)-domination are W[2]-complete (e.g. Dominating Set). We also prove
that (sigma,rho)-domination is W[2] for the dual parameterization, i.e. when
parameterized by the size of the dominated set. We extend this result to a
class of domination-type problems which do not fall into the
(sigma,rho)-domination framework, including Connected Dominating Set. We also
consider problems of coding theory which are related to domination-type
problems with parity constraints. In particular, we prove that the problem of
the minimal distance of a linear code over Fq is W[2] for both standard and
dual parameterizations, and W[1]-hard for the dual parameterization.
To prove W[2]-membership of the domination-type problems we extend the
Turing-way to parameterized complexity by introducing a new kind of non
deterministic Turing machine with the ability to perform `blind' transitions,
i.e. transitions which do not depend on the content of the tapes. We prove that
the corresponding problem Short Blind Multi-Tape Non-Deterministic Turing
Machine is W[2]-complete. We believe that this new machine can be used to prove
W[2]-membership of other problems, not necessarily related to dominationComment: 19 pages, 2 figure
Protecting a Graph with Mobile Guards
Mobile guards on the vertices of a graph are used to defend it against
attacks on either its vertices or its edges. Various models for this problem
have been proposed. In this survey we describe a number of these models with
particular attention to the case when the attack sequence is infinitely long
and the guards must induce some particular configuration before each attack,
such as a dominating set or a vertex cover. Results from the literature
concerning the number of guards needed to successfully defend a graph in each
of these problems are surveyed.Comment: 29 pages, two figures, surve
- …