A tight lower bound for Vertex Planarization on graphs of bounded treewidth

In the Vertex Planarization problem one asks to delete the minimum possible number of vertices from an input graph to obtain a planar graph. The parameterized complexity of this problem, parameterized by the solution size (the number of deleted vertices) has recently attracted significant attention. The state-of-the-art algorithm of Jansen, Lokshtanov, and Saurabh [SODA 2014] runs in time $2^{O(k \log k)} \cdot n$ on $n$-vertex graph with a solution of size $k$. It remains open if one can obtain a single-exponential dependency on $k$ in the running time bound. One of the core technical contributions of the work of Jansen, Lokshtanov, and Saurabh is an algorithm that solves a weighted variant of Vertex Planarization in time $2^{O(w \log w)} \cdot n$ on graphs of treewidth $w$. In this short note we prove that the running time of this routine is tight under the Exponential Time Hypothesis, even in unweighted graphs and when parameterizing by treedepth. Consequently, it is unlikely that a potential single-exponential algorithm for Vertex Planarization parameterized by the solution size can be obtained by merely improving upon the aforementioned bounded treewidth subroutine.

[1]  Dániel Marx,et al.  Slightly superexponential parameterized problems , 2011, SODA '11.

[2]  Robert E. Tarjan,et al.  Efficient Planarity Testing , 1974, JACM.

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

[4]  Russell Impagliazzo,et al.  Which Problems Have Strongly Exponential Complexity? , 2001, J. Comput. Syst. Sci..

[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]  Dániel Marx,et al.  Obtaining a Planar Graph by Vertex Deletion , 2007, Algorithmica.

[7]  Dániel Marx,et al.  Lower bounds based on the Exponential Time Hypothesis , 2011, Bull. EATCS.

[8]  Michael R. Fellows,et al.  On search decision and the efficiency of polynomial-time algorithms , 1989, STOC '89.

[9]  H. Whitney Congruent Graphs and the Connectivity of Graphs , 1932 .

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

[11]  Michael R. Fellows,et al.  On search, decision, and the efficiency of polynomial-time algorithms , 1994, FOCS 1994.

[12]  Michael R. Fellows,et al.  Fundamentals of Parameterized Complexity , 2013 .

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

[14]  Jaroslav Nesetril,et al.  Tree-depth, subgraph coloring and homomorphism bounds , 2006, Eur. J. Comb..

[15]  Dániel Marx,et al.  What's Next? Future Directions in Parameterized Complexity , 2012, The Multivariate Algorithmic Revolution and Beyond.

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

[17]  Hanafi S-Tp I &. .In Search , 2013 .