Combinatorics / CONCEPT
Small mixed-population certificate
A reciprocal population inequality is at least two when three mixed color populations have total between two and five and satisfy the empty-side incidence constraints.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS1
Bounded mixed-population inequality
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 deletion and global balancestructural-affinity · Closed
- Reciprocal estimates at the outer mixed countsstructural-affinity · Closed
- Residual graphs after positive private deletionstructural-affinity · Closed
- Small mixed graph inequalitystructural-affinity · Closed
- The exact triple forcing thresholdstructural-affinity · Closed
- The outer mixed-count obstructionstructural-affinity · Closed
- Three-color incidence and population reductionstructural-affinity · Closed
- Three-color reciprocal inequalitystructural-affinity · Closed
- Weighted induced deletionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance