Combinatorics / CONCEPT
Avoidance under ordinary continuation
Let p be a permutation of size n at least two in C whose second entry is less than n and whose first entry is not one more than its second. Then W(p) belongs to C. If n is at least four and p is simple, W(p) is a simple permutation of size n + 1.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS1
Avoidance under ordinary continuation
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
- An ascent in the second inflated blockstructural-affinity · Closed
- Deleting the first entry of an ordinary continuationstructural-affinity · Closed
- Inserting a minimum in an early gapstructural-affinity · Closed
- Ordinary continuationstructural-affinity · Closed
- Second-position and third-position minimastructural-affinity · Closed
- The Fibonacci enumerationstructural-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