Combinatorics / CONCEPT
Equinumerosity of Inversion Sequences in Class 152
The two pattern-avoidance classes in Class 152 are equinumerous at every length.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES0
PROOF DEPTH13
DOCUMENT LINKS1
The Class 152 equinumerosity
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Enumeration of the Right Avoidance Classtruth-dependency · Closed
- Generating Function for a Marked Interior Descenttruth-dependency · Closed
- Generating Function for the Penultimate Descenttruth-dependency · Closed
- Separation of Internal and Final Gap Weightstruth-dependency · Closed
- Structure of the Left Avoidance Classtruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Enumeration of the Right Avoidance Classstructural-affinity · Closed
- Generating Function for a Marked Interior Descentstructural-affinity · Closed
- Generating Function for Bounded Right Suffixesstructural-affinity · Closed
- Generating Function for the Final Descentstructural-affinity · Closed
- Generating Function for the Penultimate Descentstructural-affinity · Closed
- Multiplicities of Ordered Binary Choicesstructural-affinity · Closed
- Separation of Internal and Final Gap Weightsstructural-affinity · Closed
- Structure of the Left Avoidance Classstructural-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