#include #include typedef long long int ll; typedef long double ld; using namespace std; using namespace atcoder; #define inf 1010000000 #define llinf 1001000000000000000ll #define pi 3.14159265358979 #define rep(i, n) for(ll i = 0; i < (n); i++) #define rep1(i, n) for(ll i = 1; i <= (n); i++) #define rep2(i,l,r) for(ll i = (l); i < (r); i++) #define rng(a) a.begin(),a.end() #define fi first #define se second #define pb push_back #define eb emplace_back #define pob pop_back #define mp make_pair #define st string #define sz(x) (int)(x).size() #define mems(x) memset(x, -1, sizeof(x)); #define pcnt __builtin_popcountll #define _GLIBCXX_DEBUG #define dame { puts("-1"); return 0;} #define yes { puts("Yes"); return 0;} #define no { puts("No"); return 0;} #define ret(x) { cout<<(x)< inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } // srand((unsigned)time(NULL)); rand()を用いる際にmainの頭に置く // clock()/CLOCKS_PER_SEC 秒数を知りたいときに用いる #define mod 998244353 //問題に応じて 1000000007 に変える using mint = modint998244353; // .val()で出力 vector dx={1,0,-1,0}; vector dy={0,1,0,-1}; using pl = pair; using ppl = pair; using V = vector; using Graph = vector>; //llをEdgeにする等,適宜書き換える // G.assign(n, vector()); グローバル変数にGを置く時に置く // 関数を置くのはここ以下 ll n; pl p[200200]; Graph G; ll c[200200]; pl dp(int now, int par){ ll ans = 0; ll check = c[now]; for(auto x : G[now]){ if(x==par) continue; // 返り値の一つ目は操作数、二つ目は白と黒のどちらを返すか(白ならば1) pl tmp = dp(x,now); ans += tmp.fi + tmp.se; check += tmp.se; } if(now==0){ if(check%2==0){ ret(-1); } else{ ret(ans); } } return mp(ans,(check+1)%2); } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); // ここから編集 cin >> n; G.assign(n, vector()); rep(i,n-1){ cin >> p[i].fi >> p[i].se; p[i].fi--; p[i].se--; G[p[i].fi].eb(p[i].se); G[p[i].se].eb(p[i].fi); } rep(i,n) cin >> c[i]; dp(0,-1); }