結果

問題 No.803 Very Limited Xor Subset
ユーザー ats5515ats5515
提出日時 2019-03-17 22:36:03
言語 C++11
(gcc 13.3.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,613 bytes
コンパイル時間 753 ms
コンパイル使用メモリ 87,652 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-08 00:44:42
合計ジャッジ時間 1,724 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 43
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <string>
#include <iomanip>
#include <algorithm>
#include <cmath>
#include <stdio.h>
#include <bitset>
using namespace std;
#define int long long
int MOD = 1000000007;
const int MAX = 340;
using BS = bitset<MAX>;
signed main() {
	cin.tie(0);
	ios::sync_with_stdio(false);
	int N, M, X;
	cin >> N >> M >> X;
	int res = 0;
	vector<int> A(N);
	for (int i = 0; i < N; i++) {
		cin >> A[i];
	}
	vector<BS> mat(N);
	for (int i = 0; i < N; i++) {
		for (int j = 0; j < 32; j++) {
			int bit = (1ll << j);
			if (A[i] & bit)mat[i][j] = true;
		}
	}

	BS x;
	for (int i = 0; i < 32; i++) {
		int bit = (1ll << i);
		if (X & bit)x[i] = true;
	}
	int t, l, r;
	for (int i = 0; i < M; i++) {
		cin >> t >> l >> r;
		l--; r--;
		for (int j = l; j <= r; j++) {
			mat[j][32 + i] = true;
		}
		if (t == 1) {
			x[32 + i] = true;
		}
	}

	int cur = 0;
	vector<int> Z(MAX, -1);
	for (int i = 0; i < MAX; i++) {
		int h = -1;
		for (int j = cur; j < N; j++) {
			if (mat[j][i]) {
				h = j;
				break;
			}
		}
		if (h >= 0) {

			for (int j = 0; j < N; j++) {
				if (j != h) {
					if (mat[j][i]) {
						mat[j] ^= mat[h];
					}
				}
			}
			swap(mat[cur], mat[h]);
			Z[i] = cur;


			cur++;
		}
	}
	BS tmp;
	for (int i = 0; i < MAX; i++) {
		if (x[i]) {
			if (Z[i] == -1) {
				cout << 0 << endl;
				return 0;
			}
			else {
				x ^= mat[Z[i]];
			}
		}
	}
	if (tmp != x) {
		cout << 0 << endl;
		return 0;
	}

	int num = N - cur;
	res = 1;
	for (int i = 0; i < num; i++) {
		res = (res * 2) % MOD;
	}




	cout << res << endl;
}
0