容斥与反演总结

容斥和反演就是一个东西。

朴素容斥原理

$$|\overline {A_1}\cap\overline {A_2}\cap...\cap\overline {A_n}|=\sum_{i=1}^N(-1)^{n-i}\sum_{|T|=i,T=\{x_1,..,x_i\}}|A_{x_1}\cap A_{x_2}\cap...\cap A_{x_i}|$$
直接枚举所有子集计算。
例题： BZOJ4455

容斥的本质

坑待填。

反演的本质

就是有两个式子。

$$G_n=\sum_{i=0}^n a_{n,i}F_i$$
$$F_n=\sum_{i=0}^n b_{n,i}G_i$$
把下式带入上式：
$$G_n=\sum_{i=0}^n a_{n,i}\sum_{j=0}^ib_{i,j}G_j$$
$$G_n=\sum_{j=0}^nG_j\sum_{i=j}^n a_{n,i}b_{i,j}$$
如果满足 $\sum_{j=i}^na_{n,j}b_{j,i}=[n=i]$，那么这两个式子就可互相反演啦！

二项式反演

$$G_n=\sum_{i=0}^n {n \choose i}F_i\iff G_n=\sum_{i=0}^n (-1)^{n-i}{n \choose i}F_i$$
它的本质就是：
$$\sum_{j=i}^n{n \choose j}(-1)^{j-i}{j \choose i}=[n=i]$$
$$\sum_{j=i}^n(-1)^{j-i}{n \choose i}{n-i \choose j-i}=[n=i]$$
用 $d$替换$j-i$
$${n \choose i}\sum_{d=0}^{n-i}(-1)^{d}{n-i \choose d}=[n=i]$$
$${n \choose i}[n-i=0]=[n=i]$$
得证。
例题： BZOJ3622

Stirling反演

把第一类Stirling数看成有符号的。

$$G_n=\sum_{i=0}^n \begin{Bmatrix} n\\i \end{Bmatrix}F_i\iff F_n=\sum_{i=0}^n \begin{bmatrix} n\\i \end{bmatrix}G_i$$
本质就是： $$\sum_{j=i}^n\begin{Bmatrix} n\\j \end{Bmatrix}\ \begin{bmatrix} j\\i \end{bmatrix}=[n=i]$$
第一类Stirling数幂与下降幂的关系：
$$x^{\underline k}=\sum_{i=0}^k\begin{bmatrix} k\\i \end{bmatrix}x^i$$
第二类Stirling数幂与下降幂的关系：
$$x^{k}=\sum_{i=0}^k\begin{Bmatrix} k\\i \end{Bmatrix}x^{\underline i}$$
代入就好。
例题： BZOJ4617， Wearry出的神题

莫比乌斯反演

$$f_n=\sum_{d|n}g_d\iff g_n=\sum_{d|n}\mu_{\frac{n}{d}}f_d$$
$$f_n=\sum_{i=1}^n[i|n]g_i\iff g_n=\sum_{i=1}^n[i|n]\mu_{\frac{n}{i}}f_i$$

本质就是：

$$\sum_{j=i}^n[j|n][i|j]\mu_{\frac{j}{i}}=[n=i]$$
用 $d$替换$\frac{j}{i}$：
$$\sum_{d=1}^{\frac{n}{i}}[d|{\frac{n}{i}}]=[\frac{n}{i}=1]$$
得证。

最值反演

又叫min-max容斥，感觉很神奇，其实很sb。

$$\max\{S\}=\sum_{T\subseteq S}(-1)^{|T|-1}\min\{T\}$$
设最大值为 $x\in S$，那么构造映射 $f(T)\to x\in T?T-x:T+x$。那么当 $T$不为空和$\{x\}$时， $T$与$f(T)$因为只相差一个最大值，最小值肯定相同，集合大小只相差 $1$，就抵消了，因为空集没有最小值，所以最后只剩下$\{x\}$的贡献。
套上期望还是蛮有用的： HDU4624

后记

听说把组合数和stirling数根据递推式往负方向推可以推出与之对偶的东西。。。