Polynomial fixed-parameter algorithms: A case study for longest path on interval graphs

被引:23
|
作者
Giannopoulou, Archontia C. [1 ]
Mertzios, George B. [2 ]
Niedermeier, Rolf [1 ]
机构
[1] TU Berlin, Inst Softwaretech & Theoret Informat, Berlin, Germany
[2] Univ Durham, Sch Engn & Comp Sci, Durham, England
基金
英国工程与自然科学研究理事会;
关键词
Polynomial-time algorithm; Longest path problem; Interval graphs; Proper interval vertex deletion set; Data reduction; Fixed-parameter algorithm; FINDING HAMILTONIAN CIRCUITS; LINEAR-TIME; DIMENSION; FLOWS;
D O I
10.1016/j.tcs.2017.05.017
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study the design of fixed-parameter algorithms for problems already known to be solvable in polynomial time. The main motivation is to get more efficient algorithms for problems with unattractive polynomial running times. Here, we focus on a fundamental graph problem: LONGEST PATH, that is, given an undirected graph, find a maximum-length path in G. LONGEST PATH is NP-hard in general but known to be solvable in O (n(4)) time on n-vertex interval graphs. We show how to solve LONGEST PATH ON INTERVAL GRAPHS, parameterized by vertex deletion number k to proper interval graphs, in 0 (k(9)n) time. Notably, LONGEST PATH is trivially solvable in linear time on proper interval graphs, and the parameter value k can be approximated up to a factor of 4 in linear time. From a more general perspective, we believe that using parameterized complexity analysis may enable a refined understanding of efficiency aspects for polynomial-time solvable problems similarly to what classical parameterized complexity analysis does for NP-hard problems. (C) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码:67 / 95
页数:29
相关论文
共 50 条
  • [11] Techniques for practical fixed-parameter algorithms
    Hueffner, Falk
    Niedermeier, Rolf
    Wernicke, Sebastian
    COMPUTER JOURNAL, 2008, 51 (01): : 7 - 25
  • [12] Fixed-parameter algorithms for Kemeny Scores
    Betzler, Nadja
    Fellows, Michael R.
    Guo, Jiong
    Niedermeier, Rolf
    Rosamond, Frances A.
    ALGORITHMIC ASPECTS IN INFORMATION AND MANAGEMENT, PROCEEDINGS, 2008, 5034 : 60 - +
  • [13] Fixed-parameter algorithms for DAG Partitioning
    van Bevern, Rene
    Bredereck, Robert
    Chopin, Morgan
    Hartung, Sepp
    Hueffner, Falk
    Nichterlein, Andre
    Suchy, Ondfej
    DISCRETE APPLIED MATHEMATICS, 2017, 220 : 134 - 160
  • [14] Fixed-parameter algorithms for Kemeny rankings
    Betzler, Nadja
    Fellows, Michael R.
    Guo, Jiong
    Niedermeier, Rolf
    Rosamond, Frances A.
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (45) : 4554 - 4570
  • [15] The longest cycle problem is polynomial on interval graphs
    Shang, Jianhui
    Li, Peng
    Shi, Yi
    THEORETICAL COMPUTER SCIENCE, 2021, 859 : 37 - 47
  • [16] Fixed-parameter algorithms for scaffold filling
    Bulteau, Laurent
    Carrieri, Anna Paola
    Dondi, Riccardo
    THEORETICAL COMPUTER SCIENCE, 2015, 568 : 72 - 83
  • [17] Practical Fixed-Parameter Algorithms for Defending Active Directory Style Attack Graphs
    Guo, Mingyu
    Li, Jialiang
    Neumann, Aneta
    Neumann, Frank
    Hung Nguyen
    THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 9360 - 9367
  • [18] The Longest Path Problem is Polynomial on Cocomparability Graphs
    Ioannidou, Kyriaki
    Nikolopoulos, Stavros D.
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2010, 6410 : 27 - 38
  • [19] Unit Interval Editing Is Fixed-Parameter Tractable
    Cao, Yixin
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT I, 2015, 9134 : 306 - 317
  • [20] The Longest Path Problem Is Polynomial on Cocomparability Graphs
    Ioannidou, Kyriaki
    Nikolopoulos, Stavros D.
    ALGORITHMICA, 2013, 65 (01) : 177 - 205