TY - GEN

T1 - The complexity of dominating set reconfiguration

AU - Haddadan, Arash

AU - Ito, Takehiro

AU - Mouawad, Amer E.

AU - Nishimura, Naomi

AU - Ono, Hirotaka

AU - Suzuki, Akira

AU - Tebbal, Youcef

N1 - Funding Information:
We thank anonymous referees of the preliminary version [12] and of this journal version for their helpful suggestions. This work is partially supported by the Natural Sciences and Engineering Research Council of Canada (A. Mouawad, N. Nishimura, and Y. Tebbal) and by MEXT/JSPS KAKENHI JP15H00849 and JP16K00004 (T. Ito), JP25104521 and JP26540005 (H. Ono), and JP26730001 (A. Suzuki).

PY - 2015

Y1 - 2015

N2 - Suppose that we are given two dominating sets Ds and Dt of a graph G whose cardinalities are at most a given threshold k. Then, we are asked whether there exists a sequence of dominating sets of G between Ds and Dt such that each dominating set in the sequence is of cardinality at most k and can be obtained from the previous one by either adding or deleting exactly one vertex. This decision problem is known to be PSPACE-complete in general. In this paper, we study the complexity of this problem from the viewpoint of graph classes. We first prove that the problem remains PSPACE-complete even for planar graphs, bounded bandwidth graphs, split graphs, and bipartite graphs. We then give a general scheme to construct linear-time algorithms and show that the problem can be solved in linear time for cographs, trees, and interval graphs. Furthermore, for these tractable cases, we can obtain a desired sequence if it exists such that the number of additions and deletions is bounded by O(n), where n is the number of vertices in the input graph.

AB - Suppose that we are given two dominating sets Ds and Dt of a graph G whose cardinalities are at most a given threshold k. Then, we are asked whether there exists a sequence of dominating sets of G between Ds and Dt such that each dominating set in the sequence is of cardinality at most k and can be obtained from the previous one by either adding or deleting exactly one vertex. This decision problem is known to be PSPACE-complete in general. In this paper, we study the complexity of this problem from the viewpoint of graph classes. We first prove that the problem remains PSPACE-complete even for planar graphs, bounded bandwidth graphs, split graphs, and bipartite graphs. We then give a general scheme to construct linear-time algorithms and show that the problem can be solved in linear time for cographs, trees, and interval graphs. Furthermore, for these tractable cases, we can obtain a desired sequence if it exists such that the number of additions and deletions is bounded by O(n), where n is the number of vertices in the input graph.

UR - http://www.scopus.com/inward/record.url?scp=84951812174&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84951812174&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-21840-3_33

DO - 10.1007/978-3-319-21840-3_33

M3 - Conference contribution

AN - SCOPUS:84951812174

SN - 9783319218397

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 398

EP - 409

BT - Algorithms and Data Structures - 14th International Symposium, WADS 2015, Proceedings

A2 - Dehne, Frank

A2 - Sack, Jorg-Rudiger

A2 - Stege, Ulrike

PB - Springer Verlag

T2 - 14th International Symposium on Algorithms and Data Structures, WADS 2015

Y2 - 5 August 2015 through 7 August 2015

ER -