二项式反演

前置技能：二项式定理

---

定理：$(a+b{)}^n={\sum }_{k=0}^n{C}_n^k{a}^k{b}^{n-k}$。

证明：（数学归纳法）

• $(a+b{)}^1=a+b={\sum }_{k=0}^1{C}_1^k{a}^k{b}^{1-k}$。

• 假设，$(a+b{)}^m$满足二次项定理，那么

  $$(a+b{)}^{m+1}=(a+b)\sum _{k=0}^m{C}_m^k{a}^k{b}^{m-k}$$

  $$=\sum _{k=0}^m{C}_m^k{a}^{k+1}{b}^{m-k}+\sum _{k=0}^m{C}_m^k{a}^k{b}^{m-k+1}$$

  $$=\sum _{k=1}^{m+1}{C}_m^{k-1}{a}^k{b}^{m-k+1}+\sum _{k=0}^m{C}_m^k{a}^k{b}^{m-k+1}$$

  $$=\sum _{k=0}^{m+1}{C}_m^{k-1}{a}^k{b}^{m-k+1}+\sum _{k=0}^{m+1}{C}_m^k{a}^k{b}^{m-k+1}$$

  $$=\sum _{k=0}^{m+1}{C}_{m+1}^k{a}^k{b}^{m+1-k}$$

  证毕。

二项式反演

---

• 一般，二项式反演解决的是哪些问题呢？

  • 直接求不好求，但是至少好求；
  • 直接求不好求，但是至多好求；

• $f[i]$表示至多有$i$个点的情况数，$g[i]$表示恰好有$i$个点的方案数。

• $f[n]={\sum }_{i=0}^{n}g[i]\ast C_n^i$，那么 $g[n]={\sum }_{i=0}^n(-1{)}^{n-i}{C}_n^{i}f[i]$。

• 证明就是按照定义，将$f[i]$代入推一推。（证明略）

• 例题，今天比赛第一题的30分。

• 题目求把一个s<=S,分到m个盒子里，前n个盒子里的小球数量均不能超过t，并且所有盒子非空的方案数。

• 先二项式反演一下，设$f[i]$表示n个盒子里至少有i个盒子超过t的方案数，$g[i]$表示n个盒子里恰好有i个盒子超过t的方案数。$g[0]={\sum }_{i=0}^n(-1{)}^i{C}_n^i{C}_{s-it-1}^{n-1}$。

• 考虑后面的$m-n$个盒子分配方式和去掉it之后前n个盒子是一样的。

• 所以总的答案为

  $$\sum _{i=0}^n\sum _{k=0}^s{C}_{k-it-1}^{m-1}{C}_n^i(-1{)}^i$$

  $$=\sum _{i=0}^n{C}_{s-it}^m{C}_n^i(-1{)}^i$$。

• 下面的这个组合数合并到一起非常的妙，能这么合并是因为你考虑C的组合意义。发现${\sum }_{k=0}^s{C}_{k-it-1}^{m-1}$其实就是将$s-it$分成m份的方案数。

• 如此，时间复杂度变为$O(m+s)$。30分get。

• 妈耶，集训队神题，后面的高分解法看都不敢看QAQ。