Combinatorics / CONCEPT
Total edge-label extension
A bijection from the actual edge set to a finite initial segment supplies positive successor labels on actual edges and zero elsewhere.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS0
From an edge equivalence to additive rigidity
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
- Additively rigid vertexstructural-affinity · Closed
- Avoiding all local collisionsstructural-affinity · Closed
- Counting additive triples for cubic AR labelingstructural-affinity · Closed
- Counting cubic AR-labelingsstructural-affinity · Closed
- Cubic graphs are additively rigidstructural-affinity · Closed
- Free-triple bad eventsstructural-affinity · Closed
- Marked-edge bad eventsstructural-affinity · Closed
- Standard small cubic graph formsstructural-affinity · Closed
- The large cubic graph constructionstructural-affinity · Closed
- The small cubic graphsstructural-affinity · Closed
- Transport of additive rigiditystructural-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