TY - JOUR
T1 - On the parameterized complexity of multiple-interval graph problems
AU - Fellows, Michael R.
AU - Hermelin, Danny
AU - Rosamond, Frances
AU - Vialette, Stéphane
N1 - Funding Information:
The authors would like to thank an anonymous referee who helped improving the hardness result in Section 3. The research of first and third authors has been supported by the Australian Research Council through the Australian Center for Bioinformatics, by the University of Newcastle Parameterized Complexity Research Unit under the auspices of the Deputy Vice-Chancellor for Research, and by a Fellowship to the Durham University Institute for Advanced Studies. The authors also gratefully acknowledge the support and kind hospitality provided by a William Best Fellowship at Grey College while the paper was in preparation. The second author was supported by the Adams Fellowship of the Israel Academy of Sciences and Humanities.
PY - 2009/1/28
Y1 - 2009/1/28
N2 - Multiple-interval graphs are a natural generalization of interval graphs where each vertex may have more than one interval associated with it. Many applications of interval graphs also generalize to multiple-interval graphs, often allowing for more robustness in the modeling of the specific application. With this motivation in mind, a recent systematic study of optimization problems in multiple-interval graphs was initiated. In this sequel, we study multiple-interval graph problems from the perspective of parameterized complexity. The problems under consideration are k-Independent Set, k-Dominating Set, and k-Clique, which are all known to be W[1]-hard for general graphs, and NP-complete for multiple-interval graphs. We prove that k-Clique is in FPT, while k-Independent Set and k-Dominating Set are both W[1]-hard. We also prove that k-Independent Dominating Set, a hybrid of the two above problems, is also W[1]-hard. Our hardness results hold even when each vertex is associated with at most two intervals, and all intervals have unit length. Furthermore, as an interesting byproduct of our hardness results, we develop a useful technique for showing W[1]-hardness via a reduction from the k-Multicolored Clique problem, a variant of k-Clique. We believe this technique has interest in its own right, as it should help in simplifying W[1]-hardness results which are notoriously hard to construct and technically tedious.
AB - Multiple-interval graphs are a natural generalization of interval graphs where each vertex may have more than one interval associated with it. Many applications of interval graphs also generalize to multiple-interval graphs, often allowing for more robustness in the modeling of the specific application. With this motivation in mind, a recent systematic study of optimization problems in multiple-interval graphs was initiated. In this sequel, we study multiple-interval graph problems from the perspective of parameterized complexity. The problems under consideration are k-Independent Set, k-Dominating Set, and k-Clique, which are all known to be W[1]-hard for general graphs, and NP-complete for multiple-interval graphs. We prove that k-Clique is in FPT, while k-Independent Set and k-Dominating Set are both W[1]-hard. We also prove that k-Independent Dominating Set, a hybrid of the two above problems, is also W[1]-hard. Our hardness results hold even when each vertex is associated with at most two intervals, and all intervals have unit length. Furthermore, as an interesting byproduct of our hardness results, we develop a useful technique for showing W[1]-hardness via a reduction from the k-Multicolored Clique problem, a variant of k-Clique. We believe this technique has interest in its own right, as it should help in simplifying W[1]-hardness results which are notoriously hard to construct and technically tedious.
KW - Clique
KW - Dominating set
KW - Independent set
KW - Multicolored clique
KW - Multiple intervals
KW - Parameterized complexity
KW - W-hardness
UR - http://www.scopus.com/inward/record.url?scp=58049126575&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2008.09.065
DO - 10.1016/j.tcs.2008.09.065
M3 - Article
AN - SCOPUS:58049126575
SN - 0304-3975
VL - 410
SP - 53
EP - 61
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 1
ER -