AtCoder Regular Contest 083 E Bichrome Tree 题解（树形DP）

题目：ARC083E.
题目大意：给定一棵$n$个点的树和序列$x_i$，要求给树染黑白色和赋上点权，问是否可以做到对于任意一个点$i$满足与它子树内同颜色的点权值和为$x_i$.
$1\le n\le 10^3,1\le x_i\le 5\ast 10^3$.

首先我们设$f[i][j][0/1]$表示点$i$为根的子树内，点$i$颜色为$0/1$且子树内与点$i$异色的点的权值和为$j$是否可行.

然后我们发现一点是，我们要的肯定是可行的$j$中最小的那一个，于是可以优化掉一维$j$.

又发现$0/1$的答案是相同的，因为颜色颠倒后是一样的，所以可以把状态变为$f[i]$.

然后需要转移，可以用一个背包进行转移，每个儿子只会与父亲同色或异色两种状态.

时间复杂度$O(\sum x_i)$.

代码如下：

#include<bits/stdc++.h>
using namespace std;

typedef long long LL;

const int N=1000,M=5000,INF=(1<<30)-1;

int n,x[N+9];
struct side{
  int y,next;
}e[N+9];
int lin[N+9],cs;

void Ins(int x,int y){e[++cs].y=y;e[cs].next=lin[x];lin[x]=cs;}

void into(){
  scanf("%d",&n);
  for (int i=2;i<=n;++i){
  	int x;
  	scanf("%d",&x);
  	Ins(x,i);
  }
  for (int i=1;i<=n;++i)
    scanf("%d",&x[i]);
}

int dp[N+9],dp0[M+9];

void Dfs_dp(int k,int fa){
  for (int i=lin[k];i;i=e[i].next)
    if (e[i].y^fa) Dfs_dp(e[i].y,k);
  dp[k]=INF;
  for (int i=0;i<=x[k];++i) dp0[i]=INF;
  dp0[0]=0;
  for (int i=lin[k];i;i=e[i].next)
    if (e[i].y^fa)
	  for (int j=x[k];j>=0;--j){
	  	int t=INF;
	  	if (j>=x[e[i].y]) t=min(t,dp0[j-x[e[i].y]]+dp[e[i].y]);
	  	if (j>=dp[e[i].y]) t=min(t,dp0[j-dp[e[i].y]]+x[e[i].y]);
	  	dp0[j]=t;
      }
  for (int i=0;i<=x[k];++i) dp[k]=min(dp[k],dp0[i]);
}

void work(){
  Dfs_dp(1,0);
}

void outo(){
  puts(dp[1]==INF?"IMPOSSIBLE":"POSSIBLE");
}

int main(){
  into();
  work();
  outo();
  return 0;
}