Fixed-parameter complexity of minimum profile problems

被引:13
作者
Gutin, Gregory [1 ,2 ]
Szeider, Stefan [3 ]
Yeo, Anders [1 ]
机构
[1] Univ London Royal Holloway & Bedford New Coll, Dept Comp Sci, Egham TW20 0EX, Surrey, England
[2] Univ Haifa, Dept Comp Sci, IL-31999 Haifa, Israel
[3] Univ Durham, Dept Comp Sci, Durham DH1 3LE, England
基金
英国工程与自然科学研究理事会;
关键词
graph profile; fixed parameter tractability; above guaranteed value; kernel;
D O I
10.1007/s00453-007-9144-0
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The profile of a graph is an integer-valued parameter defined via vertex orderings; it is known that the profile of a graph equals the smallest number of edges of an interval supergraph. Since computing the profile of a graph is an NP-hard problem, we consider parameterized versions of the problem. Namely, we study the problem of deciding whether the profile of a connected graph of order n is at most n - 1 + k, considering k as the parameter; this is a parameterization above guaranteed value, since n - 1 is a tight lower bound for the profile. We present two fixed-parameter algorithms for this problem. The first algorithm is based on a forbidden subgraph characterization of interval graphs. The second algorithm is based on two simple kernelization rules which allow us to produce a kernel with linear number of vertices and edges. For showing the correctness of the second algorithm we need to establish structural properties of graphs with small profile which are of independent interest.
引用
收藏
页码:133 / 152
页数:20
相关论文
共 21 条
[1]  
BILLIONNET A, 1986, RAIRO-RECH OPER, V20, P245
[2]  
BODLAENDER HL, 1995, COMPUT APPL BIOSCI, V11, P49
[3]   TESTING FOR CONSECUTIVE ONES PROPERTY, INTERVAL GRAPHS, AND GRAPH PLANARITY USING PQ-TREE ALGORITHMS [J].
BOOTH, KS ;
LUEKER, GS .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (03) :335-379
[4]   Fixed-parameter tractability of graph modification problems for hereditary properties [J].
Cai, LZ .
INFORMATION PROCESSING LETTERS, 1996, 58 (04) :171-176
[5]  
CUO J, 2007, ACM SIGACT NEWS, V38, P31
[6]  
DIAZ J, 1991, LECT NOTES COMPUT SC, V519, P65
[7]  
DOWNEY R, 1999, PARAMETERIZED COMPLE
[8]  
Flum J., 2006, Parameterized Complexity Theory
[9]   Graph searching and interval completion [J].
Fomin, FV ;
Golovach, PA .
SIAM JOURNAL ON DISCRETE MATHEMATICS, 2000, 13 (04) :454-464
[10]  
Garey MR, 1979, Computers and Intractablity: A Guide to the Theoryof NP-Completeness