補集合を数える

これはステージング環境です。5 秒後に自動的に本番環境 (https://noshi91.github.io/algorithm-encyclopedia) にリダイレクトされます。リダイレクトを抑止したい場合は #noredirect を付けた URL /algorithm-encyclopedia/tenkei/counting-by-complement#noredirect を利用してください。
name
補集合を数える
short description
補集合を数えるとは、ある条件を満たす要素の個数を求めることを、ある条件を満たさない要素の個数を求めることによって行うテクニックのこと。

補集合を数えるとは、ある条件を満たす要素の個数を求めることを、ある条件を満たさない要素の個数を求めることによって行うテクニックのこと。 「集合 $X$ の要素 $x \in X$ であって $\varphi(x)$ を満たすものを数えよ」という問題を「集合 $X$ の要素数を数えよ」「集合 $X$ の要素 $x \in X$ であって $\lnot \varphi(x)$ を満たすものを数えよ」というふたつの問題に帰着させられる。