Deleting to Structured Trees

We consider a natural variant of the well-known Feedback Vertex Set problem, namely the problem of deleting a small subset of vertices or edges to a full binary tree. This version of the problem is motivated by real-world scenarios that are best modeled by full binary trees. We establish that both the edge and vertex deletion variants of the problem are \(\mathsf {NP}\)-hard. This stands in contrast to the fact that deleting edges to obtain a forest or a tree is equivalent to the problem of finding a minimum cost spanning tree, which can be solved in polynomial time. We also establish that both problems are \(\mathsf {FPT}\) by the standard parameter.

[1]  Mihalis Yannakakis,et al.  The Effect of a Connectivity Requirement on the Complexity of Maximum Subgraph Problems , 1979, JACM.

[2]  Saket Saurabh,et al.  Tree Deletion Set Has a Polynomial Kernel (but no OPT^O(1) Approximation) , 2014, FSTTCS.

[3]  Geevarghese Philip,et al.  A Quartic Kernel for Pathwidth-One Vertex Deletion , 2010, WG.

[4]  Saket Saurabh,et al.  Faster fixed parameter tractable algorithms for finding feedback vertex sets , 2006, TALG.

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

[6]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[7]  Robert Ganian,et al.  On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem , 2020, Algorithmica.

[8]  Saket Saurabh,et al.  An FPT Algorithm for Tree Deletion Set , 2013, WALCOM.

[9]  Manfred K. Warmuth,et al.  Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable , 1986, AAAI.

[10]  Saket Saurabh,et al.  Tree Deletion Set Has a Polynomial Kernel but No OPTO(1) Approximation , 2013, SIAM J. Discret. Math..

[11]  R. Diestel Extremal Graph Theory , 2017 .

[12]  Reinhard Diestel,et al.  Graph Theory, 4th Edition , 2012, Graduate texts in mathematics.

[13]  Esther M. Arkin,et al.  Choice Is Hard , 2015, ISAAC.

[14]  Michal Pilipczuk,et al.  An Improved FPT Algorithm and a Quadratic Kernel for Pathwidth One Vertex Deletion , 2012, Algorithmica.