Unit interval editing is fixed-parameter tractable

被引:13
|
作者
Cao, Yixin [1 ]
机构
[1] Hong Kong Polytech Univ, Dept Comp, Hong Kong, Hong Kong, Peoples R China
基金
欧洲研究理事会; 中国国家自然科学基金;
关键词
Graph modification problem; Forbidden induced subgraph; Proper Helly circular-arc graph; (Proper; unit) interval model; Helly) arc model; Certifying algorithm; {Claw; S-3; (S)over-bar(3); C-4}-free graph; CIRCULAR-ARC GRAPHS; LINEAR-TIME;
D O I
10.1016/j.ic.2017.01.008
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Given a graph G and integers k(1), k(2), and k(3), the unit interval editing problem asks whether G can be transformed into a unit interval graph by at most k(1) vertex deletions, k(2) edge deletions, and k(3) edge additions. We give an algorithm solving this problem in time 2(o(klogk)). (n+m), where k := k(1) + k(2) + k(3), and n,m denote respectively the numbers of vertices and edges of G. Therefore, it is fixed-parameter tractable parameterized by the total number of allowed operations. Our algorithm implies the fixed -parameter tractability of the unit interval edge deletion problem, for which we also present a more efficient algorithm running in time O(4(k) (n +m)). Another result is an 0 (6(k) . (n +m))-time algorithm for the unit interval vertex deletion problem, significantly improving the algorithm of van 't Hof and Villanger, which runs in time O(6(k) .n(6)). (C) 2017 Elsevier Inc. All rights reserved.
引用
收藏
页码:109 / 126
页数:18
相关论文
共 50 条
  • [21] Finding Topological Subgraphs is Fixed-Parameter Tractable
    Grohe, Martin
    Kawarabayashi, Ken-ichi
    Marx, Daniel
    Wollan, Paul
    STOC 11: PROCEEDINGS OF THE 43RD ACM SYMPOSIUM ON THEORY OF COMPUTING, 2011, : 479 - 488
  • [22] Simultaneous consecutive ones submatrix and editing problems: Classical complexity and fixed-parameter tractable results
    Rani, M. R.
    Subashini, R.
    Jagalmohanan, Mohith
    THEORETICAL COMPUTER SCIENCE, 2020, 812 : 13 - 38
  • [23] Almost 2-SAT is fixed-parameter tractable
    Razgon, Igor
    O'Sullivan, Barry
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2009, 75 (08) : 435 - 450
  • [24] On the fixed-parameter enumerability of cluster editing
    Damaschke, P
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2005, 3787 : 283 - 294
  • [25] Learning Deep ReLU Networks Is Fixed-Parameter Tractable
    Chen, Sitan
    Klivans, Adam R.
    Meka, Raghu
    2021 IEEE 62ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2021), 2022, : 696 - 707
  • [26] Fixed-parameter tractable algorithms for Tracking Shortest Paths
    Banik, Aritra
    Choudhary, Pratibha
    Raman, Venkatesh
    Saurabh, Saket
    THEORETICAL COMPUTER SCIENCE, 2020, 846 : 1 - 13
  • [27] Euclidean Bottleneck Steiner Tree is Fixed-Parameter Tractable
    Bandyapadhyay, Sayan
    Lochet, William
    Lokshtanov, Daniel
    Saurabh, Saket
    Xue, Jie
    PROCEEDINGS OF THE 2024 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA, 2024, : 699 - 711
  • [28] Simultaneous consecutive ones submatrix and editing problems: Classical complexity and fixed-parameter tractable results
    R, Rani M.
    R, Subashini
    Jagalmohanan, Mohith
    Theoretical Computer Science, 2020, 812 : 13 - 38
  • [29] Towards fixed-parameter tractable algorithms for abstract argumentation
    Dvorak, Wolfgang
    Pichler, Reinhard
    Woltran, Stefan
    ARTIFICIAL INTELLIGENCE, 2012, 186 : 1 - 37
  • [30] Subset Feedback Vertex Set Is Fixed-Parameter Tractable
    Cygan, Marek
    Pilipczuk, Marcin
    Pilipczuk, Michal
    Wojtaszczyk, Jakub Onufry
    AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT I, 2011, 6755 : 449 - 461