Combinatorics / CONCEPT
Partition into Marked Intervals
Consecutive marked positions partition a word into intervals.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES11
PROOF DEPTH5
DOCUMENT LINKS1
Concatenation of consecutive intervals
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Appending a Maximal Fixed Pointtruth-dependency · Closed
- Counting Avoiders with a Maximal Tailtruth-dependency · Closed
- Location of the Parameter Maximumtruth-dependency · Closed
- Positional Constraints in Record Blockstruth-dependency · Closed
- Recursive Enumeration of First-Endpoint Parameterstruth-dependency · Closed
- Reduction along the Distinguished Cycletruth-dependency · Closed
- Separated Prefixestruth-dependency · Closed
- Shape of Parameters with a Final Maximumtruth-dependency · Closed
- Size Bound for Indecomposable Fixed 312-Avoiderstruth-dependency · Closed
- Splitting at the Final Valuetruth-dependency · Closed
- The Descending Parameter Familytruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A Distinguished Cycle from a Parameter Wordstructural-affinity · Closed
- Appending a Maximal Fixed Pointstructural-affinity · Closed
- Counting Avoiders with a Maximal Tailstructural-affinity · Closed
- Cycles from Record Blocksstructural-affinity · Closed
- Descending Triples and Direct Sumsstructural-affinity · Closed
- Iterated Pattern Avoidance and Its Countsstructural-affinity · Closed
- Location of the Parameter Maximumstructural-affinity · Closed
- Positional Constraints in Record Blocksstructural-affinity · Closed
- Record-Block Characterization of 132-Avoidancestructural-affinity · Closed
- Recursive Enumeration of First-Endpoint Parametersstructural-affinity · Closed
- Reduction along the Distinguished Cyclestructural-affinity · Closed
- Separated Prefixesstructural-affinity · Closed
- Shape of Parameters with a Final Maximumstructural-affinity · Closed
- Size Bound for Indecomposable Fixed 312-Avoidersstructural-affinity · Closed
- Splitting at the Final Valuestructural-affinity · Closed
- The Descending Parameter 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