, Volume 10, Issue 4, pp 349-365

Approximate Inclusion-Exclusion

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


The Inclusion-Exclusion formula expresses the size of a union of a family of sets in terms of the sizes of intersections of all subfamilies. This paper considers approximating the size of the union when intersection sizes are known for only some of the subfamilies, or when these quantities are given to within some error, or both.

In particular, we consider the case when allk-wise intersections are given for everyk≤K. It turns out that the answer changes in a significant way aroundK=√n: ifK≤O(√n) then any approximation may err by a factor of θ(n/K 2), while ifK≥ Ω(√n) it is shown how to approximate the size of the union to within a multiplicative factor of \(1 \pm e^{ - \Omega (K/\sqrt n )} \) .

When the sizes of all intersections are only given approximately, good bounds are derived on how well the size of the union may be approximated. Several applications for Boolean function are mentioned in conclusion.

Partially supported by NSF 865727-CCR and ARO DALL03-86-K-017. Part of this work was done in U.C. Berkeley, supported by NSF CCR-8411954.