算法基础课——第四章 数学知识（四）

---

第四章 数学知识（四）

---

如无特殊说明，所有数均为正整数.

---

容斥原理

---

例如下维恩图：

维恩图图示

如果想要求出左图三个圆覆盖的面积时，设黑边圆的面积为 $S_k$，红边圆的面积为 $S_r$，蓝边圆的面积为 $S_b$，但 $S_k+S_r+S_b$ 并不是三个圆覆盖的面积，其有一些重叠的面积经过了多次计算.

如中间图所示，两个圆共同覆盖的面积为灰色部分，则设黑边圆与红边圆共同覆盖的面积为 $S_{k,r}=S_k\cap S_r$，黑边圆与蓝边圆共同覆盖的面积为 $S_{k,b}=S_k\cap S_b$，红边圆与蓝边圆共同覆盖的面积为 $S_{r,b}=S_r\cap S_b$.

如右图所示，设三个圆共同覆盖的面积为 $S_{k,r,b}=S_k\cap S_r\cap S_b$.

故三个圆覆盖的面积为：
$$S=S_k+S_r+S_b-S_{k,r}-S_{k,b}-S_{r,b}+S_{k,r,b}$$

因为当 $S_1=S_k+S_r+S_b$ 时：

• 两个圆共同覆盖的面积 $S_{k,b},S_{k,r},S_{r,b}$ 的非共同部分被计算了 $2$ 次（共同部分即为 $S_{k,r,b}$)；
• 三个圆共同覆盖的面积 $S_{k,r,b}$ 被计算了 $3$ 次.

所以需要先将两个圆共同覆盖的面积都减去 $1$ 次，此时 $S_2=S_k+S_r+S_b-S_{k,r}-S_{k,b}-S_{r,b}$：

• 虽然两个圆共同覆盖的面积的非共同部分此时只计算了 $1$ 次，但是其共同部分 $S_{k,r,b}$ 总共被减去了 $3$ 次，此时它的面积没有被算进 $S_2$ 内.

故需要将 $S_{k,r,b}$ 补充到里面，故有：
$$S=S_k+S_r+S_b-S_{k,r}-S_{k,b}-S_{r,b}+S_{k,r,b}$$

这里做一下推广：

如果只有两个圆 $S_1,S_2$，则两个圆的面积为 $S=S_1+S_2-S_1\cap S_2$；

如果是四个圆 $S_1,S_2,S_3,S_4$，则面积为：
$$\begin{array}{rl}S& =S_1+S_2+S_3+S_4\\ & -S_1\cap S_2-S_1\cap S_3-S_1\cap S_4-S_2\cap S_3-S_2\cap S_4-S_3\cap S_4\\ & +S_1\cap S_2\cap S_3+S_1\cap S_2\cap S_4+S_1\cap S_3\cap S_4+S_2\cap S_3\cap S_4\\ & -S_1\cap S_2\cap S_3\cap S_4\end{array}$$
则对于 $n$ 个圆来说，则面积为：
$$S=S_{1个圆}-S_{2个圆}$$