Combinatorics / CONCEPT
Combinatorics: Schedule
No authored Blueprint abstract is available for this node.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES11
PROOF DEPTH8
DOCUMENT LINKS0
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- All a>c>max(b,d), b,d>=2, including b=dtruth-dependency · Closed
- All c>=2, a>=2c+1, d>=a, b>=d+1truth-dependency · Closed
- All c>=4, a>=c+2, d>=a+c+1, b>=d+1truth-dependency · Closed
- Combinatorics: Arithmetictruth-dependency · Closed
- Combinatorics: Ascending Scheduletruth-dependency · Closed
- Combinatorics: Descending Scheduletruth-dependency · Closed
- Combinatorics: Physicaltruth-dependency · Closed
- Combinatorics: Physicaltruth-dependency · Closed
- One order for both physical sourcestruth-dependency · Closed
- One physical permutation at literal cut zerotruth-dependency · Closed
- Original physical source and both strict sectorstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- All a>=2, d>=a+1, c>=a+d+1, b>=c+1structural-affinity · Closed
- All a>c>max(b,d), b,d>=2, including b=dstructural-affinity · Closed
- All c>=2, a>=2c+1, d>=a, b>=d+1structural-affinity · Closed
- All c>=4, a>=c+2, d>=a+c+1, b>=d+1structural-affinity · Closed
- An unbounded constraint on literal joint earsstructural-affinity · Closed
- Combinatorics: Arithmeticstructural-affinity · Closed
- Combinatorics: Ascending Schedulestructural-affinity · Closed
- Combinatorics: Descending Schedulestructural-affinity · Closed
- Combinatorics: Naturalstructural-affinity · Closed
- Combinatorics: Physicalstructural-affinity · Closed
- Combinatorics: Physicalstructural-affinity · Closed
- Combinatorics: Sourcestructural-affinity · Closed
- Combinatorics: Sourcestructural-affinity · Closed
- One order for both physical sourcesstructural-affinity · Closed
- One physical permutation at literal cut zerostructural-affinity · Closed
- One physical permutation couples two centered pathsstructural-affinity · Closed
- Original physical source and both strict sectorsstructural-affinity · Closed
- The complete minimum-gap-two constructionstructural-affinity · Closed
- The same physical permutation in both modulistructural-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