ZROI 19.08.01 生成函数方法

最新推荐文章于 2022-06-09 19:28:44 发布

GONG13723518568

最新推荐文章于 2022-06-09 19:28:44 发布

阅读量158

点赞数

原文链接：http://www.cnblogs.com/suwakow/p/11375071.html

版权

写在前面：由于我数学基础不好，加上缺乏生成函数知识，所以这一下午我都处在掉线和非掉线的叠加态。而且我写\(\LaTeX\)很慢，所以笔记相当混乱而且不全面。说白了就是我太菜了听不懂。

直接把序列写成多项式的形式。可以做个背包。

\[1+x+x^2+…=\frac{1}{1-x}\]

显然这个东西是不对的，比如\(x=2\)就gg了。

但是我们硬点\(0<x<1\)，它就是对的。

错位相减法去考虑就好。

\[f(x)=\sum_{i=0}i^2x^i\]

\[x\cdot f(x)=\sum_{i=1}(i-1)^2x^i=\sum_{i=1}i^2x^i+\sum_{i=1}-2i\cdot x^i+\sum_{i=1}x^i\]

\[(1-x)f(x)=2\sum_{i=1} i\cdot x^i-\sum_{x=1}x^i=\frac{2x}{(1-x)^2}-\frac{x}{1-x}\]

\[f(x)=\frac{x^2+x}{(1-x)^3}=\frac{x(x+1)}{(1-x)^3}\]

形如\(f(x)=\sum \frac{a_ix^i}{i!}\)的东西，卷积的时候会自动生成一个组合数，适合解决排列组合型问题。

\[f(x)=\sum_{i=0} \frac{x^i}{i!}=e^x\]

\(e^x\)在零点处的展开就是上述式子，虽然我不知道怎么展开。

\[f(x)=\sum_{i=0} \frac{x^{2i}}{(2i)!}=\frac{e^x+e^{-x}}{2}\]

把\(x=-x\)代入第一个式子，然后两项相加。

\[f(x)=\sum_{i=0} \frac{x^{2i+1}}{(2i+1)!}=\frac{e^x-e^{-x}}{2}\]

同理。

大概就是卷积之后对下标取模的结果。

FFT的本质就是一维循环卷积，只不过保证\(n\)（循环节）比较长，所以不会溢出（即，此处不需要取模）。

也可以扩展到二维，需要对两维都DFT一遍，下标取模。~~甚至可以扩展到\(k\)维，对每一维都单独做就好了。~~

为了循环卷积，我们需要对长度为循环节的数组做DFT，所以接下来老师讲了一个任意长度DFT的\(O(k\log k)\)神仙做法，而且我（几乎）听懂了，但是因为公式太长，我记不下来。出处是myy的paper。

\(n\)个点\(m\)条边的有向图，边权是一个二元组\((a_i,b_i)\)，初始有一个二元组\((0,0)\)，每经过一条边，权值会变为\(((x+a_i)\mod n, (y+b_i)\mod(n-1))\)。对每个三元组\((i,x,y)\)，求出从点\(i\)出发，经过恰好\(k\)条边回到\(i\)点，最终权值为\((x,y)\)的方案数。\(n\leq 22, k \leq 10^9\)。