結果
| 問題 | No.3046 White Tiger vs Monster | 
| ユーザー |  | 
| 提出日時 | 2025-03-23 02:55:38 | 
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                TLE
                                 
                             | 
| 実行時間 | - | 
| コード長 | 1,016 bytes | 
| コンパイル時間 | 3,309 ms | 
| コンパイル使用メモリ | 278,464 KB | 
| 実行使用メモリ | 22,140 KB | 
| 最終ジャッジ日時 | 2025-03-23 02:55:50 | 
| 合計ジャッジ時間 | 11,221 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | -- * 3 | 
| other | TLE * 1 -- * 79 | 
ソースコード
#include<bits/stdc++.h>
using namespace std;
typedef unsigned long long ull;
int main(){
	int n;
	ull a[200000],b;
	cin>>n>>b;
	for(int i=0;i<n;i++)
		cin>>a[i];
	int d=bit_width(b)-1;
	vector<ull>ltd,eqd;
	for(int i=0;i<n;i++){
		int tmp=bit_width(a[i])-1;
		if(tmp<d)
			ltd.push_back(a[i]);
		if(tmp==d)
			eqd.push_back(a[i]);
	}
	for(int i=0;i<ltd.size();i++)
		b^=ltd[i];
	bool G[60][60];
	for(int c=0;c<eqd.size();c++){
		for(int i=0;i<=d;i++)
			for(int j=0;j<=d;j++)
				G[i][j]=i==j;
		for(int i=0;i<ltd.size();i++){
			int tmp=bit_width(ltd[i])-1;
			for(int j=0;j<tmp;j++)
				if(~ltd[i]>>j&1)
					G[j][tmp]=1;
		}
		int tmp=bit_width(eqd[c])-1;
		for(int j=0;j<tmp;j++)
			if(~eqd[c]>>j&1)
				G[j][tmp]=1;
		for(int k=0;k<=d;k++)
			for(int i=0;i<=d;i++)
				for(int j=0;j<=d;j++)
					G[i][j]|=G[i][k]&&G[k][j];
		if((b^eqd[c])==0){
			cout<<ltd.size()+1<<endl;
			return 0;
		}
		int s=bit_width(b^eqd[c])-1;
		if(G[s][d]){
			cout<<ltd.size()+1<<endl;
			return 0;
		}
	}
	cout<<ltd.size()<<endl;
}
            
            
            
        