第一次写树形DP,写个总结。
为什么会有树形DP?每个节点的状态的值只跟他的子节点有关,兄弟节点之间是互不影响的。
应该怎么来计算树形DP?深搜,先把子节点处理好,再来对当前节点进行DP。
对于pku1947这道题目,DP[i][j]表示以i为根节点、节点数为j的子树需要去除的边的最小数量,状态转移方程有DP[root][p]=DP[root.son][k]+DP[root][p-k]-2)。
怎么来理解这个方程呢?我们一开始假设所有root和root.son之间的边是被去除了的,然后按照深搜的顺序,尝试着把他们连接上,即root.son作为root构成的子树中的一部分。需要注意的是,因为在一开始root和root.son之间的边是当作被去除了的,现在不需要要去除,所以在结果里面-2。