Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms 2015
DOI: 10.1137/1.9781611974331.ch66
|View full text |Cite
|
Sign up to set email alerts
|

Permutation patterns are hard to count

Abstract: Let F ⊂ S k be a finite set of permutations and let Cn(F ) denote the number of permutations σ ∈ Sn avoiding the set of patterns F . We prove that {Cn(F)} cannot be computed in time polynomial in n, unless EXP = ⊕EXP. Our tools also allow us to disprove the Noonan-Zeilberger conjecture which states that the sequence {Cn(F )} is P-recursive.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
7
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
4
3

Relationship

1
6

Authors

Journals

citations
Cited by 7 publications
(7 citation statements)
references
References 10 publications
0
7
0
Order By: Relevance
“…We extend this result in a forthcoming paper [67], where we construct a D-transcendent sequence {A n (F)}, for some F ⊂ S 80 . Both proofs involve embedding of Turing machines into the problem modulo 2.…”
Section: Theorem 221 ([65]mentioning
confidence: 63%
See 1 more Smart Citation
“…We extend this result in a forthcoming paper [67], where we construct a D-transcendent sequence {A n (F)}, for some F ⊂ S 80 . Both proofs involve embedding of Turing machines into the problem modulo 2.…”
Section: Theorem 221 ([65]mentioning
confidence: 63%
“…It would be interesting to see if this sequence is D-algebraic. In a forthcoming paper [67] we construct an explicit but highly artificial non-symmetric set S ⊂ F k × F ℓ with D-transcendental cogrowth sequence. In [95] we use the tools in [94] to prove that groups have an uncountable set of spectral radii…”
Section: Corollary 216 ([66]mentioning
confidence: 99%
“…(See e.g. Garrabrant and Pak [4] for some related impossibility results supporting this.) Therefore, typically these classes are studied one by one, with methods depending on the knowledge of some structure theorem for permutations in that particular class.…”
Section: Introductionmentioning
confidence: 86%
“…The cogrowth series (6.1) represents a function of complex variable z ∈ C analytic at disc around z = 0 of radius R ≥ 1 2m − 1 . The major questions are: Under what conditions H(z) is rational, algebraic and belongs to distinguished class of analytic functions, like for instance the class of D-finite functions studied in [6].…”
Section: Computing Cogrowth Series Of Hmentioning
confidence: 99%