結果

問題 No.2911 位相の公理
ユーザー miya145592
提出日時 2024-10-04 23:22:19
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 45 ms / 2,000 ms
コード長 722 bytes
コンパイル時間 187 ms
コンパイル使用メモリ 82,312 KB
実行使用メモリ 65,348 KB
最終ジャッジ日時 2024-10-04 23:22:32
合計ジャッジ時間 1,683 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

import sys
input = sys.stdin.readline
N, M = map(int, input().split())
S = [input().strip() for _ in range(M)]
T = set(S)
if "1"*N not in T:
    print("No")
    exit()
for i in range(N):
    for j in range(i+1, N):
        si = S[i]
        sj = S[j]
        tmp = ""
        for k in range(N):
            if si[k]=="1" and sj[k]=="1":
                tmp+="1"
            else:
                tmp+="0"
        if tmp not in T:
            print("No")
            exit()
dp = [0 for _ in range(N)]
for s in S:
    for i in range(N):
        if s[i]=="1":
            dp[i] = 1
if "0"*N not in T:
    print("No")
    exit()
dp.reverse()
tmp = "".join(map(str, dp))
if tmp not in T:
    print("No")
    exit()
print("Yes")
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0