uva10859 - Placing Lampposts(动归)

树形dp。【训练指南P71】

题意：给一个n个点的m条边的无向无环图，在尽量少的的节点上放灯，使得所有边都被照亮。每盏灯将照亮以它为一个端点的所有边。在灯的总数a最小的前提下，被两盏灯同时照亮的边数应尽量大。

显然，只被一盏灯照亮的边数b应尽量小。

a应尽量小，b也应尽量小。

那么设x = a*N+b,则x应尽量小。

状态：dp[i][j]表示从节点i开始且父节点状态为j时的最小的x的值。

状态转移：【放灯状态】dp[i][j] = sum(dp[k][1]) k 是i的子节点【放灯总是合法的】

               【不放灯状态】dp[i][j] =max{dp[i][j], sum(dp[k][0])} k是i的子节点【只有当节点为根或者父亲节点没有放置灯时，该状态才成立】

 

#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>
using namespace std;
#define M 1005
#define N 2000
vector<int>g[M];
int n, m, dp[M][2], vis[M][2];
int dfs(int x, int y, int f)
{
    int &ans = dp[x][y];
    if(vis[x][y]) return ans;
    vis[x][y] = 1;
    ans = N;//灯的数量加1，x加N
    for(int i = 0; i < (int)g[x].size(); i++)
    {
        int tt = g[x][i];
        if(tt!=f)//选出非父亲节点作为子节点
            ans += dfs(tt, 1, x);
    }
    if(!y&&f>=0) ans++;//如果i不是根且父亲节点没放灯，则X加1
    if(y||f<0)
    {
        int sum = 0;
        for(int i = 0; i < (int)g[x].size(); i++)
        {
            int tt = g[x][i];
            if(tt!=f)
                sum+=dfs(tt, 0, x);
        }
        if(f>=0) sum++;//如果i不是根，则父亲节点放置了灯，而i节点没有放置等，则x加1
        ans = min(ans, sum);
    }
    return ans;
}
int main ()
{
    int t, u, v;
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d %d",&n,&m);
        for(int i = 0; i < n; i++) g[i].clear();//注意清空
        for(int i = 0; i < m; i++)
        {
            scanf("%d %d",&u,&v);
            g[u].push_back(v);
            g[v].push_back(u);
        }
        memset(vis,0,sizeof(vis));
        int ans = 0;
        for(int i = 0; i < n; i++)
            if(vis[i][0]==0)//把没访问过的点作为树根，继续求解最小值，最后将这些值求和即可，
                ans+=dfs(i,0,-1);
        printf("%d %d %d\n", ans/N, m-ans%N, ans%N);
    }
    return 0;
}