Problem Forge
Rendez chaque variable vraie ou fausse de sorte que chaque clause ait au moins un littéral vrai. Aucune clause n'a plus de trois littéraux.
(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₃)
Les échelons du mois
| échelon | résolus, tous les grimpeurs | réponses envoyées, tous les grimpeurs | état |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | non résolu |
| 2026-11-3SAT-11 | 0 | 0 | non résolu |
| 2026-11-3SAT-10 | 0 | 0 | non résolu |
| 2026-11-3SAT-09 | 0 | 0 | non résolu |
| 2026-11-3SAT-08 | 1 | 1 | résolu |
| 2026-11-3SAT-07 | 1 | 1 | résolu |
| 2026-11-3SAT-06 | 1 | 1 | résolu |
| 2026-11-3SAT-05 | 1 | 1 | résolu |
| 2026-11-3SAT-04 | 1 | 1 | résolu |
| 2026-11-3SAT-03 | 1 | 1 | résolu |
| 2026-11-3SAT-02 | 1 | 1 | résolu |
| 2026-11-3SAT-01 | 1 | 1 | résolu |
| 2026-11-3SAT-00 | 1 | 1 | résolu |
Connectez-vous pour voir votre progression et ouvrir les échelons.
Problèmes d'essai
Cinq fichiers de problèmes d'essai, chacun avec sa réponse. Vous n'avez pas besoin de compte. Pour vérifier votre propre réponse, ouvrez un fichier sur la page « Vérifier ».
- SAMPLE-3SAT-01.cnf · 51 variables, 203 clauses · réponse
- SAMPLE-3SAT-02.cnf · 69 variables, 264 clauses · réponse
- SAMPLE-3SAT-03.cnf · 41 variables, 159 clauses · réponse
- SAMPLE-3SAT-04.cnf · 58 variables, 239 clauses · réponse
- SAMPLE-3SAT-05.cnf · 45 variables, 179 clauses · réponse
Pour aller plus loin : références pour 3-SAT.