Problem Forge
Mache jede Variable wahr oder falsch, sodass jede Klausel mindestens ein wahres Literal hat. Keine Klausel hat mehr als drei Literale.
(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₃)
Die Herausforderungen dieses Monats: 3-SAT
Die Sprossen dieses Monats
| Sprosse | gelöst, alle Kletterer | gesendete Antworten, alle Kletterer | Status |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | ungelöst |
| 2026-11-3SAT-11 | 0 | 0 | ungelöst |
| 2026-11-3SAT-10 | 0 | 0 | ungelöst |
| 2026-11-3SAT-09 | 0 | 0 | ungelöst |
| 2026-11-3SAT-08 | 1 | 1 | gelöst |
| 2026-11-3SAT-07 | 1 | 1 | gelöst |
| 2026-11-3SAT-06 | 1 | 1 | gelöst |
| 2026-11-3SAT-05 | 1 | 1 | gelöst |
| 2026-11-3SAT-04 | 1 | 1 | gelöst |
| 2026-11-3SAT-03 | 1 | 1 | gelöst |
| 2026-11-3SAT-02 | 1 | 1 | gelöst |
| 2026-11-3SAT-01 | 1 | 1 | gelöst |
| 2026-11-3SAT-00 | 1 | 1 | gelöst |
Melde dich an, um deinen eigenen Fortschritt zu sehen und die Sprossen zu öffnen.
Probeaufgaben
Fünf Dateien mit Probeaufgaben, jede mit ihrer Antwort. Du brauchst kein Konto. Um deine eigene Antwort zu prüfen, öffne eine Datei auf der Seite „Prüfen“.
- SAMPLE-3SAT-01.cnf · 51 Variablen, 203 Klauseln · Antwort
- SAMPLE-3SAT-02.cnf · 69 Variablen, 264 Klauseln · Antwort
- SAMPLE-3SAT-03.cnf · 41 Variablen, 159 Klauseln · Antwort
- SAMPLE-3SAT-04.cnf · 58 Variablen, 239 Klauseln · Antwort
- SAMPLE-3SAT-05.cnf · 45 Variablen, 179 Klauseln · Antwort
Mehr dazu: Literatur zu 3-SAT.