Skip to main content
Log in

A Polynomial Kernel for Bipartite Permutation Vertex Deletion

  • Published:
Algorithmica Aims and scope Submit manuscript

Abstract

In a permutation graph, vertices represent the elements of a permutation, and edges represent pairs of elements that are reversed by the permutation. In the Permutation Vertex Deletion problem, given an undirected graph G and an integer k, the objective is to test whether there exists a vertex subset \(S\subseteq V(G)\) such that \(|S| \le k\) and \(G-S\) is a permutation graph. The parameterized complexity of Permutation Vertex Deletion is a well-known open problem. Bożyk et al. [IPEC 2020] initiated a study on this problem by requiring that \(G-S\) be a bipartite permutation graph (a permutation graph that is bipartite). They called this the Bipartite Permutation Vertex Deletion (BPVD) problem. They showed that the problem admits a factor 9-approximation algorithm as well as a fixed parameter tractable (FPT) algorithm running in time \({\mathcal {O}}(9^k |V(G)|^{9})\). Moreover, they posed the question whether BPVD admits a polynomial kernel. We resolve this question in the affirmative by designing a polynomial kernel for BPVD. In particular, we obtain the following: Given an instance (Gk) of BPVD, in polynomial time we obtain an equivalent instance \((G',k')\) of BPVD such that \(k'\le k\), and \(|V(G')|+|E(G')|\le k^{\mathcal {O}(1)}\).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  1. Agrawal, A., Lokshtanov, D., Misra, P., Saurabh, S., Zehavi, M.: Feedback vertex set inspired kernel for chordal vertex deletion. In: Proceedings of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1383–1398 (2017)

  2. Agrawal, A., Misra, P., Saurabh, S., Zehavi, M.: Interval vertex deletion admits a polynomial kernel. In: Chan, T.M. (ed.) Proceedings of the 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1711–1730 (2019)

  3. Bodlaender, Hans L., Downey, Rodney G., Fellows, Michael R., Hermelin, Danny: On problems without polynomial kernels. J. Comput. Syst. Sci. 75(8), 423–434 (2009)

    Article  MathSciNet  Google Scholar 

  4. Bozyk, L., Derbisz, J., Krawczyk, T., Novotná, J., Okrasa, K.: Vertex deletion into bipartite permutation graphs. In: Cao, Y., Marcin, P. (eds.) 15th International Symposium on Parameterized and Exact Computation (IPEC), vol. 180 LIPIcs, pp. 1–16 (2020)

  5. Brandstädt, A., Van Bang, L., Spinrad, J.P.: Graph Classes: A Survey. SIAM, Philadelphia (1999)

    Book  Google Scholar 

  6. Cygan, M., Fomin, F.V., Kowalik, Ł, Lokshtanov, D., Marx, D., Saurabh, S.: Parameterized Algorithms. Springer-Verlag, Berlin (2015)

    Book  Google Scholar 

  7. Dell, H., Marx, D.: Kernelization of packing problems. In: Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 68–81 (2012)

  8. Dell, H., van Melkebeek, D.: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. J. ACM 61(4), 23:1-23:27 (2014)

    Article  MathSciNet  Google Scholar 

  9. Diestel, R.: The Basics, vol. 173. In: Graph Theory, 4th edn. Graduate texts in mathematics. Springer, Berlin (2012)

  10. Downey, Rodney G., Fellows, Michael R.: Fundamentals of Parameterized Complexity. Texts in Computer Science, Springer, London (2013)

    Book  Google Scholar 

  11. Drucker, Andrew: New limits to classical and quantum instance compression. SIAM J. Comput. 44(5), 1443–1479 (2015)

    Article  MathSciNet  Google Scholar 

  12. Flum, Jörg., Grohe, Martin: Parameterized Complexity Theory. Springer-Verlag, Berlin (2006)

    MATH  Google Scholar 

  13. Fomin, F.V., Saurabh, S., Villanger, Y.: A polynomial Kernel for proper interval vertex deletion. SIAM J. Discret. Math. 27(4), 1964–1976 (2013)

    Article  MathSciNet  Google Scholar 

  14. Fomin, F.V., Lokshtanov, D., Misra, N., Saurabh, S.: Planar f-deletion: Approximation, kernelization and optimal FPT algorithms. In: 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 470–479 (2012)

  15. Fomin, F.V., Saurabh, S.: Kernelization methods for fixed-parameter tractability. In: Tractability, pp. 260–282. Cambridge University Press, Cambridge (2014)

    Chapter  Google Scholar 

  16. Fortnow, Lance, Santhanam, Rahul: Infeasibility of instance compression and succinct PCPs for NP. J. Comput. Syst. Sci. 77(1), 91–106 (2011)

    Article  MathSciNet  Google Scholar 

  17. Fujito, T.: A unified approximation algorithm for node-deletion problems. Discret. Appl. Math. 86, 213–231 (1998)

    Article  MathSciNet  Google Scholar 

  18. Golumbic, M.C.: Algorithmic Graph Theory and Perfect Graphs. Academic Press, London (1980)

    MATH  Google Scholar 

  19. Guo, J., Niedermeier, R.: Invitation to data reduction and problem kernelization. SIGACT News 38(1), 31–45 (2007)

    Article  Google Scholar 

  20. Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M., Xi, W.: A completeness theory for polynomial (Turing) kernelization. Algorithmica 71(3), 702–730 (2015)

    Article  MathSciNet  Google Scholar 

  21. Hermelin, D., Wu, X.: Weak compositions and their applications to polynomial lower bounds for kernelization. In: Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 104–113, (2012)

  22. Jansen, B.M.P., Pilipczuk, M.: Approximation and kernelization for chordal vertex deletion. In: Proceedings of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1399–1418, (2017)

  23. Kanesh, L., Madathil, J., Sahu, A., Saurabh, S., Verma, S.: A polynomial kernel for bipartite permutation vertex deletion. In: 16th International Symposium on Parameterized and Exact Computation, (IPEC), vol. 214 of LIPIcs, pp. 23:1–23:18, (2021)

  24. Ke, Y., Cao, Y., Ouyang, X., Li, W., Wang, J.: Unit interval vertex deletion: Fewer vertices are relevant. J. Comput. Syst. Sci. 95, 109–121 (2018)

    Article  MathSciNet  Google Scholar 

  25. Kratsch, S.: Recent developments in kernelization: a survey. Bulletin of the European Association for Theoretical Computer Science, vol. 113 (2014)

  26. Lewis, J.M., Yannakakis, M.: The node-deletion problem for hereditary properties is NP-complete. J. Comput. Syst. Sci. 20(2), 219–230 (1980)

    Article  MathSciNet  Google Scholar 

  27. Lokshtanov, D., Misra, N., Saurabh, S.: Kernelization—preprocessing with a guarantee. In The Multivariate Algorithmic Revolution and Beyond—Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday, pp. 129–161 (2012)

  28. Lund, C., Yannakakis, M.: On the hardness of approximating minimization problems. J. ACM 41, 960–981 (1994)

    Article  MathSciNet  Google Scholar 

  29. Marx, D.: Chordal deletion is fixed-parameter tractable. Algorithmica 57(4), 747–768 (2010)

    Article  MathSciNet  Google Scholar 

  30. McConnell, R.M., Spinrad, J.P.: Modular decomposition and transitive orientation. Discret. Math. 201(1–3), 189–241 (1999)

    Article  MathSciNet  Google Scholar 

  31. Niedermeier, R.: Invitation to Fixed-Parameter Algorithms, vol. 31. Oxford University Press, Oxford (2006)

    Book  Google Scholar 

  32. Spinrad, J.P., Brandstädt, A., Stewart, L.: Bipartite permutation graphs. Discret. Appl. Math. 18(3), 279–292 (1987)

    Article  MathSciNet  Google Scholar 

  33. Uehara, R., Valiente, G.: Linear structure of bipartite permutation graphs and the longest path problem. Inf. Process. Lett. 103(2), 71–77 (2007)

    Article  MathSciNet  Google Scholar 

  34. Yannakakis, M.: Node- and edge-deletion np-complete problems. In: Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC), pp. 253–264 (1978)

Download references

Funding

Lawqueen Kanesh: This work was done while Lawqueen Kanesh was at the National University of Singapore, supported in part by NRF Fellowship for AI grant [R-252-000-B14-281] and by Defense Service Organization, Singapore. Jayakrishnan Madathil: Supported by the Chennai Mathematical Institute and the Infosys Foundation.Saket Saurabh: Supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement no. 819416), and Swarnajayanti Fellowship (no. DST/SJF/MSA01/2017-18).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lawqueen Kanesh.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Related Version An extended abstract of this work appeared in the Proceedings of the 16th International Symposium on Parameterized and Exact Computation (IPEC) 2021 [23].

Rights and permissions

Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Derbisz, J., Kanesh, L., Madathil, J. et al. A Polynomial Kernel for Bipartite Permutation Vertex Deletion. Algorithmica 84, 3246–3275 (2022). https://doi.org/10.1007/s00453-022-01040-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00453-022-01040-9

Keywords

Navigation