結果
| 問題 | 
                            No.2270 T0空間
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2023-04-14 23:23:25 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,364 bytes | 
| コンパイル時間 | 1,898 ms | 
| コンパイル使用メモリ | 204,008 KB | 
| 最終ジャッジ日時 | 2025-02-12 08:17:55 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 17 WA * 5 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
// const ll INF = numeric_limits<ll>::max() / 4;
// const int INF = numeric_limits<int>::max() / 4;
// cout << std::fixed << std::setprecision(15);
void MakeXORBasis(vector<int>& A, vector<int>& B){
}
int main() {
	int N, M;
	cin >> N >> M;
	if(N == 1){
		cout << "Yes" << endl;
		return 0;
	}
	int D = 32;
	vector<string> S(M);
	for(int i = 0; i < M; i++) cin >> S[i];
	int K = (N / D) + 1;
	vector X(M, vector<ull>(K, 0));
	for(int i = 0; i < M; i++){
		for(int k = 0; k < K; k++){
			for(int b = 0; k * D + b < N; b++){
				if(S[i][k * D + b] == '1') X[i][k] += (1ULL << b);
			}
		}
	}
	vector<vector<ull> > Y;
	for(int i = 0; i < M; i++){
		vector<ull> a = X[i];
		for(auto it = Y.begin(); it != Y.end(); it++){
			vector<ull> b = *it;
			int f = 0;
			for(int k = 0; k < K; k++){
				if(f == -1){
					a[k] = a[k];
				}else if(f == 1){
					a[k] = a[k] ^ b[k];
				}else{
					if(a[k] < (a[k] ^ b[k])){
						a[k] = a[k];
						f = -1;
					}else if(a[k] > (a[k] ^ b[k])){
						a[k] = a[k] ^ b[k];
						f = 1;
					}
				}
			}
		}
		bool f = false;
		for(int k = 0; k < K; k++) if(a[k] != 0) f = true;
		if(f) Y.push_back(a);
		if(N <= Y.size()) break;
	}
	if(N <= Y.size()){
		cout << "Yes" << endl;
	}else{
		cout << "No" << endl;
	}
	return 0;
}