ZOJ 1134 Strategic Game 树的最大独立集

题意：给出一棵树，现在要在某些节点上放置士兵，使这些士兵能够监视每条边。最少需要放多少个士兵。
思路：在图论术语上，题目所求的最少士兵的个数叫做最小点覆盖，即选择最小数量的点，使每条边都以这些点中的一个点为端点。
然后有公式：最小点覆盖 + 最大独立集 = 图中点的个数。
我们就将原问题转化成了求树上点的最大独立集。
设dp[u]为选择以u为根的子树得到的最大独立集的节点个数。
则，对于节点u有两种选择：
1.选择节点u，那么，就不能选择他的所有儿子节点，只能选择他的孙子节点。
2.不选择节点u，这样就能选择他的儿子节点了。
对应的状态转移方程是：

$$dp[u] = max(\sum_{i\in gs(u)}dp[i]+1,\sum_{i\in s(u)}dp[i])$$
其中gs(u)表示u的孙子节点的集合，s(u)表示u的儿子节点的集合。
但是这样的状态转移有一个问题，集合s(u)内的点，可以很容易的枚举出来，而集合gs(u)内的点却不容易枚举，那我们就可以利用刷表法。即在dfs的过程中，记录每个节点的爷爷，然后直接更新他的祖父的状态 $\sum_{i\in gs(u)}dp[i]$。
边界条件，是当u为叶子节点时：
$$\sum_{i\in gs(u)}dp[i] = \sum_{i\in s(u)}dp[i] = 0$$
代码如下：

#include <cstdio>
#include <algorithm>
#include <cstring>

using namespace std;

const int MAX = 2000;

int N;
int to[MAX*2],nxt[MAX<<1],head[MAX],tot;
int son[MAX],gson[MAX],dp[MAX];


void init()
{
    memset(head,-1,sizeof(head));
    memset(son,0,sizeof(son));
    memset(gson,0,sizeof(gson));
    memset(dp,0,sizeof(dp));
    tot = 0;
}

void addedge(int u, int v)
{
    to[tot] = v, nxt[tot] = head[u];
    head[u] = tot++;
    to[tot] = u, nxt[tot] = head[v];
    head[v] = tot++;
}

void dfs(int u, int p, int pp)
{
    for(int i = head[u]; ~i; i = nxt[i]){
        int v = to[i];
        if(v == p) continue;
        dfs(v,u,p);
    }
    dp[u] = max(son[u],gson[u]+1);
    if(p >= 0)
        son[p] += dp[u];
    if(pp >= 0)
        gson[pp] += dp[u];
}


int main(void)
{
    //freopen("input.txt","r",stdin);
    while(scanf("%d",&N) != EOF){
        init();
        for(int i = 0; i < N; ++i){
            int u,m,v;
            scanf("%d:(%d)",&u,&m);
            for(int j = 0; j < m; ++j){
                scanf("%d",&v);
                addedge(u,v);
            }
        }
        dfs(0,-1,-1);
        printf("%d\n",N - dp[0]);
    }
    return 0;
}