Problem Forge
どの節にも真のリテラルが1つ以上あるように、各変数を真か偽にしてください。
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂)
∧ (¬x₁ ∨ x₂)
∧ (x₁ ∨ ¬x₂)
∧ (¬x₁ ∨ ¬x₂)
今月の段
| 段 | 解いた人（全プレイヤー） | 送信された解答（全プレイヤー） | 状態 |
|---|---|---|---|
| 2026-11-SAT-12 | 0 | 0 | 未解決 |
| 2026-11-SAT-11 | 0 | 0 | 未解決 |
| 2026-11-SAT-10 | 0 | 0 | 未解決 |
| 2026-11-SAT-09 | 0 | 0 | 未解決 |
| 2026-11-SAT-08 | 1 | 1 | 解いた |
| 2026-11-SAT-07 | 1 | 1 | 解いた |
| 2026-11-SAT-06 | 1 | 1 | 解いた |
| 2026-11-SAT-05 | 1 | 1 | 解いた |
| 2026-11-SAT-04 | 1 | 1 | 解いた |
| 2026-11-SAT-03 | 1 | 1 | 解いた |
| 2026-11-SAT-02 | 1 | 1 | 解いた |
| 2026-11-SAT-01 | 1 | 1 | 解いた |
| 2026-11-SAT-00 | 1 | 1 | 解いた |
ログインすると、自分の進み具合を確認でき、各段を開けるようになります。
サンプル
サンプルファイルが5つあり、どれにも解答が付いています。アカウントは要りません。自分の解答をチェックするには、チェックページでファイルを開いてください。
- SAMPLE-SAT-01.cnf · 変数35個、節141個 · 解答
- SAMPLE-SAT-02.cnf · 変数32個、節167個 · 解答
- SAMPLE-SAT-03.cnf · 変数27個、節137個 · 解答
- SAMPLE-SAT-04.cnf · 変数28個、節155個 · 解答
- SAMPLE-SAT-05.cnf · 変数28個、節119個 · 解答
さらに読む：ブール充足可能性問題 (SAT)の参考文献。