結果

問題 No.2342 Triple Tree Query (Hard)
ユーザー SSRSSSRS
提出日時 2023-04-08 03:22:15
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 6,339 bytes
コンパイル時間 2,512 ms
コンパイル使用メモリ 194,532 KB
実行使用メモリ 103,552 KB
最終ジャッジ日時 2024-06-08 20:24:23
合計ジャッジ時間 34,294 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 RE -
testcase_03 RE -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 RE -
testcase_15 RE -
testcase_16 RE -
testcase_17 RE -
testcase_18 RE -
testcase_19 RE -
testcase_20 RE -
testcase_21 RE -
testcase_22 RE -
testcase_23 RE -
testcase_24 RE -
testcase_25 RE -
testcase_26 RE -
testcase_27 RE -
testcase_28 RE -
testcase_29 RE -
testcase_30 RE -
testcase_31 RE -
testcase_32 RE -
testcase_33 RE -
testcase_34 RE -
testcase_35 RE -
testcase_36 RE -
testcase_37 RE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
const int KMAX = 10;
const int INF = 1000000;
const long long MOD = 998244353;
struct affine{
  long long a, b;
  affine(){
    a = 1;
    b = 0;
  }
  affine(int a, int b): a(a), b(b){
  }
};
affine composite(affine A, affine B){
  return affine(A.a * B.a % MOD, (A.b * B.a + B.b) % MOD);
}
int value(affine A, int x){
  return (A.a * x + A.b) % MOD;
}
template <typename T>
struct dual_segment_tree{
  int N;
  vector<T> ST;
  function<T(T, T)> f;
  T E;
  dual_segment_tree(int n, function<T(T, T)> f, T E): f(f), E(E){
    N = 1;
    while (N < n){
      N *= 2;
    }
    ST = vector<T>(N * 2 - 1, E);
  }
  void push(int i){
    if (i < N - 1){
      ST[i * 2 + 1] = f(ST[i * 2 + 1], ST[i]);
      ST[i * 2 + 2] = f(ST[i * 2 + 2], ST[i]);
      ST[i] = E;
    }
  }
  T operator [](int k){
    int v = 0;
    for (int i = N / 2; i >= 1; i >>= 1){
      push(v);
      if ((k & i) == 0){
        v = v * 2 + 1;
      } else {
        v = v * 2 + 2;
      }
    }
    return ST[v];
  }
  void range_apply(int L, int R, T x, int i, int l, int r){
    if (r <= L || R <= l){
    } else if (L <= l && r <= R){
      ST[i] = f(ST[i], x);
    } else {
      push(i);
      int m = (l + r) / 2;
      range_apply(L, R, x, i * 2 + 1, l, m);
      range_apply(L, R, x, i * 2 + 2, m, r);
    }
  }
  void range_apply(int L, int R, T x){
    range_apply(L, R, x, 0, 0, N);
  }
};
int main(){
  ios_base::sync_with_stdio(false);
  cin.tie(nullptr);
  int N, Q;
  cin >> N >> Q;
  vector<vector<int>> E(N);
  for (int i = 0; i < N - 1; i++){
    int A, B;
    cin >> A >> B;
    A--;
    B--;
    E[A].push_back(B);
    E[B].push_back(A);
  }
  vector<int> X(N);
  for (int i = 0; i < N; i++){
    cin >> X[i];
  }
  int N2 = N + KMAX;
  E.resize(N2);
  E[0].push_back(N);
  E[N].push_back(0);
  for (int i = 0; i < KMAX - 1; i++){
    E[N + i].push_back(N + i + 1);
    E[N + i + 1].push_back(N + i);
  }
  vector<int> p(N2, -1);
  vector<vector<int>> c(N2);
  vector<int> d(N2, 0);
  vector<int> b;
  queue<int> q;
  q.push(N2 - 1);
  while (!q.empty()){
    int v = q.front();
    q.pop();
    b.push_back(v);
    for (int w : E[v]){
      if (w != p[v]){
        p[w] = v;
        c[v].push_back(w);
        d[w] = d[v] + 1;
        q.push(w);
      }
    }
  }
  reverse(b.begin(), b.end());
  vector<int> pk(N2);
  for (int i = 0; i < N; i++){
    if (d[i] >= KMAX){
      pk[i] = i;
      for (int j = 0; j < KMAX; j++){
        pk[i] = p[pk[i]];
      }
    }
  }
  vector<vector<vector<int>>> ck(KMAX + 1, vector<vector<int>>(N2));
  for (int i = 0; i < N2; i++){
    ck[0][i].push_back(i);
  }
  for (int i = 0; i < KMAX; i++){
    for (int j = 0; j < N2; j++){
      for (int k : c[j]){
        for (int l : ck[i][k]){
          ck[i + 1][j].push_back(l);
        }
      }
    }
  }
  vector<int> sz(N2, 1);
  for (int v : b){
    for (int &w : c[v]){
      sz[v] += sz[w];
      if (sz[w] > sz[c[v][0]]){
        swap(w, c[v][0]);
      }
    }
  }
  reverse(b.begin(), b.end());
  vector<int> id(N2, 0);
  for (int v : b){
    for (int w : c[v]){
      if (w == c[v][0]){
        id[w] = id[v] + 1;
      } else {
        id[w] = 0;
      }
    }
  }
  vector<vector<int>> hc(KMAX + 1, vector<int>(N2, -1));
  for (int i = 0; i < N2; i++){
    hc[0][i] = i;
    for (int j = 0; j < KMAX; j++){
      if (hc[j][i] != -1){
        if (!c[hc[j][i]].empty()){
          hc[j + 1][i] = c[hc[j][i]][0];
        }
      }
    }
  }
  vector<int> in(N);
  int t = 0;
  vector<int> in2(N), out2(N);
  vector<int> hld(N);
  int t2 = 0;
  auto dfs1 = [&](auto dfs1, int v) -> void {
    if (v < N){
      in2[v] = t;
      hld[v] = t2;
      t2++;
    }
    if (id[v] >= KMAX && v < N){
      in[v] = t;
      t++;
    }
    for (int w : c[v]){
      dfs1(dfs1, w);
    }
    if (v < N){
      out2[v] = t;
    }
  };
  dfs1(dfs1, N2 - 1);
  vector<int> in3(N), out3(N);
  auto dfs2 = [&](auto dfs2, int v) -> void {
    for (int w : ck[KMAX][v]){
      if (id[w] < KMAX){
        in[w] = t;
        t++;
      }
    }
    if (v < N){
      in3[v] = t;
    }
    for (int w : c[v]){
      dfs2(dfs2, w);
    }
    if (v < N){
      out3[v] = t;
    }
  };
  dfs2(dfs2, N2 - 1);
  vector<int> next(N, 0);
  for (int v : b){
    if (v < N){
      for (int w : c[v]){
        if (in[w] == in[v] + 1){
          next[w] = next[v];
        } else {
          next[w] = w;
        }
      }
    }
  }
  vector<vector<int>> mn(KMAX + 1, vector<int>(N2, INF));
  vector<vector<int>> mx(KMAX + 1, vector<int>(N2, -1));
  for (int i = 0; i < N; i++){
    int v = i;
    for (int j = 0; j <= KMAX; j++){
      if (id[i] < KMAX){
        mn[j][v] = min(mn[j][v], in[i]);
        mx[j][v] = max(mx[j][v], in[i]);
      }
      if (v == N2 - 1){
        break;
      }
      v = p[v];
    }
  }
  dual_segment_tree<affine> ST(N, composite, affine());
  for (int i = 0; i < Q; i++){
    int T;
    cin >> T;
    if (T == 1){
      int U, V;
      long long B, C;
      cin >> U >> V >> B >> C;
      U--;
      V--;
      while (true){
        if (hld[U] > hld[V]){
          swap(U, V);
        }
        if (next[U] == next[V]){
          ST.range_apply(in[U], in[V] + 1, affine(B, C));
          break;
        }
        ST.range_apply(in[next[V]], in[V] + 1, affine(B, C));
        V = p[next[V]];
      }
    }
    if (T == 2){
      int V;
      long long B, C;
      cin >> V >> B >> C;
      V--;
      ST.range_apply(in2[V], out2[V], affine(B, C));
      for (int j = 0; j <= KMAX; j++){
        if (mn[j][V] != INF){
          ST.range_apply(mn[j][V], mx[j][V] + 1, affine(B, C));
        }
      }
      ST.range_apply(in3[V], out3[V], affine(B, C));
    }
    if (T == 3){
      int V, K;
      long long B, C;
      cin >> V >> K >> B >> C;
      V--;
      for (int j = 0; j <= K; j++){
        for (int k = K - j; k >= max(K - j - 1, 0); k--){
          if (mn[k][V] != INF){
            ST.range_apply(mn[k][V], mx[k][V] + 1, affine(B, C));
          }
          if (hc[k][V] != -1 && hc[k][V] < N){
            if (id[hc[k][V]] >= KMAX){
              ST.range_apply(in[hc[k][V]], in[hc[k][V]] + 1, affine(B, C));
            }
          }
        }
        V = p[V];
      }
    }
    if (T == 4){
      int V;
      cin >> V;
      V--;
      cout << value(ST[in[V]], X[V]) << '\n';
    }
  }
}
0