计算机算法基础-容斥定理(归纳法)

写在前面

容斥原理数学化证明是十分复杂的，楼主的水平有限看不太懂，但是归纳法的证明非常适合萌新的理解，缺点在于它是通过有限的例子来进行举例归纳找到规律，普适性的证明上是有所欠缺的。优点自然是便于理解

定理内容

变量声明

$S$：并集，多个值域/区域的并集，其重合的部分只计算一边
$A_1,A_2,A_3...A_n$: 多个值域/区域，他们之间可能有相互重叠且可能多个区域相互重叠

定理公式

$S=A_1+A_2+A_3...+A_n$
$-(A_1\ast A_2+A_1\ast A_3+A_1\ast A_4+.....A_{n-1}\ast A_n)$ （n个下标2个进行有顺序组合，一共有$C_n^2$种排列组合方案）
$+(A_1\ast A_2\ast A_3+A_1\ast A_3\ast A_4+A_1\ast A_4\ast A_5+.....+A_{n-2}\ast A_{n-1}\ast A_n)$（n个下标中选择3个进行有顺序组合，一共有$C_n^3$种排列组合方案）
$......$（以此类推）
$+(-1{)}^{n-1}\ast (A_1\ast A_2\ast A_3\ast A_4\ast .....\ast A_{n-1}\ast A_n)$（n个下标中选择n个进行有顺序组合，一共有$C_n^n=1$种排列组合方案）

定理归纳

定理验证

验证1

验证2