結果

問題 No.3792 XOR^2 Sum Query
コンテスト
ユーザー hiro1729
提出日時 2026-09-20 16:16:23
言語 C++23
(gcc 15.3.0 + boost 1.92.0 + ACL)
コンパイル:
g++-15 -O2 -fplugin=/usr/lib/yukicoder/noavx512-gcc15.so -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
WA  
(最新)
AC  
(最初)
実行時間 -
コード長 1,562 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,252 ms
コンパイル使用メモリ 354,352 KB
実行使用メモリ 67,968 KB
最終ジャッジ日時 2026-11-06 20:53:51
合計ジャッジ時間 109,367 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 17 WA * 3 TLE * 15
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
#include <atcoder/modint>
#include <atcoder/fenwicktree>
using namespace std;
using namespace atcoder;
using ll = long long;
using minth = modint;
using mint = modint998244353;
const int B = 30, M = 5e8;

int main() {
	ios::sync_with_stdio(false); cin.tie(nullptr);
	random_device rd; mt19937 mt(rd());

	int mod = mt() % M * 2 + M * 2 + 1;
	minth::set_mod(mod);
	const mint inv4 = mint(1) / 4;

	int N, Q; cin >> N >> Q;
	vector<int> A(N);
	for (int i = 0; i < N; i++) cin >> A[i];

	vector<minth> pw2(N + 1);
	pw2[0] = 1;
	for (int i = 0; i < N; i++) pw2[i + 1] = pw2[i] * 2;
	vector<fenwick_tree<minth>> bit(B, fenwick_tree<minth>(N));
	for (int i = 0; i < N; i++) {
		for (int j = 0; j < B; j++) {
			if (A[i] & (1 << j)) {
				bit[j].add(i, pw2[i]);
			}
		}
	}

	while (Q--) {
		int t; cin >> t;
		if (t == 1) {
			int p, x; cin >> p >> x;
			p--;
			for (int j = 0; j < B; j++) {
				int c = (A[p] >> j) & 1, d = (x >> j) & 1;
				if (c != d) {
					if (c == 0) bit[j].add(p, pw2[p]);
					else bit[j].add(p, -pw2[p]);
				}
			}
			A[p] = x;
		} else {
			int L, R; cin >> L >> R;
			L--;
			vector<int> hash(B);
			map<int, mint> mh;
			for (int i = 0; i < B; i++) {
				hash[i] = (bit[i].sum(L, R) / pw2[L]).val();
				mh[hash[i]] += (1 << i);
			}
			mint al = (1 << B) - 1;
			mint s = 0, z = 0;
			for (auto [h, d]: mh) {
				if (h != 0) {
					s += d * d;
				} else {
					z += d;
				}
			}
			mint t = (al - z) * (al - z) - s;
			mint ans = (s * 2 + t) * mint(2).pow(R - L) * inv4;
			cout << ans.val() << '\n';
		}
	}
}
0