包除原理
複数の集合の和集合に含まれる要素数を求める手法。
共通部分の要素数は比較的簡単に求められることを利用する。
計算量は一般には共通部分の集合の個数となるため、集合の個数を
$ N
として
$ O(2^{N})
すべての集合が対称な関係である場合は、重なる集合の数でまとめて
$ O(N)
に落ちる。