[树上DP] UVa1220 Hali-Bula的晚会（多状态DP）（树的最大独立集问题的常用方法）

题目

思路

预警：本题很烧脑。。即便是看着LRJ的分析，也看的心累。。考虑的情况太多了

（最后求答案时，如果d[0][0] == d[0][1]，那么情况也不唯一）
本题最基本的要求是学习到求树的最大独立集问题的常用方法，更一步的要求是好好理解理解LRJ是如何想出这种多状态DP并且能不遗漏细节地写下来的。。。

代码

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <string>
#include <cmath>
#include <utility>
#include <map>
#include <algorithm>
#include <iostream>
#define _for(i,a,b) for(int i = (a); i<(b); i++)
#define _rep(i,a,b) for(int i = (a); i<=(b); i++)
using namespace std;

const int maxn = 200 + 10;
map<string, int> names;
int n, G[maxn][maxn], d[maxn][2], f[maxn][2];

void dp(int i, int k) {
    if (k == 1) {
        d[i][k] = 1;
        f[i][k] = 1;
        _for(j, 1, n) if (G[j][i]) {
            dp(j, 0);
            d[i][k] += d[j][0];
            if (f[j][0] == 0) f[i][k] = 0;
        }
    }
    else {
        d[i][k] = 0;
        f[i][k] = 1;
        _rep(j, 1, n) if (G[j][i]) {
            dp(j, 0);
            dp(j, 1);
            if (d[j][0] > d[j][1]) {
                d[i][k] += d[j][0];
                if (f[j][0] == 0) f[i][k] = 0;
            }
            else {
                d[i][k] += d[j][1];
                if (f[j][1] == 0) f[i][k] = 0;
            }
            if (d[j][0] == d[j][1]) f[i][k] = 0;
        }
    }
}

int main() {
    while (scanf("%d", &n) == 1 && n) {
        // 输入及初始化
        names.clear();
        memset(G, 0, sizeof(G));
        string a, b;
        cin >> a;
        names.insert(make_pair(a,0));
        int cnt = 1;
        _for(i, 1, n) {
            cin >> a >> b;
            if (names.find(a) == names.end()) names.insert(make_pair(a, cnt++));
            if (names.find(b) == names.end()) names.insert(make_pair(b, cnt++));
            G[names.at(a)][names.at(b)] = 1;  // b是a的boss
        }

        dp(0, 0);
        dp(0, 1);
        if (d[0][0] > d[0][1]) {
            printf("%d ", d[0][0]);
            if (f[0][0]) printf("Yes\n");
            else printf("No\n");
        }
        else if (d[0][0] < d[0][1]) {
            printf("%d ", d[0][1]);
            if (f[0][1]) printf("Yes\n");
            else printf("No\n");
        }
        else {
            printf("%d ", d[0][1]);
            printf("No\n");
        }

    }

    return 0;
}