Problem Forge
Her tümcede en az bir doğru literal olacak şekilde her değişkeni doğru ya da yanlış yapın. Hiçbir tümcede üçten fazla literal yoktur.
(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₃)
Bu Ayın Meydan Okumaları: 3-SAT
Bu ayın basamakları
| basamak | çözüldü, tüm oyuncular | gönderilen yanıt, tüm oyuncular | durum |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | çözülmedi |
| 2026-11-3SAT-11 | 0 | 0 | çözülmedi |
| 2026-11-3SAT-10 | 0 | 0 | çözülmedi |
| 2026-11-3SAT-09 | 0 | 0 | çözülmedi |
| 2026-11-3SAT-08 | 1 | 1 | çözüldü |
| 2026-11-3SAT-07 | 1 | 1 | çözüldü |
| 2026-11-3SAT-06 | 1 | 1 | çözüldü |
| 2026-11-3SAT-05 | 1 | 1 | çözüldü |
| 2026-11-3SAT-04 | 1 | 1 | çözüldü |
| 2026-11-3SAT-03 | 1 | 1 | çözüldü |
| 2026-11-3SAT-02 | 1 | 1 | çözüldü |
| 2026-11-3SAT-01 | 1 | 1 | çözüldü |
| 2026-11-3SAT-00 | 1 | 1 | çözüldü |
Kendi ilerlemenizi görmek ve basamakları açmak için giriş yapın.
Deneme problemleri
Beş deneme dosyası, her biri yanıtıyla birlikte. Hesap gerekmez. Kendi yanıtınızı kontrol etmek için bir dosyayı Kontrol sayfasında açın.
- SAMPLE-3SAT-01.cnf · 51 değişken, 203 tümce · yanıt
- SAMPLE-3SAT-02.cnf · 69 değişken, 264 tümce · yanıt
- SAMPLE-3SAT-03.cnf · 41 değişken, 159 tümce · yanıt
- SAMPLE-3SAT-04.cnf · 58 değişken, 239 tümce · yanıt
- SAMPLE-3SAT-05.cnf · 45 değişken, 179 tümce · yanıt
Daha fazlası: kaynaklar (3-SAT).