結果

問題 No.3792 XOR^2 Sum Query
コンテスト
ユーザー DeltaStruct
提出日時 2026-09-20 18:42:16
言語 C++23(gnu拡張)
(gcc 15.3.0 + boost 1.92.0 + ACL)
コンパイル:
g++-15 -O2 -fplugin=/usr/lib/yukicoder/noavx512-gcc15.so -lm -std=gnu++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 1,769 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,342 ms
コンパイル使用メモリ 347,028 KB
実行使用メモリ 122,544 KB
最終ジャッジ日時 2026-11-06 20:57:43
合計ジャッジ時間 25,115 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample WA * 1
other AC * 20 WA * 15
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function 'int main()':
main.cpp:31:43: warning: iteration 15 invokes undefined behavior [-Waggressive-loop-optimizations]
   31 |           for (int k(0);k < m;++k) res[k] |= segtree[ll][k];
main.cpp:31:27: note: within this loop
   31 |           for (int k(0);k < m;++k) res[k] |= segtree[ll][k];
      |                         ~~^~~
main.cpp:36:43: warning: iteration 15 invokes undefined behavior [-Waggressive-loop-optimizations]
   36 |           for (int k(0);k < m;++k) res[k] |= segtree[rr][k];
main.cpp:36:27: note: within this loop
   36 |           for (int k(0);k < m;++k) res[k] |= segtree[rr][k];
      |                         ~~^~~

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
#include <atcoder/modint>
using mint = atcoder::modint998244353;

int main(){
  ios::sync_with_stdio(false),cin.tie(0);
  int n,q; cin >> n >> q;
  constexpr int m = 30;
  vector<array<long long,m/2>> segtree(2*n);
  long long o = (1<<m)|((1<<m)-1);
  vector<int> A(n);for (int& a:A) cin >> a;
  for (int i(0);i < n;++i) for (int k(0);k < m>>1;++k){
    segtree[n+i][k] = (A[i]^((A[i]>>(k<<1))&1?o:0ll))|(A[i]^((A[i]>>(k<<1|1))&1?o:0ll))<<31;
  }
  for (int i(n-1);i;--i) for (int k(0);k < m;++k) segtree[i][k] = segtree[i<<1][k]|segtree[i<<1|1][k];
  while(q--){
    int t; cin >> t;
    if (t==1){
      int x,y; cin >> x >> y; --x;
      A[x] = y;
      for (int k(0);k < m>>1;++k){
        segtree[n+x][k] = (y^((y>>(k<<1))&1?o:0ll))|(y^((y>>(k<<1|1))&1?o:0ll))<<31;
      }
      for (int l((n+x)>>1);l;l>>=1) for (int k(0);k < m;++k) segtree[l][k] = segtree[l<<1][k]|segtree[l<<1|1][k];
    } else {
      int l,r; cin >> l >> r; --l;
      array<long long,m/2> res; res.fill(0);
      for (int ll(n+l),rr(n+r);ll < rr;ll>>=1,rr>>=1){
        if (ll&1){
          for (int k(0);k < m;++k) res[k] |= segtree[ll][k];
          ++ll;
        }
        if (rr&1){
          --rr;
          for (int k(0);k < m;++k) res[k] |= segtree[rr][k];
        }
      }
      array<int,m> R; R.fill(0);
      mint nz = (1<<m)-1;
      for (int k(0);k < m;++k){
        if (((res[k>>1]>>(30+31*(k&1)))&1)==0){
          nz -= (1<<k);
          continue;
        }
        if (k&1) R[__builtin_ctz(~(res[k>>1]>>31))] += (1<<k);
        else R[__builtin_ctz(~res[k>>1])] += (1<<k);
      }
      mint eq = 0;
      for (int k(0);k < m;++k) eq += mint(R[k])*R[k];
      cout << ((nz*nz+eq)*mint(2).pow(r-l)/4).val() << '\n';
    }
  }
}
0