結果

問題 No.803 Very Limited Xor Subset
ユーザー omochana2omochana2
提出日時 2019-03-18 07:31:23
言語 C++11
(gcc 11.4.0)
結果
WA  
実行時間 -
コード長 2,807 bytes
コンパイル時間 1,232 ms
コンパイル使用メモリ 161,052 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-07-16 03:04:47
合計ジャッジ時間 2,678 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,940 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,944 KB
testcase_04 AC 1 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 WA -
testcase_07 AC 1 ms
6,940 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 WA -
testcase_10 AC 2 ms
6,944 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 2 ms
6,944 KB
testcase_13 AC 1 ms
6,940 KB
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 AC 5 ms
6,944 KB
testcase_24 WA -
testcase_25 AC 5 ms
6,940 KB
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 AC 5 ms
6,940 KB
testcase_32 AC 4 ms
6,944 KB
testcase_33 WA -
testcase_34 AC 2 ms
6,940 KB
testcase_35 WA -
testcase_36 WA -
testcase_37 WA -
testcase_38 AC 3 ms
6,940 KB
testcase_39 AC 2 ms
6,944 KB
testcase_40 WA -
testcase_41 AC 3 ms
6,944 KB
testcase_42 WA -
testcase_43 AC 2 ms
6,940 KB
testcase_44 AC 1 ms
6,944 KB
testcase_45 AC 2 ms
6,940 KB
testcase_46 AC 2 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define ADD(a, b) a = (a + ll(b)) % mod
#define MUL(a, b) a = (a * ll(b)) % mod
#define MAX(a, b) a = max(a, b)
#define MIN(a, b) a = min(a, b)
#define rep(i, a, b) for(int i = int(a); i < int(b); i++)
#define rer(i, a, b) for(int i = int(a) - 1; i >= int(b); i--)
#define all(a) (a).begin(), (a).end()
#define sz(v) (int)(v).size()
#define pb push_back
#define sec second
#define fst first
#define debug(fmt, ...) Debug(__LINE__, ":", fmt, ##__VA_ARGS__)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pi;
typedef pair<ll, ll> pl;
typedef pair<int, pi> ppi;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef vector<vl> mat;
typedef complex<double> comp;
void Debug() {cout << '\n'; }
template<class FIRST, class... REST>void Debug(FIRST arg, REST... rest){
	cout<<arg<<" ";Debug(rest...);}
template<class T>ostream& operator<<(ostream& out,const vector<T>& v) {
	out<<"[";if(!v.empty()){rep(i,0,sz(v)-1)out<<v[i]<<", ";out<<v.back();}out<<"]";return out;}
template<class S, class T>ostream& operator<<(ostream& out,const pair<S, T>& v){
	out<<"("<<v.first<<", "<<v.second<<")";return out;}
const int MAX_N = 300010;
const int MAX_V = 100010;
const double eps = 1e-6;
const ll mod = 1000000007;
const int inf = 1 << 30;
const ll linf = 1LL << 60;
const double PI = 3.14159265358979323846;
///////////////////////////////////////////////////////////////////////////////////////////////////

ll mod_pow(ll a, ll n) {
	if(n == 0) return 1;
	ll res = mod_pow(a, n / 2);
	if(n % 2 == 0) return res * res % mod;
	else return a * res % mod * res % mod;
}

int B[410][410];
int N, M, X;

void solve() {
	cin >> N >> M >> X;
	int S = max(30 + M, N);
	rep(i, 0, N) {
		int a; cin >> a;
		rep(j, 0, 30) {
			B[j][i] = ((1 << j) & a) ? 1 : 0;
		}
	}
	rep(j, 0, 30) B[j][S] = ((1 << j) & X) ? 1 : 0;
	rep(i, 0, M) {
		int e, l, r;
		cin >> e >> l >> r; l--;
		rep(j, l, r) B[i + 30][j] = 1;
		B[i + 30][S] = e;
	}
	rep(i, 0, S) {
		int pivot = -1;
		rep(j, i, S) {
			if(B[j][i]) pivot = j;
		}
		if(pivot == -1) continue;
		swap(B[i], B[pivot]);

		rep(j, 0, S) {
			if(i != j && B[j][i]) {
				rep(k, 0, S + 1) B[j][k] ^= B[i][k];
			}
		}
	}
	// rep(i, 0, S) debug(vi(B[i], B[i] + S + 1));
	int r = 0;
	rep(i, 0, S) {
		if(B[i][i] == 1) r++;
		else {
			if(B[i][S]) r = -inf;
		}
	}
	if(r < 0) cout << 0 << "\n";
	else cout << mod_pow(2, N - r) << "\n";
}

int main() {
#ifndef LOCAL
	ios::sync_with_stdio(false);
    cin.tie(0);
#endif
    cout << fixed;
	cout.precision(20);
	srand((unsigned int)time(NULL));
#ifdef LOCAL
	//freopen("in.txt", "wt", stdout); //for tester
    freopen("in.txt", "rt", stdin);
#endif	
	solve();
#ifdef LOCAL
    cerr << "Time elapsed: " << 1.0 * clock() / CLOCKS_PER_SEC << " s.\n";
#endif
	return 0;
}
0