Combinatorics / CONCEPT
Enumeration for 1233 and 1322
The generating function for nonnesting permutations avoiding 1233 and 1322 satisfies the stated quadratic equation.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES0
PROOF DEPTH10
DOCUMENT LINKS1
The 1233 and 1322 generating function
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Avoidance by Increasing Blockstruth-dependency · Closed
- Dyck Shape of a Doubled Wordtruth-dependency · Closed
- Enumeration for 1132 and 2213truth-dependency · Closed
- Hook-Block Decompositiontruth-dependency · Closed
- Permutation and Dyck-Path Encodingtruth-dependency · Closed
- Reflection of Dyck Pathstruth-dependency · Closed
- Transfer Between Two Avoidance Classestruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Avoidance by Increasing Blocksstructural-affinity · Closed
- Compositions for a Fixed Dyck Shapestructural-affinity · Closed
- Dyck Shape of a Doubled Wordstructural-affinity · Closed
- Enumeration for 1132 and 2213structural-affinity · Closed
- Hook-Block Decompositionstructural-affinity · Closed
- Permutation and Dyck-Path Encodingstructural-affinity · Closed
- Reflection of Dyck Pathsstructural-affinity · Closed
- Transfer Between Two Avoidance Classesstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance