『树形背包』摧毁树形图

$\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{b}\mathrm{l}\mathrm{e}\mathrm{m}$

---

$\mathrm{S}\mathrm{o}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$

显然是树形背包，很容易设出状态$f[x][i][0/1]$表示以$i$为根的子树中，匹配树对$m$取模为$i$,点$x$是否匹配的删边方案数。由于是最大匹配，若当前点$x$没有匹配且某一个子节点也没有匹配，则这两个点必须要匹配。这是这道题的解题关键。

那么我们需要对于处理过一些子树$f[x][i]$，和$f[y][j]$进行转移的时候再用临时数组$g$来记录。这样就比较方便转移的记录了。

考虑转移使用$f[x][j][0]$.

• 若转移$f[y][k][1]$,则边删和不删均可。则有：$$g[j+$$