結果

問題 No.2911 位相の公理
コンテスト
ユーザー Carpenters-Cat
提出日時 2024-10-04 22:30:39
言語 C++17
(gcc 15.2.0 + boost 1.90.0)
コンパイル:
g++-15 -O2 -lm -std=c++17 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 53 ms / 2,000 ms
コード長 687 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,066 ms
コンパイル使用メモリ 217,640 KB
実行使用メモリ 16,640 KB
最終ジャッジ日時 2026-07-05 21:06:49
合計ジャッジ時間 2,802 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#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