二项式反演详解+例题

基本公式

若$$g(i)=\sum _{j=0}^i{C}_i^{j}f(j)$$
则$$f(i)=\sum _{j=0}^i(-1{)}^{i-j}{C}_i^{j}f(j)$$

是的，二项式反演本身就是这么简单，本质上只是一个容斥。

关键在于，我们要如何利用好这个重要的式子。往往，我们都想要求出$f$但只会快速求出$g$，此时我们会使用二项式反演，通过$g$逆向得到我们想要的$f$。

例1 欧拉错排

请求出对于所有长度为$n$的排列$A$，满足其中不存在任何一个位置$i(1\le i\le n)$满足$A_i=i$的排列的数量。

---

定义$g_i$表示钦定了$i$个位置使得$A_i=i$的排列数量。显然$g_i=C_n^i\times (n-i)!$，其中$C_n^i$表示选择满足$A_i=i$的$i$，对于剩余的位置任意安排，即$(n-i)!$。

定义$f_i$表示恰好有$i$个位置使得$A_i=i$的排列数量。可以发现，对于一个$g_i$，$f_j(j\ge i)$被算了$C_j^i$次。即$$g_i=\sum _{j=i}^n{f}_j{C}_j^i$$

通过二项式反演可得$$f_i=\sum _{j=i}^n(-1{)}^{j-i}{f}_j{C}_j^i$$

答案为$f_0$。时间复杂度$O(n)$。

例2 [NOI Online #2 T3]游戏

考虑做一个转化。

假设$g_i$表示钦定选了$i$对有祖先关系的方案数，$f_i$表示恰好存在$i$对有祖先关系的答案。可以发现，$$g_i=\sum _{j=i}^m{C}_j^i{f}_j$$

为什么呢？因为对于一个$f_x$，如果$y\le x$，那么$g_y$就算了$f_x{C}_x^y$次，所以得到了上面那个式子。

通过二项式反演，可以得到$$f_i=\sum _{j=i}^m(-1{)}^{j-i}{g}_j{C}_j^i$$

所以，只需要求出所有满足$0\le i\le m$的$g_i$即可求出每个答案。如何求出这个值呢？我们考虑使用树上背包。

$d{p}_{i,j}$表示在以$i$为根的子树中，钦定了$j$对有祖先关系的对(即在这个子树内至少有$j$对满足要求的)的方案数。每次我们将$i$与其子树中的一个节点配对，将这个子树的各种状态与$i$的状态合并即可。

更详细地说，
①对于合并，将$d{p}_{i,j}$与$d{p}_{son,k}$($son$为$i$的儿子节点之一)合并成$d{p}_{i,j+k}$，系数为$1$；
②如果我们想要让$i$号节点参与这个配对，那么
(1)如果$a_i=0$，那么一定是$0$与$1$配对；即将$d{p}_{i,j}$与$d{p}_{son,k}$合并成$d{p}_{i,j+k+1}$，注意这里系数是以$son$为根的子树中点权为$1$的点数。
(2)$a_i=1$同理。

注意，我们每次合并的大小是看到这个孩子之前的$size$ 与这个孩子节点的$size$，单次合并的复杂度是这两个值的乘积。

这个复杂度乍一看是$O(n^3)$的，实际上是$O(n^2)$的；因为，任何两个节点当且仅当会在它们的$LCA$处算一次贡献。

总时间复杂度$O(n^2)$。

例3 [Luogu P4859]已经没有什么好害怕的了

根据前两题的经验，我们先尝试去选择一个比较容易“钦定”的东西，然后再二项式反演乱搞。

令$g_i$表示钦定了$i$对满足上面的数大于下面的数的情况，$f_i$表示恰好存在$i$对满足上面的数大于下面的数的情况。$g_i$如何计算呢？看到数据范围为$n\le 2000$，吸取例$2$的经验，我们考虑二维$dp$。由于这个$dp$的一个整体决策必须满足每个$b$中的数恰好被选$1$次，而对于某些配对我们又钦定了条件(上面的数大于下面的数)，所以我们套路性的地先对两个数组排序。

状态设计: $d{p}_{i,j}:$ 看到了$A$中的第$i$个数，完成了$j$次钦定；且$A$中在区间$[1,i]$的这些数都已经与$B$中不同的数进行了配对。

状态转移:
①不为$A_i$钦定一个比$A_i$小的$B_j$。此时$d{p}_{i,j}=d{p}_{i-1,j}$；
②为$A_i$钦定一个比$A_i$小的$B_j$。假设此时$B$中比$A_i$小的数有$cnt$个，那么$d{p}_{i,j}=d{p}_{i-1,j-1}\times (cnt-j+1)$。即，在这$cnt$个可与其配对的数中，有$j-1$个数已经被占用了，不能被重复选；因此能选的数实际上只有$cnt-(j-1)=cnt-j+1$个，因此转移时应添加系数$cnt-j+1$。

根据上述$dp$的状态设计，$g_i=d{p}_{n,i}\times (n-i)!$。$(n-i)!$表示，对于$n-i$个没有去钦定的数，我们随便配对，显然有$(n-i)!$种配对方式。

接下来又是二项式反演的套路:

由于$g_i={\sum }_{j=i}^n{C}_j^i{f}_j$
所以$f_i={\sum }_{j=i}^n(-1{)}^{j-i}{C}_j^i{f}_j$

由于满足上面的数大于下面的数的配对必须恰好为$\frac{n+k}{2}$对，所以答案为$f_{\frac{n+k}{2}}$。