Combinatorics / CONCEPT
Size Bound for Indecomposable Fixed 312-Avoiders
Sum-indecomposable 312-avoiders fixed by the third iterate have size at most three.
Closed
DIRECT PREREQUISITES8
DIRECT CONSEQUENCES1
PROOF DEPTH10
DOCUMENT LINKS1
Exclusion beyond size three
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- An Extreme Value in the Inverse Imagetruth-dependency · Closed
- An Upward Edge and a Later Intermediate Valuetruth-dependency · Closed
- Incompatible Terminal Entriestruth-dependency · Closed
- Indecomposability of Pattern Avoiderstruth-dependency · Closed
- Partition into Marked Intervalstruth-dependency · Closed
- Record Bounds and the Inverse Bijectiontruth-dependency · Closed
- The Entry Following the Maximumtruth-dependency · Closed
- The Pair before the Terminal Configurationtruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- An Extreme Value in the Inverse Imagestructural-affinity · Closed
- An Upward Edge and a Later Intermediate Valuestructural-affinity · Closed
- Fixed Avoiders of the Third Iteratestructural-affinity · Closed
- Incompatible Terminal Entriesstructural-affinity · Closed
- Indecomposability of Pattern Avoidersstructural-affinity · Closed
- Partition into Marked Intervalsstructural-affinity · Closed
- The Entry Following the Maximumstructural-affinity · Closed
- The Pair before the Terminal Configurationstructural-affinity · Closed
- Unique Direct-Sum Factorizationstructural-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