結果
問題 | No.2911 位相の公理 |
ユーザー | rlangevin |
提出日時 | 2024-10-04 21:34:29 |
言語 | PyPy3 (7.3.15) |
結果 |
WA
|
実行時間 | - |
コード長 | 474 bytes |
コンパイル時間 | 189 ms |
コンパイル使用メモリ | 82,116 KB |
実行使用メモリ | 70,152 KB |
最終ジャッジ日時 | 2024-10-04 21:34:32 |
合計ジャッジ時間 | 1,935 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 32 ms
53,764 KB |
testcase_01 | AC | 31 ms
52,160 KB |
testcase_02 | AC | 31 ms
52,452 KB |
testcase_03 | AC | 31 ms
53,144 KB |
testcase_04 | AC | 31 ms
52,008 KB |
testcase_05 | WA | - |
testcase_06 | AC | 31 ms
51,944 KB |
testcase_07 | AC | 32 ms
52,216 KB |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | AC | 31 ms
53,008 KB |
testcase_11 | AC | 30 ms
52,052 KB |
testcase_12 | WA | - |
testcase_13 | AC | 36 ms
52,448 KB |
testcase_14 | AC | 31 ms
52,296 KB |
testcase_15 | AC | 31 ms
53,896 KB |
testcase_16 | WA | - |
testcase_17 | AC | 32 ms
52,556 KB |
testcase_18 | AC | 50 ms
66,764 KB |
testcase_19 | WA | - |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | AC | 55 ms
69,148 KB |
testcase_23 | WA | - |
ソースコード
N, M = map(int, input().split()) S = set() for i in range(M): s = int(input()) S.add(s) N2 = 1 << N if N2 - 1 not in S: print("No") exit() for s1 in S: for s2 in S: if s1 & s2 not in S: print("No") exit() L = list(S) for ss in range(N2): temp = 0 for i in range(N): if (ss >> i) & 1: temp |= L[i] if temp not in S: print("No") exit() print("Yes")