Combinatorics / CONCEPT
Physical cyclic binary runs
Physical cyclic binary carries retain every labelled position and force a separated-run lower bound.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS0
Separated-run estimate
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 universal support width for centered circle sourcesstructural-affinity · Closed
- CircularWordsstructural-affinity · Closed
- Cyclic carries and zero relations of the physical circle sourcestructural-affinity · Closed
- Energy before SMALL count: the physical mixed-suffix exchangestructural-affinity · Closed
- Even expanding paths in the original centered sourcestructural-affinity · Closed
- Maximum Length of a Two-Dense Divisor Blockstructural-affinity · Closed
- Moving one LARGE label across an arbitrary mixed suffixstructural-affinity · Closed
- Native positive-SMALL chain extractionstructural-affinity · Closed
- Period-closing rigidity for two SMALL gapsstructural-affinity · Closed
- Physical positive supply and the four-negative obstructionstructural-affinity · Closed
- Single SMALL rigidity and forward cyclic completionstructural-affinity · Closed
- The labelled circle action and balanced negative incidencestructural-affinity · Closed
- Two-Dense Divisor Blocks Are Palindromicstructural-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