Digit / CONCEPT
List Inversions and Local Replacement Bounds
Local list replacements have inversion costs bounded by surrounding occurrence counts.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES5
PROOF DEPTH0
DOCUMENT LINKS1
Separate the window from its surroundings
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- Diameter of the inverse-closed consecutive 3-cycle Schreier coset graphtruth-dependency · Closed
- First letters at a fixed inversion numbertruth-dependency · Closed
- Ordered Zeckendorf Paths and the Inversion Potentialtruth-dependency · Closed
- The repaired integer weighttruth-dependency · Closed
- Walks of near-maximal algebraic area on the square latticetruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Diameter of the inverse-closed consecutive 3-cycle Schreier coset graphstructural-affinity · Closed
- First letters at a fixed inversion numberstructural-affinity · Closed
- Left composition of the coupled repaired digit mapsstructural-affinity · Closed
- Ordered low-subword recoverystructural-affinity · Closed
- Ordered Zeckendorf Paths and the Inversion Potentialstructural-affinity · Closed
- Ordinary contraction of forbidden countsstructural-affinity · Closed
- Scalar fiber actionstructural-affinity · Closed
- The repaired integer weightstructural-affinity · Closed
- Walks of near-maximal algebraic area on the square latticestructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance