poj 3342 树形dp_最大独立集合

对于最大独立集：

dp[i][0] 表示不取i的最大值

dp[i][1]表示取i的最大值

表示不取父亲   dp[fa][0]+=max(dp[son][0],son[son][1]);可以去儿子节点或者不取；

表示取父亲      dp[fa][1]+=dp[son][0] 表示不能取儿子节点

这个题目就是判断唯一性比较复杂用mark[i][0] 标记i 的0 ，1状态是否能取到

对于mark[fa][1]=(mark[son][0]&all) 所有儿子节点的mark[son][0]必须唯一

对于mark[fa][0]  如果有一个儿子dp[son][0]=dp[son][1] 明显为0

如果取某个儿子的某种状态mark[son][?]必须全为1.

#include<cstdio>#include<cstring>#include<string>#include<map>#define M 300using namespace std;map<string,int> map1;int dp[M][2];int mark[M][2];int en;struct G{    int head[M],en;    struct E{        int u,v,next;    }e[M*M];    void init(){        memset(head,-1,sizeof(head));        en=0;    }    void add(int u,int v){        e[en].u=u;e[en].v=v;e[en].next=head[u];head[u]=en++;    }}g1;int find(char *p){    if(map1[p]==0){        map1[p]=en++;    }    return map1[p];}char str1[M];char str2[M];void dfs(int u){    if(g1.head[u]==-1){        dp[u][0]=0;        dp[u][1]=1;        mark[u][0]=1;        mark[u][1]=1;        return ;    }    else{        int flag0=1;        int flag1=1;        dp[u][0]=0;        dp[u][1]=1;        for(int i=g1.head[u];i!=-1;i=g1.e[i].next){            int v=g1.e[i].v;            dfs(v);            dp[u][1]+=dp[v][0];            if(mark[v][0]==0) flag1=0;            int tmax=max(dp[v][0],dp[v][1]);            dp[u][0]+=tmax;            if(dp[v][0]==dp[v][1]) flag0=0;            if(dp[v][0]==tmax&&mark[v][0]==0) flag0=0;            if(dp[v][1]==tmax&&mark[v][1]==0) flag0=0;        }        mark[u][0]=flag0;        mark[u][1]=flag1;        return ;    }}int main(){    int n;    while(~scanf("%d",&n)&&n){        map1.clear();        en=1;        scanf("%s",str1);find(str1);        g1.init();        for(int i=0;i<n-1;i++){            scanf("%s%s",str1,str2);            int t1=find(str1);            int t2=find(str2);            g1.add(t2,t1);        }        memset(dp,0,sizeof(dp));        dfs(1);        int tmax=max(dp[1][0],dp[1][1]);        int flag=1;        if(dp[1][0]==dp[1][1]) flag=0;        if(dp[1][0]==tmax){            if(mark[1][0]==0) flag=0;        }        if(dp[1][1]==tmax){            if(mark[1][1]==0) flag=0;        }        printf("%d ",tmax);        if(flag){            puts("Yes");        }        else{            puts("No");        }    }}