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 条
  • [1] Unit Interval Editing Is Fixed-Parameter Tractable
    Cao, Yixin
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT I, 2015, 9134 : 306 - 317
  • [2] Chordal Editing is Fixed-Parameter Tractable
    Cao, Yixin
    Marx, Daniel
    ALGORITHMICA, 2016, 75 (01) : 118 - 137
  • [3] Chordal Editing is Fixed-Parameter Tractable
    Cao, Yixin
    Marx, Daniel
    31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014), 2014, 25 : 214 - 225
  • [4] Chordal Editing is Fixed-Parameter Tractable
    Yixin Cao
    Dániel Marx
    Algorithmica, 2016, 75 : 118 - 137
  • [5] Interval Deletion Is Fixed-Parameter Tractable
    Cao, Yixin
    Marx, Daniel
    ACM TRANSACTIONS ON ALGORITHMS, 2015, 11 (03)
  • [6] Fixed-parameter tractable generalizations of cluster editing
    Damaschke, Peter
    ALGORITHMS AND COMPLEXITY, PROCEEDINGS, 2006, 3998 : 344 - 355
  • [7] Graph Editing to a Given Neighbourhood Degree List is Fixed-Parameter Tractable
    Nishimura, Naomi
    Subramanya, Vijay
    COMBINATORIAL OPTIMIZATION AND APPLICATIONS, COCOA 2017, PT II, 2017, 10628 : 138 - 153
  • [8] Chordal Deletion is Fixed-Parameter Tractable
    Dániel Marx
    Algorithmica, 2010, 57 : 747 - 768
  • [9] Rotation distance is fixed-parameter tractable
    Cleary, Sean
    John, Katherine St.
    INFORMATION PROCESSING LETTERS, 2009, 109 (16) : 918 - 922
  • [10] Fixed-Parameter Tractable Reductions to SAT
    de Haan, Ronald
    Szeider, Stefan
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, 2014, 8561 : 85 - 102