Problem Forge
Torne cada variável verdadeira ou falsa de modo que toda cláusula tenha pelo menos um literal verdadeiro.
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂)
∧ (¬x₁ ∨ x₂)
∧ (x₁ ∨ ¬x₂)
∧ (¬x₁ ∨ ¬x₂)
Desafios deste mês: Satisfatibilidade booleana (SAT)
Os degraus deste mês
| degrau | resolvido, todos os escaladores | respostas enviadas, todos os escaladores | situação |
|---|---|---|---|
| 2026-11-SAT-12 | 0 | 0 | não resolvido |
| 2026-11-SAT-11 | 0 | 0 | não resolvido |
| 2026-11-SAT-10 | 0 | 0 | não resolvido |
| 2026-11-SAT-09 | 0 | 0 | não resolvido |
| 2026-11-SAT-08 | 1 | 1 | resolvido |
| 2026-11-SAT-07 | 1 | 1 | resolvido |
| 2026-11-SAT-06 | 1 | 1 | resolvido |
| 2026-11-SAT-05 | 1 | 1 | resolvido |
| 2026-11-SAT-04 | 1 | 1 | resolvido |
| 2026-11-SAT-03 | 1 | 1 | resolvido |
| 2026-11-SAT-02 | 1 | 1 | resolvido |
| 2026-11-SAT-01 | 1 | 1 | resolvido |
| 2026-11-SAT-00 | 1 | 1 | resolvido |
Entre para ver o seu próprio progresso e abrir os degraus.
Problemas de amostra
Cinco arquivos de amostra, cada um com a resposta. Você não precisa de conta. Para verificar sua própria resposta, abra um arquivo na página Verificar.
- SAMPLE-SAT-01.cnf · variáveis: 35, cláusulas: 141 · resposta
- SAMPLE-SAT-02.cnf · variáveis: 32, cláusulas: 167 · resposta
- SAMPLE-SAT-03.cnf · variáveis: 27, cláusulas: 137 · resposta
- SAMPLE-SAT-04.cnf · variáveis: 28, cláusulas: 155 · resposta
- SAMPLE-SAT-05.cnf · variáveis: 28, cláusulas: 119 · resposta
Leia mais: referências sobre Satisfatibilidade booleana (SAT).