Codeforces Round #660 (Div. 2) C. Uncle Bogdan and Country Happiness ###K ###K //K

题目链接：https://codeforces.ml/contest/1388/problem/C

题意：给一棵根为1的树 m个人，开始都在根节点，每晚这些人都要回到自己的住处，回去的路上随时可以心情变坏

但是变坏了就不能变好  为是否存在一种情况 满足所有点 h[i]成立 h[i]=心情好的人数-心情坏的人数

 

每个人开始的心情是可以自己设定的，这点要读出来

 

思路：首先考虑的是假设条件然后判断是否成立，在树上，如果是从上而下的check的话 连通过当前点的总人数都无法确定

所以考虑从底往上来check    假设zong 为通过该点的总人数 列方程可知 good-bad=h  good+bad=zong   可知2*good=(zong+h)

所以zong+h 必须为偶数才能满足条件  还有就是good不能大于zong  abs(h)也不能大于总   还有题目的条件good[u]<good[v]

当时写错的原因是 判断good[u]<good[v]的时候  应该判断的是所有子节点的总good[v]   而自己只是一个一个的判断 没有将子节点的累加起来 *2

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define ull unsigned long long
#define pb push_back
const int maxn=1e5+10;
const int mod=1e9+7;

int n,m;
int p[maxn];
int h[maxn];
vector<int>E[maxn];
int good[maxn];
int zong[maxn];

int f;
void init()
{
    f=0;
    for(int i=0;i<=n;i++)
    {
        E[i].clear();
        zong[i]=0;
        good[i]=0;
    }
}
void dfs(int u,int fa)
{
    int sum=0;
    for(auto &v:E[u])
    {
        if(v==fa)
            continue;
        dfs(v,u);
        zong[u]+=zong[v];
        sum+=good[v];
    }
    zong[u]+=p[u];
    int k=zong[u]+h[u];
    if(k%2||abs(h[u])>zong[u]) f=1;
    good[u]=(h[u]+zong[u])/2;
    if(good[u]<sum)
        f=1;
}



int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    int t;
    cin>>t;
    while(t--)
    {
        cin>>n>>m;
        init();
        for(int i=1;i<=n;i++)
        {
            cin>>p[i];
        }
        for(int i=1;i<=n;i++)
        {
            cin>>h[i];
        }
        for(int i=1;i<n;i++)
        {
            int x,y;
            cin>>x>>y;
            E[x].pb(y);
            E[y].pb(x);
        }
        dfs(1,0);
        if(f)
            cout<<"NO"<<'\n';
        else
            cout<<"YES"<<'\n';

    }










}