Inclusion-exclusion meets exclusion
Marcel Wild · 2013
Abstract When evaluating the inclusion-exclusion expansion N0 −N(1) −N(2) − · · ·+N(1, 2) +N(1, 3) + · · · many of the terms N( · · ·) may turn out to be zero, and hence should be discarded beforehand. Often this can be done. 1