Closest 4-leaf power is fixed-parameter tractable

被引:8
作者
Dom, Michael [1 ]
Guo, Jiong [1 ]
Hueffner, Falk [1 ]
Niedermeier, Rolf [1 ]
机构
[1] Univ Jena, Inst Informat, D-07743 Jena, Germany
关键词
Fixed-parameter tractability; Graph algorithm; Graph modification; Graph power; Leaf power; Forbidden subgraph characterization;
D O I
10.1016/j.dam.2008.01.007
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
The NP-complete CLOSEST 4-LEAF POWER problem asks, given an undirected graph, whether it can be modified by at most r edge insertions or deletions such that it becomes a 4-leaf power. Herein, a 4-leaf power is a graph that can be constructed by considering an unrooted tree-the 4-leaf root-with leaves one-to-one labeled by the graph vertices, where we connect two graph vertices by an edge iff their corresponding leaves are at distance at most 4 in the tree. Complementing previous work on CLOSEST 2-LEAF POWER and CLOSEST 3-LEAF POWER, we give the first algorithmic result for CLOSEST 4-LEAF POWER, showing that CLOSEST 4-LEAF POWER is fixed-parameter tractable with respect to the parameter r. (C) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码:3345 / 3361
页数:17
相关论文
共 50 条
[21]   Fixed-parameter algorithms for Kemeny rankings [J].
Betzler, Nadja ;
Fellows, Michael R. ;
Guo, Jiong ;
Niedermeier, Rolf ;
Rosamond, Frances A. .
THEORETICAL COMPUTER SCIENCE, 2009, 410 (45) :4554-4570
[22]   Minimum Bisection is Fixed Parameter Tractable [J].
Cygan, Marek ;
Lokshtanov, Daniel ;
Pilipczuk, Marcin ;
Pilipczuk, Michal ;
Saurabh, Saket .
STOC'14: PROCEEDINGS OF THE 46TH ANNUAL 2014 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2014, :323-332
[23]   FIXED-PARAMETER ALGORITHMS FOR THE KNESER AND SCHRIJVER PROBLEMS [J].
Haviv, Ishay .
SIAM JOURNAL ON COMPUTING, 2024, 53 (02) :287-314
[24]   Fixed-parameter complexity in Al and nonmonotonic reasoning [J].
Gottlob, G ;
Scarcello, F ;
Sideri, M .
ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) :55-86
[25]   FIXED-PARAMETER ALGORITHMS FOR MAXIMUM AGREEMENT FORESTS [J].
Whidden, Chris ;
Beiko, Robert G. ;
Zeh, Norbert .
SIAM JOURNAL ON COMPUTING, 2013, 42 (04) :1431-1466
[26]   Fixed-parameter complexity in AI and nonmonotonic reasoning [J].
Gottlob, G ;
Scarcello, F ;
Sideri, M .
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 :1-18
[27]   Fixed-parameter complexity of minimum profile problems [J].
Gutin, Gregory ;
Szeider, Stefan ;
Yeo, Anders .
ALGORITHMICA, 2008, 52 (02) :133-152
[28]   Fixed-Parameter Complexity of Minimum Profile Problems [J].
Gregory Gutin ;
Stefan Szeider ;
Anders Yeo .
Algorithmica, 2008, 52 :133-152
[29]   An improved fixed-parameter algorithm for vertex cover [J].
Balasubramanian, R ;
Fellows, MR ;
Raman, V .
INFORMATION PROCESSING LETTERS, 1998, 65 (03) :163-168
[30]   Colored Hypergraph Isomorphism is Fixed Parameter Tractable [J].
V. Arvind ;
Bireswar Das ;
Johannes Köbler ;
Seinosuke Toda .
Algorithmica, 2015, 71 :120-138