Combinatorics / CONCEPT
Location of the Parameter Maximum
The maximum of an eligible parameter lies at exactly one endpoint.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES1
PROOF DEPTH14
DOCUMENT LINKS1
Exactly one maximal endpoint
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
- Enumeration of Iterated 132-Avoidersstructural-affinity · Closed
- Explicit Exceptional Orbitsstructural-affinity · Closed
- Partition into Marked Intervalsstructural-affinity · Closed
- Positional Constraints in Record Blocksstructural-affinity · Closed
- Reduction along the Distinguished Cyclestructural-affinity · Closed
- Shape of Parameters with a Final Maximumstructural-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