容斥原理計算機

使用容斥原理計算最多 5 個集合的聯集大小。輸入原始元素或每個交集的基數 — 獲取正負展開式、即時 Venn Diagram 視覺化以及每個不相交區域的大小。

容斥原理計算機

容斥原理計算機利用容斥原理（組合數學和離散機率中最廣泛使用的恆等式之一）計算有限集合聯集的大小 |A₁ ∪ A₂ ∪ … ∪ A_n|。輸入原始集合元素，或僅輸入已知的各個交集基數，計算機即可返回聯集大小、完整的帶符號展開式、每個互斥 Venn 區域的大小以及即時圖表 —— 一次可處理 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`

在基數模式中，任何您省略的交集都將被假定為零。接受的交集標籤分隔符包括 A∩B、A&B 和 AB，表達式周圍可選加管線符號 (|A∩B|)。

互斥區域大小 —— Möbius Inversion

除了聯集大小，計算機還返回 Venn diagram 每個互斥區域的大小。標記為 「在 A 和 B 中但不在 C 中」 的區域計算僅屬於那些集合的元素。所有互斥區域的大小總和等於聯集，提供了即時的正確性檢查。

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

這是容斥原理的 Möbius-inversion 對偶。例如，對於三個集合：

|僅 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ᵢ|，以及完整的容斥原理展開式、Venn-diagram SVG（適用於 2、3 或 4 個集合）和包含每個互斥區域及其大小的表格。
懸停在 Venn 區域或表格行上以交叉高亮顯示匹配項 —— 這提供了表格與圖表代表相同分解過程的快速視覺證明。

常見應用

組合數學 —— 計算錯排（derangements）、蓋射（surjections）、帶禁位的排列。
機率論 —— 事件的 P(A ∪ B ∪ C)、Boole 不等式、生日悖論。
數論 —— 透過 Euler's totient 計算與乘積互質的整數：φ 公式純粹是容斥原理的應用。
調查分析 —— 「有多少受訪者至少屬於一個類別」的問題。
資料庫查詢 —— 從 INTERSECT 的 COUNT 估算 UNION 的大小。
計算機科學 —— 篩法算法、位圖索引基數估計、GDPR/HIPAA 覆蓋範圍統計。

技巧與常見錯誤

不要忘記補回三重交集。 學生在解決 3 集合問題時最常見的錯誤是在減去成對交集後就停止，導致答案偏小。
涉及真實集合時，「缺失」不等於「零」。 在基數模式下，省略的交集被視為零。如果您的題目沒有說明交集為空，您可能需要包含它。
每個交集 ≤ 每個包含它的集合。 |A ∩ B| 永遠不能超過 min(|A|, |B|)。計算機將立即拒絕不可能的輸入。
盡可能使用元素模式。 透過從集合本身推導交集，它消除了「我是否正確輸入了每個交集」的所有錯誤。

常見問題解答

什麼是容斥原理？

容斥原理是一種計數恆等式，它根據集合本身的大小及其交集的大小來給出集合聯集的大小。對於兩個集合，它是 |A ∪ B| = |A| + |B| − |A ∩ B|。對於三個集合，會重新加上三重交集的修正項，對於 n 個集合，符號會交替出現：增加單個集合、減去成對交集、增加三重交集，以此類推。

元素模式和基數模式有什麼區別？

元素模式需要每個集合的實際元素，每行一個集合，計算機將自動找出所有交集。基數模式僅需要集合及其交集的大小，非常適合解決應用題，例如當您知道有多少人喜歡茶、咖啡或兩者都喜歡，但沒有給出具體姓名時。

為什麼我的計算機顯示負數區域大小？

基數模式中的負數區域大小意味著您的輸入不一致 —— 任何真實集合的組合都不可能產生這些交集大小。這通常發生在成對或三重交集大於個別集合所能支援的大小。請重新檢查數值；每個交集必須小於或等於包含它的每個集合。

這台計算機可以處理多少個集合？

本計算機支援 2 到 5 個集合。Venn diagram 針對 2、3 和 4 個集合進行渲染；區域分解表則顯示包含 5 個集合在內的任何數量。對於更大的問題，容斥原理的展開會變得非常笨重，因此大多數教科書問題最多到 4 或 5 個集合。

什麼是互斥區域？

互斥區域是 Venn diagram 中的一個部分，它僅屬於集合的特定組合，而不屬於其他組合。對於三個集合 A, B, C，有七個非空區域：僅 A、僅 B、僅 C、僅 A∩B、僅 A∩C、僅 B∩C 以及 A∩B∩C。它們的大小總和等於 |A ∪ B ∪ C|，這是快速複查容斥原理計算的方法。

我可以使用此計算機處理無限集合或連續集合嗎？

此計算機專為大小為非負整數的有限集合設計。對於具有連續集合的機率或測度論問題，您仍然可以在概念上應用容斥原理恆等式，但數值工具需要您可以輸入為整數的基數。

延伸閱讀

引用此內容、頁面或工具為：

"容斥原理計算機" 於 https://MiniWebtool.com/zh-tw/容斥原理計算機/，來自 MiniWebtool，https://MiniWebtool.com/

由 miniwebtool 團隊開發。更新日期：2026年4月21日

開發者 API 可用: 用一次 JSON HTTP 請求，把這個工具接入你的應用程式、自動化流程或代理。查看 API 文件

您還可以嘗試我們的 AI數學解題器 GPT，通過自然語言問答解決您的數學問題。

容斥原理計算機