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

#define _p(...) (void)printf(__VA_ARGS__)
#define forr(x,arr) for(auto&& x:arr)
#define _overload3(_1,_2,_3,name,...) name
#define _rep2(i,n) _rep3(i,0,n)
#define _rep3(i,a,b) for(int i=int(a);i<int(b);++i)
#define rep(...) _overload3(__VA_ARGS__,_rep3,_rep2,)(__VA_ARGS__)
#define _rrep2(i,n) _rrep3(i,0,n)
#define _rrep3(i,a,b) for(int i=int(b)-1;i>=int(a);i--)
#define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__)
#define all(x) (x).begin(), (x).end()
#define bit(n) (1LL<<(n))
#define sz(x) ((int)(x).size())
#define fst first
#define snd second
using ll=long long;
using pii=pair<int,int>;using pll=pair<ll,ll>;using pil=pair<int,ll>;using pli=pair<ll,int>;
using vs=vector<string>;using vvs=vector<vs>;using vvvs=vector<vvs>;
using vb=vector<bool>;using vvb=vector<vb>;using vvvb=vector<vvb>;
using vi=vector<int>;using vvi=vector<vi>;using vvvi=vector<vvi>;
using vl=vector<ll>;using vvl=vector<vl>;using vvvl=vector<vvl>;
using vd=vector<double>;using vvd=vector<vd>;using vvvd=vector<vvd>;
using vpii=vector<pii>;using vvpii=vector<vpii>;using vvvpii=vector<vvpii>;
template<class T,class U>istream&operator>>(istream&is,pair<T,U>&P){is>>P.fst;is>>P.snd;return is;}
template<class T>T read(){T t;cin>>t;return t;}
template<class T,class U>ostream&operator<<(ostream&o,const pair<T,U>&p){return o<<'('<<p.fst<<", "<<p.snd<<')';}
template<class T>ostream&operator<<(ostream&o,const vector<T>&t){o<<"{";rep(i,sz(t))o<<t[i]<<",";o<<"}"<<endl;return o;}
vs s_p_l_i_t(const string&s,char c){vs v;stringstream ss(s);string x;while(getline(ss,x,c))v.emplace_back(x);return move(v);}
void e_r_r(vs::iterator it){cerr<<endl;}
template<class T,class... Args>void e_r_r(vs::iterator it,T a,Args... args){cerr<<it->substr((*it)[0]==' ',it->length())<<" = "<<a<<", ";e_r_r(++it,args...);}
#define out(args...){vs a_r_g_s=s_p_l_i_t(#args,',');e_r_r(a_r_g_s.begin(),args);}

bool solve() {
  int n = read<int>();
  vector<int> A(n);
  rep(i, n) A[i] = read<int>();
  vvi E(n);
  rep(i, n-1) {
    int u = read<int>() - 1;
    int v = read<int>() - 1;
    E[u].push_back(v);
    E[v].push_back(u);
  }

  if (n == 2) {
    return A[0] == A[1];
  }

  bool ans = true;
  vl C(n);

  function<void(int, int)> dfs = [&](int cur, int pre) {
    ll sum_c = 0;
    ll c_max = 0;

    forr(nex, E[cur]) {
      if (nex != pre) {
        dfs(nex, cur);
        sum_c += C[nex];
        c_max = max(c_max, C[nex]);
      }
    }

    if (sz(E[cur]) == 1) {
      // 葉の親向き辺を通る数は A[cur] と等しい
      C[cur] = A[cur];
    }
    else {
      // C[cur] は、cur から根方向への辺を通る回数
      C[cur] = 2 * A[cur] - sum_c;
      // 負だとダメ
      if (C[cur] < 0) ans = false;

      // r は、cur の子の間を行き来する回数
      ll r = (sum_c - C[cur]);
      // 奇数ならダメ
      if (r % 2) ans = false;
      // 負はダメ
      if (r < 0) ans = false;

      // 出ている辺を通る数の合計の半分より大きい辺があるとダメ
      if (c_max > (sum_c + C[cur]) / 2) ans = false;
      if (C[cur] > (sum_c + C[cur]) / 2) ans = false;
    }
  };

  rep(i, n) {
    if (sz(E[i]) != 1) {
      // 葉じゃない頂点からdfsする
      dfs(i, -1);
      if (C[i]) return false;
      return ans;
    }
  }
  return false;
}

void Main() {
  cout << (solve() ? "YES" : "NO") << endl;
}
int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }


Measured memory_bytes: 14848