Combinatorics / CONCEPT
Counting cubic AR-labelings
Finite partial-injection extension counts and the counting union bound.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES3
PROOF DEPTH0
DOCUMENT LINKS0
Indexed constraints without a chosen enumeration
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
RELATED KNOWLEDGE
Structural connections
- Additively rigid vertexstructural-affinity · Closed
- Avoiding all local collisionsstructural-affinity · Closed
- Counting additive triples for cubic AR labelingstructural-affinity · Closed
- Equal parity in the first two valuesstructural-affinity · Closed
- Free-triple bad eventsstructural-affinity · Closed
- Marked-edge 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