Combinatorics / CONCEPT
Actual Endpoints of Hamilton Cycle Slices
Cutting actual selected Hamilton cycle edges preserves the actual cut-vertex endpoints of every remaining path.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS0
Every Slice Ends at Actual Selected Edges
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
- Actual Path Families Retain the Same Cycle Inventorystructural-affinity · Closed
- Actual Route Inventoriesstructural-affinity · Closed
- Actual Route Inventoriesstructural-affinity · Closed
- Cutting Actual Graph Walks into Pathsstructural-affinity · Closed
- Cutting the Forced Prefix of an Actual Graph Pathstructural-affinity · Closed
- Endpoint Pairs after Actual Joint Replacementstructural-affinity · Closed
- Splicing Actual Paths around a Ringstructural-affinity · Closed
- The Sixth Actual J2 Path Componentstructural-affinity · Closed
- Two Ordered Cuts of an Actual Graph Pathstructural-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