Asymptotics / CONCEPT
Finite Capture Inclusion-Exclusion
Finite weighted capture is exactly the alternating sum of all nonempty intersection events.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH4
DOCUMENT LINKS1
Exact weighted capture inclusion-exclusion
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
- Arbitrary-Order Bonferroni Truncationstructural-affinity · Closed
- Asymptotics: Escape Mass Bridgestructural-affinity · Closed
- Binomial Moment Identitystructural-affinity · Closed
- Capture Count Coherencestructural-affinity · Closed
- Capture Count Momentsstructural-affinity · Closed
- Capture Count Second Momentstructural-affinity · Closed
- Capture-Count Tail Boundsstructural-affinity · Closed
- Exact Capture Count Distributionstructural-affinity · Closed
- Finite Bonferroni Escape Boundsstructural-affinity · Closed
- Finite Product Capture Lawstructural-affinity · Closed
- Finite Product Pair Capture Lawstructural-affinity · Closed
- Finite Product Set Capture Lawstructural-affinity · Closed
- Second Moment Coherencestructural-affinity · Closed
- Skewed Capture and Escape Boundsstructural-affinity · Closed
- Skewed Escape Massstructural-affinity · Closed
- Uniform Escape Probability Bridgestructural-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