Combinatorics / CONCEPT
Stabilization of Nested Mex Maps
Arbitrary finite compositions of a nested minimum-excluded-value map stabilize after two applications.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS0
Every positive input stabilizes after two compositions
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
- A counterexample to the printed CRIM formulastructural-affinity · Closed
- A nonheavy partition below a heavy rectanglestructural-affinity · Closed
- Divisor Nim and Minimum Excluded Valuesstructural-affinity · Closed
- Dyadic Depth and Zero Positionsstructural-affinity · Closed
- Finite mex block propagationstructural-affinity · Closed
- Paired Dyadic Removalsstructural-affinity · Closed
- Splythoff Nim: all Grundy values in every row and columnstructural-affinity · Closed
- The Boundary Counterexample to CRIM Conjecture 2structural-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