ON LINEAR TIME MINOR TESTS WITH DEPTH-1ST SEARCH

被引:85
作者
BODLAENDER, HL [1 ]
机构
[1] UNIV UTRECHT,DEPT COMP SCI,3508 TB UTRECHT,NETHERLANDS
关键词
D O I
10.1006/jagm.1993.1001
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Recent results on graph minors make it desirable to have efficient algorithms that, for a fixed set of graphs {H1,⋯, Hc}, test whether a given graph G contains at least one graph Hi as a minor. In this paper we show the following result: if at least one graph Hi, is a minor of a 2 × k grid graph, and at least one graph Hi is a minor of a circus graph, then one can test in O(n) time whether a given graph G contains at least one graph H ∈ {H1,⋯, Hc} as a minor. This result generalizes a result of Fellows and Langston. The algorithm is based on depth-first search and on dynamic programming on graphs with bounded treewidth. As a corollary, it follows that the MAXIMUM LEAF SPANNING TREE problem can be solved in linear time for fixed k. We also discuss that, with small modifications, an algorithm of Fellows and Langston can be modified to an algorithm that finds in O(k! 2kn) time a cycle (or path) in a given graph with length ≥ k if it exists. © 1993 Academic Press, Inc.
引用
收藏
页码:1 / 23
页数:23
相关论文
共 30 条
[1]   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
[2]   EASY PROBLEMS FOR TREE-DECOMPOSABLE GRAPHS [J].
ARNBORG, S ;
LAGERGREN, J ;
SEESE, D .
JOURNAL OF ALGORITHMS, 1991, 12 (02) :308-340
[3]  
ARNBORG S, 1991, LECT NOTES COMPUT SC, V532, P70, DOI 10.1007/BFb0017382
[4]  
BODLAENDER HL, 1990, LECT NOTES COMPUT SC, V411, P232
[5]  
BODLAENDER HL, 1988, LECTURE NOTES COMPUT, V344, P1
[6]   AUTOMATIC-GENERATION OF LINEAR-TIME ALGORITHMS FROM PREDICATE CALCULUS DESCRIPTIONS OF PROBLEMS ON RECURSIVELY CONSTRUCTED GRAPH FAMILIES [J].
BORIE, RB ;
PARKER, RG ;
TOVEY, CA .
ALGORITHMICA, 1992, 7 (5-6) :555-581
[7]   POLYNOMIAL-TIME SELF-REDUCIBILITY - THEORETICAL MOTIVATIONS AND PRACTICAL RESULTS [J].
BROWN, DJ ;
FELLOWS, MR ;
LANGSTON, MA .
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1989, 31 (1-2) :1-9
[8]   THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .1. RECOGNIZABLE SETS OF FINITE GRAPHS [J].
COURCELLE, B .
INFORMATION AND COMPUTATION, 1990, 85 (01) :12-75
[9]  
COURCELLE B, 1988, 8852 U BORD REP
[10]  
ERDOS P, 1935, COMPOS MATH, V2, P464