結果

問題 No.2911 位相の公理
ユーザー Carpenters-Cat
提出日時 2024-10-04 22:30:39
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 54 ms / 2,000 ms
コード長 687 bytes
コンパイル時間 1,941 ms
コンパイル使用メモリ 195,128 KB
最終ジャッジ日時 2025-02-24 15:28:09
ジャッジサーバーID
（参考情報） 		judge3 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
int main () {
	int N, M;
	cin >> N >> M;
	vector<int> A(M);
	for (auto& a : A) {
		string s;
		cin >> s;
		a = 0;
		for (auto& c : s) {
			a <<= 1;
			a |= (c == '1');
		}
	}
	vector<int> ex((1 << N), 0);
	for (auto& a : A) ex[a] = 1;
	bool OK = (ex.back() == 1);
	for (int i = 0; i < M; i ++) {
		for (int j = i + 1; j < M; j ++) {
			if (!ex[A[i] & A[j]]) {
				OK = false;
			}
		}
	}
	if (!OK) {
		puts("No");
		return 0;
	}
	for (int a = 0; a < (1 << N); a ++) {
		if (!ex[a]) {
			int x = 0;
			for (int b = a; b; b = (b - 1) & a) {
				if (ex[b]) x |= b;
			}
			if (x == a) {
				puts("No");
				return 0;
			}
		}
	}
	puts("Yes");
}
0