Combinatorics / CONCEPT
Pattern Occurrences and Stack Invariants
Adjacent pattern occurrences and order preservation control the three stack maps.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS1
An adjacent descent in a 312 occurrence
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
- Prefix Records and Pattern Obstructionsstructural-affinity · Closed
- Stack Invariants and Maximum Insertionstructural-affinity · Closed
- The Stack Avoiding 23-1structural-affinity · Closed
- Three Stacks Avoiding Patterns of Order Threestructural-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