Combinatorics / CONCEPT
Complete Insertion-Layer Partition
Over a directed base distinct from its reverse, every actual configuration in the complete insertion layer belongs to exactly one independently specified positive directed child domain.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH2
DOCUMENT LINKS0
Every Full Residual Has an Actual Native Supplier
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 Anchored Recursive Supplystructural-affinity · Closed
- Actual Big-3 Hamilton Cycle at Size Fourstructural-affinity · Closed
- Actual F2 Coverage of the Independent Insertion Layerstructural-affinity · Closed
- Actual Native Insertion Child Domainsstructural-affinity · Closed
- Complete Native Circle Cut Piecesstructural-affinity · Closed
- Cyclic Insertion Gapsstructural-affinity · Closed
- Native Alternating Switching Polygonsstructural-affinity · Closed
- Native Circle Ownershipstructural-affinity · Closed
- Prefix Reversal Triple Even Non Generationstructural-affinity · Closed
- Prefix Reversal Triple Odd Non Generationstructural-affinity · Closed
- Three Residual Labels Give the Full Native Cayley Graphstructural-affinity · Closed
- Zero-Star Prefix-Reversal Complementsstructural-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