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