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 פסוקיות · תשובה
לקריאה נוספת: מקורות על בעיית הספיקות הבוליאנית (SAT).