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 (G, k) 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)}\).
Similar content being viewed by others
References
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)
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)
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)
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)
Brandstädt, A., Van Bang, L., Spinrad, J.P.: Graph Classes: A Survey. SIAM, Philadelphia (1999)
Cygan, M., Fomin, F.V., Kowalik, Ł, Lokshtanov, D., Marx, D., Saurabh, S.: Parameterized Algorithms. Springer-Verlag, Berlin (2015)
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)
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)
Diestel, R.: The Basics, vol. 173. In: Graph Theory, 4th edn. Graduate texts in mathematics. Springer, Berlin (2012)
Downey, Rodney G., Fellows, Michael R.: Fundamentals of Parameterized Complexity. Texts in Computer Science, Springer, London (2013)
Drucker, Andrew: New limits to classical and quantum instance compression. SIAM J. Comput. 44(5), 1443–1479 (2015)
Flum, Jörg., Grohe, Martin: Parameterized Complexity Theory. Springer-Verlag, Berlin (2006)
Fomin, F.V., Saurabh, S., Villanger, Y.: A polynomial Kernel for proper interval vertex deletion. SIAM J. Discret. Math. 27(4), 1964–1976 (2013)
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)
Fomin, F.V., Saurabh, S.: Kernelization methods for fixed-parameter tractability. In: Tractability, pp. 260–282. Cambridge University Press, Cambridge (2014)
Fortnow, Lance, Santhanam, Rahul: Infeasibility of instance compression and succinct PCPs for NP. J. Comput. Syst. Sci. 77(1), 91–106 (2011)
Fujito, T.: A unified approximation algorithm for node-deletion problems. Discret. Appl. Math. 86, 213–231 (1998)
Golumbic, M.C.: Algorithmic Graph Theory and Perfect Graphs. Academic Press, London (1980)
Guo, J., Niedermeier, R.: Invitation to data reduction and problem kernelization. SIGACT News 38(1), 31–45 (2007)
Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M., Xi, W.: A completeness theory for polynomial (Turing) kernelization. Algorithmica 71(3), 702–730 (2015)
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)
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)
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)
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)
Kratsch, S.: Recent developments in kernelization: a survey. Bulletin of the European Association for Theoretical Computer Science, vol. 113 (2014)
Lewis, J.M., Yannakakis, M.: The node-deletion problem for hereditary properties is NP-complete. J. Comput. Syst. Sci. 20(2), 219–230 (1980)
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)
Lund, C., Yannakakis, M.: On the hardness of approximating minimization problems. J. ACM 41, 960–981 (1994)
Marx, D.: Chordal deletion is fixed-parameter tractable. Algorithmica 57(4), 747–768 (2010)
McConnell, R.M., Spinrad, J.P.: Modular decomposition and transitive orientation. Discret. Math. 201(1–3), 189–241 (1999)
Niedermeier, R.: Invitation to Fixed-Parameter Algorithms, vol. 31. Oxford University Press, Oxford (2006)
Spinrad, J.P., Brandstädt, A., Stewart, L.: Bipartite permutation graphs. Discret. Appl. Math. 18(3), 279–292 (1987)
Uehara, R., Valiente, G.: Linear structure of bipartite permutation graphs and the longest path problem. Inf. Process. Lett. 103(2), 71–77 (2007)
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)
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
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-022-01040-9