結果

問題 No.2911 位相の公理
ユーザー GOTKAKOGOTKAKO
提出日時 2024-10-04 21:55:32
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 1,220 ms / 2,000 ms
コード長 696 bytes
コンパイル時間 2,246 ms
コンパイル使用メモリ 210,552 KB
実行使用メモリ 6,528 KB
最終ジャッジ日時 2024-10-04 21:55:45
合計ジャッジ時間 7,608 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    int N,M; cin >> N >> M;
    vector<int> S(M);
    set<int> X;
    for(auto &s : S){
        string t; cin >> t;
        int p2 = 1;
        for(auto &c : t){
            s += (c-'0')*p2;
            p2 *= 2;
        }
        X.insert(s);
    }
    set<int> Y;
    for(int i=0; i<M; i++) for(int k=i; k<M; k++) Y.insert(S.at(i)&S.at(k));
    Y.insert((1<<N)-1);

    set<int> Z = {0};
    for(auto y : Y){
        Z.insert(y);
        for(auto &z : Z) Z.insert(y|z);
        if(Z.size() > X.size()) break; 
    }
    if(X == Z) cout << "Yes\n";
    else cout << "No\n";
}
0