Problem Forge
Maak elke variabele waar of onwaar, zodat elke clausule minstens één ware literal heeft. Geen clausule heeft meer dan drie literals.
(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₃)
De uitdagingen van deze maand: 3-SAT
De treden van deze maand
| trede | opgelost, alle klimmers | ingestuurde antwoorden, alle klimmers | status |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | onopgelost |
| 2026-11-3SAT-11 | 0 | 0 | onopgelost |
| 2026-11-3SAT-10 | 0 | 0 | onopgelost |
| 2026-11-3SAT-09 | 0 | 0 | onopgelost |
| 2026-11-3SAT-08 | 1 | 1 | opgelost |
| 2026-11-3SAT-07 | 1 | 1 | opgelost |
| 2026-11-3SAT-06 | 1 | 1 | opgelost |
| 2026-11-3SAT-05 | 1 | 1 | opgelost |
| 2026-11-3SAT-04 | 1 | 1 | opgelost |
| 2026-11-3SAT-03 | 1 | 1 | opgelost |
| 2026-11-3SAT-02 | 1 | 1 | opgelost |
| 2026-11-3SAT-01 | 1 | 1 | opgelost |
| 2026-11-3SAT-00 | 1 | 1 | opgelost |
Log in om je eigen voortgang te zien en de treden te openen.
Proefproblemen
Vijf proefbestanden, elk met zijn antwoord. Je hebt geen account nodig. Om je eigen antwoord te controleren, open je een bestand op de pagina Controleren.
- SAMPLE-3SAT-01.cnf · 51 variabelen, 203 clausules · antwoord
- SAMPLE-3SAT-02.cnf · 69 variabelen, 264 clausules · antwoord
- SAMPLE-3SAT-03.cnf · 41 variabelen, 159 clausules · antwoord
- SAMPLE-3SAT-04.cnf · 58 variabelen, 239 clausules · antwoord
- SAMPLE-3SAT-05.cnf · 45 variabelen, 179 clausules · antwoord
Meer lezen: bronnen voor 3-SAT.