結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
|
提出日時 | 2022-09-30 23:15:59 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 34 ms / 2,000 ms |
コード長 | 306 bytes |
コンパイル時間 | 260 ms |
コンパイル使用メモリ | 12,544 KB |
実行使用メモリ | 10,624 KB |
最終ジャッジ日時 | 2024-12-23 00:57:56 |
合計ジャッジ時間 | 1,723 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
A=list(map(lambda n:int(n),input().split(" ")))I=list(set(A))def s(a,b):return 1-a*bdef r(a,b,c,d,e,f):return s(s(s(a,b),c),s(s(d,e),f))def q():for n in range(64):n = f"{n:0>6b}"if r(*[int(n[I.index(k)]) for k in A]):return "YES"return "NO"print(q())