結果

問題 No.803 Very Limited Xor Subset
ユーザー fumiphysfumiphys
提出日時 2019-03-23 20:37:50
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 3,251 bytes
コンパイル時間 3,823 ms
コンパイル使用メモリ 119,248 KB
実行使用メモリ 4,372 KB
最終ジャッジ日時 2023-10-24 22:49:13
合計ジャッジ時間 3,833 ms
ジャッジサーバーID
(参考情報)
judge14 / judge11
このコードへのチャレンジ(β)

テストケース

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

ソースコード

diff #

// includes
#include <cstdio>
#include <cstdint>
#include <iostream>
#include <iomanip>
#include <string>
#include <queue>
#include <stack>
#include <vector>
#include <set>
#include <map>
#include <unordered_map>
#include <algorithm>
#include <utility>
#include <functional>
#include <cmath>
#include <climits>
#include <bitset>
#include <list>
#include <random>

// macros
#define ll long long int
#define pb emplace_back
#define mk make_pair
#define pq priority_queue
#define FOR(i, a, b) for(int i=(a);i<(b);++i)
#define rep(i, n) FOR(i, 0, n)
#define rrep(i, n) for(int i=((int)(n)-1);i>=0;i--)
#define all(x) (x).begin(),(x).end()
#define sz(x) ((int)(x).size())
#define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end())

using namespace std;

//  types
typedef pair<int, int> P;
typedef pair<ll, int> Pl;
typedef pair<ll, ll> Pll;
typedef pair<double, double> Pd;
 
// constants
const int inf = 1e9;
const ll linf = 1LL << 50;
const double EPS = 1e-10;
const int mod = 1e9 + 7;

// solve
template <class T>bool chmax(T &a, const T &b){if(a < b){a = b; return 1;} return 0;}
template <class T>bool chmin(T &a, const T &b){if(a > b){a = b; return 1;} return 0;}

const int MAX_H = 510, MAX_W = 510;
struct MatrixB {
  int H, W;
  bitset<MAX_W> val[MAX_H];
  MatrixB(int m = 1, int n = 1): H(m), W(n){}
  inline bitset<MAX_W>& operator[](size_t i){return val[i];}
  int gauss_jordan(bool is_extended = false){
    int rank = 0;
    for(int col = 0; col < W; col++){
      if(col == W - 1 && is_extended)break;
      int pivot = -1;
      for(int row = rank; row < H; row++){
        if(val[row][col]){
          pivot = row;
          break;
        }
      }
      if(pivot == -1)continue;
      swap(val[pivot], val[rank]);
      for(int row = 0; row < H; row++){
        if(row != rank && val[row][col])val[row] ^= val[rank];
      }
      rank++;
    }
    return rank;
  }
};

int linear_eq(MatrixB &A, vector<int> b, vector<int> & res){
  int m = A.H, n = A.W;
  MatrixB M(m, n + 1);
  for(int i = 0; i < m; i++){
    for(int j = 0; j < n; j++){
      M[i][j] = A[i][j];
    }
    M[i][n] = b[i];
  }
  int rank = M.gauss_jordan(true);

  for(int row = rank; row < m; row++){
    if(M[row][n])return -1;
  }

  res.assign(n, 0);
  for(int i = 0; i < rank; i++)res[i] = M[i][n];
  return rank;
}

template <typename T>
T power(T a, T n, T mod) {
  T res = 1;
  T tmp = n;
  T curr = a;
  while(tmp){
    if(tmp % 2 == 1){
      res = (T)((ll)res * curr % mod);
    }
    curr = (T)((ll)curr * curr % mod);
    tmp >>= 1;
  }
  return res;
}

int main(int argc, char const* argv[])
{
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  int n, m;
  ll X;
  cin >> n >> m >> X;
  vector<ll> a(n);
  rep(i, n)cin >> a[i];
  MatrixB M(30 + m, n);
  for(int i = 0; i < n; i++){
    for(int j = 0; j < 30; j++){
      M[j][i] = (a[i] >> j) % 2;
    }
  }
  vector<int> vec(30 + m);
  for(int i = 0; i < 30; i++)vec[i] = (X >> i) % 2;
  rep(i, m){
    int x = 0;
    cin >> x;
    int l, r;
    cin >> l >> r, l--, r--;
    for(int j = l; j <= r; j++)M[30+i][j] = 1;
    vec[30+i] = x;
  }
  vector<int> res;
  int rank = linear_eq(M, vec, res);
  if(rank == -1)cout << 0 << endl;
  else cout << power<ll>(2, n - rank, mod) << endl;
	return 0;
}
0