結果

問題 No.2911 位相の公理
ユーザー Carpenters-CatCarpenters-Cat
提出日時 2024-10-04 22:29:45
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 675 bytes
コンパイル時間 2,061 ms
コンパイル使用メモリ 203,464 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-10-04 22:29:48
合計ジャッジ時間 2,686 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,820 KB
testcase_03 AC 2 ms
6,816 KB
testcase_04 WA -
testcase_05 AC 2 ms
6,820 KB
testcase_06 AC 1 ms
6,816 KB
testcase_07 AC 1 ms
6,820 KB
testcase_08 AC 2 ms
6,820 KB
testcase_09 AC 2 ms
6,820 KB
testcase_10 WA -
testcase_11 AC 1 ms
6,816 KB
testcase_12 AC 2 ms
6,816 KB
testcase_13 AC 2 ms
6,816 KB
testcase_14 AC 1 ms
6,816 KB
testcase_15 AC 2 ms
6,820 KB
testcase_16 AC 2 ms
6,820 KB
testcase_17 AC 2 ms
6,820 KB
testcase_18 AC 3 ms
6,820 KB
testcase_19 AC 10 ms
6,820 KB
testcase_20 AC 48 ms
6,816 KB
testcase_21 AC 44 ms
6,820 KB
testcase_22 AC 10 ms
6,816 KB
testcase_23 AC 45 ms
6,816 KB
権限があれば一括ダウンロードができます

ソースコード

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');
		}
	}
	bool OK = true;
	vector<int> ex((1 << N), 0);
	for (auto& a : A) ex[a] = 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