Complexity and Algorithms for Semipaired Domination in Graphs

For a graph $G=(V,E)$ with no isolated vertices, a set $D\subseteq V$ is called a semipaired dominating set of G if $(i)$ $D$ is a dominating set of $G$, and $(ii)$ $D$ can be partitioned into two element subsets such that the vertices in each two element set are at distance at most two. The minimum cardinality of a semipaired dominating set of $G$ is called the semipaired domination number of $G$, and is denoted by $\gamma_{pr2}(G)$. The \textsc{Minimum Semipaired Domination} problem is to find a semipaired dominating set of $G$ of cardinality $\gamma_{pr2}(G)$. In this paper, we initiate the algorithmic study of the \textsc{Minimum Semipaired Domination} problem. We show that the decision version of the \textsc{Minimum Semipaired Domination} problem is NP-complete for bipartite graphs and split graphs. On the positive side, we present a linear-time algorithm to compute a minimum cardinality semipaired dominating set of interval graphs and trees. We also propose a $1+\ln(2\Delta+2)$-approximation algorithm for the \textsc{Minimum Semipaired Domination} problem, where $\Delta$ denote the maximum degree of the graph and show that the \textsc{Minimum Semipaired Domination} problem cannot be approximated within $(1-\epsilon) \ln|V|$ for any $\epsilon > 0$ unless NP $\subseteq$ DTIME$(|V|^{O(\log\log|V|)})$.Comment: arXiv admin note: text overlap with arXiv:1711.1089

Upper k-tuple total domination in graphs

Let $G=(V,E)$ be a simple graph. For any integer $k\geq 1$, a subset of $V$ is called a $k$-tuple total dominating set of $G$ if every vertex in $V$ has at least $k$ neighbors in the set. The minimum cardinality of a minimal $k$-tuple total dominating set of $G$ is called the $k$-tuple total domination number of $G$. In this paper, we introduce the concept of upper $k$-tuple total domination number of $G$ as the maximum cardinality of a minimal $k$-tuple total dominating set of $G$, and study the problem of finding a minimal $k$-tuple total dominating set of maximum cardinality on several classes of graphs, as well as finding general bounds and characterizations. Also, we find some results on the upper $k$-tuple total domination number of the Cartesian and cross product graphs

Exact algorithms for dominating induced matchings

Say that an edge of a graph G dominates itself and every other edge adjacent to it. An edge dominating set of a graph G = (V,E) is a subset of edges E' of E which dominates all edges of G. In particular, if every edge of G is dominated by exactly one edge of E' then E' is a dominating induced matching. It is known that not every graph admits a dominating induced matching, while the problem to decide if it does admit is NP-complete. In this paper we consider the problem of finding a minimum weighted dominating induced matching, if any, of a graph with weighted edges. We describe two exact algorithms for general graphs. The algorithms are efficient in the cases where G admits a known vertex dominating set of small size, or when G contains a polynomial number of maximal independent sets.Comment: 9 page

(Total) Domination in Prisms

With the aid of hypergraph transversals it is proved that $\gamma_t(Q_{n+1}) = 2\gamma(Q_n)$, where $\gamma_t(G)$ and $\gamma(G)$ denote the total domination number and the domination number of $G$, respectively, and $Q_n$ is the $n$-dimensional hypercube. More generally, it is shown that if $G$ is a bipartite graph, then $\gamma_t(G \square K_2) = 2\gamma(G)$. Further, we show that the bipartite condition is essential by constructing, for any $k \ge 1$, a (non-bipartite) graph $G$ such that $\gamma_t (G \square K_2 ) = 2\gamma(G) - k$. Along the way several domination-type identities for hypercubes are also obtained

An O∗(1.1939n)O^*(1.1939^n) time algorithm for minimum weighted dominating induced matching

Say that an edge of a graph $G$ dominates itself and every other edge adjacent to it. An edge dominating set of a graph $G=(V,E)$ is a subset of edges $E' \subseteq E$ which dominates all edges of $G$. In particular, if every edge of $G$ is dominated by exactly one edge of $E'$ then $E'$ is a dominating induced matching. It is known that not every graph admits a dominating induced matching, while the problem to decide if it does admit it is NP-complete. In this paper we consider the problems of finding a minimum weighted dominating induced matching, if any, and counting the number of dominating induced matchings of a graph with weighted edges. We describe an exact algorithm for general graphs that runs in $O^*(1.1939^n)$ time and polynomial (linear) space. This improves over any existing exact algorithm for the problems in consideration.Comment: 17 page

A Note on Integer Domination of Cartesian Product Graphs

Given a graph $G$, a dominating set $D$ is a set of vertices such that any vertex in $G$ has at least one neighbor (or possibly itself) in $D$. A ${k}$-dominating multiset $D_k$ is a multiset of vertices such that any vertex in $G$ has at least $k$ vertices from its closed neighborhood in $D_k$ when counted with multiplicity. In this paper, we utilize the approach developed by Clark and Suen (2000) and properties of binary matrices to prove a "Vizing-like" inequality on minimum ${k}$-dominating multisets of graphs $G,H$ and the Cartesian product graph $G \Box H$. Specifically, denoting the size of a minimum ${k}$-dominating multiset as $\gamma_{k}(G)$, we demonstrate that $\gamma_{k}(G) \gamma_{k}(H) \leq 2k \gamma_{k}(G \Box H)$

Vertices in all minimum paired-dominating sets of block graphs

Let $G=(V,E)$ be a simple graph without isolated vertices. A set $S\subseteq V$ is a paired-dominating set if every vertex in $V-S$ has at least one neighbor in $S$ and the subgraph induced by $S$ contains a perfect matching. In this paper, we present a linear-time algorithm to determine whether a given vertex in a block graph is contained in all its minimum paired-dominating sets

On Bondage Numbers of Graphs -- a survey with some comments

The bondage number of a nonempty graph $G$ is the cardinality of a smallest edge set whose removal from $G$ results in a graph with domination number greater than the domination number of $G$. This lecture gives a survey on the bondage number, including the known results, problems and conjectures. We also summarize other types of bondage numbers.Comment: 80 page; 14 figures; 120 reference

Cartesian product graphs and kk-tuple total domination

A $k$-tuple total dominating set ($k$TDS) of a graph $G$ is a set $S$ of vertices in which every vertex in $G$ is adjacent to at least $k$ vertices in $S$; the minimum size of a $k$TDS is denoted $\gamma_{\times k,t}(G)$. We give a Vizing-like inequality for Cartesian product graphs, namely $\gamma_{\times k,t}(G) \gamma_{\times k,t}(H) \leq 2k \gamma_{\times k,t}(G \Box H)$ provided $\gamma_{\times k,t}(G) \leq 2k\rho(G)$, where $\rho$ is the packing number. We also give bounds on $\gamma_{\times k,t}(G \Box H)$ in terms of (open) packing numbers, and consider the extremal case of $\gamma_{\times k,t}(K_n \Box K_m)$, i.e., the rook's graph, giving a constructive proof of a general formula for $\gamma_{\times 2, t}(K_n \Box K_m)$.Comment: 18 page

Disjoint dominating and 2-dominating sets in graphs

A graph $G$ is a $D\!D_2$-graph if it has a pair $(D,D_2)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $D_2$ is a 2-dominating set of $G$. We provide several characterizations and hardness results concerning $D\!D_2$-graphs.Comment: 15 pages, 3 figure