結果

問題 No.1891 Static Xor Range Composite Query
ユーザー SSRSSSRS
提出日時 2022-03-30 16:48:10
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 948 ms / 5,000 ms
コード長 2,450 bytes
コンパイル時間 2,315 ms
コンパイル使用メモリ 209,380 KB
実行使用メモリ 109,668 KB
最終ジャッジ日時 2024-04-27 06:42:36
合計ジャッジ時間 14,733 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 3 ms
6,944 KB
testcase_02 AC 3 ms
6,944 KB
testcase_03 AC 3 ms
6,940 KB
testcase_04 AC 3 ms
6,940 KB
testcase_05 AC 3 ms
6,940 KB
testcase_06 AC 3 ms
6,944 KB
testcase_07 AC 3 ms
6,940 KB
testcase_08 AC 3 ms
6,944 KB
testcase_09 AC 3 ms
6,944 KB
testcase_10 AC 3 ms
6,940 KB
testcase_11 AC 7 ms
6,948 KB
testcase_12 AC 6 ms
6,940 KB
testcase_13 AC 7 ms
6,940 KB
testcase_14 AC 7 ms
6,940 KB
testcase_15 AC 7 ms
6,944 KB
testcase_16 AC 6 ms
6,940 KB
testcase_17 AC 5 ms
6,944 KB
testcase_18 AC 5 ms
6,940 KB
testcase_19 AC 6 ms
6,940 KB
testcase_20 AC 5 ms
6,940 KB
testcase_21 AC 941 ms
109,024 KB
testcase_22 AC 902 ms
108,004 KB
testcase_23 AC 920 ms
109,020 KB
testcase_24 AC 905 ms
109,404 KB
testcase_25 AC 901 ms
108,512 KB
testcase_26 AC 948 ms
109,280 KB
testcase_27 AC 936 ms
108,128 KB
testcase_28 AC 878 ms
108,768 KB
testcase_29 AC 910 ms
108,256 KB
testcase_30 AC 919 ms
109,668 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
const long long MOD = 998244353;
template <typename T>
struct segment_tree{
  int N;
  vector<vector<T>> ST;
  function<T(T, T)> f;
  T E;
  segment_tree(vector<T> &A, function<T(T, T)> f, T E): f(f), E(E){
    N = A.size();
    ST = vector<vector<T>>(N * 2 - 1);
    for (int i = 0; i < N; i++){
      ST[N - 1 + i].push_back(A[i]);
    }
    for (int i = N - 2; i >= 0; i--){
      int cnt = ST[i * 2 + 1].size();
      for (int j = 0; j < cnt; j++){
        ST[i].push_back(f(ST[i * 2 + 1][j], ST[i * 2 + 2][j]));
      }
      for (int j = 0; j < cnt; j++){
        ST[i].push_back(f(ST[i * 2 + 2][j], ST[i * 2 + 1][j]));
      }
    }
  }
  T range_fold(int L, int R, int x, int i, int l, int r){
    if (r <= L || R <= l){
      return E;
    } else if (L <= l && r <= R){
      assert(x < ST[i].size());
      return ST[i][x];
    } else {
      int p = (r - l) / 2;
      int m = (l + r) / 2;
      if ((x & p) == 0){
        T resL = range_fold(L, R, x, i * 2 + 1, l, m);
        T resR = range_fold(L, R, x, i * 2 + 2, m, r);
        return f(resL, resR);
      } else {
        T resL = E;
        if (R >= m){
          resL = range_fold(max(L, m) - p, R - p, x ^ p, i * 2 + 1, l, m);
        }
        T resR = E;
        if (L < m){
          resR = range_fold(L + p, min(R, m) + p, x ^ p, i * 2 + 2, m, r);
        }
        return f(resR, resL);
      }
    }
  }
  T range_fold(int L, int R, int x){
    return range_fold(L, R, x, 0, 0, N);
  }
};
struct linear{
  long long a, b;
  linear(){
    a = 1;
    b = 0;
  }
  linear(int a, int b): a(a), b(b){
  }
};
linear composite(linear A, linear B){
  return linear(A.a * B.a % MOD, (A.b * B.a + B.b) % MOD);
}
int value(linear A, int x){
  return (A.a * x + A.b) % MOD;
}
int main(){
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  int N, Q;
  cin >> N >> Q;
  assert(1 <= N && N <= (1 << 18));
  assert(__builtin_popcount(N) == 1);
  assert(1 <= Q && Q <= 200000);
  vector<linear> f(N);
  for (int i = 0; i < N; i++){
    int a, b;
    cin >> a >> b;
    assert(1 <= a && a < MOD);
    assert(0 <= b && b < MOD);
    f[i] = linear(a, b);
  }
  segment_tree<linear> F(f, composite, linear());
  for (int i = 0; i < Q; i++){
    int l, r, p, x;
    cin >> l >> r >> p >> x;
    assert(0 <= l && l < r && r <= N);
    assert(0 <= p && p < N);
    assert(0 <= x && x < MOD);
    cout << value(F.range_fold(l, r, p), x) << "\n";
  }
}
0