Combinatorics / CONCEPT
Shape of Parameters with a Final Maximum
The final-maximum family consists of two explicit words and a cyclic family.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES1
PROOF DEPTH14
DOCUMENT LINKS1
The three possible shapes
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Appending a Maximal Fixed Pointtruth-dependency · Closed
- Cycle Reduction at a Final Maximumtruth-dependency · Closed
- Cycles from Record Blockstruth-dependency · Closed
- Explicit Exceptional Orbitstruth-dependency · Closed
- Partition into Marked Intervalstruth-dependency · Closed
- Positional Constraints in Record Blockstruth-dependency · Closed
- Reduction along the Distinguished Cycletruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Appending a Maximal Fixed Pointstructural-affinity · Closed
- Counting Parameters with a Final Maximumstructural-affinity · Closed
- Cycle Reduction at a Final Maximumstructural-affinity · Closed
- Decomposition of the Second Avoidance Layerstructural-affinity · Closed
- Enumeration of Iterated 132-Avoidersstructural-affinity · Closed
- Explicit Exceptional Orbitsstructural-affinity · Closed
- Location of the Parameter Maximumstructural-affinity · Closed
- Partition into Marked Intervalsstructural-affinity · Closed
- Positional Constraints in Record Blocksstructural-affinity · Closed
- Recovering a Smaller Cycle from Insertionstructural-affinity · Closed
- Reduction along the Distinguished Cyclestructural-affinity · Closed
- The Balanced Two-Block Familystructural-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