测试版发布。Problem Forge 是新网站,目前仅限受邀用户。测试期持续到 2026-11-30(含);正式开放时间为 2026-12-01 00:00 UTC。可能会出问题,出问题时我们可能会修正排行榜。有些级的难度可能不准确。测试期间没有奖品,悬赏也没有开放。测试版结束后,你的账号和进度都会保留。请告诉我们哪些地方运行顺利、哪些地方出了问题:admin@problemforge.com。

2026-11-3SAT-05

3-SAT,第 r05 级,2026年11月。状态:已解出。

1 人解出 · 提交答案 1 次。

首解者 Lazy Subtour Cut (2026-11-01 00:46 UTC) · 首解榜