[JZOJ5364]史莱姆

题目大意

给你一个棱长为$2^n$的正方体，你可以进行m次攻击，求攻击完后正方体样子的方案数。
一次攻击定义为：你对一个棱长为$2^i$的正方体进行分解，分解成8个$2^{i-1}$次方个小正方体。
两种方案不同定义为：存在一对棱长为1的正方体单位x,y，在一种方案中他们属于同一个正方体而另一种方案他们属于不同正方体。
多组数据。
T≤100000,n≤40，m≤30000。

分析

一个小DP：
设f[i][j][k]表示考虑到大小为$2^{n-i}$的大小的正方体，比他大的正方体一共用了j次攻击，当前大小的正方体有8*k个，的方案数。
很显然$f[i][j][k]=\sum{f[i+1][j-k][l]*c(k,l*8)}$
这就是部分分了。
这东西没办法优化了，我们要换个思路。
看到统计方案的题，想想生成函数总是没问题的，首先要推出一个能够搞生成函数的dp。
我们反过来，合成一个$2^n$的正方体。
设f[i][j]表示一个$2^i$的正方体，用j次攻击的方案数，转移式是：
f[i][j]=∑a[1..8]|sum