Abstract
Given two permutations, a pattern \(\sigma \) and a text \(\pi \), Parity Permutation Pattern Matching asks whether there exists a parity and order preserving embedding of \(\sigma \) into \(\pi \). While it is known that Permutation Pattern Matching is in \(\textsf{FPT}\), we show that adding the parity constraint to the problem makes it \(\textsf{W}[1]\)-hard, even for alternating permutations or for 4321-avoiding patterns. However, it remains in \(\textsf{FPT}\) if the text avoids a fixed permutation, thanks to a recent meta-theorem on twin-width. On the other hand, as for the classical version, Parity Permutation Pattern Matching remains polynomial-time solvable when both permutations are separable, or if both are 321-avoiding, but \(\textsf{NP}\)-hard if the pattern is 321-avoiding and the text is 4321-avoiding.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ahal, S., Rabinovich, Y.: On complexity of the subpattern problem. SIAM J. Discrete Math. 22(2), 629–649 (2008)
Albert, M.H., Lackner, M., Lackner, M., Vatter, V.: The complexity of pattern matching for 321-avoiding and skew-merged permutations. Discrete Math. Theor. Comput. Sci. 18(2) (2016)
Alexandersson, P., Fufa, S.A., Getachew, F., Qiu, D.: Pattern-avoidance and fuss-catalan numbers. arXiv preprint. arXiv:2201.08168 (2022)
Berendsohn, B.A., Kozma, L., Marx, D.: Finding and counting permutations via CSPs. Algorithmica 83(8), 2552–2577 (2021). https://doi.org/10.1007/s00453-021-00812-z
Bonnet, É., Kim, E.J., Thomassé, S., Watrigant, R.: Twin-width I: tractable FO model checking. J. ACM 69(1), 3:1–3:46 (2022)
Bose, P., Buss, J.F., Lubiw, A.: Pattern matching for permutations. Inf. Process. Lett. 65(5), 277–283 (1998)
Bruner, M.L., Lackner, M.: The computational landscape of permutation patterns. Pure Mathematics and Applications: Special Issue for the Permutation Patterns 2012 Conference, vol. 24, no. 2, pp. 83–101 (2013)
Bruner, M., Lackner, M.: A fast algorithm for permutation pattern matching based on alternating runs. Algorithmica 75(1), 84–117 (2016). https://doi.org/10.1007/s00453-015-0013-y
Bulteau, L., Fertin, G., Jugé, V., Vialette, S.: Permutation pattern matching for doubly partially ordered patterns. In: Proceedings of the CPM. LIPIcs, vol. 223, pp. 21:1–21:17 (2022)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. MIT Press, Cambridge (2022)
Cygan, M., et al.: Parameterized Algorithms. Springer, Cham (2015)
Fox, J.: Stanley-wilf limits are typically exponential. arXiv preprint. arXiv:1310.8378 (2013)
Gawrychowski, P., Rzepecki, M.: Faster exponential algorithm for permutation pattern matching. In: 5th SOSA@SODA 2022, pp. 279–284. SIAM (2022)
Gil, J.B., Tomasko, J.A.: Restricted Grassmannian permutations. Enumerative Comb. Appl. 2(4), #S4PP6 (2021)
Guillemot, S., Marx, D.: Finding small patterns in permutations in linear time. In: Proceedings of the SODA, pp. 82–101. SIAM (2014)
Guillemot, S., Vialette, S.: Pattern matching for 321-avoiding permutations. In: Dong, Y., Du, D.-Z., Ibarra, O. (eds.) ISAAC 2009. LNCS, vol. 5878, pp. 1064–1073. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-10631-6_107
Jelínek, V., Kynčl, J.: Hardness of permutation pattern matching. In: Proceedings of the SODA, pp. 378–396. SIAM (2017)
Jelínek, V., Opler, M., Pekárek, J.: Griddings of permutations and hardness of pattern matching. In: Proceedings of the MFCS. LIPIcs, vol. 202, pp. 65:1–65:22 (2021)
Kitaev, S.: Patterns in Permutations and Words. Monographs in Theoretical Computer Science. An EATCS Series, Springer, Berlin (2011). https://doi.org/10.1007/978-3-642-17333-2
Tanimoto, S.: Combinatorics of the group of parity alternating permutations. Adv. Appl. Math. 44(3), 225–230 (2010)
Acknowledgements
Thanks to Édouard Bonnet and Eun Jung Kim for pointing out the link with the twin-width framework, and to the reviewers for their useful comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ardévol Martínez, V., Sikora, F., Vialette, S. (2023). Parity Permutation Pattern Matching. In: Lin, CC., Lin, B.M.T., Liotta, G. (eds) WALCOM: Algorithms and Computation. WALCOM 2023. Lecture Notes in Computer Science, vol 13973. Springer, Cham. https://doi.org/10.1007/978-3-031-27051-2_32
Download citation
DOI: https://doi.org/10.1007/978-3-031-27051-2_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-27050-5
Online ISBN: 978-3-031-27051-2
eBook Packages: Computer ScienceComputer Science (R0)