Combinatorics / CONCEPT
Actual circular run contraction
Actual circular run contraction
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES2
PROOF DEPTH3
DOCUMENT LINKS0
Actual circular run contraction
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 finite uniform quantitative bound for paired C3 Good ordersstructural-affinity · Closed
- All-Support Circular Marginal Collisionsstructural-affinity · Closed
- Complement pairing of residual zero blocksstructural-affinity · Closed
- Cyclic Insertion Gapsstructural-affinity · Closed
- Exact Boolean coverage descent at a private pairstructural-affinity · Closed
- Exact projective-plane integer incidencestructural-affinity · Closed
- Explicit density of circles without opposite-pair adjacenciesstructural-affinity · Closed
- Free rotation counts of original-label ordersstructural-affinity · Closed
- Literal contiguous blocksstructural-affinity · Closed
- Original C3 pair events on one circle inventorystructural-affinity · Closed
- Original coordinates, complete zero supports, and finite countingstructural-affinity · Closed
- Original-label circular run contractionstructural-affinity · Closed
- Reconstruction from Labeled Circular Deletionsstructural-affinity · Closed
- Simultaneous opposite-pair block intersectionsstructural-affinity · Closed
- Uniform finite paired binomial tailstructural-affinity · Closed
- Zero total connects circular arcs to actual Good intervalsstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance