結果

問題 No.2911 位相の公理
ユーザー daiotadaiota
提出日時 2024-10-05 00:35:01
言語 C++14
(gcc 12.3.0 + boost 1.83.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
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 1 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 1 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 1 ms
5,248 KB
testcase_08 AC 1 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 1 ms
5,248 KB
testcase_11 AC 1 ms
5,248 KB
testcase_12 AC 1 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 1 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 2 ms
5,248 KB
testcase_19 AC 918 ms
5,248 KB
testcase_20 AC 928 ms
6,816 KB
testcase_21 AC 931 ms
6,816 KB
testcase_22 AC 4 ms
6,820 KB
testcase_23 AC 933 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

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