[CF581F] Zublicanes and Mumocrates [树形dp]

[$\mathfrak{L}\mathfrak{i}\mathfrak{n}\mathfrak{k}$]

---

用两种颜色染一棵树。保证有偶数个叶子。
两种颜色的叶子各占一半。非叶子的点随便染一种色，没有其他限制。
问最少有多少对相邻点异色？

---

树的状态只有结构是确定的。
现在就是求一个方案来得到最优的结果。典型的最优化问题。
考虑树形dp。

初步考虑f(i,j)表示点i为根子树中有j个第一种颜色的叶子，最少的相邻不同色点对数。
这个不好转移。根本就在从儿子→父亲的递推不能确定。
考虑f(i,j,k)，k表示这个点是什么颜色。
就可以递推啦。
f(i,j,k)=Σ( f(v,x,b)+(b==k) )。
也可以用另一种方法，我们考虑的只是相对关系，
这种情况下只需要考虑父亲和儿子的颜色是否互异。
那就可以通过反色来去掉状态k。随意啦。

关于状态转移一定要考虑每一个子结点的处理：
通常有两种方法。
第一种就是先赋值某一个状态。
另一种就是新开变量存最优值，做完决策最后再赋值。

---

#include<cstdio>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<cctype>
#include<cmath>
#include<ctime>
using namespace std;
#define add_edge(a,b) nxt[++tot]=head[a], head[a]=tot, to[tot]=b
int head[5005];
int deg[5005];
int nxt[10005];
int to[10005];
int f[5005][5005][2];
int n, tot, cnt, root = 1;
int siz[5005];
void dfs(int x, int fa) {
	for (int i = head[x]; i; i = nxt[i]) {
		if (to[i] == fa) continue;
		dfs(to[i], x);
		siz[x] += siz[to[i]];
	}
	
	if (!siz[x]) {
		f[x][1][1] = f[x][0][0] = 0;
		++cnt;
		siz[x] = 1;
		return;
	} else {
		f[x][0][1] = f[x][0][0] = 0;
	}
	
	for (int i = head[x]; i; i = nxt[i]) {
		if (to[i] == fa) continue;
		for (int j = siz[x]; j >= 0; --j) {
			int tmpa = 0x3f3f3f3f, tmpb = 0x3f3f3f3f;
			for (int k = 0; k <= siz[to[i]]; ++k) {
				if (k > j) continue;
				tmpa = min(tmpa, f[x][j-k][0] + f[to[i]][k][1] + 1);
				tmpa = min(tmpa, f[x][j-k][0] + f[to[i]][k][0]);
				tmpb = min(tmpb, f[x][j-k][1] + f[to[i]][k][1]);
				tmpb = min(tmpb, f[x][j-k][1] + f[to[i]][k][0] + 1);
			}
			f[x][j][0] = tmpa;
			f[x][j][1] = tmpb;
		}
	}
}
int main() {
	memset(f, 0x3f, sizeof(f));
	scanf("%d", &n);
	for (int x, y, i = 1; i < n; ++i) {
		scanf("%d%d", &x, &y);
		add_edge(x, y);
		add_edge(y, x);
		++deg[x], ++deg[y];
	}
	while(deg[root]==1) ++root;
	dfs(root, 0);
	printf("%d", min(f[root][cnt>>1][0], f[root][cnt>>1][1]));
	return 0; 
}