Generalized Coloring of Permutations
Vít Jelínek,Michal Opler,Pavel Valtr
DOI: https://doi.org/10.1007/s00453-024-01220-9
IF: 0.909
2024-03-30
Algorithmica
Abstract:A permutation is a merge of a permutation and a permutation , if we can color the elements of red and blue so that the red elements have the same relative order as and the blue ones as . We consider, for fixed hereditary permutation classes and , the complexity of determining whether a given permutation is a merge of an element of with an element of . We develop general algorithmic approaches for identifying polynomially tractable cases of merge recognition. Our tools include a version of streaming recognizability of permutations via polynomially constructible nondeterministic automata, as well as a concept of bounded width decomposition, inspired by the work of Ahal and Rabinovich. As a consequence of the general results, we can provide nontrivial examples of tractable permutation merges involving commonly studied permutation classes, such as the class of layered permutations, the class of separable permutations, or the class of permutations avoiding a decreasing sequence of a given length. On the negative side, we obtain a general hardness result which implies, for example, that it is NP-complete to recognize the permutations that can be merged from two subpermutations avoiding the pattern 2413.
computer science, software engineering,mathematics, applied