結果

問題 No.803 Very Limited Xor Subset
ユーザー 37zigen
提出日時 2019-03-18 23:45:21
言語 C++11
(gcc 13.3.0)
結果
AC  
実行時間 5 ms / 2,000 ms
コード長 1,522 bytes
コンパイル時間 1,270 ms
コンパイル使用メモリ 165,416 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-19 08:13:33
合計ジャッジ時間 2,555 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 43
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
long long mo=1e9+7;
long long A[300];
long long modpow(long long a, long long n){
  long long ret=1;
  for(;n>0;n>>=1,a=a*a%mo){
    if(n%2==1){
      ret=ret*a%mo;
    }
  }
  return ret;
}
int main(){
  int N,M,X;
  std::cin>>N>>M>>X;
  for(int i=0;i<N;++i){
    std::cin>>A[i];
  }
  std::vector< std::vector<int> > mat(M+30,std::vector<int>(N,0));
  std::vector<int> v(M+30,0);
  for(int i=0;i<M;++i){
    int type,l,r;
    std::cin>>type>>l>>r;
    --l;
    --r;
    for(int j=l;j<=r;++j){
      mat[i][j]=1;
    }
    v[i]=type;
  }
  for(int i=0;i<30;++i){
    for(int j=0;j<N;++j){
      mat[M+i][j]=(A[j]>>i)%2;
    }
    v[M+i]=(X>>i)%2;
  }
  
  int rank=0;
  for(int i=0;i<N;++i){
    int idx=-1;
    for(int j=rank;j<M+30;++j){
      if(mat[j][i]==1){
        idx=j;
        break;
      }
    }
    if(idx==-1)continue;
    if(idx!=rank){
      v[idx]^=v[rank];
      v[rank]^=v[idx];
      v[idx]^=v[rank];
      for(int j=0;j<N;++j){
        mat[idx][j]^=mat[rank][j];
        mat[rank][j]^=mat[idx][j];
        mat[idx][j]^=mat[rank][j];
      }
    }
    
    for(int j=0;j<M+30;++j){
      if(j==rank)continue;
      if(mat[j][i]==1){
        v[j]^=v[rank];
        for(int k=0;k<N;++k){
         mat[j][k]^=mat[rank][k];
        }
      }
    }
    ++rank;
  }
  
  for(int i=0;i<M+30;++i){
    bool f=false;
    for(int j=0;j<N;++j){
      f|=mat[i][j]==1;
    }
    if(!f&&v[i]==1){
      std::cout<<0<<std::endl;
      return 0;
    }
  }
  std::cout<<modpow(2,N-rank)<<std::endl;
  return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0