三量容斥图生成器【公众号<朵爸教数学>出品】

什么是三量容斥原理?

三量容斥原理是容斥原理的扩展,用于计算三个集合的并集的大小。

对于三个集合A、B和C,其并集的大小可以用公式:|A ∪ B ∪ C| = |A| + |B| + |C| - |A ∩ B| - |A ∩ C| - |B ∩ C| + |A ∩ B ∩ C| 来计算。

使用下方的控制面板,您可以自定义三个集合的数据,实时生成三量容斥图。

数据验证规则说明

  • 交集约束:两个集合的交集大小不能大于任何一个单独集合的大小
  • 三交集约束:三个集合的交集大小不能大于任何两两交集的大小
  • 关联性:如果存在三个集合的交集,则所有两两交集必须大于0
  • 非负数:所有数值必须为非负数

数据控制面板

基本区域数据

集合A
集合B
集合C
交集

高亮控制按钮

计算结果

总元素数: 89
集合A的大小: 54
集合B的大小: 74
集合C的大小: 22
A∩B的大小: 45
A∩C的大小: 16
B∩C的大小: 20
A∪B的大小: 77
B∪C的大小: 77
A∪C的大小: 77
A∪B∪C的大小: 77
容斥公式: |A∪B∪C| = |A| + |B| + |C| - |A∩B| - |A∩C| - |B∩C| + |A∩B∩C|

使用提示: