結果

問題 No.2115 Making Forest Easy
ユーザー 👑 rin204rin204
提出日時 2022-10-28 23:35:54
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 3,531 bytes
コンパイル時間 5,405 ms
コンパイル使用メモリ 296,664 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-06 02:53:38
合計ジャッジ時間 34,478 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 372 ms
5,376 KB
testcase_03 TLE -
testcase_04 AC 562 ms
5,376 KB
testcase_05 AC 466 ms
5,376 KB
testcase_06 AC 369 ms
5,376 KB
testcase_07 AC 1,067 ms
5,376 KB
testcase_08 AC 373 ms
5,376 KB
testcase_09 AC 624 ms
5,376 KB
testcase_10 AC 375 ms
5,376 KB
testcase_11 AC 1,492 ms
5,376 KB
testcase_12 AC 646 ms
5,376 KB
testcase_13 AC 906 ms
5,376 KB
testcase_14 AC 562 ms
5,376 KB
testcase_15 AC 1,140 ms
5,376 KB
testcase_16 AC 1,046 ms
5,376 KB
testcase_17 AC 11 ms
5,376 KB
testcase_18 AC 15 ms
5,376 KB
testcase_19 AC 123 ms
5,376 KB
testcase_20 AC 704 ms
5,376 KB
testcase_21 AC 5 ms
5,376 KB
testcase_22 AC 102 ms
5,376 KB
testcase_23 AC 262 ms
5,376 KB
testcase_24 AC 1,328 ms
5,376 KB
testcase_25 AC 117 ms
5,376 KB
testcase_26 AC 596 ms
5,376 KB
testcase_27 AC 506 ms
5,376 KB
testcase_28 AC 1,086 ms
5,376 KB
testcase_29 AC 8 ms
5,376 KB
testcase_30 AC 1,108 ms
5,376 KB
testcase_31 AC 582 ms
5,376 KB
testcase_32 AC 382 ms
5,376 KB
testcase_33 AC 377 ms
5,376 KB
testcase_34 AC 25 ms
5,376 KB
testcase_35 AC 23 ms
5,376 KB
testcase_36 AC 382 ms
5,376 KB
testcase_37 AC 287 ms
5,376 KB
testcase_38 AC 81 ms
5,376 KB
testcase_39 AC 66 ms
5,376 KB
testcase_40 AC 1,046 ms
5,376 KB
testcase_41 AC 653 ms
5,376 KB
testcase_42 AC 1,665 ms
5,376 KB
testcase_43 AC 202 ms
5,376 KB
testcase_44 AC 64 ms
5,376 KB
testcase_45 AC 593 ms
5,376 KB
testcase_46 AC 661 ms
5,376 KB
testcase_47 AC 166 ms
5,376 KB
testcase_48 AC 593 ms
5,376 KB
testcase_49 AC 552 ms
5,376 KB
testcase_50 AC 577 ms
5,376 KB
testcase_51 AC 165 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include<bits/stdc++.h>
#include<atcoder/modint>
using namespace std;
using namespace atcoder;
using mint = modint998244353;

void solve(){
    int n;
    cin >> n;
    vector<pair<long long, int>> A(n);
    long long a;
    for(int i = 0; i < n; i++){
        cin >> a;
        A[i] = {a, i};
    }
    vector<vector<int>> edges(n, vector<int>());
    int u, v;
    for(int i = 0; i < n - 1; i++){
        cin >> u >> v;
        u--; v--;
        edges[u].push_back(v);
        edges[v].push_back(u);
    }
    sort(A.begin(), A.end(), greater<pair<long long, int>>());
    vector<bool> used(n, false);
    vector<mint> pow2(n + 1, 1);
    for(int i = 1; i <= n; i++) pow2[i] = pow2[i - 1] * 2;
    
    mint ans = 0;
    for(auto tmp:A){
        a = tmp.first;
        int i = tmp.second;
        vector<int> dist(n, -1);
        vector<int> size(n, 0);
        dist[i] = 0;
        stack<int> st;
        st.push(~i);
        st.push(i);

        while(!st.empty()){
            int pos = st.top();
            st.pop();
            if(pos >= 0){
                for(auto npos: edges[pos]){
                    if(dist[npos] == -1){
                        dist[npos] = dist[pos] + 1;
                        st.push(~npos);
                        st.push(npos);
                    }
                }
            }
            else{
                pos = ~pos;
                size[pos]++;
                for(auto npos: edges[pos]) size[pos] += size[npos];
            }
        }
        vector<mint> dp(n, 0);

        auto dfs=[&](auto self, int pos, int bpos) -> void {
            dp[pos] = 1;
            for(auto npos: edges[pos]){
                if(npos == bpos) continue;
                if(used[npos]){
                    dp[pos] *= pow2[size[npos] - 1];
                }
                else{
                    self(self, npos, pos);
                    dp[pos] *= dp[npos] + pow2[size[npos] - 1];
                }
            }
        };

        dfs(dfs, i, -1);
        
        mint tot = 0;
        
        auto dfs2=[&](auto self, int pos, int bpos) -> void {
            vector<mint> L(1, 1);
            for(auto npos: edges[pos]){
                if(used[npos]) L.push_back(L.back() * pow2[size[npos] - 1]);
                else if(npos == bpos) L.push_back(L.back() * dp[npos]);
                else L.push_back(L.back() * (pow2[size[npos] - 1] + dp[npos]));
            }
            tot += L.back();

            vector<mint> R(1, 1);
            
            for(int ii = edges[pos].size() - 1; ii >= 0; ii--){
                int npos = edges[pos][ii];
                if(used[npos]) R.push_back(R.back() * pow2[size[npos] - 1]);
                else if(npos == bpos) R.push_back(R.back() * dp[npos]);
                else R.push_back(R.back() * (pow2[size[npos] - 1] + dp[npos]));
            }
            
            reverse(R.begin(), R.end());

            for(int ii = 0; ii < edges[pos].size(); ii++){
                int npos = edges[pos][ii];
                if((npos == bpos) || used[npos]) continue;
                dp[pos] = L[ii] * R[ii + 1];
                size[pos] = n - size[npos];
                self(self, npos, pos);
            }
        };

        dfs2(dfs2, i, -1);
        ans += tot * a;
        used[i] = true;
    }

    cout << ans.val() << "\n";
}

int main(){
    cin.tie(0)->sync_with_stdio(0);
    int t;
    t = 1;
    // cin >> t;
    while(t--) solve();
}
0