Combinatorics / CONCEPT
An interval crossing a fixed gap
Let p be a non-simple permutation in C such that every proper nontrivial interval crosses a fixed gap strictly and has minimum value greater than one. There is a proper nontrivial interval containing every such interval. Contracting it gives a simple skeleton in C occurring in p, and standardizing its entries gives a block. Inflating that skeleton by this block recovers p. If the block has length m, the skeleton has length equal to the length of p minus m plus one.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH4
DOCUMENT LINKS1
An interval crossing a fixed 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 nonterminal prefix-only permutationstructural-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
- Deleting the first entry of an ordinary continuationstructural-affinity · Closed
- Increasing inflation of the minimumstructural-affinity · Closed
- Inserting a minimum in an early gapstructural-affinity · Closed
- Intervals within a single inflated blockstructural-affinity · Closed
- Prepending a new second-smallest entrystructural-affinity · Closed
- Recovering a skeleton from a consecutive-value blockstructural-affinity · Closed
- Simplicity after prepending twostructural-affinity · Closed
- The five cases for a third-position minimumstructural-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