自 2010 年 · 每月支持超过 200 万次工具运行
自 2010 年
添加到 Chrome

我的工具箱

自动模式

还没有收藏的工具。

升级为高级版
相关工具
韦恩图生成器3集合集合论计算器错排 子阶乘计算器热膨胀计算器橄榄球得分计算器
主页 > 数学 > 进阶数学计算
 

容斥原理计算器

用容斥原理计算最多五个集合并集的大小。输入原始元素或每个交集的基数,得到带符号的展开式、实时维恩图,以及每个不相交区域的大小。

免费使用无需注册即时出结果
容斥原理计算器立即免费试用 ▼
元素模式:每行一个集合,例如 A: 1, 2, 3。计算器会自动检测每个交集。
基数模式:每行一个大小,例如 |A| = 50|A∩B| = 15。任何忽略的交集都将被视为零。接受 A&BAB|A∩B|

Embed 容斥原理计算器 Widget

容斥原理计算器

容斥原理计算器使用容斥原理计算有限集合并集的大小 |A1 ∪ A2 ∪ … ∪ An|,这是组合数学和离散概率中最广泛使用的恒等式之一。输入原始集合元素,或仅输入已知的每个交集的基数,计算器将返回并集大小、完整的带符号展开式、每个不相交 Venn 区域的大小以及实时图表 —— 每次支持 2 到 5 个集合。

容斥原理

对于两个有限集合 AB,将它们的大小相加会重复计算两者中共有的元素。减去交集可以修正这种重复计算:

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

对于三个集合,减去每个两两交集会将三重交集减去两次,因此我们需要将三重交集加回来:

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

通常情况下,对于 n 个集合,符号随所计数的交集的大小交替出现:

|A1 ∪ … ∪ An| = ΣS ≠ ∅ (−1)|S|+1 · |⋂i ∈ S Ai|

集合 {1, …, n}2n − 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∩BA&BAB,表达式周围可以带有可选的竖线(|A∩B|)。

不相交区域大小 — Möbius 反演

除了并集大小外,计算器还会返回 Venn 图中每个不相交区域的大小。标记为“在 A 和 B 中但不在 C 中”的区域计算的是恰好属于这些集合的元素。所有不相交区域的大小总和等于并集,提供了即时的准确性检查。

|region T| = ΣS ⊇ T (−1)|S|−|T| · |⋂i ∈ S Ai|

这是容斥原理的 Möbius 反演对偶形式。例如,对于三个集合:

|仅 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 人踢足球和打篮球但不打网球,以此类推。

如何使用此计算器

  1. 选择输入模式 —— 如果您有具体项目,请选择“元素”模式;如果只有大小,请选择“基数”模式。
  2. 在文本区域输入您的数据,每行一个集合或每行一个已知基数。
  3. 在“基数”模式下选择集合数量(2 到 5)。在“元素”模式下,数量会自动检测。
  4. 点击“计算并集与区域”。 结果会在大卡片中显示 |⋃ Aᵢ|,以及带有每个带符号项的完整容斥展开式、Venn 图 SVG(适用于 2、3 或 4 个集合)以及包含每个不相交区域及其大小的表格。
  5. 悬停 Venn 区域或表格行可交叉高亮显示匹配的条目 —— 这是表格和图表代表相同分解的直观证明。

常见应用

技巧与常见陷阱

常见问题解答

什么是容斥原理?

容斥原理是一种计数恒等式,它通过集合本身及其交集的大小来给出集合并集的大小。对于两个集合,公式为 |A ∪ B| = |A| + |B| − |A ∩ B|。对于三个集合,需要重新加上三重交集的修正项,对于 n 个集合,符号交替出现:加上单个集合,减去两两交集,加上三个交集,以此类推。

元素模式和基数模式有什么区别?

元素模式需要每个集合的实际元素(每行一个集合),计算器会自动找出所有交集。基数模式仅需要集合及其交集的大小,非常适合解决应用题,例如已知喜欢喝茶、咖啡或两者都喜欢的人数,而不需要知道具体姓名。

为什么我的计算结果显示负的区域大小?

在基数模式下出现负的区域大小意味着您的输入不一致 —— 现实中不存在能产生这些交集大小的集合集合。通常是因为两两或三重交集大于单个集合所能支撑的大小。请重新检查数值;每个交集必须小于或等于包含它的每个集合。

这个计算器可以处理多少个集合?

该计算器支持 2 到 5 个集合。Venn 图适用于 2、3 和 4 个集合;区域分解表适用于包括 5 在内的任何数量的集合。对于更大的问题,容斥原理的展开式会变得非常冗长,因此大多数教科书问题最高到 4 或 5 个集合。

什么是不相交区域?

不相交区域是 Venn 图中仅属于特定集合组合而不属于其他任何部分的区域。对于三个集合 A, B, C,有七个非空区域:仅 A、仅 B、仅 C、仅 A∩B、仅 A∩C、仅 B∩C 和 A∩B∩C。它们的大小之和等于 |A ∪ B ∪ C|,这是复核容斥原理计算的一种快速方法。

我可以将此计算器用于无限集或连续集吗?

该计算器设计用于大小为非负整数的有限集。对于涉及连续集的概率或测度论问题,您仍然可以从概念上应用容斥原理恒等式,但数值工具要求输入可以作为整数输入的基数。

延伸阅读

引用此内容、页面或工具为:

"容斥原理计算器" 于 https://MiniWebtool.com/zh-cn/容斥原理计算器/,来自 MiniWebtool,https://MiniWebtool.com/

由 miniwebtool 团队。更新日期:2026年4月21日

您还可以尝试我们的 AI数学解题器 GPT,通过自然语言问答解决您的数学问题。

进阶数学计算:

热门与最新工具:

概率计算器群论阶数计算器布尔代数化简器查看全部 →
主页 > 数学 > 进阶数学计算 > 容斥原理计算器