Combinatorics / CONCEPT
Three Stacks Avoiding Patterns of Order Three
The stacks avoiding 312, 31-2 and 3-12 define three sorting classes and their common-output assertion.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS1
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A Pattern Characterization of the Sorting Classstructural-affinity · Closed
- Different Push Decisions Force 231structural-affinity · Closed
- Equal Sorting Classes and Outputsstructural-affinity · Closed
- Pattern Occurrences and Stack Invariantsstructural-affinity · Closed
- Prefix Records and Pattern Obstructionsstructural-affinity · Closed
- Priority of Maximum Insertion Sitesstructural-affinity · Closed
- Stack Invariants and Maximum Insertionstructural-affinity · Closed
- The Stack Avoiding 23-1structural-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