結果

問題 No.2911 位相の公理
コンテスト
ユーザー 👑 tails
提出日時 2024-10-04 21:44:04
言語 cLay
(20250308-1 + boost 1.92.0 + ACL)
コンパイル:
clayc _filename_
実行:
./a.out
結果
WJ  
(最新)
AC  
(最初)
実行時間 -
コード長 250 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
最終ジャッジ日時 2026-10-23 12:00:10
ジャッジサーバーID
（参考情報） 		judge4_0 / judge2_0
このコードへのチャレンジ
（要ログイン）

ソースコード

diff #
raw source code 

ll@n,@m,a[1<<16]{},b[m];
rep(i,m){
	ll x=0;
	rep(n){
		char@c;
		x=x<<1|c&1;
	}
	a[x]=1;
	b[i]=x;
}
if(!a[0]||!a[(1<<n)-1]){
	wt("No");
	exit(0);
}
rep(i,m){
	rep(j,i){
		if(!a[b[i]&b[j]]||!a[b[i]|b[j]]){
			wt("No");
			exit(0);
		}
	}
}
wt("Yes");
0