Combinatorics / CONCEPT
An ascent in the second inflated block
Inflating the second entry of a simple permutation of size at least four by a permutation block containing 12 produces an occurrence of 2341, provided that second entry is not the minimum.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES4
PROOF DEPTH2
DOCUMENT LINKS1
An ascent in the first inflated block
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
- A nonterminal prefix-only permutationstructural-affinity · Closed
- Avoidance under ordinary continuationstructural-affinity · Closed
- Decreasing inflation at an early entrystructural-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
- 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 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