#1015420 (C++17) No.2911 位相の公理

• 問題: No.2911 位相の公理
• ユーザー: Carpenters-Cat
• 提出日時: 2024-10-04 22:30:39
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 51 ms / 2,000 ms
• コード長: 687 bytes
• コンパイル時間: 1,928 ms
• コンパイル使用メモリ: 204,232 KB
• 実行使用メモリ: 6,824 KB
• 最終ジャッジ日時: 2024-10-04 22:30:42
• 合計ジャッジ時間: 2,898 ms
• ジャッジサーバーID （参考情報）: judge4 / judge3

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 6,820 KB
testcase_01	AC	1 ms; 6,820 KB
testcase_02	AC	1 ms; 6,816 KB
testcase_03	AC	1 ms; 6,816 KB
testcase_04	AC	1 ms; 6,816 KB
testcase_05	AC	1 ms; 6,820 KB
testcase_06	AC	2 ms; 6,820 KB
testcase_07	AC	2 ms; 6,824 KB
testcase_08	AC	2 ms; 6,820 KB
testcase_09	AC	2 ms; 6,820 KB
testcase_10	AC	1 ms; 6,816 KB
testcase_11	AC	1 ms; 6,816 KB
testcase_12	AC	1 ms; 6,820 KB
testcase_13	AC	2 ms; 6,816 KB
testcase_14	AC	2 ms; 6,820 KB
testcase_15	AC	2 ms; 6,816 KB
testcase_16	AC	1 ms; 6,820 KB
testcase_17	AC	1 ms; 6,816 KB
testcase_18	AC	4 ms; 6,816 KB
testcase_19	AC	15 ms; 6,820 KB
testcase_20	AC	51 ms; 6,820 KB
testcase_21	AC	51 ms; 6,820 KB
testcase_22	AC	15 ms; 6,816 KB
testcase_23	AC	50 ms; 6,816 KB

ソースコード

#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");
}