結果

問題 No.235 めぐるはめぐる (5)
ユーザー imulanimulan
提出日時 2018-03-16 03:08:57
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2,081 ms / 10,000 ms
コード長 5,791 bytes
コンパイル時間 2,217 ms
コンパイル使用メモリ 183,932 KB
実行使用メモリ 36,236 KB
最終ジャッジ日時 2023-08-23 11:33:59
合計ジャッジ時間 11,047 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2,081 ms
35,732 KB
testcase_01 AC 1,324 ms
36,236 KB
testcase_02 AC 1,899 ms
35,568 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i,n) for(int (i)=0;(i)<(int)(n);++(i))
#define all(x) (x).begin(),(x).end()
#define pb push_back
#define fi first
#define se second
#define dbg(x) cout<<#x" = "<<((x))<<endl
template<class T,class U> ostream& operator<<(ostream& o, const pair<T,U> &p){o<<"("<<p.fi<<","<<p.se<<")";return o;}
template<class T> ostream& operator<<(ostream& o, const vector<T> &v){o<<"[";for(T t:v){o<<t<<",";}o<<"]";return o;}

struct HL_decomposition{
    int n;
    vector<vector<int>> G;
    vector<int> vid, inv, depth, par, heavy, head, sub;
    /*
    vid : HL分解後のグラフでの頂点ID
    inv : HL分解前のグラフでのvid[i]の頂点ID
    depth : rootからの距離
    par : 根付き木上での親
    heavy : heavy-path上における頂点iの次の頂点ID
    head : 頂点iが属するheavy-pathの先頭の頂点ID
    sub : 部分木のサイズ
    */

    HL_decomposition(){}
    HL_decomposition(int sz) : n(sz), G(n), vid(n), inv(n), depth(n), par(n), heavy(n,-1), head(n), sub(n) {}

    void add_edge(int u, int v){
        G[u].push_back(v);
        G[v].push_back(u);
    }

    void build(int root = 0){
        dfs(root, -1);
        dfs2(root);
    }

    void dfs(int cur, int pre){
        par[cur] = pre;
        sub[cur] = 1;
        int max_sub = 0;
        for(int nx:G[cur])if(nx != pre){
            depth[nx] = depth[cur] + 1;
            dfs(nx, cur);

            sub[cur] += sub[nx];
            if(max_sub < sub[nx]){
                max_sub = sub[nx];
                heavy[cur] = nx;
            }
        }
    }

    void dfs2(int root){
        int k = 0;
        stack<int> que({root});
        while(!que.empty()){
            int cur = que.top();
            que.pop();
            // curを先頭とするheavy-pathを処理
            for(int i=cur; i!=-1; i=heavy[i]){
                vid[i] = k++;
                inv[vid[i]] = i;
                head[i] = cur;
                // heavy-pathの先頭になるなら、queにpushする
                for(int nx:G[i])if(nx != par[i] && nx != heavy[i]){
                    que.push(nx);
                }
            }
        }
    }

    int lca(int u, int v){
        while(1){
            if(vid[u] > vid[v]) swap(u,v);
            if(head[u] == head[v]) return u;
            v = par[head[v]];
        }
    }
};

const ll mod = 1e9+7;

const int N = 200002;
ll sc[N]={};

// 区間add, 区間sum
struct LazySegTree{
    int n; vector<ll> dat,lazy;
    //初期化
    LazySegTree(){}
    LazySegTree(int _n, const vector<ll> &s){
        n=1;
        while(n<_n) n*=2;
        dat=vector<ll>(2*n-1,0);
        lazy=vector<ll>(2*n-1,0);

        rep(i,_n) dat[i+n-1] = s[i];
        for(int i=n-2; i>=0; --i) dat[i] = (dat[2*i+1]+dat[2*i+2])%mod;
    }

    void setLazy(int k, ll v, ll cc){
        (lazy[k] += v) %= mod;
        (dat[k] += v*cc) %= mod;
    }

    void push(int k, int l, int r){
        if(lazy[k]!=0){
            int m = (l+r)/2;
            setLazy(2*k+1, lazy[k], (sc[m]-sc[l]+mod)%mod);
            setLazy(2*k+2, lazy[k], (sc[r]-sc[m]+mod)%mod);
        }
        lazy[k]=0;
    }

    void fix(int k, int l, int r){
        dat[k]=(dat[2*k+1]+dat[2*k+2])%mod;
    }

    ll merge(ll x, ll y){
        return (x+y)%mod;
    }

    //内部的に投げられるクエリ
    void _add(int a, int b, ll x, int k, int l, int r){
        if(r<=a || b<=l) return;
        if(a<=l && r<=b){
            setLazy(k, x, (sc[r]-sc[l]+mod)%mod);
            return;
        }

        push(k,l,r);
        _add(a,b,x,2*k+1,l,(l+r)/2);
        _add(a,b,x,2*k+2,(l+r)/2,r);

        fix(k,l,r);
    }
    //[a,b)に+x
    void add(int a, int b, ll x){
        return _add(a,b,x,0,0,n);
    }

    //内部的に投げられるクエリ
    ll _query(int a, int b, int k, int l, int r){
        if(r<=a || b<=l) return 0;
        if(a<=l && r<=b) return dat[k];

        push(k,l,r);
        ll vl=_query(a,b,2*k+1,l,(l+r)/2);
        ll vr=_query(a,b,2*k+2,(l+r)/2,r);
        return merge(vl,vr);
    }
    //[a,b)のsum
    ll query(int a, int b){
        return _query(a,b,0,0,n);
    }
};

HL_decomposition hl;
LazySegTree st;

ll f(int u, int v, int add){
    ll ret = 0;
    while(1){
        if(hl.vid[u] > hl.vid[v]) swap(u,v);
        if(hl.head[u] == hl.head[v]){
            (ret += st.query(hl.vid[u], hl.vid[v]+1)) %= mod;
            st.add(hl.vid[u], hl.vid[v]+1, add);
            break;
        }
        else{
            (ret += st.query(hl.vid[hl.head[v]], hl.vid[v]+1)) %= mod;
            st.add(hl.vid[hl.head[v]], hl.vid[v]+1, add);
            v = hl.par[hl.head[v]];
        }
    }
    return ret;
}


ll QUERY(int x, int y, int add){
    int z = hl.lca(x,y);
    ll ret = 0;
    (ret += f(z,x,add)) %= mod;
    (ret += f(z,y,add)) %= mod;
    ret = (ret - f(z,z,(mod-add)%mod) + mod)%mod;
    return ret;
}

int main(){
    int n;
    scanf(" %d", &n);

    hl = HL_decomposition(n);

    vector<ll> s(n),c(n);
    rep(i,n) scanf(" %lld", &s[i]);
    rep(i,n) scanf(" %lld", &c[i]);

    rep(i,n-1){
        int a,b;
        scanf(" %d %d", &a, &b);
        --a; --b;
        hl.add_edge(a,b);
    }
    hl.build();

    vector<ll> vs(n),vc(n);
    rep(i,n){
        vs[hl.vid[i]] = s[i];
        vc[hl.vid[i]] = c[i];
    }
    st = LazySegTree(n, vs);

    rep(i,n) sc[i+1] = (sc[i]+vc[i])%mod;

    // rep(i,n) printf(" %d -> vid %d\n", i, hl.vid[i]);
    int Q;
    scanf(" %d", &Q);
    while(Q--){
        int q,x,y,z=0;
        scanf(" %d %d %d", &q, &x, &y);
        --x; --y;
        if(q==0){
            scanf(" %d", &z);
            QUERY(x,y,z);
        }
        else{
            printf("%lld\n", QUERY(x,y,z));
        }
    }

    return 0;
}
0