Pattern Matching for k-Track Permutations

Given permutations and , the permutation pattern (PP) problem is to decide whether occurs in as an order-isomorphic subsequence. Although an FPT algorithm is known for PP parameterized by the size of the pattern || [Guillemot and Marx 2014], the high complexity of this algorithm makes it impractical for most instances. In this paper we approach the PP problem from k-track permutations, i.e. those permutations that are the union of k increasing patterns or, equivalently, those permutation that avoid the decreasing pattern (+1)…1. Recently, k-track permutations have been shown to be central combinatorial objects in the study of the PP problem. Indeed, the PP problem is NP-complete when is 321-avoiding and is 4321-avoiding but is solvable in polynomial-time if both and avoid 321. We propose and implement an exact algorithm, FPT for parameters k and ||, which allows to solve efficiently some large instances.