Exponential speedup of fixed-parameter algorithms for classes of graphs excluding single-crossing graphs as minors

被引:24
作者
Demaine, ED
Hajiaghayi, M
Thilikos, DM
机构
[1] MIT, Comp Sci & Artificial Intelligence Lab, Cambridge, MA 02139 USA
[2] Univ Politecn Cataluna, Dept Llenguatges & Sistemes Informat, E-08034 Barcelona, Spain
关键词
subexponential algorithms; graph minors; dominating set;
D O I
10.1007/s00453-004-1125-y
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We present a fixed-parameter algorithm that constructively solves the k-dominating set problem on any class of graphs excluding a single-crossing graph ( a graph that can be drawn in the plane with at most one crossing) as a minor in O(4(9.55rootk)n(O(1))) time. Examples of such graph classes are the K-3,K-3-minor-free graphs and the K-5-minor-free graphs. As a consequence, we extend our results to several other problems such as vertex cover, edge dominating set, independent set, clique-transversal set, kernels in digraphs, feedback vertex set, and a collection of vertex-removal problems. Our work generalizes and extends the recent results of exponential speedup in designing fixed-parameter algorithms on planar graphs due to Alber et al. to other (nonplanar) classes of graphs.
引用
收藏
页码:245 / 267
页数:23
相关论文
共 63 条
[1]   Parameterized complexity: exponential speed-up for planar graph problems [J].
Alber, J ;
Fernau, H ;
Niedermeier, R .
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2004, 52 (01) :26-56
[2]   Improved tree decomposition based algorithms for domination-like problems [J].
Alber, J ;
Niedermeier, R .
LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 :613-627
[3]   Fixed parameter algorithms for DOMINATING SET and related problems on planar graphs [J].
Alber, J ;
Bodlaender, HL ;
Fernau, H ;
Kloks, T ;
Niedermeier, R .
ALGORITHMICA, 2002, 33 (04) :461-493
[4]  
Amir E., 2001, Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence, P7
[5]   CLIQUE-TRANSVERSAL SETS OF LINE GRAPHS AND COMPLEMENTS OF LINE GRAPHS [J].
ANDREAE, T ;
SCHUGHART, M ;
TUZA, Z .
DISCRETE MATHEMATICS, 1991, 88 (01) :11-20
[6]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theoryof NP-Completeness
[7]   LINEAR TIME ALGORITHMS FOR NP-HARD PROBLEMS RESTRICTED TO PARTIAL K-TREES [J].
ARNBORG, S ;
PROSKUROWSKI, A .
DISCRETE APPLIED MATHEMATICS, 1989, 23 (01) :11-24
[8]   AN ALGEBRAIC-THEORY OF GRAPH REDUCTION [J].
ARNBORG, S ;
COURCELLE, B ;
PROSKUROWSKI, A ;
SEESE, D .
JOURNAL OF THE ACM, 1993, 40 (05) :1134-1164
[9]  
ARNBORG S, 1988, LECT NOTES COMPUT SC, V317, P38
[10]   AN APPROACH TO THE SUBGRAPH HOMEOMORPHISM PROBLEM [J].
ASANO, T .
THEORETICAL COMPUTER SCIENCE, 1985, 38 (2-3) :249-267