Pattern Matching for Separable Permutations

Both Emerite Neou (1) , Romeo Rizzi (2) , Stéphane Vialette (1)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge
2 UNIVR | DI - Department of Computer Science [Verona]

Given a permutation π (called the text) of size n and another permutation σ (called the pattern) of size k, the NP-complete permutation pattern matching problem asks whether σ occurs in π as an order-isomorphic subsequence. In this paper, we focus on separable permutations (those permutations that avoid both 2413 and 3142, or, equivalently, that admit a separating tree). The main contributions presented in this paper are as follows. We simplify the algorithm of Ibarra (Finding pattern matchings for permutations, Information Processing Letters 61 (1997), no. 6) to detect an occurrence of a separable permutation in a permutation and show how to reduce the space complexity from O(n³k) to O(n³logk) . In case both the text and the pattern are separable permutations, we give a more practicable O(n²k) time and O(nk) space algorithm. Furthermore, we show how to use this approach to decide in O(nk³ℓ²) time whether a separable permutation of size n is a disjoint union of two given permutations of size k and ℓ . Given a permutation of size n and a separable permutation of size k, we propose an O(n⁶k) time and O(n⁴log k) space algorithm to compute the largest common separable permutation that occurs in the two input permutations. This improves upon the existing O(n⁸) time algorithm by Rossin and Bouvel (The longest common pattern problem for two permutations, Pure Mathematics and Applications 17 (2006)). Finally, we give a O(n⁶k) time and space algorithm to detect an occurrence of a bivincular separable permutation in a permutation. (Bivincular patterns generalize classical permutations by requiring that positions and values involved in an occurrence may be forced to be adjacent).

Mots clés: separable permutations; permutations; pattern matching

Domaines: Algorithme et structure de données [cs.DS]

Both Emerite Neou, Romeo Rizzi, Stéphane Vialette. Pattern Matching for Separable Permutations. SPIRE 2016, Oct 2016, Beppu, Japan. pp.260-272, ⟨10.1007/978-3-319-46049-9_25⟩. ⟨hal-01798554⟩