結果

問題 No.803 Very Limited Xor Subset
コンテスト
ユーザー 梧桐
提出日時 2026-01-28 02:18:56
言語 C++14
(gcc 15.2.0 + boost 1.89.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 1,375 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 623 ms
コンパイル使用メモリ 81,676 KB
実行使用メモリ 7,848 KB
最終ジャッジ日時 2026-01-28 02:19:01
合計ジャッジ時間 2,439 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 43
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <iostream>
#include <bitset>

using namespace std;

const int N = 400, MOD = 1000000007;

int n, m, x, v[N], z, r, cnt, ans;
bitset<N> a[N];

int main() {
    scanf("%d%d%d", &n, &m, &x);
    for (int i = 1; i <= n; ++i) scanf("%d", &v[i]);
    for (int i = 0; i < 30; ++i) {
        for (int j = 1; j <= n; ++j) {
            a[i + 1][j] = v[j] >> i & 1;
        }
        a[i + 1][n + 1] = x >> i & 1;
    }
    for (int i = 1, op, l, r; i <= m; ++i) {
        scanf("%d%d%d", &op, &l, &r);
        for (int j = 1; j <= n; ++j) {
            a[30 + i][j] = l <= j && j <= r;
        }
        a[30 + i][n + 1] = op;
    }

    r = 1, z = m + 30, cnt = 0;
    for (int c = 1; c <= n; ++c) {
        for (int i = r; i <= z; ++i) {
            if (a[i][c]) {
                swap(a[r], a[i]);
                break;
            }
        }
        if (a[r][c] == 0) {
            ++cnt;
            continue;
        }
        for (int i = r + 1; i <= z; ++i) {
            if (a[i][c]) {
                a[i] ^= a[r];
            }
        }
        ++r;
    }
    if (r <= z) {
        for (int i = r; i <= z; ++i) {
            if (a[i][n + 1] != 0) {
                puts("0");
                return 0;
            }
        }
    }
    ans = 1;
    for (int i = 1; i <= cnt; ++i) {
        ans = ans * 2LL % MOD;
    }
    printf("%d\n", ans);

    return 0;
}
0