結果

問題 No.1124 Earthquake Safety
ユーザー 👑 potato167
提出日時 2023-04-12 16:30:55
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 591 ms / 3,000 ms
コード長 2,730 bytes
コンパイル時間 2,115 ms
コンパイル使用メモリ 210,340 KB
最終ジャッジ日時 2025-02-12 05:15:49
ジャッジサーバーID
（参考情報） 		judge2 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 58
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=a;i<b;i++)
using ll = long long;
#define all(p) p.begin(),p.end()
const int mod=1e9+7;
template <typename T>
struct ReRooting {
    using F = function<T(T, int)>;
    using F2 = function<T(T, T)>;
    int V;
    vector<vector<int>> G;
    vector<vector<T>> dp;
    // dp_v = g(merge(f(dp_c1,c1), f(dp_c2,c2),..., f(dp_ck,ck)), v)
    F f, g;
    F2 merge;
    T mi;  // identity of merge
    ReRooting(int V, F f, F2 merge, T mi, F g)
        : V(V), f(f), merge(merge), mi(mi), g(g) {
        G.resize(V);
        dp.resize(V);
    }
    void add_edge(int a, int b) {
        G[a].emplace_back(b);
        G[b].emplace_back(a);
    }
    T dfs1(int p, int v) {
        T res = mi;
        for (int i = 0; i < G[v].size(); ++i) {
            if (G[v][i] == p) continue;
            dp[v][i] = dfs1(v, G[v][i]);
            res = merge(res, f(dp[v][i], G[v][i]));
        }
        return g(res, v);
    }
    void dfs2(int p, int v, T from_par) {
        for (int i = 0; i < G[v].size(); ++i) {
            if (G[v][i] == p) {
                dp[v][i] = from_par;
                break;
            }
        }
        vector<T> pR(G[v].size() + 1);
        pR[G[v].size()] = mi;
        for (int i = G[v].size(); i > 0; --i)
            pR[i - 1] = merge(pR[i], f(dp[v][i - 1], G[v][i - 1]));
        T pL = mi;
        for (int i = 0; i < G[v].size(); ++i) {
            if (G[v][i] != p) {
                T val = merge(pL, pR[i + 1]);
                dfs2(v, G[v][i], g(val, v));
            }
            pL = merge(pL, f(dp[v][i], G[v][i]));
        }
    }
    void calc(int root = 0) {
        for (int i = 0; i < V; ++i) dp[i].resize(G[i].size());
        dfs1(-1, root);
        dfs2(-1, root, mi);
    }
    T solve(int v) {
        T ans = mi;
        for (int i = 0; i < G[v].size(); ++i)
            ans = merge(ans, f(dp[v][i], G[v][i]));
        return g(ans, v);
    }
};
int main(){
    int N;
    cin>>N;
    using F=pair<ll,ll>;
    auto merge=[&](F l,F r)->F{
        return {(l.first+r.first)%mod,(l.second+r.second+2ll*l.first*r.first)%mod};
    };
    ll rev=(mod+1)/2;
    auto g=[&](F l,int v)->F{
        l.second=(l.first*2ll+l.second)%mod;
        l.first++;
        return l;
    };
    auto f=[&](F l,int v)->F{
        l.second++;
        l.first=(l.first*rev)%mod;
        l.second=(l.second*rev)%mod;
        return l;
    };
    ReRooting<F> R(N,f,merge,{0,0},g);
    rep(i,0,N-1){
        int a,b;
        cin>>a>>b;
        a--,b--;
        R.add_edge(a,b);
    }
    R.calc();
    ll ans=0;
    ll base=1;
    rep(i,0,N-1) base=(base*2ll)%mod;
    rep(i,0,N){
        auto v=R.solve(i);
        //cout<<(((v.first*base)%mod)*2ll)%mod<<" "<<(((v.second*base)%mod)*2ll)%mod<<"\n";
        ans+=base;
        ans+=(base*v.second)%mod;
        ans%=mod;
    }
    cout<<ans<<"\n";
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0