結果

問題 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;

}
0