UVa 1220 - Party at Hali-Bula（最大独立集）

发表于 分类于 ， Disqus：

d [ u ] [ 1 ] 和 d [ u ] [ 0 ] 分别表示选结点u和不选结点u在它的子树中最大的数目， f [ u ] [ t ] 表示相应选法的唯一性。
d [ u ] [ 1 ] = s u m { d [ v ] [ 0 ] } ， d [ u ] [ 0 ] = s u m { m a x ( d [ v ] [ 0 ] , d [ v ] [ 1 ] ) } 。
当选择结点的子树的方案有不唯一时，该结点方案不唯一。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
#include<iostream>
#include<cstring>
#include<string>
#include<vector>
#include<map>
using namespace std;
const int maxn=210;
map<string,int> id;
int d[maxn][2];
bool f[maxn][2];
vector<int> sons[maxn];
int dp(int u,int t){
    int& k=d[u][t]=t;
    if(sons[u].empty()) return k;
    if(t==1){
        for(int i=0;i<(int)sons[u].size();++i){
            k+=dp(sons[u][i],0);
            if(f[sons[u][i]][0]!=1)
                f[u][1]=false;
        }
    }
    else {
        for(int i=0;i<(int)sons[u].size();++i){
            int s=sons[u][i],a=dp(s,0),b=dp(s,1);
            k+=max(a,b);
            if(a==b||(a>b&&!f[s][0])||(a<b&&!f[s][1]))
                f[u][0]=false;
        }
    }
    return k;
}
int main(){
    int n;
    while(cin>>n&&n){
        id.clear();
        memset(d,0,sizeof(d));
        memset(f,1,sizeof(f));
        for(int i=0;i<maxn;++i) sons[i].clear();
        string s;cin>>s;
        int cnt=0;
        id[s]=cnt++;
        for(int i=2;i<=n;++i){
            cin>>s;
            if(!id.count(s)) id[s]=cnt++;
            int k=id[s];
            cin>>s;
            if(!id.count(s)) id[s]=cnt++;
            sons[id[s]].push_back(k);
        }
        int a=dp(0,0),b=dp(0,1);
        bool unk=true;
        if(a==b||(a>b&&!f[0][0])||(a<b&&!f[0][1])) unk=false;
        printf("%d %s\n",max(a,b),unk?"Yes":"No");
    }
    return 0;
}

** 本文迁移自我的CSDN博客，格式可能有所偏差。 **

相关文章