Combinatorics / CONCEPT
Reconstructing the Final Cycle
The prefix and final cycle of an avoider satisfy complementary edge and pattern conditions.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES2
PROOF DEPTH3
DOCUMENT LINKS1
Prefix successors before the final cycle
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
- Encoding the Value Gapsstructural-affinity · Closed
- Enumeration of (32; 1 to 3) Avoidersstructural-affinity · Closed
- From the Recurrence to the Cubicstructural-affinity · Closed
- Refined Counts by Final Cyclestructural-affinity · Closed
- Splitting at the Largest Valuestructural-affinity · Closed
- The (32; 1 to 3) Avoidance Seriesstructural-affinity · Closed
- The Final-Cycle Bijectionstructural-affinity · Closed
- Uniqueness of the Distinguished Seriesstructural-affinity · Closed
- Value Gaps and Closed Edgesstructural-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