Combinatorics / CONCEPT
The Actual F2 Six-Cut Graph
The actual surviving graph uses the complete F2 edge inventory with exactly the six independently specified marked edges removed.
Closed
DIRECT PREREQUISITES6
DIRECT CONSEQUENCES1
PROOF DEPTH11
DOCUMENT LINKS0
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Actual J2 Marked Edges in One F2 Hamilton Witnesstruth-dependency · Closed
- Actual Native J2 Marked Portstruth-dependency · Closed
- Closed Actual F2 Native Edge Classificationtruth-dependency · Closed
- Cutting Actual Graph Walks into Pathstruth-dependency · Closed
- Literal F2 Cut Generators and Endpoint Labelstruth-dependency · Closed
- Nonbacktracking Leaf Walks Exhaust Their Componentstruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual J2 Complete Circle Rowsstructural-affinity · Closed
- Actual J2 Marked Edges in One F2 Hamilton Witnessstructural-affinity · Closed
- Actual J2 Seam Coordinatesstructural-affinity · Closed
- Actual J2 Short Circle Rowsstructural-affinity · Closed
- Actual Native F2 Edge Inventorystructural-affinity · Closed
- Actual Native J2 Marked Portsstructural-affinity · Closed
- Closed Actual F2 Native Edge Classificationstructural-affinity · Closed
- Cutting Actual Graph Walks into Pathsstructural-affinity · Closed
- Five Actual Surviving J2 Path Componentsstructural-affinity · Closed
- Literal F2 Cut Generators and Endpoint Labelsstructural-affinity · Closed
- Nonbacktracking Leaf Walks Exhaust Their Componentsstructural-affinity · Closed
- One Actual Frame Cycle With All Inventoriesstructural-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