Combinatorics / CONCEPT
Stack Invariants and Maximum Insertion
Stack invariants determine the output position of a newly inserted maximum.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS1
Testing a proposed push
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
- The Generating Tree of Sortable Permutationsstructural-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