// ~~ icebear ~~
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> ii;
typedef pair<int, ii> iii;
template<class T>
bool minimize(T &a, const T &b) {
if (a > b) return a = b, true;
return false;
}
template<class T>
bool maximize(T &a, const T &b) {
if (a < b) return a = b, true;
return false;
}
#define FOR(i,a,b) for(int i=(a); i<=(b); ++i)
#define FORR(i,a,b) for(int i=(a); i>=(b); --i)
#define REP(i, n) for(int i=0; i<(n); ++i)
#define RED(i, n) for(int i=(n)-1; i>=0; --i)
#define MASK(i) (1LL << (i))
#define BIT(S, i) (((S) >> (i)) & 1)
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define all(x) x.begin(), x.end()
#define task "icebear"
#define prev ___prev
const int MOD = 1e9 + 7;
const int inf = 1e9 + 27092008;
const ll INF = 1e18 + 27092008;
const int N = 5e5 + 5;
int n, f[N][2][3], c[N], prev[2][3];
vector<int> G[N];
int sumOff[N];
// f[u][j][k] : min values to set all subtrees of u, j is state of u after having done,
// k is number of children that in important path
void dfs(int u, int par) {
sumOff[u] = (c[u] == 0);
for(int v : G[u]) if (v != par) {
dfs(v, u);
sumOff[u] += sumOff[v];
}
if (sumOff[u] == 0) return; // useless
REP(k, 3) f[u][c[u] ^ 1][k] = 1; // base string
for(int v : G[u]) if (v != par && sumOff[v] > 0) {
REP(j, 2) REP(k, 3) {
prev[j][k] = f[u][j][k];
f[u][j][k] = inf;
}
REP(j, 2) {
// first edge doesn't affect to u, v and answer
minimize(f[u][j][0], prev[j^1][0] + f[v][1][0] + 1); // u -> v -> [u]
minimize(f[u][j][0], prev[j][0] + f[v][0][0] + 3); // u -> v -> [u -> v -> u]
minimize(f[u][j][1], prev[j][0] + f[v][1][1]); // v -> u
minimize(f[u][j][1], prev[j^1][0] + f[v][0][1] + 2); // v -> u -> [v -> u]
minimize(f[u][j][1], prev[j^1][1] + f[v][1][0] + 1); // u -> v -> [u]
minimize(f[u][j][1], prev[j][1] + f[v][0][0] + 3); // u -> v -> [u -> v -> u]
minimize(f[u][j][2], prev[j^1][0] + f[v][1][2] + 3); // v -> u -> [v -> u -> v]
minimize(f[u][j][2], prev[j][0] + f[v][0][2] + 1); // v -> u -> [v]
minimize(f[u][j][2], prev[j][1] + f[v][1][1]); // u -> v
minimize(f[u][j][2], prev[j^1][1] + f[v][0][1] + 2); // u -> v -> [u -> v]
minimize(f[u][j][2], prev[j^1][2] + f[v][1][0] + 1); // u -> v -> [u]
minimize(f[u][j][2], prev[j][2] + f[v][0][0] + 3); // u -> v -> [u -> v -> u]
}
REP(j, 2) {
minimize(f[u][j][1], f[u][j][0]);
minimize(f[u][j][2], f[u][j][1]);
}
}
}
void init(void) {
cin >> n;
FOR(i, 1, n) {
char x; cin >> x;
c[i] = (x == '1');
}
FOR(i, 2, n) {
int u, v;
cin >> u >> v;
G[u].pb(v);
G[v].pb(u);
}
}
void process(void) {
memset(f, 0x3f, sizeof f);
FOR(i, 1, n) if (c[i] == 0) {
dfs(i, -1);
cout << f[i][1][2] << '\n';
break;
}
}
int main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
if (fopen(task".inp", "r")) {
freopen(task".inp", "r", stdin);
freopen(task".out", "w", stdout);
}
int tc = 1;
// cin >> tc;
while(tc--) {
init();
process();
}
return 0;
}
Ly8gfn4gaWNlYmVhciB+fgojaW5jbHVkZSA8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCnR5cGVkZWYgbG9uZyBsb25nIGxsOwp0eXBlZGVmIHBhaXI8aW50LCBpbnQ+IGlpOwp0eXBlZGVmIHBhaXI8aW50LCBpaT4gaWlpOwoKdGVtcGxhdGU8Y2xhc3MgVD4KICAgIGJvb2wgbWluaW1pemUoVCAmYSwgY29uc3QgVCAmYikgewogICAgICAgIGlmIChhID4gYikgcmV0dXJuIGEgPSBiLCB0cnVlOwogICAgICAgIHJldHVybiBmYWxzZTsKICAgIH0KCnRlbXBsYXRlPGNsYXNzIFQ+CiAgICBib29sIG1heGltaXplKFQgJmEsIGNvbnN0IFQgJmIpIHsKICAgICAgICBpZiAoYSA8IGIpIHJldHVybiBhID0gYiwgdHJ1ZTsKICAgICAgICByZXR1cm4gZmFsc2U7CiAgICB9CgojZGVmaW5lIEZPUihpLGEsYikgZm9yKGludCBpPShhKTsgaTw9KGIpOyArK2kpCiNkZWZpbmUgRk9SUihpLGEsYikgZm9yKGludCBpPShhKTsgaT49KGIpOyAtLWkpCiNkZWZpbmUgUkVQKGksIG4pIGZvcihpbnQgaT0wOyBpPChuKTsgKytpKQojZGVmaW5lIFJFRChpLCBuKSBmb3IoaW50IGk9KG4pLTE7IGk+PTA7IC0taSkKI2RlZmluZSBNQVNLKGkpICgxTEwgPDwgKGkpKQojZGVmaW5lIEJJVChTLCBpKSAoKChTKSA+PiAoaSkpICYgMSkKI2RlZmluZSBtcCBtYWtlX3BhaXIKI2RlZmluZSBwYiBwdXNoX2JhY2sKI2RlZmluZSBmaSBmaXJzdAojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIGFsbCh4KSB4LmJlZ2luKCksIHguZW5kKCkKI2RlZmluZSB0YXNrICJpY2ViZWFyIgojZGVmaW5lIHByZXYgX19fcHJldgoKY29uc3QgaW50IE1PRCA9IDFlOSArIDc7CmNvbnN0IGludCBpbmYgPSAxZTkgKyAyNzA5MjAwODsKY29uc3QgbGwgSU5GID0gMWUxOCArIDI3MDkyMDA4Owpjb25zdCBpbnQgTiA9IDVlNSArIDU7CmludCBuLCBmW05dWzJdWzNdLCBjW05dLCBwcmV2WzJdWzNdOwp2ZWN0b3I8aW50PiBHW05dOwppbnQgc3VtT2ZmW05dOwoKLy8gZlt1XVtqXVtrXSA6IG1pbiB2YWx1ZXMgdG8gc2V0IGFsbCBzdWJ0cmVlcyBvZiB1LCBqIGlzIHN0YXRlIG9mIHUgYWZ0ZXIgaGF2aW5nIGRvbmUsCi8vICAgICAgICAgICAgICAgICAgayBpcyBudW1iZXIgb2YgY2hpbGRyZW4gdGhhdCBpbiBpbXBvcnRhbnQgcGF0aAoKdm9pZCBkZnMoaW50IHUsIGludCBwYXIpIHsKICAgIHN1bU9mZlt1XSA9IChjW3VdID09IDApOwogICAgZm9yKGludCB2IDogR1t1XSkgaWYgKHYgIT0gcGFyKSB7CiAgICAgICAgZGZzKHYsIHUpOwogICAgICAgIHN1bU9mZlt1XSArPSBzdW1PZmZbdl07CiAgICB9CgogICAgaWYgKHN1bU9mZlt1XSA9PSAwKSByZXR1cm47IC8vIHVzZWxlc3MKICAgIFJFUChrLCAzKSBmW3VdW2NbdV0gXiAxXVtrXSA9IDE7IC8vIGJhc2Ugc3RyaW5nCgogICAgZm9yKGludCB2IDogR1t1XSkgaWYgKHYgIT0gcGFyICYmIHN1bU9mZlt2XSA+IDApIHsKICAgICAgICBSRVAoaiwgMikgUkVQKGssIDMpIHsKICAgICAgICAgICAgcHJldltqXVtrXSA9IGZbdV1bal1ba107CiAgICAgICAgICAgIGZbdV1bal1ba10gPSBpbmY7CiAgICAgICAgfQogICAgICAgIFJFUChqLCAyKSB7CiAgICAgICAgICAgIC8vIGZpcnN0IGVkZ2UgZG9lc24ndCBhZmZlY3QgdG8gdSwgdiBhbmQgYW5zd2VyCiAgICAgICAgICAgIG1pbmltaXplKGZbdV1bal1bMF0sIHByZXZbal4xXVswXSArIGZbdl1bMV1bMF0gKyAxKTsgLy8gdSAtPiB2IC0+IFt1XQogICAgICAgICAgICBtaW5pbWl6ZShmW3VdW2pdWzBdLCBwcmV2W2pdWzBdICsgZlt2XVswXVswXSArIDMpOyAvLyB1IC0+IHYgLT4gW3UgLT4gdiAtPiB1XQoKICAgICAgICAgICAgbWluaW1pemUoZlt1XVtqXVsxXSwgcHJldltqXVswXSArIGZbdl1bMV1bMV0pOyAvLyB2IC0+IHUKICAgICAgICAgICAgbWluaW1pemUoZlt1XVtqXVsxXSwgcHJldltqXjFdWzBdICsgZlt2XVswXVsxXSArIDIpOyAvLyB2IC0+IHUgLT4gW3YgLT4gdV0KICAgICAgICAgICAgbWluaW1pemUoZlt1XVtqXVsxXSwgcHJldltqXjFdWzFdICsgZlt2XVsxXVswXSArIDEpOyAvLyB1IC0+IHYgLT4gW3VdCiAgICAgICAgICAgIG1pbmltaXplKGZbdV1bal1bMV0sIHByZXZbal1bMV0gKyBmW3ZdWzBdWzBdICsgMyk7IC8vIHUgLT4gdiAtPiBbdSAtPiB2IC0+IHVdCgogICAgICAgICAgICBtaW5pbWl6ZShmW3VdW2pdWzJdLCBwcmV2W2peMV1bMF0gKyBmW3ZdWzFdWzJdICsgMyk7IC8vIHYgLT4gdSAtPiBbdiAtPiB1IC0+IHZdCiAgICAgICAgICAgIG1pbmltaXplKGZbdV1bal1bMl0sIHByZXZbal1bMF0gKyBmW3ZdWzBdWzJdICsgMSk7IC8vIHYgLT4gdSAtPiBbdl0KICAgICAgICAgICAgbWluaW1pemUoZlt1XVtqXVsyXSwgcHJldltqXVsxXSArIGZbdl1bMV1bMV0pOyAvLyB1IC0+IHYKICAgICAgICAgICAgbWluaW1pemUoZlt1XVtqXVsyXSwgcHJldltqXjFdWzFdICsgZlt2XVswXVsxXSArIDIpOyAvLyB1IC0+IHYgLT4gW3UgLT4gdl0KICAgICAgICAgICAgbWluaW1pemUoZlt1XVtqXVsyXSwgcHJldltqXjFdWzJdICsgZlt2XVsxXVswXSArIDEpOyAvLyB1IC0+IHYgLT4gW3VdCiAgICAgICAgICAgIG1pbmltaXplKGZbdV1bal1bMl0sIHByZXZbal1bMl0gKyBmW3ZdWzBdWzBdICsgMyk7IC8vIHUgLT4gdiAtPiBbdSAtPiB2IC0+IHVdCiAgICAgICAgfQoKICAgICAgICBSRVAoaiwgMikgewogICAgICAgICAgICBtaW5pbWl6ZShmW3VdW2pdWzFdLCBmW3VdW2pdWzBdKTsKICAgICAgICAgICAgbWluaW1pemUoZlt1XVtqXVsyXSwgZlt1XVtqXVsxXSk7CiAgICAgICAgfQogICAgfQp9Cgp2b2lkIGluaXQodm9pZCkgewogICAgY2luID4+IG47CiAgICBGT1IoaSwgMSwgbikgewogICAgICAgIGNoYXIgeDsgY2luID4+IHg7CiAgICAgICAgY1tpXSA9ICh4ID09ICcxJyk7CiAgICB9CiAgICBGT1IoaSwgMiwgbikgewogICAgICAgIGludCB1LCB2OwogICAgICAgIGNpbiA+PiB1ID4+IHY7CiAgICAgICAgR1t1XS5wYih2KTsKICAgICAgICBHW3ZdLnBiKHUpOwogICAgfQp9Cgp2b2lkIHByb2Nlc3Modm9pZCkgewogICAgbWVtc2V0KGYsIDB4M2YsIHNpemVvZiBmKTsKICAgIEZPUihpLCAxLCBuKSBpZiAoY1tpXSA9PSAwKSB7CiAgICAgICAgZGZzKGksIC0xKTsKICAgICAgICBjb3V0IDw8IGZbaV1bMV1bMl0gPDwgJ1xuJzsKICAgICAgICBicmVhazsKICAgIH0KfQoKaW50IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOwogICAgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CiAgICBpZiAoZm9wZW4odGFzayIuaW5wIiwgInIiKSkgewogICAgICAgIGZyZW9wZW4odGFzayIuaW5wIiwgInIiLCBzdGRpbik7CiAgICAgICAgZnJlb3Blbih0YXNrIi5vdXQiLCAidyIsIHN0ZG91dCk7CiAgICB9CiAgICBpbnQgdGMgPSAxOwovLyAgICBjaW4gPj4gdGM7CiAgICB3aGlsZSh0Yy0tKSB7CiAgICAgICAgaW5pdCgpOwogICAgICAgIHByb2Nlc3MoKTsKICAgIH0KICAgIHJldHVybiAwOwp9Cg==