Problem Forge
Maak elke variabele waar of onwaar, zodat elke clausule minstens één ware literal heeft.
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂)
∧ (¬x₁ ∨ x₂)
∧ (x₁ ∨ ¬x₂)
∧ (¬x₁ ∨ ¬x₂)
De uitdagingen van deze maand: Booleaans vervulbaarheidsprobleem (SAT)
De treden van deze maand
| trede | opgelost, alle klimmers | ingestuurde antwoorden, alle klimmers | status |
|---|---|---|---|
| 2026-11-SAT-12 | 0 | 0 | onopgelost |
| 2026-11-SAT-11 | 0 | 0 | onopgelost |
| 2026-11-SAT-10 | 0 | 0 | onopgelost |
| 2026-11-SAT-09 | 0 | 0 | onopgelost |
| 2026-11-SAT-08 | 1 | 1 | opgelost |
| 2026-11-SAT-07 | 1 | 1 | opgelost |
| 2026-11-SAT-06 | 1 | 1 | opgelost |
| 2026-11-SAT-05 | 1 | 1 | opgelost |
| 2026-11-SAT-04 | 1 | 1 | opgelost |
| 2026-11-SAT-03 | 1 | 1 | opgelost |
| 2026-11-SAT-02 | 1 | 1 | opgelost |
| 2026-11-SAT-01 | 1 | 1 | opgelost |
| 2026-11-SAT-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-SAT-01.cnf · 35 variabelen, 141 clausules · antwoord
- SAMPLE-SAT-02.cnf · 32 variabelen, 167 clausules · antwoord
- SAMPLE-SAT-03.cnf · 27 variabelen, 137 clausules · antwoord
- SAMPLE-SAT-04.cnf · 28 variabelen, 155 clausules · antwoord
- SAMPLE-SAT-05.cnf · 28 variabelen, 119 clausules · antwoord
Meer lezen: bronnen voor Booleaans vervulbaarheidsprobleem (SAT).