結果

問題 No.2672 Subset Xor Sum
ユーザー imabc
提出日時 2024-12-30 14:59:12
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 139 ms / 2,000 ms
コード長 1,009 bytes
コンパイル時間 7,666 ms
コンパイル使用メモリ 336,732 KB
実行使用メモリ 10,880 KB
最終ジャッジ日時 2024-12-30 14:59:23
合計ジャッジ時間 11,055 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 66
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using ll=long long;
using ld=long double;
using uint=uint32_t;
using ull=uint64_t;
using pii=pair<int,int>;
using pll=pair<ll,ll>;
using mint=modint998244353;
const ll INF=1ll<<60;

//xor基底(msbがdistinct)

vector<ll> xor_base(vector<ll> A){
  vector<ll> base;
  for(ll v:A){
    for(ll e:base)v=min(v,v^e);
    if(v>0)base.emplace_back(v);
  }
  sort(base.begin(),base.end());
  int n=base.size();
  for(int i=n-2;i>=0;i--){
    int msb=-1;
    for(int j=0;j<60;j++){
      if(base[i]&(1ll<<j))msb=max(msb,j);
    }
    for(int j=i+1;j<n;j++){
      if(base[j]&(1ll<<msb))base[j]^=base[i];
    }
  }
  return base;
}

int main(){
  int N; cin>>N;
  vector<ll> A(N);
  ll sum=0;
  for(int i=0;i<N;i++){
    cin>>A[i];
    sum^=A[i];
  }
  if(sum!=0){
    cout<<"No"<<endl;
    return 0;
  }
  vector<ll> base=xor_base(A);
  int n=base.size();
  if(n<N-1)cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
  return 0;
}
0