题意：一个n个点以1为根节点的树，刚开始所有人都在1，他们所要前往p【i】，每个人开始有两种状态good和bad，在前进过程中good可以转化成bad，给出h【i】经过i点（包括终点）是i点的人中good-bad人数，问h是否合理。
题解：对于i点flow【i】表示经过i点的人总数，可以得到good【i】=flow【i】+h【i】 /2，good【i】必须为整数解，并且<=flow【i】；good会转化成bad，则以root为根的子树中，必须满足所有深度为1的节点的sigma（good【i】）<=good[root]。
#include <bits/stdc++.h> #define IO_read ios::sync_with_stdio(false);cin.tie(0) #define fre freopen("C:\in.txt", "r", stdin) #define _for(i,a,b) for(int i=a; i< b; i++) #define _rep(i,a,b) for(int i=a; i<=b; i++) #define inf 0x3f3f3f3f #define lowbit(a) ((a)&-(a)) using namespace std; typedef long long ll; template <class T> void read(T &x) { char c; bool op=0; while(c=getchar(), c<'0'||c>'9') if(c=='-') op=1; x=c-'0'; while(c=getchar(), c>='0'&&c<='9') x=x*10+c-'0'; if(op) x=-x; } template <class T> void write(T x) { if(x<0) putchar('-'), x=-x; if(x>=10) write(x/10); putchar('0'+x%10); } const int maxn=2e5+5; int T, n, m; int p[maxn], h[maxn]; int good[maxn], size_good[maxn], flow[maxn]; int tot, head[maxn]; struct Edge{ int to, next; Edge(int _to=0, int _next=0): to(_to), next(_next) {} }edge[maxn]; void addedge(int u, int v){ edge[++tot]=Edge(v, head[u]); head[u]=tot; } int ok; void dfs1(int u, int pre) { flow[u]=p[u]; for(int i=head[u]; i!=-1; i=edge[i].next){ int v=edge[i].to; if(v==pre) continue; dfs1(v, u); flow[u]+=flow[v]; } if((h[u]+flow[u])%2==0) good[u]=(h[u]+flow[u])/2; else ok=0; if(good[u]>flow[u]) ok=0; } void dfs2(int u, int pre) { //size_good[u]=good[u]; size_good[u]=0; for(int i=head[u]; i!=-1; i=edge[i].next){ int v=edge[i].to; if(v==pre) continue; dfs2(v, u); //size_good[u]+=size_good[v]; //WA了2次，这里写错了 size_good[u]+=good[v]; } if(good[u]<size_good[u]) ok=0; } void init() { memset(head, -1, sizeof(head)); tot=0; ok=1; } int main() { fre; read(T); while(T--) { read(n), read(m); init(); _rep(i, 1, n) read(p[i]); _rep(i, 1, n) read(h[i]); _for(i, 1, n){ int u, v; read(u), read(v); addedge(u, v), addedge(v, u); } dfs1(1, 0); if(ok) dfs2(1, 0); printf(ok? "YES ":"NO "); } return 0; }