This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
/*
dp[i][0/1][0/1] = maximum answer for subtree of i with fixed (outside of subtree) & (subtree) existence of an activated generator
*/
#include <bits/stdc++.h>
using namespace std;
#define ar array
const int N = 2e5;
int n;
vector<int> adj[N];
string s;
int dp[N][2][2];
ar<int, 2> one(const ar<int, 2> one, const ar<int, 2> two) {
    return {one[0] + two[0], max(one[1] + two[1], max(one[0] + two[1], one[1] + two[0]))};
}
ar<int, 2> two(const ar<int, 2> one, const ar<int, 2> two) {
    return {one[0] + two[0], max(one[1] + two[0], one[0] + two[1])};
}
ar<int, 3> three(const ar<int, 3> one, const ar<int, 2> two) {
    ar<int, 3> me{-n, -n, -n};
    for (int a = 0; a < 3; a++) for (int b = 0; b < 2; b++) me[min(2, a + b)] = max(me[min(2, a + b)], one[a] + two[b]);
    return me;
}
void dfs(int p, int i) {
    for (int j : adj[i]) if (p != j) dfs(i, j);
    ar<int, 3> f{0, -n, -n};
    ar<int, 2> f2{0, -n};
    int z = 0;
    for (int j : adj[i]) if (p != j) {
        z += dp[j][0][0];
        f = three(f, ar<int, 2>{dp[j][1][0], dp[j][1][1]});
        f2 = two(f2, ar<int, 2>{dp[j][1][0], dp[j][0][1]});
    }
    dp[i][1][0] = f[0];
    dp[i][1][1] = max(f[1] - (s[i] == '1'), f[2] - (s[i] == '1'));
    dp[i][0][0] = z;
    dp[i][0][1] = max(f2[1], f[2] - (s[i] == '1'));
    if (s[i] == '1') {
        dp[i][0][1] = max(dp[i][0][1], max({f[0] + 1, f[1] + 1, f[2] - 1}));
        dp[i][1][1] = max(dp[i][1][1], max({f[0] + 1, f[1] - 1, f[2] - 1}));
    }
}
int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cin >> n;
    for (int h = 0; h < n - 1; h++) {
        int i, j;
        cin >> i >> j, i--, j--;
        adj[i].push_back(j);
        adj[j].push_back(i);
    }
    cin >> s;
    dfs(-1, 0);
    cout << max(dp[0][0][0], dp[0][0][1]) << '\n';
}
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... |