Combinatorics / CONCEPT
Inserting a minimum in an early gap
For a word with positive entries, add one to every value and insert one into any existing gap of zero-based index at most two. The resulting word belongs to C if and only if the original word belongs to C.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH2
DOCUMENT LINKS1
Inserting a minimum in an early gap
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 cut into decreasing chainsstructural-affinity · Closed
- An ascent in the second inflated blockstructural-affinity · Closed
- An interval crossing a fixed gapstructural-affinity · Closed
- Avoidance under ordinary continuationstructural-affinity · Closed
- Classification of a terminal crossing gapstructural-affinity · Closed
- Classification when all intervals are prefixesstructural-affinity · Closed
- Decreasing inflation at an early entrystructural-affinity · Closed
- Deleting a minimum in the second positionstructural-affinity · Closed
- Increasing inflation of the minimumstructural-affinity · Closed
- Intervals and simplicity in the terminal familiesstructural-affinity · Closed
- Ordinary continuationstructural-affinity · Closed
- Recovering a skeleton from a consecutive-value blockstructural-affinity · Closed
- Simple members of Dstructural-affinity · Closed
- Simplicity of the parallel familystructural-affinity · Closed
- The Fibonacci enumeration assertionstructural-affinity · Closed
- The first and third values before a late minimumstructural-affinity · Closed
- The five cases for a third-position minimumstructural-affinity · Closed
- The two value regions below a second-position maximumstructural-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