Deleting Vertices to Graphs of Bounded Genus

We show that a problem of deleting a minimum number of vertices from a graph to obtain a graph embeddable on a surface of a given Euler genus is solvable in time $$2^{C_g \cdot k^2 \log k} n^{\mathcal {O}(1)}$$2Cg·k2logknO(1), where k is the size of the deletion set, $$C_g$$Cg is a constant depending on the Euler genus g of the target surface, and n is the size of the input graph. On the way to this result, we develop an algorithm solving the problem in question in time $$2^{\mathcal {O}((t+g) \log (t+g))} n$$2O((t+g)log(t+g))n given a tree decomposition of the input graph of width t. The results generalize previous algorithms for the surface being a sphere by Marx and Schlotter (Algorithmica 62(3–4):807–822, 2012. https://doi.org/10.1007/s00453-010-9484-z), Kawarabayashi (in: 50th annual IEEE symposium on foundations of computer science, FOCS 2009, IEEE Computer Society, pp 639–648, 2009. https://doi.org/10.1109/FOCS.2009.45) and Jansen et al. (in: Chekuri (ed) 25th annual ACM-SIAM symposium on discrete algorithms, SODA 2014, SIAM, pp 1802–1811, 2014. https://doi.org/10.1137/1.9781611973402.130).

[1]  Saul Stahl,et al.  Blocks and the nonorientable genus of graphs , 1977, J. Graph Theory.

[2]  Bojan Mohar,et al.  A Linear Time Algorithm for Embedding Graphs in an Arbitrary Surface , 1999, SIAM J. Discret. Math..

[3]  Saket Saurabh,et al.  A Near-Optimal Planarization Algorithm , 2014, SODA.

[4]  Ken-ichi Kawarabayashi,et al.  Algorithmic graph minor theory: Decomposition, approximation, and coloring , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[5]  Russell Impagliazzo,et al.  Which problems have strongly exponential complexity? , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[6]  Bruce A. Reed,et al.  A Simpler Linear Time Algorithm for Embedding Graphs into an Arbitrary Surface and the Genus of Graphs of Bounded Tree-Width , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[7]  Ken-ichi Kawarabayashi,et al.  Planarity Allowing Few Error Vertices in Linear Time , 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[8]  Marcin Pilipczuk,et al.  A tight lower bound for Vertex Planarization on graphs of bounded treewidth , 2015, Discret. Appl. Math..

[9]  Ton Kloks Treewidth, Computations and Approximations , 1994, Lecture Notes in Computer Science.

[10]  Dániel Marx,et al.  Obtaining a Planar Graph by Vertex Deletion , 2007, WG.

[11]  Carsten Thomassen,et al.  Graphs on Surfaces , 2001, Johns Hopkins series in the mathematical sciences.

[12]  Michal Pilipczuk,et al.  Parameterized Algorithms , 2015, Springer International Publishing.

[13]  Erik D. Demaine,et al.  Linearity of grid minors in treewidth with applications through bidimensionality , 2008, Comb..

[14]  John M. Lewis,et al.  The Node-Deletion Problem for Hereditary Properties is NP-Complete , 1980, J. Comput. Syst. Sci..

[15]  Hans L. Bodlaender,et al.  A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC.