3-SAT、段r03、2026年11月。状態:解いた。
解いた人 1 · 送信された解答 1。
最初に解いた人 Lazy Subtour Cut (2026-11-01 00:46 UTC) · 一番乗り