Problem Forge
קבעו לכל משתנה אמת או שקר, כך שבכל פסוקית יהיה לפחות ליטרל אחד שהוא אמת. בכל פסוקית יש לכל היותר שלושה ליטרלים.
(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₃)
השלבים של החודש
| שלב | נפתרו, כל המטפסים | תשובות שנשלחו, כל המטפסים | מצב |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | לא נפתר |
| 2026-11-3SAT-11 | 0 | 0 | לא נפתר |
| 2026-11-3SAT-10 | 0 | 0 | לא נפתר |
| 2026-11-3SAT-09 | 0 | 0 | לא נפתר |
| 2026-11-3SAT-08 | 1 | 1 | נפתר |
| 2026-11-3SAT-07 | 1 | 1 | נפתר |
| 2026-11-3SAT-06 | 1 | 1 | נפתר |
| 2026-11-3SAT-05 | 1 | 1 | נפתר |
| 2026-11-3SAT-04 | 1 | 1 | נפתר |
| 2026-11-3SAT-03 | 1 | 1 | נפתר |
| 2026-11-3SAT-02 | 1 | 1 | נפתר |
| 2026-11-3SAT-01 | 1 | 1 | נפתר |
| 2026-11-3SAT-00 | 1 | 1 | נפתר |
התחברו כדי לראות את ההתקדמות שלכם ולפתוח את השלבים.
בעיות ניסיון
חמישה קובצי ניסיון, ולכל אחד מצורפת התשובה שלו. לא צריך חשבון. כדי לבדוק את התשובה שלכם, פתחו קובץ בדף "בדיקה".
- SAMPLE-3SAT-01.cnf · 51 משתנים, 203 פסוקיות · תשובה
- SAMPLE-3SAT-02.cnf · 69 משתנים, 264 פסוקיות · תשובה
- SAMPLE-3SAT-03.cnf · 41 משתנים, 159 פסוקיות · תשובה
- SAMPLE-3SAT-04.cnf · 58 משתנים, 239 פסוקיות · תשובה
- SAMPLE-3SAT-05.cnf · 45 משתנים, 179 פסוקיות · תשובה
לקריאה נוספת: מקורות על 3-SAT.