題意：給n臺機器形成無根樹狀結構，然後需要安裝一些伺服器，使得不是伺服器的計算機恰好和一臺伺服器計算機相鄰，問最少需要安裝的伺服器臺數

題解：形成無根樹狀想到的必然是樹形DP，其次很明顯是對該點是不是伺服器進行討論。還有關鍵是恰好一臺相鄰。（沒看到這個條件狀態轉移看了半天沒看明白）
dp[u][0]：自己不是伺服器，父親是，所以所有子節點也不是
dp[u][1]：自己是伺服器，子節點可以是也可以不是
dp[u][2]：自己和父親都不是，所有有一個子節點必是

dp[u][0] = sum(dp[v][2])
dp[u][1] = sum(min(dp[v][1],dp[v][0])
dp[u][2] = min(dp[v’][1] + sum(dp[v”][2]))
= min(dp[v’][1] + sum(dp[v][2]) - dp[v’][2])
= min(dp[v’][1] + dp[u][0] - dp[v’][2])

還有個坑是dp[u][2]這個INF不能太大。我也是看了別人的才知道= =。

#include <cstdio>
#include <iostream>
#include <cstring>
#include <string>
#include <cmath>
#include <algorithm>
#include <map>
#include <vector>
#define INF 0x3f3f
using namespace std;
const int maxn = 1e5 + 5
 
;
typedef long long LL;
vector <int> vec[maxn];
int dp[maxn][3];//dp[][0] 自己不是伺服器但是父親是， dp[][1]自己是伺服器， dp[][2] 自己和父親都不是伺服器
void dfs(int u, int fa){
    dp[u][0] = 0;
    dp[u][1] = 1;
    dp[u][2] = INF;
    for(int i=0; i<vec[u].size(); i++){
        int v = vec[u][i];
        if(v == fa) continue
 
;
        dfs(v,u);
    }
    for(int i=0; i<vec[u].size(); i++){
        int v = vec[u][i];
        if(v == fa) continue;
        dp[u][0] += dp[v][2];
        dp[u][1] += min(dp[v][1], dp[v][0]);
    }
    for(int i=0; i<vec[u].size(); i++){
        int v = vec[u][i];
        if(v == fa) continue;
        dp[u][2] = min(dp[u][2], dp[v][1] + dp[u][0] - dp[v][2]);
    }
}
int main(){
        int n;
    while(scanf("%d",&n) == 1 && n != -1){
        for(int i=0; i<maxn; i++){
            vec[i].clear();
        }
        for(int i=0; i<n-1; i++){
            int u,v;
            scanf("%d%d",&u,&v);
            vec[u].push_back(v);
            vec[v].push_back(u);
        }
        dfs(1,-1);
        printf("%d\n",min(dp[1][1], dp[1][2]));
        int end;
        scanf("%d",&end);
        if(end == -1) break;

    }
}
/*
6
1 3
2 3 
3 4
4 5
4 6 
0
2
1 2
-1
*/