結果

問題 No.2115 Making Forest Easy
ユーザー 👑 rin204rin204
提出日時 2023-07-04 23:48:47
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 3,642 bytes
コンパイル時間 4,343 ms
コンパイル使用メモリ 308,160 KB
最終ジャッジ日時 2025-01-26 14:11:35
合計ジャッジ時間 5,511 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
In file included from /usr/include/c++/13/string:43,
                 from /usr/include/c++/13/bitset:52,
                 from /usr/include/x86_64-linux-gnu/c++/13/bits/stdc++.h:52,
                 from main.cpp:4:
/usr/include/c++/13/bits/allocator.h: In destructor ‘constexpr std::_Vector_base<int, std::allocator<int> >::_Vector_impl::~_Vector_impl()’:
/usr/include/c++/13/bits/allocator.h:184:7: error: inlining failed in call to ‘always_inline’ ‘constexpr std::allocator< <template-parameter-1-1> >::~allocator() noexcept [with _Tp = int]’: target specific option mismatch
  184 |       ~allocator() _GLIBCXX_NOTHROW { }
      |       ^
In file included from /usr/include/c++/13/vector:66,
                 from /usr/include/c++/13/functional:64,
                 from /usr/include/x86_64-linux-gnu/c++/13/bits/stdc++.h:53:
/usr/include/c++/13/bits/stl_vector.h:133:14: note: called from here
  133 |       struct _Vector_impl
      |              ^~~~~~~~~~~~

ソースコード

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;

const int N = 5050;
int dist[N];
int siz[N];
mint dp[N];

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());
    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(int jj = n - 1; jj >= 0; jj--){
        a = A[jj].first;
        int i = A[jj].second;
        for(int i = 0; i < n; i++){
            dist[i] = -1;
            siz[i] = 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;
                siz[pos]++;
                for(auto npos: edges[pos]) siz[pos] += siz[npos];
            }
        }
        for(int i = 0; i < n; i++) dp[i] = 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[siz[npos] - 1];
                }
                else{
                    self(self, npos, pos);
                    dp[pos] *= dp[npos] + pow2[siz[npos] - 1];
                }
            }
        };

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

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

            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];
                siz[pos] = n - siz[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