图计数

题意

给定$n,m$，求$m^N \bmod P$。其中，$P=999999599$，$N$为将$n$进行整数拆分的方案数，即将$n$表示成若干个正整数之和的方案数。

$n,m\le200000$

$Time ~~Limits:3000ms$
$Memory~~Limits:256M$

分析

根据费马小定理，$m^N=m^{N\bmod(P-1)}$，这个可用快速幂算。我们的问题就是如何求$N\bmod(P-1)$。

我们先想$O(N^2)$的算法。因为每个正整数都能使用若干次，那么这就是一个完全背包问题。但是本题中此算法的复杂度显然不可接受。

我们把正整数以$\sqrt N$分界。
那么对于小于等于$\sqrt N$的正整数，我们直接完全背包，求出用它们组成和为$i$的方案数，记为$f[i]$。这里的时间复杂度是$O(N\sqrt N)$
对于大于$\sqrt N$的正整数，可以发现，我们最多只会选择$\sqrt N$个。记$k = \sqrt N$，我们考虑这样一个方程：
设$g[i][j]$为已经选了$i$个数，它们的和为$j$的方案数。
转移：$g[i][j] = g[i-1][j - k] + g[i][j - i]$

这个方程是什么意思呢？
我们把每个选择的数$x_i$都看成由$k$加上$（x_i - k）$个$1$达到的。那么一种选择数的方案{$x_n$}序列，把它们从大到小排序，我们可以在加入第一个$k$后，将第一个数加上$(x_1 - x_2)$个$1$；然后加入第二个$k$，把前两个数加上$(x_2 - x_3)$个$1$；加入第三个$k$，把前三个数加上$(x_3 - x_4)$个$1$ ……这样做到最后，我们把所有数加上$(x_n - k)$个$1$，我们就能得到这个方案。

这样，我们就同样能以$O(N\sqrt N)$的时间复杂度求出$g$，然后将$f$和$g$合并求出组成和为$n$的方案数就行了。

注意：求$f$和$g$要滚动数组。