vijos 小胖守皇宫

点击打开题目

树形DP
显然会想到某个点放或不放守卫来定义状态，但在不放的情况下，需要分类讨论是父亲放还是一个儿子放，于是定义以下状态：

f[root][0]表示自己不放，父亲也不放
f[root][1]表示自己放
f[root][2]表示自己不放，父亲放

则状态转移方程为：

f[root][0]+=min(f[son][0],f[son][1])（如果所有儿子都不放，则f[root][0]应加上s=min(f[son][1]-f[son][0])）

f[root][1]+=min(f[son][1],f[son][2])（f[root][1]赋初值为在此放的花费）

f[root][2]+=min(f[son][0],f[son][1])

代码如下：

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
using namespace