Modification to planarity is fixed parameter tractable

Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A replacement action is a function L that maps each k-vertex labeled graph to another k-vertex graph. We consider a general family of graph modification problems, called L-Replacement to C, where the input is a graph G and the question is whether it is possible to replace in G some k-vertex subgraph H of it by L(H) so that the new graph belongs to the graph class C. L-Replacement to C can simulate several modification operations such as edge addition, edge removal, edge editing, and diverse completion and superposition operations. In this paper, we prove that for any action L, if C is the class of planar graphs, there is an algorithm that solves L-Replacement to C in O(|G|2) steps. We also present several applications of our approach to related problems.

Original languageEnglish (US)
Title of host publication36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019
EditorsRolf Niedermeier, Christophe Paul
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959771009
DOIs
StatePublished - Mar 1 2019
Event36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019 - Berlin, Germany
Duration: Mar 13 2019Mar 16 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume126
ISSN (Print)1868-8969

Conference

Conference36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019
Country/TerritoryGermany
CityBerlin
Period3/13/193/16/19

Keywords

  • Irrelevant vertex technique
  • Modification problems
  • Planar graphs

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Modification to planarity is fixed parameter tractable'. Together they form a unique fingerprint.

Cite this