結果

問題 No.2911 位相の公理
ユーザー detteiuudetteiuu
提出日時 2024-10-04 21:54:31
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 702 bytes
コンパイル時間 193 ms
コンパイル使用メモリ 82,212 KB
実行使用メモリ 645,488 KB
最終ジャッジ日時 2024-10-04 21:54:37
合計ジャッジ時間 5,751 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 32 ms
52,852 KB
testcase_01 AC 31 ms
52,320 KB
testcase_02 AC 33 ms
52,460 KB
testcase_03 AC 32 ms
51,940 KB
testcase_04 AC 32 ms
53,420 KB
testcase_05 WA -
testcase_06 AC 34 ms
52,080 KB
testcase_07 AC 33 ms
52,320 KB
testcase_08 AC 31 ms
53,048 KB
testcase_09 AC 32 ms
53,180 KB
testcase_10 AC 32 ms
53,064 KB
testcase_11 AC 32 ms
52,524 KB
testcase_12 AC 38 ms
52,884 KB
testcase_13 AC 32 ms
52,424 KB
testcase_14 AC 32 ms
53,096 KB
testcase_15 AC 32 ms
52,932 KB
testcase_16 AC 32 ms
53,364 KB
testcase_17 AC 32 ms
52,700 KB
testcase_18 AC 53 ms
68,752 KB
testcase_19 AC 627 ms
194,668 KB
testcase_20 MLE -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

for i in range(M):
    num = 0
    for j in range(N):
        if S[i][j] == "1":
            num |= 1<<j
    S[i] = num

SET = set(S)
if (1<<N)-1 not in SET or 0 not in SET:
    exit(print("No"))

for i in range(M-1):
    for j in range(i+1, M):
        if S[i]&S[j] not in SET:
            exit(print("No"))

dp = [[False]*(1<<N) for _ in range(M+1)]
dp[0][0] = True
for i in range(M):
    for j in range(1<<N):
        if not dp[i][j]:
            continue
        dp[i+1][j] = dp[i][j]
        dp[i+1][j|S[i]] = dp[i][j]
for i in range(1<<N):
    if dp[i][j] and i not in SET:
        print("No")
        break
else:
    print("Yes")
0