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 条
  • [41] Two fixed-parameter tractable algorithms for testing upward planarity
    Healy, Patrick
    Lynch, Karol
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2006, 17 (05) : 1095 - 1114
  • [42] Faster fixed-parameter tractable algorithms for matching and packing problems
    Fellows, M. R.
    Knauer, C.
    Nishimura, N.
    Ragde, P.
    Rosamond, F.
    Stege, U.
    Thilikos, D. M.
    Whitesides, S.
    ALGORITHMICA, 2008, 52 (02) : 167 - 176
  • [43] Satisfiability of Ordering CSPs Above Average Is Fixed-Parameter Tractable
    Makarychev, Konstantin
    Makarychev, Yury
    Zhou, Yuan
    2015 IEEE 56TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 2015, : 975 - 993
  • [44] Fixed-Parameter Tractable Algorithms for Optimal Layout Decomposition and Beyond
    Kuang, Jian
    Young, Evangeline F. Y.
    PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2017,
  • [45] Fixed-Parameter Tractable Algorithms for Optimal Layout Decomposition and Beyond
    Kuang, Jian
    Young, Evangeline F. Y.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2019, 38 (09) : 1731 - 1743
  • [46] When is Red-Blue Nonblocker Fixed-Parameter Tractable?
    Gaspers, Serge
    Gudmundsson, Joachim
    Horton, Michael
    Ruemmele, Stefan
    LATIN 2018: THEORETICAL INFORMATICS, 2018, 10807 : 515 - 528
  • [47] Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable
    Chitnis, Rajesh
    Cygan, Marek
    Hajiaghayi, Mohammataghi
    Marx, Daniel
    ACM TRANSACTIONS ON ALGORITHMS, 2015, 11 (04)
  • [48] Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable
    Chitnis, Rajesh
    Cygan, Marek
    Hajiaghayi, Mohammadtaghi
    Marx, Daniel
    AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012 PT I, 2012, 7391 : 230 - 241
  • [49] Faster Fixed-Parameter Tractable Algorithms for Matching and Packing Problems
    M. R. Fellows
    C. Knauer
    N. Nishimura
    P. Ragde
    F. Rosamond
    U. Stege
    D. M. Thilikos
    S. Whitesides
    Algorithmica, 2008, 52 : 167 - 176
  • [50] Faster fixed-parameter tractable algorithms for matching and packing problems
    Fellows, MR
    Knauer, C
    Nishimura, N
    Ragde, P
    Rosamond, F
    Stege, U
    Thilikos, DM
    Whitesides, S
    ALGORITHMS ESA 2004, PROCEEDINGS, 2004, 3221 : 311 - 322