포함배제 계산기

포함배제 계산기 정보

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

포함배제의 원리

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

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

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

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

두 가지 입력 모드

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

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

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

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

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

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

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

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

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

이 계산기 사용 방법

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

주요 응용 분야

• 조합론 — 교란 순열(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|가 되며, 이는 포함배제 계산을 이중 확인하는 빠른 방법입니다.

무한 집합이나 연속 집합에 이 계산기를 사용할 수 있나요?

이 계산기는 크기가 음이 아닌 정수인 유한 집합을 위해 설계되었습니다. 연속 집합을 다루는 확률이나 측도론 문제의 경우 개념적으로 포함배제 항등식을 적용할 수 있지만, 이 숫자 도구는 정수로 입력할 수 있는 카디널리티를 기대합니다.

더 읽어보기

• Inclusion-exclusion principle — Wikipedia
• Venn diagram — Wikipedia
• Möbius inversion formula — Wikipedia
• Derangements (a classical IE application) — Wikipedia

고급 수학 연산 도구:

• 앤티로그 계산기
• 베타 함수 계산기
• 이항 계수 계산기
• 이항 확률 분포 계산기
• 비트-계산기
• 중심극한정리 계산기
• 조합 계산기 추천
• 상보 오차 함수 계산기
• 복소수 계산기
• 엔트로피 계산기
• 오차 함수 계산기
• 지수 붕괴 계산기 - 높은 정밀도
• 지수 성장 계산기 높은 정밀도
• 지수 적분 계산기
• 지수-계산기-높은-정확도
• 팩토리얼 계산기 추천
• 감마 함수 계산기
• 황금비율 계산기
• 반감기 계산기
• 백분율 성장 계산기 추천
• 순열 계산기
• 포아송 분포 계산기
• 다항식 근 계산기와 상세한 단계
• 확률 계산기 추천
• 확률 분포 계산기
• 비율 계산기
• 이차 공식 계산기
• 공학용 계산기 추천
• 과학적 표기법 계산기
• 유효숫자 계산기 새로운
• 큐브 합계 계산기
• 연속 숫자의 합 계산기
• 제곱합 계산기
• 진리표 생성기
• 집합론 계산기
• 벤 다이어그램 생성기 (3세트)
• 중국인의 나머지 정리 계산기
• 오일러 피 함수 계산기
• 확장 유클리드 알고리즘 계산기
• 모듈러 곱셈 역원 계산기
• 연분수 계산기
• 다익스트라 최단 경로 계산기
• 최소 신장 트리 계산기
• 그래프 차수열 검증기
• 완전순열 (부분계승) 계산기
• 스털링 수 계산기
• 비둘기집 원리 계산기
• 마르코프 체인 정상 상태 계산기
• 반올림 계산기 새로운
• 음이항분포 계산기 새로운
• 중복순열 계산기 새로운
• 모듈러 거듭제곱 계산기 새로운
• 원시근 계산기
• 불 대수 간소화기 새로운
• 카르노 맵 (K-Map) 솔버 새로운
• 그래프 채색 계산기 새로운
• 위상 정렬 계산기 새로운
• 인접 행렬 계산기 새로운
• 포함배제 계산기 새로운
• 선형 계획법 솔버 새로운
• 외판원 문제 솔버 (TSP) 새로운
• 해밀턴 경로 검사기 (Hamiltonian Path Checker) 새로운
• 평면 그래프 검사기 새로운
• 네트워크 플로우 계산기 (최대 유량) 새로운
• 안정된 결혼 문제 해결기 새로운
• 군론 위수 계산기 새로운
• 환과 체 계산기 새로운