[转载]zju 2872 Binary Partitions

原文地址：zju 2872 Binary Partitions 作者：allreset

其实和PKU2229 Sumsets是一样的。

 

题目和数的分解有点类似，只不过要求分解的各个数都要是2的次幂。

类似于数的分解，一个很显然的DP式：

f[n][k] = f[n-2^k][k] + f[n][k+1]

(n >= 2^k，f[0][i]=1，计算以k=0开始)

f[n][k]：至少以2^k的分量去分解n时有多少种分解方案。题目的解即为f[n][0]。

题目0 <= n <= 2,000,000，故k最大为20。但这个DP式的时间空间都不太理想。

 

进一步考虑，想办法将数组的第二维消掉。(第一维是必需的)

将n表示成二进制bm bm-1 ..bk.. b1b0，我们假设当前求的是f[n][k] (0<=k<=m)

如果n & (2^k-1)不为零的话，则f[n][k]=0。

因为f[n][k]表示到少以2^k的量去分解n，n每次都至少减去2^k，如果b0,b1..bk-1中有任一位不为零的话，则不存在合法的分解方案。

换句话说 b0 = b1 = .. = bk-1 = 0。

注意到，对于任意f[n][k](k>0)，n的后面k位恒为0，分解方案数与f[n>>k][0]其实是等效的。

因此，f[n][k] = f[n>>k][0]

这样子，第二维就可以消去了。化简后的DP式就变得很简单

1.f[n] = f[n-1]; n 为奇数

2.f[n] = f[n-1] + f[n>>1] n为偶数

事实上，由1式，2式也可写为 f[n] = f[n-2] + f[n>>1];

PS：根据1式，可以将空间减少一半