Combinatorics / CONCEPT
Marked-edge bad events
The fixed-label sample space and collision events at marked edges.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH1
DOCUMENT LINKS0
Size of the marked sample space
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
- Equal parity in the first two valuesstructural-affinity · Closed
- Free-triple bad eventsstructural-affinity · Closed
- The large cubic graph constructionstructural-affinity · Closed
- Total edge-label extensionstructural-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