結果
| 問題 |
No.2911 位相の公理
|
| コンテスト | |
| ユーザー |
tails
|
| 提出日時 | 2024-10-04 21:44:04 |
| 言語 | cLay (20241019-1) |
| 結果 |
AC
|
| 実行時間 | 11 ms / 2,000 ms |
| コード長 | 250 bytes |
| コンパイル時間 | 1,785 ms |
| コンパイル使用メモリ | 172,660 KB |
| 実行使用メモリ | 5,248 KB |
| 最終ジャッジ日時 | 2024-10-04 21:44:07 |
| 合計ジャッジ時間 | 2,519 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 24 |
ソースコード
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");
tails