UVa 1220 Hali-Bula的晚会（树的最大独立集）

https://vjudge.net/problem/UVA-1220

题意：

公司里有n个人形成一个树状结构，即除了老板以外每个员工都有唯一的直属上司。要求选尽量多的人，但不能同时选择一个人和他的直属上司。输出最多能选多少人并判断是否唯一。

思路：

树的最大独立集问题。就是需要额外判定是否是唯一的。

因为输入的都是人名，所以首先就是用map容器来处理，上下属的关系就用vector容器来处理。

d[u][1]表示以u为根的子树中，选u点能得到的最大人数，f[u][1]判断这种方案是否唯一。

d[u][0]表示以u为根的子树中，不选u点能得到的最大人数，f[u][0]判断这种方案是否唯一。

状态转移方程其实不是很难。首先分析d[u][1]，因为u选了，所以u的子结点都不能选，它的子节点的状态只能是这样的，所以此时d[u][1]=sum（d[v][0]|v是u的子节点）。容易想到f[v][0]都为唯一时，f[u][1]才是唯一的。

其次是d[u][0]，此时u的子节点可选可不选，所以我们需要挑选出更大的那个，每个子节点都是这样处理，最后像上面那样加起来就可以了。转移方程就是d[u][0]=sum(max(d[v][0],d[v][1]))。方案唯一值的判定和上面是一样的，就是分析你所挑选的更大的那个。

根结点值依赖于子节点，所以需要用DFS来处理。

#include<iostream> 
#include<string>
#include<cstring>
#include<vector>
#include<algorithm>
#include<map>
using namespace std;

const int maxn = 200+5;

int n, cnt;
string s1, s2;

int d[maxn][2], f[maxn][2];

map<string, int> id;
vector<int> sons[maxn];


void solve(int u)
{
    //最下属的只有两种情况
    if (sons[u].size() == 0)
    {
        d[u][0] = 0;
        d[u][1] = 1;
        return;
    }
    int k = sons[u].size();

    for (int i = 0; i < k; i++)
    {
        int son = sons[u][i];
        //树形的DFS
        solve(son);
        d[u][1] += d[son][0];
        //一旦有子节点不唯一，它也不唯一
        if (!f[son][0])    f[u][1] = 0;
        //u不选时，它的子节点可选可不选，此时需要选个大的
        d[u][0] += max(d[son][1], d[son][0]);  

        //判断是否唯一
        if (d[son][0]>d[son][1] && !f[son][0])             f[u][0] = 0;
        else if (d[son][1] > d[son][0] && !f[son][1] )     f[u][0] = 0;
        else if (d[son][0] == d[son][1])                   f[u][0] = 0;

    }
    ++d[u][1];
}

int main()
{
    //freopen("D:\txt.txt", "r", stdin);
    while (cin >> n && n)
    {
        memset(d, 0, sizeof(d));
        //初始化都为唯一
        for (int i = 0; i <= n; i++)
            f[i][1] = f[i][0] = 1;
        id.clear();
        for (int i = 1; i <= n; i++)
            sons[i].clear();
        cnt = 0;

        cin >> s1;
        id[s1] = ++cnt;
        for (int i = 1; i < n; i++)
        {
            cin >> s1 >> s2;
            if (!id[s1])  id[s1] = ++cnt;
            if (!id[s2])  id[s2] = ++cnt;
            sons[id[s2]].push_back(id[s1]);
         }

        solve(1);

        if (d[1][0] == d[1][1])  printf("%d No
", d[1][0]);
        else if (d[1][0] > d[1][1])  printf("%d %s
", d[1][0], !f[1][0] ? "No" : "Yes");
        else  printf("%d %s
", d[1][1], !f[1][1] ? "No" : "Yes");
    }
    return 0;
}