Cosecure Domination: Hardness Results and Algorithms

Abstract

For a simple graph $G=(V,E)$ without any isolated vertex, a cosecure dominating set S of G satisfies two properties, (i) S is a dominating set of G, (ii) for every vertex $v \in S$, there exists a vertex $u \in V \setminus S$ such that $uv \in E$ and $(S \setminus \{v\}) \cup \{u\}$ is a dominating set of G. The minimum cardinality of a cosecure dominating set of G is called the cosecure domination number of G and is denoted by $\gamma _{cs}(G)$. The Minimum Cosecure Domination problem is to find a cosecure dominating set of a graph G of cardinality $\gamma _{cs}(G)$. The decision version of the problem is known to be NP-complete for bipartite, planar, and split graphs. Also, it is known that the Minimum Cosecure Domination problem is efficiently solvable for proper interval graphs and cographs.

In this paper, we work on various important graph classes in an effort to reduce the complexity gap of the Minimum Cosecure Domination problem. We show that the decision version of the problem remains NP-complete for doubly chordal graphs, chordal bipartite graphs, star-convex bipartite graphs and comb-convex bipartite graphs. On the positive side, we give an efficient algorithm to compute the cosecure domination number of chain graphs, which is an important subclass of bipartite graphs. In addition, we show that the problem is linear-time solvable for bounded tree-width graphs. Further, we prove that the computational complexity of this problem varies from the classical domination problem.

Kusum—Research supported by University Grants Commission(UGC), India, under File No.: 1047/(CSIR-UGC NET DEC. 2017)

A. Pandey—Research supported by CRG project, Grant Number-CRG/2022/008333, Science and Engineering Research Board (SERB), India.