Problem Forge
اجعل كل متغيّر صحيحًا أو خطأً بحيث تحتوي كل عبارة على حرفيّة صحيحة واحدة على الأقل.
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂)
∧ (¬x₁ ∨ x₂)
∧ (x₁ ∨ ¬x₂)
∧ (¬x₁ ∨ ¬x₂)
تحديات هذا الشهر: مسألة قابلية الإرضاء البوليانية (SAT)
درجات هذا الشهر
| الدرجة | محلولة، كل المتسلّقين | الإجابات المرسلة، كل المتسلّقين | الحالة |
|---|---|---|---|
| 2026-11-SAT-12 | 0 | 0 | غير محلولة |
| 2026-11-SAT-11 | 0 | 0 | غير محلولة |
| 2026-11-SAT-10 | 0 | 0 | غير محلولة |
| 2026-11-SAT-09 | 0 | 0 | غير محلولة |
| 2026-11-SAT-08 | 1 | 1 | محلولة |
| 2026-11-SAT-07 | 1 | 1 | محلولة |
| 2026-11-SAT-06 | 1 | 1 | محلولة |
| 2026-11-SAT-05 | 1 | 1 | محلولة |
| 2026-11-SAT-04 | 1 | 1 | محلولة |
| 2026-11-SAT-03 | 1 | 1 | محلولة |
| 2026-11-SAT-02 | 1 | 1 | محلولة |
| 2026-11-SAT-01 | 1 | 1 | محلولة |
| 2026-11-SAT-00 | 1 | 1 | محلولة |
سجّل الدخول لترى تقدّمك ولتفتح الدرجات.
المسائل التجريبية
خمسة ملفات تجريبية، مع كل منها إجابته. لا تحتاج إلى حساب. للتحقق من إجابتك، افتح ملفًا في صفحة «تحقّق».
- SAMPLE-SAT-01.cnf · المتغيّرات: 35، العبارات: 141 · الإجابة
- SAMPLE-SAT-02.cnf · المتغيّرات: 32، العبارات: 167 · الإجابة
- SAMPLE-SAT-03.cnf · المتغيّرات: 27، العبارات: 137 · الإجابة
- SAMPLE-SAT-04.cnf · المتغيّرات: 28، العبارات: 155 · الإجابة
- SAMPLE-SAT-05.cnf · المتغيّرات: 28، العبارات: 119 · الإجابة