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 条
  • [31] Fixed-parameter tractable algorithms for testing upward planarity
    Healy, P
    Lynch, K
    SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE, 2005, 3381 : 199 - 208
  • [32] Fixed-Parameter Tractable Distances to Sparse Graph Classes
    Bulian, Jannis
    Dawar, Anuj
    ALGORITHMICA, 2017, 79 (01) : 139 - 158
  • [33] Fixed-Parameter Tractable Optimization Under DNNF Constraints
    Koriche, Frederic
    Le Berre, Daniel
    Lonca, Emmanuel
    Marquis, Pierre
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1194 - 1202
  • [34] Fixed-Parameter Tractable Distances to Sparse Graph Classes
    Jannis Bulian
    Anuj Dawar
    Algorithmica, 2017, 79 : 139 - 158
  • [35] SUBSET FEEDBACK VERTEX SET IS FIXED-PARAMETER TRACTABLE
    Cygan, Marek
    Pilipczuk, Marcin
    Pilipczuk, Michal
    Wojtaszczyk, Jakub Onufry
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2013, 27 (01) : 290 - 309
  • [36] Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable
    Ramanujan, M. S.
    Szeider, Stefan
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3929 - 3935
  • [37] Fixed-Parameter Tractable Algorithms for Tracking Set Problems
    Banik, Aritra
    Choudhary, Pratibha
    ALGORITHMS AND DISCRETE APPLIED MATHEMATICS, CALDAM 2018, 2018, 10743 : 93 - 104
  • [38] INTERVAL COMPLETION IS FIXED PARAMETER TRACTABLE
    Villanger, Yngve
    Heggernes, Pinar
    Paul, Christophe
    Telle, Jan Arne
    SIAM JOURNAL ON COMPUTING, 2009, 38 (05) : 2007 - 2020
  • [39] Closest 4-leaf power is fixed-parameter tractable
    Dom, Michael
    Guo, Jiong
    Hueffner, Falk
    Niedermeier, Rolf
    DISCRETE APPLIED MATHEMATICS, 2008, 156 (18) : 3345 - 3361
  • [40] Directed Subset Feedback Vertex Set is Fixed-Parameter Tractable
    A,V. Williams Building, Department of Computer Science, University of Maryland, College Park
    MD
    20742, United States
    不详
    02-097, Poland
    不详
    H-1111, Hungary
    ACM Trans. Algorithms, 4