結果

問題 No.2911 位相の公理
ユーザー daiota
提出日時 2024-10-05 00:35:01
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 933 ms / 2,000 ms
コード長 1,249 bytes
コンパイル時間 1,462 ms
コンパイル使用メモリ 174,596 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-10-05 00:35:08
合計ジャッジ時間 5,918 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> P;
#define REP(i,n) for(int i=0;i<int(n);i++)
int a[20],b[5000];
int main(){
    cin.tie(nullptr);  ios_base::sync_with_stdio(false);
    int i,j;
    int N,M;
    cin >> N >> M;
    a[0]=1;
    for(i=1;i<=15;i++) a[i]=2*a[i-1];
    set<int> t;
    int p=0,q=0;
    for(i=1;i<=M;i++){
        string s;
        cin >> s;
        reverse(s.begin(),s.end());
        int x=0;
        bool f=true;
        REP(j,N){
            if(s[j]=='1') x+=a[j];
            else f=false;
        }
        if(f) p=1;
        if(x==0) q=1;
        t.insert(x);
        b[i]=x;
    }
    if(p==0 || q==0){
        cout << "No" << endl;
        return 0;
    }
    bool g=true;
    for(i=1;i<=M;i++){
        for(j=i;j<=M;j++){
            int c=b[i]&b[j];
            if(t.count(c)==0){
                g=false;
                break;
            }
        }
        if(!g) break;
    }
    if(g==false){
        cout << "No" << endl;
        return 0;
    }
    for(i=1;i<=M;i++){
        for(j=i;j<=M;j++){
            int c=b[i]|b[j];
            if(t.count(c)==0){
                g=false;
                break;
            }
        }
        if(!g) break;
     }
    if(g==false){
        cout << "No" << endl;
        return 0;
     }
    cout << "Yes" << endl;
    return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0