Combinatorics / CONCEPT
Actual gcd-six source reduction
The native Divisor Nim moves give a four-lookback recurrence, exact zero phases, a four-letter odd alphabet and the actual fixed-follower forcing for every positive fixed multiset of greatest common divisor six.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS0
Move reconstruction and zero-anchor dynamics
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
- Bounds from a Distinguished Heapstructural-affinity · Closed
- Distinguished Heaps Two and Fourstructural-affinity · Closed
- Finite mex block propagationstructural-affinity · Closed
- Fixed-board Divisor Nim sequencesstructural-affinity · Closed
- Full comparison spacing at gcd twostructural-affinity · Closed
- The complete mixed two/four formulastructural-affinity · Closed
- The Distinguished Heap Eightstructural-affinity · Closed
- The refined ceiling at every depthstructural-affinity · Closed
- The Sharper Sprague–Grundy Bound for Divisor Nimstructural-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