結果
問題 | No.803 Very Limited Xor Subset |
ユーザー | drken1215 |
提出日時 | 2019-03-18 10:38:30 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 3 ms / 2,000 ms |
コード長 | 2,499 bytes |
コンパイル時間 | 710 ms |
コンパイル使用メモリ | 74,576 KB |
実行使用メモリ | 4,384 KB |
最終ジャッジ日時 | 2023-09-25 00:48:32 |
合計ジャッジ時間 | 2,436 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge12 |
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
4,376 KB |
testcase_01 | AC | 1 ms
4,376 KB |
testcase_02 | AC | 2 ms
4,376 KB |
testcase_03 | AC | 2 ms
4,376 KB |
testcase_04 | AC | 1 ms
4,380 KB |
testcase_05 | AC | 2 ms
4,380 KB |
testcase_06 | AC | 1 ms
4,376 KB |
testcase_07 | AC | 2 ms
4,376 KB |
testcase_08 | AC | 1 ms
4,380 KB |
testcase_09 | AC | 2 ms
4,376 KB |
testcase_10 | AC | 1 ms
4,376 KB |
testcase_11 | AC | 2 ms
4,380 KB |
testcase_12 | AC | 1 ms
4,376 KB |
testcase_13 | AC | 1 ms
4,376 KB |
testcase_14 | AC | 2 ms
4,380 KB |
testcase_15 | AC | 2 ms
4,380 KB |
testcase_16 | AC | 2 ms
4,376 KB |
testcase_17 | AC | 2 ms
4,380 KB |
testcase_18 | AC | 3 ms
4,380 KB |
testcase_19 | AC | 2 ms
4,376 KB |
testcase_20 | AC | 2 ms
4,380 KB |
testcase_21 | AC | 2 ms
4,376 KB |
testcase_22 | AC | 3 ms
4,376 KB |
testcase_23 | AC | 2 ms
4,376 KB |
testcase_24 | AC | 2 ms
4,380 KB |
testcase_25 | AC | 2 ms
4,376 KB |
testcase_26 | AC | 2 ms
4,376 KB |
testcase_27 | AC | 2 ms
4,376 KB |
testcase_28 | AC | 2 ms
4,376 KB |
testcase_29 | AC | 2 ms
4,380 KB |
testcase_30 | AC | 3 ms
4,376 KB |
testcase_31 | AC | 3 ms
4,376 KB |
testcase_32 | AC | 2 ms
4,384 KB |
testcase_33 | AC | 2 ms
4,380 KB |
testcase_34 | AC | 2 ms
4,380 KB |
testcase_35 | AC | 2 ms
4,380 KB |
testcase_36 | AC | 2 ms
4,376 KB |
testcase_37 | AC | 2 ms
4,376 KB |
testcase_38 | AC | 2 ms
4,376 KB |
testcase_39 | AC | 2 ms
4,376 KB |
testcase_40 | AC | 2 ms
4,380 KB |
testcase_41 | AC | 2 ms
4,380 KB |
testcase_42 | AC | 2 ms
4,376 KB |
testcase_43 | AC | 2 ms
4,376 KB |
testcase_44 | AC | 1 ms
4,376 KB |
testcase_45 | AC | 1 ms
4,376 KB |
testcase_46 | AC | 2 ms
4,380 KB |
ソースコード
#include <iostream> #include <vector> #include <bitset> using namespace std; const long long MOD = 1000000007; // BitMatrix const int MAX_ROW = 610; // to be set const int MAX_COL = 610; // to be set struct BitMatrix { int n, m; bitset<MAX_COL> val[MAX_ROW]; BitMatrix(int n_ = 1, int m_ = 1) {n = n_; m = m_;} inline bitset<MAX_COL>& operator [] (int i) {return val[i];} inline friend ostream& operator << (ostream& s, BitMatrix M) { s << endl; for (int i = 0; i < M.n; ++i) { for (int j = 0; j < M.m; ++j) s << M.val[i][j]; s << endl; } return s; } }; inline BitMatrix operator * (BitMatrix A, BitMatrix B) { BitMatrix R(A.n, B.m); BitMatrix tB(B.m, B.n); for (int i = 0; i < tB.n; ++i) for (int j = 0; j < tB.m; ++j) tB[i][j] = B[j][i]; for (int i = 0; i < R.n; ++i) for (int j = 0; j < R.m; ++j) R[i][j] = (A[i] & tB[j]).any(); return R; } int linear_equation(BitMatrix A, vector<int> b) { int rank = 0; for (int i = 0; i < A.n; ++i) { A[i][A.m] = b[i]; } for (int i = 0; i < A.m; ++i) { int pivot = -1; for (int j = rank; j < A.n; ++j) { if (A[j][i]) { pivot = j; break; } } if (pivot != -1) { swap(A[pivot], A[rank]); for (int j = 0; j < A.n; ++j) if (j != rank && A[j][i]) A[j] ^= A[rank]; ++rank; } } for (int i = rank; i < A.n; ++i) if (A[i][A.m]) return -1; // 解なし return rank; }; long long modpow(long long a, long long n, long long mod) { long long res = 1; while (n > 0) { if (n & 1) res = res * a % mod; a = a * a % mod; n >>= 1; } return res; } const int DIGIT = 35; int main() { int N, M; long long X; cin >> N >> M >> X; vector<long long> a(N); for (int i = 0; i < N; ++i) cin >> a[i]; BitMatrix A(DIGIT + M, N); vector<int> b(DIGIT + M); for (int d = 0; d < DIGIT; ++d) { for (int i = 0; i < N; ++i) { if (a[i] & (1LL<<d)) A[d][i] = 1; } if (X & (1LL<<d)) b[d] = 1; } for (int d = 0; d < M; ++d) { int type, l, r; cin >> type >> l >> r; --l, --r; for (int i = l; i <= r; ++i) A[d + DIGIT][i] = 1; b[d + DIGIT] = type; } int rank = linear_equation(A, b); if (rank == -1) cout << 0 << endl; else cout << modpow(2LL, N-rank, MOD) << endl; }