結果

問題 No.2911 位相の公理
ユーザー Today03Today03
提出日時 2024-10-04 21:43:36
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 80 ms / 2,000 ms
コード長 711 bytes
コンパイル時間 2,362 ms
コンパイル使用メモリ 249,116 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-10-04 21:43:40
合計ジャッジ時間 3,463 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int INF = 1e9 + 10;
const ll INFL = 4e18;

int main() {
    int N, M;
    cin >> N >> M;
    vector<bool> E(1 << N, false);
    vector<int> A(M);
    for (int i = 0; i < M; i++) {
        for (int j = 0; j < N; j++) {
            char a;
            cin >> a;
            A[i] |= (a == '1') << j;
        }
        E[A[i]] = true;
    }

    bool ans = true;
    for (int i = 0; i < M; i++) {
        for (int j = 0; j < M; j++) {
            if (!E[A[i] | A[j]]) ans = false;
            if (!E[A[i] & A[j]]) ans = false;
        }
    }

    if (!E.front()) ans = false;
    if (!E.back()) ans = false;

    puts(ans ? "Yes" : "No");
}
0