容斥定理及二项式反演

标签：sum 容斥 nf 反演 binom 二项式 align

二项式定理：

\[(a+b)^n = \sum_{i=0}^{n}\binom{n}{i}a^ib^{n-i} \]

很好理解。
我们经常会使用的式子：

\[(1+x)^n = \sum_{i = 0}^{n} x^i\binom{n}{i} \]

容斥定理：

\[\begin{split} \left|\bigcup_{i=1}^{n}S_i\right|=&\sum_{i}|S_i|-\sum_{i<j}|S_i\cap S_j|+\sum_{i<j<k}|S_i\cap S_j\cap S_k|-\cdots\\ &+(-1)^{m-1}\sum_{a_i<a_{i+1} }\left|\bigcap_{i=1}^{m}S_{a_i}\right|+\cdots+(-1)^{n-1}|S_1\cap\cdots\cap S_n| \end{split} \]

证明：
考虑某个元素被 \(m\) 个集合所包含，它对左侧的贡献为 \(1\) 。考虑它对右侧的贡献：

\[\begin{align} &\sum_{i=1}^{m}(-1)^{i-1}\binom{m}{i} \\ =&-\sum_{i=1}^{m}(-1)^i\binom{m}{i} \\ =&1-\sum_{i=0}^{m}(-1)^i\binom{m}{i} \\ =&1-(1-1)^m = 1 \end{align} \]

二项式反演：

\(f_n\) 表示恰好使用 \(n\) 个不同元素形成特定结构的方案数， \(g_n\) 表示从 \(n\) 个不同元素中选出 \(i \ge 0\) 个元素形成特定结构的总方案数。

那么：

\[g_n = \sum_{i=0}^{n}\binom{n}{i}f_i \]

已知 \(g_n\) 求 \(f_n\) ：
$$f_n = \sum_{i=0}^{n}\binom n i (-1)^{n-i} g_i$$
这就是二项式反演。

破防了。推了一个小时。证明：

首先需要的两个组合数的性质：

1. \[\binom n m \binom mk = \binom nk\binom{n-k}{m-k} \]

2. \[\sum_{i=0}^n\binom ni (-1)^i=[n=0] \]

第一个从定义就可以推得，但建议能够对这个式子有一个理解，不要用形式上的证明替代自己的理解，这样印象更深。第二个式子就是当 \(a=1,b=-1\) 时用二项式定理，但是当 \(n=0\) 时是特殊条件。

\[\begin{align} f_n &=\sum_{i=0}^{n}\binom n i (-1)^{n-i}g_i \\ &=\sum_{i=0}^{n}\binom n i (-1)^{n-i}\sum_{j=0}^{i}\binom i j f_j \\ &=\sum_{i=0}^{n}\sum_{j=0}^i\binom n i (-1)^{n-i}\binom i jf_j \\ &=\sum_{j=0}^nf_j\sum_{i=j}^n\binom n i\binom ij (-1)^{n-i} \\ &=\sum_{j=0}^nf_j\sum_{i=j}^n\binom{n}{j}\binom{n-j}{i-j}(-1)^{n-i} \\ &=\sum_{j=0}^nf_j\binom{n}{j}\sum_{i=j}^n\binom{n-j}{i-j}(-1)^{n-i} \end{align} \]

这里再想法凑出上面的性质2，令 \(k = i - j\) 。

\[\begin{align} &\sum_{j=0}^nf_j\binom{n}{j}\sum_{i=j}^n\binom{n-j}{i-j}(-1)^{n-i} \\ =&\sum_{j=0}^nf_j\binom{n}{j}\sum_{k=0}^{n-j}\binom{n-j}{k}(-1)^{k}(-1)^{n-j} \\ =&\sum_{j=0}^n(-1)^{n-j}f_j\binom{n}{j}\sum_{k=0}^{n-j}\binom{n-j}{k}(-1)^{k} \\ =&\sum_{j=0}^n(-1)^{n-j}f_j\binom{n}{j}[n=j] \\ =&f_n \end{align} \]

证完啦。

标签：sum,容斥,nf,反演,binom,二项式,align
From： https://www.cnblogs.com/yduck/p/18334849