Words / CONCEPT
A simultaneous obstruction through nine bits
The two raw remainders of 1 + X cannot be acquired by one order-two legal Boolean word using at most nine actual positions.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS0
There is no common short realization
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Actual endpoint operators and complete windowsstructural-affinity · Closed
- D-Bonacci Gap Alphabetstructural-affinity · Closed
- D-Bonacci Substitutionstructural-affinity · Closed
- Exact suffix images of actual wordsstructural-affinity · Closed
- Four-Bonacci Champion Orbitstructural-affinity · Closed
- General D-Bonacci Ergodic Bridgestructural-affinity · Closed
- Sharp saturation by actual binary wordsstructural-affinity · Closed
- Two-step growth of actual common polynomial imagesstructural-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