<abstract xmlns="http://www.w3.org/1999/xhtml"><p>A set <italic>S</italic> ⊆ <italic>V</italic> is a <italic>dominating set</italic> in <italic>G</italic> if for every <italic>u</italic> ∈ <italic>V \ S</italic>, there exists <italic>v</italic> ∈ <italic>S</italic> such that (<italic>u, v</italic>) ∈ <italic>E</italic>, i.e., <italic>N</italic>[<italic>S</italic>] = <italic>V</italic> . A dominating set <italic>S</italic> is an <italic>isolate dominating set</italic> (<italic>IDS</italic>) if the induced subgraph <italic>G</italic>[<italic>S</italic>] has at least one isolated vertex. It is known that Isolate Domination Decision problem (IDOM) is NP-complete for bipartite graphs. In this paper, we extend this by showing that the IDOM is NP-complete for split graphs and perfect elimination bipartite graphs, a subclass of bipartite graphs. A set <italic>S</italic> ⊆ <italic>V</italic> is an <italic>independent set</italic> if <italic>G</italic>[<italic>S</italic>] has no edge. A set <italic>S</italic> ⊆ <italic>V</italic> is a <italic>secure dominating set</italic> of <italic>G</italic> if, for each vertex <italic>u</italic> ∈ <italic>V \ S</italic>, there exists a vertex <italic>v</italic> ∈ <italic>S</italic> such that (<italic>u, v</italic>) ∈ <italic>E</italic> and (<italic>S \</italic> {<italic>v</italic>}) ∪ {<italic>u</italic>} is a dominating set of <italic>G</italic>. In addition, we initiate the study of a new domination parameter called, <italic>independent secure domination</italic>. A set <italic>S</italic> ⊆ <italic>V</italic> is an <italic>independent secure dominating set</italic> (<italic>InSDS</italic>) if <italic>S</italic> is an independent set and a secure dominating set of <italic>G</italic>. The minimum size of an InSDS in <italic>G</italic> is called the <italic>independent secure domination number</italic> of <italic>G</italic> and is denoted by γ<italic><sub>is</sub></italic>(<italic>G</italic>). Given a graph <italic>G</italic> and a positive integer <italic>k,</italic> the InSDM problem is to check whether <italic>G</italic> has an independent secure dominating set of size at most <italic>k.</italic> We prove that InSDM is NP-complete for bipartite graphs and linear time solvable for bounded tree-width graphs and threshold graphs, a subclass of split graphs. The MInSDS problem is to find an independent secure dominating set of minimum size, in the input graph. Finally, we show that the MInSDS problem is APX-hard for graphs with maximum degree 5.</p></abstract>

A set S ⊆ V is a dominating set in G if for every u ∈ V \ S, there exists v ∈ S such that (u, v) ∈ E, i.e., N[S] = V . A dominating set S is an isolate dominating set (IDS) if the induced subgraph G[S] has at least one isolated vertex. It is known that Isolate Domination Decision problem (IDOM) is NP-complete for bipartite graphs. In this paper, we extend this by showing that the IDOM is NP-complete for split graphs and perfect elimination bipartite graphs, a subclass of bipartite graphs. A set S ⊆ V is an independent set if G[S] has no edge. A set S ⊆ V is a secure dominating set of G if, for each vertex u ∈ V \ S, there exists a vertex v ∈ S such that (u, v) ∈ E and (S \ {v}) ∪ {u} is a dominating set of G. In addition, we initiate the study of a new domination parameter called, independent secure domination. A set S ⊆ V is an independent secure dominating set (InSDS) if S is an independent set and a secure dominating set of G. The minimum size of an InSDS in G is called the independent secure domination number of G and is denoted by γis(G). Given a graph G and a positive integer k, the InSDM problem is to check whether G has an independent secure dominating set of size at most k. We prove that InSDM is NP-complete for bipartite graphs and linear time solvable for bounded tree-width graphs and threshold graphs, a subclass of split graphs. The MInSDS problem is to find an independent secure dominating set of minimum size, in the input graph. Finally, we show that the MInSDS problem is APX-hard for graphs with maximum degree 5.

Algorithmic Aspects of Some Variants of Domination in Graphs

Department of Computer Science and Engineering

Analele ştiinţifice ale Universităţii "Ovidius" Constanţa. Seria Matematică

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

{"article-title":"Algorithmic Aspects of Some Variants of Domination in Graphs"}

A set S ⊆ V is a dominating set in G if for every u ∈ V \ S, there exists v ∈ S such that (u, v) ∈ E, i.e., N[S] = V . A dominating set S is an isolate...

Algorithmic Aspects of Some Variants of Domination in Graphs

Published Online: Dec 28, 2020

Page range: 153 - 170

Received: Jul 24, 2019

Accepted: Jan 09, 2020

DOI: https://doi.org/10.2478/auom-2020-0039

Keywords
Domination, NP-complete, Secure domination, Independent set, Complexity classes, APX-hard

© 2020 J. Pavan Kumar et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Algorithmic Aspects of Some Variants of Domination in Graphs

Published Online: Dec 28, 2020

Page range: 153 - 170

Received: Jul 24, 2019

Accepted: Jan 09, 2020

DOI: https://doi.org/10.2478/auom-2020-0039

KeywordsDomination, NP-complete, Secure domination, Independent set, Complexity classes, APX-hard

© 2020 J. Pavan Kumar et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Keywords
Domination, NP-complete, Secure domination, Independent set, Complexity classes, APX-hard