結果

問題 No.2911 位相の公理
コンテスト
ユーザー titia
提出日時 2024-10-04 22:23:00
言語 PyPy3
(7.3.23 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 297 ms / 2,000 ms
+ 560µs
コード長 427 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 74 ms
コンパイル使用メモリ 80,896 KB
実行使用メモリ 66,176 KB
最終ジャッジ日時 2026-09-10 08:55:06
合計ジャッジ時間 3,170 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
input = sys.stdin.readline

N,M=map(int,input().split())
S=[int(input().strip(),2) for i in range(M)]

SET=set(S)
if 0 in S and ((1<<N)-1) in S:
    pass
else:
    print("No")
    exit()

for i in range(M):
    for j in range(i+1,M):
        X=S[i]
        Y=S[j]

        Z=X&Y
        W=X|Y

        if Z in SET and W in SET:
            pass
        else:
            print("No")
            exit()

print("Yes")
0