（探讨贴）POJ 1463 树形DP解法的不正确性

POJ1463是一个典型的树状DP题。

通常解法如下代码所示：

using namespace std;
const int maxn=;
int d[maxn][];
int pre[maxn];
int childcnt[maxn];
int n;
void dp(int cur){
    if(d[cur][]>=||d[cur][]>=){
        return;
    }
    if(childcnt[cur]==){
        d[cur][]=;d[cur][]=;
        return ;
    }
    for(int i=;i<n;i++){
        if(pre[i]==cur){
            dp(i);
            if(d[cur][]==-)d[cur][]=;
            if(d[cur][]==-)d[cur][]=;
            d[cur][]+=d[i][];
            d[cur][]+=min(d[i][],d[i][]);
        }
    }
    d[cur][]++;
}
int main(void){
    while(scanf("%d",&n)!=EOF){//万万没想到是这里出错
        memset(pre,-,sizeof(pre));
        memset(d,-,sizeof(d));
        int x,cnt,root=-;
        int num=n;
        while(num--){
            scanf("%d:(%d)",&x,&cnt);
            childcnt[x]=cnt;
            if(root==-)root=x;
            while(cnt--){
                int tem;
                scanf("%d",&tem);
                pre[tem]=x;
                if(tem==root){
                    root=x;
                }
            }
        }
        dp(root);
        int ans=min(d[root][],d[root][]);
        printf("%d\n",ans);
    }
    return ;
}

但此状态转移方程似乎并不正确。

反例如下：

输入
8
0:(3) 1 2 3
1:(1) 4
2:(1) 5
3:(1) 6
4:(0)
5:(1) 7
6:(0)
7:(0)
程序输出为4，但根据题意显然可以找到最优解为3 。

似乎题干应当修改为，每个节点只能监督其儿子节点，该DP方程才是正确的。

以上。