포함배제 원리(Inclusion–exclusion principle)
겹치는 집합(set)들의 합집합(union) 크기를 세는 법: 하나씩 더하고, 둘씩 겹친 것을 빼고, 셋씩 겹친 것을 다시 더한다.
합집합의 크기를 셀 때 각 집합의 크기(cardinality)를 그냥 더하면 겹친 부분을 여러 번 세게 됩니다. 두 번 센 것은 한 번 빼고, 그러다 너무 많이 뺀 세 겹 부분은 다시 더합니다. 원소(element) 하나가 정확히 한 번씩 세어지도록 부호를 번갈아 붙이는 것입니다.
예로, 1부터
오른쪽 그림은 수를 한 줄에 고른 소수(prime number)들의 곱만큼(2와 3이면 6개, 2, 3, 5면
같은 셈을 확률(probability)로 바꿔 볼 수 있습니다. 다만 "모든 정수(integer) 가운데 고르게 하나"를 뽑는 방법은 없으니, 1부터
|A∪B| = |A| + |B| − |A∩B|를 알면 두 집합의 닮은 정도를 재는 자카드 지수(Jaccard index) J와 다이스 계수(Dice coefficient) D를 서로 바꿔 계산할 수 있습니다. 식으로는
가장 유명한 응용은 교란순열(derangement)입니다. n개를 늘어놓을 때 아무것도 제자리에 있지 않은 순서의 수는 'i번이 제자리에 있다'는 사건(event)들에 포함배제를 쓰면
이 개념이 나오는 긴 글
이 개념 위에 세워진 것
이 개념을 언급하는 페이지
- 확률
… 두 번 센 겹친 부분을 한 번 빼서 입니다. 집합의 연산을 넓이로 옮긴 것이고, 사건이 셋 이상이면포함배제 원리가 됩니다. 넓이를 모르더라도 점을 무작위로 개 뿌려서 A∪B에 떨어진 비율을 세면 처럼 참값에 가까운 …
- 생일 문제
… n(n-1)/730 은 바로 쌍의 수 ÷ 365입니다. 쌍마다의 사건이 서로 겹치므로 정확히 셈하려면포함배제 원리가 필요하지만, 여집합으로 돌아가면 그럴 필요가 없습니다. 한 번의 실험: 365칸 달력에 n명의 생일을 …
- 집합의 연산
… = 입니다. 합집합은 두 크기를 더한 뒤 두 번 센 겹침을 한 번 빼면 됩니다. 이 셈법을 일반화한 것이포함배제 원리입니다. 사각형 안의 점 하나를 고르게(모든 점을 같은 확률로) 뽑는다고 하면, 점의 개수를 전체 개수로 …
- 오일러 피 함수와 페르마 소정리
… 것을 가우스가 보였습니다. \varphi(n) 의 공식은 소인수분해한 뒤 각 소인수의 배수를포함배제 원리로 빼면 나옵니다. 이 정리 하나 위에 RSA 암호가 서 있습니다.
- 바젤 문제
… \approx 0.608 입니다. 유한한 N 에서 사건들은 정확히 독립은 아니지만, 소수별 사건을포함배제로 정확히 세고 오차를 따져 보면 극한값이 실제로 6/\pi^2 임이 증명됩니다. 이 소수별 곱은 s=2 …
- 이항계수
… 나머지가 a와 같다는 페르마 소정리가 증명됩니다. 겹치는 집합들의 합집합 크기(집합의 크기)를 세는포함배제 원리에도 이항계수가 숨어 있습니다. 원소 하나가 집합 m개에 속해 있으면 그 원소는 '하나씩 더하기'에서 …
- 4색 정리
… k(k-1)(k-2) 입니다. 일반적인 그래프에서는 '이 변의 양 끝이 같은 색'이라는 나쁜 조건들을 모아포함배제 원리로 셉니다. 나쁜 조건을 고른 변들의 모임마다 더하거나 빼므로, 변 집합의 모든 부분집합, 곧 멱집합에 …
- 자카드 지수
… 공유하는 것과 네 가지를 담은 두 장바구니가 세 가지를 공유하는 것은 전혀 다른 일입니다. 합집합의 크기는포함배제 원리로 |A|+|B|-|A\cap B| 이고, 집합의 크기만 알면 계산됩니다. 둘 다 담지 않은 …
- 쇠렌센–다이스 계수
… 지수⟧(영상에서는 IoU라고 부릅니다)는 겹친 부분을 한 번 세어 합집합과 비교하고, J = 입니다.포함배제 원리|A\cup B| = |A|+|B|-|A\cap B| 를 넣으면 둘은 D = 2J/(1+J) 로 묶이는 한 …
- 교란순열
… k명이 제 모자를 받는 순열은 (n-k)! 개이고 k명을 고르는 방법은 \binom nk 가지이므로,포함배제 원리에 따라 D_n = \sum_{k=0}^{n} (-1)^k \binom nk (n-k)! = …