結果
| 問題 |
No.5005 3-SAT
|
| ユーザー |
|
| 提出日時 | 2025-05-13 09:46:09 |
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
| 結果 |
AC
|
| 実行時間 | 37 ms / 2,000 ms |
| コード長 | 1,328 bytes |
| コンパイル時間 | 464 ms |
| コンパイル使用メモリ | 12,160 KB |
| 実行使用メモリ | 10,880 KB |
| スコア | 17,782 |
| 最終ジャッジ日時 | 2025-05-13 09:46:18 |
| 合計ジャッジ時間 | 8,812 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
| 純コード判定しない問題か言語 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 100 |
ソースコード
import sys
def solve_case(constraints):
bits = [None] * 256
for i in range(len(constraints)):
a, b, c, p, q, r = constraints[i]
targets = [
(a, p),
(b, q),
(c, r),
]
satisfied = False
for pos, val in targets:
if pos >= 256:
continue
if bits[pos] is None:
continue
if bits[pos] == val:
satisfied = True
break
if not satisfied:
for pos, val in targets:
if pos >= 256:
continue
if bits[pos] is None:
bits[pos] = val
satisfied = True
break
if not satisfied:
break
return "".join(str(b if b is not None else 0) for b in reversed(bits))
def read_constraints():
constraints = []
N = 2048
for _ in range(N):
line = sys.stdin.readline()
if not line or len(line.split()) != 6:
break
a, b, c, p, q, r = map(int, line.split())
constraints.append((a, b, c, p, q, r))
return constraints
def main():
constraints = read_constraints()
result = solve_case(constraints)
print(result)
if __name__ == "__main__":
main()