This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define ld long double
#define gcd(a, b) __gcd(a, b)
#define lcm(a,b) a*b/gcd(a,b)
#define pb push_back
#define ii pair<int,int>
#define vi vector<int>
#define vii vector<pair<int,int>>
#define fst first
#define snd second
#define sz(x) (int)x.size()
#define fast ios_base::sync_with_stdio(false); cin.tie(0); cout.tie(0);
#define fore(a, b, c) for(int a=b; a<c; ++a)
#define all(x) x.begin(), x.end()
#define endl '\n';
void __print(int x) {cerr << x;}
void __print(long x) {cerr << x;}
void __print(long long x) {cerr << x;}
void __print(unsigned x) {cerr << x;}
void __print(unsigned long x) {cerr << x;}
void __print(unsigned long long x) {cerr << x;}
void __print(float x) {cerr << x;}
void __print(double x) {cerr << x;}
void __print(long double x) {cerr << x;}
void __print(char x) {cerr << '\'' << x << '\'';}
void __print(const char *x) {cerr << '\"' << x << '\"';}
void __print(const string &x) {cerr << '\"' << x << '\"';}
void __print(bool x) {cerr << (x ? "true" : "false");}
template<typename T, typename V>
void __print(const pair<T, V> &x) {cerr << '{'; __print(x.first); cerr << ','; __print(x.second); cerr << '}';}
template<typename T>
void __print(const T &x) {int f = 0; cerr << '{'; for (auto &i: x) cerr << (f++ ? "," : ""), __print(i); cerr << "}";}
void _print() {cerr << "]\n";}
template <typename T, typename... V>
void _print(T t, V... v) {__print(t); if (sizeof...(v)) cerr << ", "; _print(v...);}
#define dbg(x...) cerr << "[" << #x << "] = ["; _print(x)
#define raya cerr << "==========================" << endl;
#define int ll
const double EPS = 1e-7;
const double PI = acos(-1);
const int MOD = 1e9+7;  
int TC = 1;
const int N = 2e5+5;
vi adj[N];
int pa[N], n;
vi gen;
bool on[N];
bool isGen[N];
string s;
void dfs(int i, int pre=-1){
    pa[i] = pre;
    for(auto u : adj[i]){
        if(u == pre) continue;
        dfs(u, i);
    }
}
bool dfsCount(int i, int pre=-1){
    if(on[i]) return 1;
    for(auto u : adj[i]){
        if(u == pre) continue;
        if(dfsCount(u, i)) return 1;
    }
    return 0;
}
void solve(){
    cin >> n;
    fore(i, 1, n){
        int u, v;
        cin >> u >> v;
        adj[u].pb(v);
        adj[v].pb(u);
    }
    cin >> s;
    fore(i, 0, n){
        if(s[i] == '1'){
            gen.pb(i+1);
            isGen[i+1] = 1;
        }
    }
    dfs(1);
    int ans = 0;
    for(int mask=0; mask<(1<<sz(gen)); ++mask){
        fore(i, 1, n+1){
            on[i] = 0;
        }
        fore(i, 0, sz(gen)){
            if((mask >> i) & 1){
                on[gen[i]] = 1;
            }
        }
        int cur = __builtin_popcountll(mask);
        // check
        fore(i, 1, n+1){
            if(!isGen[i]) continue;
            int tmp = 0;
            for(auto u : adj[i]){
                tmp += dfsCount(u, i);
            }
            if(tmp > 1){
                cur--;
                cur -= on[i];
            }
        }
        ans = max(ans, cur);
    }
    cout << ans;
}
signed main(){
    fast;
    // cin >> TC;
    while(TC--){
        solve();
    }
}
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... |