Papers
Topics
Authors
Recent
Search
2000 character limit reached

Hardness of Permutation Pattern Matching

Published 1 Aug 2016 in math.CO, cs.DM, and cs.DS | (1608.00529v1)

Abstract: Permutation Pattern Matching (or PPM) is a decision problem whose input is a pair of permutations π\pi and τ\tau, represented as sequences of integers, and the task is to determine whether τ\tau contains a subsequence order-isomorphic to π\pi. Bose, Buss and Lubiw proved that PPM is NP-complete on general inputs. We show that PPM is NP-complete even when π\pi has no decreasing subsequence of length 3 and τ\tau has no decreasing subsequence of length 4. This provides the first known example of PPM being hard when one or both of π\pi and σ\sigma are restricted to a proper hereditary class of permutations. This hardness result is tight in the sense that PPM is known to be polynomial when both π\pi and τ\tau avoid a decreasing subsequence of length 3, as well as when π\pi avoids a decreasing subsequence of length 2. The result is also tight in another sense: we will show that for any hereditary proper subclass C of the class of permutations avoiding a decreasing sequence of length 3, there is a polynomial algorithm solving PPM instances where π\pi is from C and τ\tau is arbitrary. We also obtain analogous hardness and tractability results for the class of so-called skew-merged patterns. From these results, we deduce a complexity dichotomy for the PPM problem restricted to π\pi belonging to Av(ρ)Av(\rho), where Av(ρ)Av(\rho) denotes the class of permutations avoiding a permutation ρ\rho. Specifically, we show that the problem is polynomial when ρ\rho is in the set {1, 12, 21, 132, 213, 231, 312}, and it is NP-complete for any other ρ\rho.

Authors (2)
Citations (16)

Summary

No one has generated a summary of this paper yet.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.