震惊!搞了一个寒假竟然还是不会二项式反演!我菜死了……
用途
你想求\(g\)函数,\(f\)函数很容易得到,而且你知道
\[ f_n=\sum_{i=0}^n {n\choose i }g_i \]
(或者差不多长成这样的式子)
那么你可以一波操作弄出\(g_n\)。
式子
式子1
若
\[ f_n=\sum_{i=0}^n {n\choose i }g_i \]
那么有
\[ g_n=\sum_{i=0}^n {n\choose i }(-1)^{n-i}f_i \]
证明
设\(F(x)\)为\(f\)的指数型生成函数,\(G(x)\)同理。
那么有\(F=e^x\times G\)。
于是得到\(G=e^{-x}\times F\)。
拆开来就成了上面的式子。
式子2
若
\[ f_k=\sum_{i=k}^n {i\choose k }g_i \]
那么有
\[ g_k=\sum_{i=k}^n {i\choose k}(-1)^{i-k}f_i \]
证明
不会,咕咕咕……