포함배제 계산기

포함배제의 원리를 사용하여 최대 5개 집합의 합집합 크기를 계산합니다. 원시 요소 또는 모든 교집합의 기수를 입력하여 부호가 포함된 전개식, 실시간 벤다이어그램 시각화 및 각 배타적 영역의 크기를 확인하세요.

포함배제 계산기

포함배제 계산기 정보

포함배제 계산기는 조합론과 이산 확률에서 가장 널리 사용되는 항등식 중 하나인 포함배제의 원리를 사용하여 유한 집합의 합집합 크기 |A₁ ∪ A₂ ∪ … ∪ A_n|를 계산합니다. 원시 집합 원소를 입력하거나 각 교집합의 알려진 카디널리티(크기)를 입력하면, 계산기는 합집합 크기, 전체 부호 확장식, 모든 서로소 벤 영역의 크기 및 라이브 다이어그램을 한 번에 2개에서 5개 집합까지 제공합니다.

포함배제의 원리

두 유한 집합 A와 B에 대해, 각각의 크기를 더하면 두 집합에 모두 속한 원소가 중복 계산됩니다. 교집합을 빼주면 이 중복이 해결됩니다.

|A ∪ B| = |A| + |B| − |A ∩ B|

세 집합의 경우, 모든 쌍의 교집합을 빼면 삼중 교집합 부분이 두 번 빠지게 되므로, 다시 삼중 교집합을 더해줍니다.

|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|

일반적으로 n개의 집합에 대해, 부호는 계산되는 교집합의 크기에 따라 교대로 나타납니다.

|A₁ ∪ … ∪ A_n| = Σ_{S ≠ ∅} (−1)^|S|+1 · |⋂_{i ∈ S} A_i|

{1, …, n}에는 2ⁿ − 1개의 비어 있지 않은 부분집합이 있으므로, 공식은 2개 집합일 때 3개 항, 3개일 때 7개 항, 4개일 때 15개 항, 5개일 때 31개 항을 가집니다. 계산기는 각 항을 개별적으로 평가하고 부호를 표시하여 도출 과정을 따라갈 수 있게 합니다.

두 가지 입력 모드

가지고 있는 데이터에 맞는 모드를 선택하세요. 대부분의 교과서 문제는 카디널리티를 직접 제공하며, 프로그래밍 작업은 대개 집합 자체를 제공합니다.

모드	사용 시기	입력 예시
원소	각 집합의 실제 항목을 가지고 있으며 모든 교집합을 자동으로 도출하고 싶을 때.	`A: 1, 2, 3, 4` `B: 3, 4, 5, 6` `C: 4, 6, 7, 8`
카디널리티	각 집합과 각 교집합에 몇 개의 원소가 있는지는 알지만, 원소 자체는 모를 때.	`\|A\| = 50` `\|B\| = 40` `\|A∩B\| = 15`

카디널리티 모드에서 생략한 모든 교집합은 0으로 간주됩니다. 교집합 라벨의 구분 기호로는 A∩B, A&B, AB가 허용되며, 표현식 주위에 파이프(|A∩B|)를 선택적으로 사용할 수 있습니다.

서로소 영역 크기 — 뫼비우스 반전

합집합 크기 외에도 계산기는 벤다이어그램의 모든 서로소 영역의 크기를 반환합니다. "A와 B에 속하지만 C에는 없음"으로 표시된 영역은 정확히 해당 집합들에만 속하는 원소의 수를 셉니다. 모든 서로소 영역 크기의 합은 합집합과 같으므로 즉각적인 무결성 검사가 가능합니다.

|region T| = Σ_{S ⊇ T} (−1)^|S|−|T| · |⋂_{i ∈ S} A_i|

이것은 포함배제의 뫼비우스 반전 쌍대(dual)입니다. 예를 들어, 세 집합의 경우:

|A만| = |A| − |A∩B| − |A∩C| + |A∩B∩C| |A ∩ B만| = |A∩B| − |A∩B∩C|

일관되지 않은 카디널리티(예: |A∩B| > |A|)를 입력하면 계산기가 입력을 거부합니다. 개별 크기는 통과했지만 조합된 수치가 실제 집합에서 나올 수 없는 경우, 하나 이상의 영역이 음수로 표시되며 경고가 나타납니다.

활용 예시 — 3개 집합 학급 설문조사

100명의 학생에게 어떤 운동을 하는지 물었습니다. 50명은 축구(A), 40명은 농구(B), 30명은 테니스(C)를 합니다. 15명은 A와 B를 모두 하고, 10명은 A와 C를 모두 하며, 8명은 B와 C를 모두 하고, 3명은 세 가지를 모두 합니다. 적어도 하나의 운동을 하는 학생은 몇 명입니까?

|A ∪ B ∪ C| = 50 + 40 + 30 − 15 − 10 − 8 + 3 = 120 − 33 + 3 = 90

따라서 100명 중 90명의 학생이 적어도 하나의 운동을 하며, 10명은 아무것도 하지 않습니다. 영역 분석을 통해 더 많은 사실을 알 수 있습니다. 28명은 축구만 하고, 20명은 농구만, 15명은 테니스만 하며, 12명은 축구와 농구를 하지만 테니스는 하지 않는 식입니다.

이 계산기 사용 방법

입력 모드 선택 — 항목이 있으면 '원소', 크기만 있으면 '카디널리티'를 선택합니다.
텍스트 영역에 데이터를 입력합니다. 한 줄에 하나의 집합 또는 알려진 하나의 카디널리티를 입력합니다.
카디널리티 모드에서는 집합 개수(2~5개)를 선택합니다. 원소 모드에서는 개수가 자동으로 감지됩니다.
합집합 및 영역 계산을 클릭합니다. 결과는 히어로 카드에 |⋃ Aᵢ|를, 각 부호 항이 포함된 전체 포함배제 확장식, 벤다이어그램 SVG(2, 3, 4개 집합용), 모든 서로소 영역과 크기가 포함된 표를 보여줍니다.
벤 영역이나 표의 행 위로 마우스를 올리면 일치하는 항목이 강조됩니다. 이는 표와 다이어그램이 동일한 분해를 나타냄을 시각적으로 증명합니다.

주요 응용 분야

조합론 — 교란 순열(derangements), 전사 함수, 금지된 위치가 있는 순열의 수 계산.
확률론 — 사건에 대한 P(A ∪ B ∪ C), 부울의 부등식(Boole's inequality), 생일 역설.
정수론 — 오일러 피 함수(totient)를 통한 서로소 정수 개수 계산: φ 공식은 순수한 포함배제 원리입니다.
설문 분석 — "적어도 하나의 범주에 속하는 응답자 수" 질문.
데이터베이스 쿼리 — INTERSECT의 COUNT를 통해 UNION의 크기 추정.
컴퓨터 과학 — 체(sieve) 알고리즘, 비트맵 인덱스 카디널리티 추정, GDPR/HIPAA 도달 범위 계산.

팁 및 주의사항

삼중 교집합을 다시 더하는 것을 잊지 마세요. 3개 집합 문제에서 학생들이 가장 많이 하는 실수는 쌍으로 된 교집합을 뺀 후 멈추는 것이며, 이는 너무 작은 결과를 냅니다.
실제 집합에서는 '누락'이 곧 '0'이 아닙니다. 카디널리티 모드에서 생략된 교집합은 0으로 처리됩니다. 문제에서 교집합이 비어 있다고 명시하지 않았다면 아마도 포함해야 할 것입니다.
모든 교집합 ≤ 포함하는 모든 집합. |A ∩ B|는 절대 min(|A|, |B|)를 초과할 수 없습니다. 계산기는 불가능한 입력을 즉시 거부합니다.
가능하면 원소 모드를 사용하세요. 집합 자체에서 교집합을 도출함으로써 "교집합을 모두 올바르게 입력했는가"라는 오류 유형을 원천 차단합니다.

자주 묻는 질문

포함배제의 원리란 무엇인가요?

포함배제의 원리는 집합들의 합집합 크기를 각 집합의 크기와 그들의 교집합 크기로 나타내는 계산 공식입니다. 두 집합의 경우 |A ∪ B| = |A| + |B| − |A ∩ B|입니다. 세 집합의 경우 삼중 교집합에 대한 보정값이 다시 더해지며, n개의 집합에 대해서는 단일 집합을 더하고, 쌍을 빼고, 삼중 교집합을 더하는 식으로 부호가 교대로 나타납니다.

원소 모드와 카디널리티 모드의 차이점은 무엇인가요?

원소 모드는 각 집합의 실제 원소를 한 줄에 하나씩 입력받으며, 계산기가 모든 교집합을 자동으로 찾습니다. 카디널리티 모드는 집합과 그 교집합의 크기만 입력받으며, 실제 원소 이름은 모르지만 홍차, 커피 또는 둘 다 좋아하는 사람의 수와 같은 문장제 문제를 풀 때 이상적입니다.

왜 계산기에 음수 영역 크기가 표시되나요?

카디널리티 모드에서 음수 영역 크기가 나타나는 것은 입력값이 일관되지 않음을 의미합니다. 즉, 실제 집합의 모음에서는 그러한 교집합 크기가 나타날 수 없습니다. 대개 쌍으로 된 교집합이나 삼중 교집합이 개별 집합이 감당할 수 있는 것보다 더 크게 입력되었을 때 발생합니다. 수치를 다시 확인하세요. 모든 교집합은 그것을 포함하는 각 집합보다 작거나 같아야 합니다.

이 계산기는 몇 개의 집합까지 처리할 수 있나요?

이 계산기는 2개에서 5개의 집합을 지원합니다. 벤다이어그램은 2, 3, 4개 집합에 대해 렌더링되며, 영역 분해 표는 5개를 포함한 모든 집합 수에 대해 표시됩니다. 더 큰 문제의 경우 포함배제 확장식이 너무 복잡해지기 때문에 대부분의 교과서 문제는 4개 또는 5개 집합에서 마무리됩니다.

서로소 영역이란 무엇인가요?

서로소 영역은 벤다이어그램에서 정확히 특정 집합 조합에만 속하고 다른 조합에는 속하지 않는 조각을 말합니다. 세 집합 A, B, C의 경우 7개의 비어 있지 않은 영역이 있습니다: A만, B만, C만, A∩B만, A∩C만, B∩C만, 그리고 A∩B∩C입니다. 이들의 크기를 모두 더하면 |A ∪ B ∪ C|가 되며, 이는 포함배제 계산을 이중 확인하는 빠른 방법입니다.