Combinatorics / CONCEPT
Insertion of an adjacent labelled detour
Insertion of an adjacent labelled detour.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS0
Insertion of an adjacent labelled detour
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
- Adjacent cap fibers of rooted legal pathsstructural-affinity · Closed
- Adjacent cap removal in a noncrossing matchingstructural-affinity · Closed
- Arbitrary symmetric-label cap surgerystructural-affinity · Closed
- Closed-cap compatibility and weight transportstructural-affinity · Closed
- Exact nonclosed-cap boundary potentialstructural-affinity · Closed
- Geometric exceptional states in three rowsstructural-affinity · Closed
- Label transport across closed matching intervalsstructural-affinity · Closed
- Legal-path cap fibersstructural-affinity · Closed
- Ordered noncrossing matchings and boundary labelsstructural-affinity · Closed
- Recovery of actual noncrossing partnersstructural-affinity · Closed
- The unique middle label of a reconnected capstructural-affinity · Closed
- Transport of the unaffected boundary productstructural-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