容斥原理

经典容斥

设有一些集合为$S_1,S_2,\cdots ,S_n$，则经典容斥说明$$|S_1\cup S_2\cup \cdots \cup S_n|=\sum _{t=1}^n(-1{)}^{t-1}\sum _{T是长为t的1,2,\cdots ,n的子序列}|S_{T_1}\cap S_{T_2}\cap \cdots \cap S_{T_t}|$$$$|S_1\cap S_2\cap \cdots \cap S_n|=\sum _{t=1}^n(-1{)}^{n-t}\sum _{T是长为t的1,2,\cdots ,n的子序列}|S_{T_1}\cup S_{T_2}\cup \cdots \cup S_{T_t}|$$
当所有的集合的大小相同时，上式可简化为$$|S_1\cup S_2\cup \cdots \cup S_n|=\sum _{t=1}^n(-1{)}^{t-1}(\genfrac{}{}{0ex}{}{n}{t})|S_1\cap S_2\cap \cdots \cap S_t|$$$$|S_1\cap S_2\cap \cdots \cap S_n|=\sum _{t=1}^n(-1{)}^{n-t}(\genfrac{}{}{0ex}{}{n}{t})|S_1\cup S_2\cup \cdots \cup S_t|$$
因此，经典容斥实现了并与交的转换，又称并交容斥。

常见的应用是对于某一限制条件，我们要求每个元素都不满足该条件的方案数，即若定义每个集合为“该元素不满足条件，其它元素任意”，则要求的是这些集合的并的大小。由并交容斥，我们只需要计算所有的交即可，即须计算所有的“这些元素满足条件，其它元素任意”的集合大小。

拆分容斥

设有一种特定的东西A，设$f(x)$为包含$x$个A的方案数。设B是若干个S的组合，设$g(x)$为包含$x$个B的方案数。则拆分容斥说明$$g(x)=\sum _{i=x}\left\{\begin{array}{c}i\\ x\end{array}\right\}f(i)$$$$f(x)=\sum _{i=x}(-1{)}^{i-x}\left[\begin{array}{c}i\\ x\end{array}\right]g(i)$$

约数容斥

用莫比乌斯反演。
$$g(n)=\sum _{d\mid n}f(d)$$$$f(n)=\sum _{d\mid n}\mu (\frac{n}{d})g(d)$$

子集容斥

用子集反演。
$$g(S)=\sum _{T\subseteq S}f(T)$$$$f(S)=\sum _{T\subseteq S}(-1{)}^{|S|-|T|}g(T)$$

造词真有意思