包除原理

包除原理（ほうじょげんり、英: Inclusion-exclusion principle, principle of inclusion and exclusion, Principle of inclusion-exclusion, PIE）あるいは包含と排除の原理とは、数え上げ組合せ論における基本的な結果のひとつ。特別な場合には「有限集合 A と B の和集合に属する元の数を計算するには、まずそれぞれに属する元の数 |A| と |B| を足しあわせた後、それらの共通部分に属する元の数 |A ∩ B| を引き去ればよい」というものである。つまり単に数え上げた後で重複を取り除くことに相当する。 以上の2つの有限集合 A, B に対する包除原理は次のように表せる。 | A ∪ B | = | A | + | B | − | A ∩ B | {\displaystyle {\begin{aligned}\left|A\cup B\right|=&\left|A\right|+\left|B\right|-\left|A\cap B\right|\\\end{aligned}}} 同様に、3つの有限集合 A, B, C に対する包除原理は次のように表せる。 | A ∪ B ∪ C | = | A | + | B | + | C | − | A ∩ B | − | B ∩ C | − | C ∩ A | + | A ∩ B ∩ C | {\displaystyle {\begin{aligned}\left|A\cup B\cup C\right|=&\left|A\right|+\left|B\right|+\left|C\right|\\&\quad -\left|A\cap B\right|-\left|B\cap C\right|-\left|C\cap A\right|\\&\qquad +\left|A\cap B\cap C\right|\end{aligned}}} 一般に、 n 個の有限集合 A1, ..., An が与えられたとき、その和集合に属する元の数は | ⋃ i = 1 n A i | = ∑ k = 1 n ( − 1 ) k − 1 ∑ J ⊆ [ n ] ,   | J | = k | ⋂ j ∈ J A j | = ∑ i | A i | − ∑ i < j | A i ∩ A j | + ⋯ + ( − 1 ) n − 1 | A 1 ∩ ⋯ ∩ A n | {\displaystyle {\begin{aligned}\left\vert \bigcup _{i=1}^{n}A_{i}\right\vert &=\sum _{k=1}^{n}(-1)^{k-1}\!\sum _{J\subseteq [n],\ \vert J\vert =k}\left\vert \bigcap _{j\in J}A_{j}\right\vert \\&=\sum _{i}\left|A_{i}\right|-\sum _{i<j}\left|A_{i}\cap A_{j}\right|+\cdots +(-1)^{n-1}\left|A_{1}\cap \cdots \cap A_{n}\right|\end{aligned}}} と表せる。ただし、ここで [n] = {1, 2, …, n} とした。 この原理の名称は、あらゆるものを「含め」、その後で「取り除いて」補正をするという考え方に基づいていることからきている。n > 2 のとき、共通部分の補正項を計算するのが非常に困難になることもある。また、公式には符号が交互にあらわれる。 この公式はアブラーム・ド・モアブルによるものと考えられている。時にジェームス・ジョセフ・シルベスターまたはアンリ・ポアンカレによるとも言われる。 包除原理を一般に証明するため、X を A1, ..., An の上位集合とする。公式はまず恒等式 1 ⋃ A i = ∑ i 1 A i − ∑ i < j 1 A i ∩ A j + ⋯ + ( − 1 ) n − 1 1 ⋂ A i {\displaystyle 1_{\bigcup A_{i}}=\sum _{i}1_{A_{i}}-\sum _{i<j}1_{A_{i}\cap A_{j}}+\cdots +(-1)^{n-1}1_{\bigcap A_{i}}} を指示関数の変形でもとめ、全ての x ∈ X について足しあわせることで示される。 この原理は時に以下のような形で表される。有限集合 S のべき集合 2S 上で定義された関数 f, g が g ( A ) = ∑ B ⊆ A f ( B ) {\displaystyle g(A)=\sum _{B\subseteq A}f(B)} を満たすならば、 f ( A ) = ∑ B ⊆ A ( − 1 ) | A ∖ B | g ( B ) . {\displaystyle f(A)=\sum _{B\subseteq A}(-1)^{\left|A\setminus B\right|}g(B).} この形は半順序集合 2S の隣接代数におけるメビウスの反転公式となる。 また、包除原理は確率においても以下のように用いられる。 Pr ( ⋃ i A i ) = ∑ i Pr ( A i ) − ∑ i < j Pr ( A i ∩ A j ) + ⋯ + ( − 1 ) n − 1 Pr ( ⋂ i A i ) {\displaystyle \Pr \left(\bigcup _{i}A_{i}\right)=\sum _{i}\Pr \left(A_{i}\right)-\sum _{i<j}\Pr \left(A_{i}\cap A_{j}\right)+\cdots +(-1)^{n-1}\Pr \left(\bigcap _{i}A_{i}\right)} ボンフェローニの不等式によれば、この公式の始めの k 項の和は左辺の上界と下界を交互にとる。このことは公式全体が扱いにくい場合に利用される。 おそらく、包除原理のもっともよく知られている応用は、組み合わせ問題における有限集合の攪乱(derangement)に対するものであろう。集合Aの攪乱とはAから自分自身への全単射であって不動点を持たないもののことである。包除原理によって、Aの基数（要素数）をnとしたときの攪乱の数が [ n ! e ] {\displaystyle \left[{\frac {n!}{e}}\right]} となることを示せる。ここで[x]はもっとも近い整数をあたえる関数(nearest integer function)を表す。 これはnのsubfactorialとしても知られ、 ! n {\displaystyle !n} と表す。 これはまた、全ての全単射に等しい確率が与えられた場合、無作為に選ばれた全単射が攪乱となっている確率がnの増加に従い、1/e に素早く近づくことを示している。 この原理によって理論的な公式を求める場合（特にエラトステネスの篩を用いる素数の数え上げ）、誤差評価が困難であるため有効な公式が得られないことが多い。これは、各項が個別には正確に求められてもそれらの相殺の様子を一般的に定式化することが難しい上に、和の項数が非常に多くなってしまうためである。数論において、ヴィーゴ・ブルンはこのような困難を部分的に克服する方法を見出し、これは現代的な篩の理論の端緒となった。ただし、この理論を用いてもたいてい、厳密な公式はもとより漸近公式さえ得られるのもまれで、したがってふるい落とされた集合の大きさの評価を与えるにとどまる。 包除原理とド・モルガンの法則とを合わせることで、共通部分の要素数を計算できる。 A {\displaystyle A} を普遍集合、各 i {\displaystyle i} について A i ⊆ A {\displaystyle A_{i}\subseteq A} とし、 A i ¯ {\displaystyle {\overline {A_{i}}}} が A {\displaystyle A} に関する A i {\displaystyle A_{i}} の補集合を表すものとする。このとき | ⋂ i = 1 n A i | = | ⋃ i = 1 n A i ¯ | ¯ {\displaystyle \left\vert \bigcap _{i=1}^{n}A_{i}\right\vert ={\overline {\left\vert \bigcup _{i=1}^{n}{\overline {A_{i}}}\right\vert }}} をえる。こうして、共通部分をもとめる問題を和集合をもとめる問題に帰着させることができる。 ^ 数学辞典 2007, 63. 数え上げ理論. ^ 西岡 2013, p. 50, 4.4 包除原理. ^ Gessel & Stanley 1995, p. 1049. 西岡康夫 『数学チュートリアル やさしく語る 確率統計』 オーム社、2013年。ISBN 9784274214073。 伏見康治 『確率論及統計論』 河出書房、1942年。ISBN 9784874720127。 日本数学会 『数学辞典』 岩波書店、2007年、第4版。ISBN 9784000803090。 Gessel, Ira M.; Stanley, Richard P. (1995), “Algebraic enumeration”, in Graham, R. L.; Grötschel, M.; Lovász, L., Handbook of Combinatorics, II, MIT Press, pp. 1021–1061, ISBN 0-444-88002-X, MR 1373655, https://books.google.com/books?id=ZyvpoazU-O0C&pg=PA1021  集合 集合論 ベン図 この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目principle of inclusion-exclusionの本文を含む