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).
Publisher Copyright:
© Springer International Publishing Switzerland 2015.
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 -