כל חידה שאנו מגישים מאומתת במכונה
איננו רק מקווים שהחידות שלנו הוגנות — אנו מוכיחים זאת בעזרת פתרן שרץ בנפרד מהמחולל. למטה הנתונים האמיתיים שמאחורי כל תג אחריות, וכיצד לשחזר אותם בעצמך.
פריסל — 99.9992% מהחלוקות ניתנות לניצחון
אנו ממספרים את החלוקות בדיוק כמו פריסל המקורי של מיקרוסופט (מ-1 עד 1,000,000), כך שכל משחק מתיישר עם עשורים של רשומות פריסל. מתוך המיליון הראשון, רק 8 חלוקות לעולם אינן ניתנות לניצחון — והפתרן שלנו מוכיח כל אחת כבלתי פתירה על ידי מיצוי כל עץ המשחק. לעולם איננו מגישים אותן: כל חלוקה בסבב נבדקת שלוש פעמים (חלוקה ← פתרון ← שחזור).
חלוקה #11982 — משחק הפריסל הבלתי פתיר המפורסם ביותר — מוכחת כבלתי פתירה ב-61,643 צמתי חיפוש.
| חלוקה מס’ | צמתים להוכחת אי-פתירות |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
כרגע אנו מגישים 768 חלוקות מאומתות — 0 בלתי פתירות, 0 לא מאומתות.
שולה המוקשים — בלי ניחוש, אף פעם
כל לוח ניתן לניקוי בהיגיון טהור מהלחיצה הראשונה. בלי הטלות מטבע של 50/50. אנו מייצרים לוחות מועמדים ופוסלים כל לוח שיכריח לנחש — במומחה זה אומר לפסול כ-89% מהם.
| רמת קושי | לוחות שהיו מכריחים לנחש (נפסלו) |
|---|---|
| קל 9×99×9 / 10 | 7% |
| בינוני 16×1616×16 / 40 | 38.8% |
| קשה 30×1630×16 / 99 | 89% |
100% · בלי ניחושים — פתיר בלוגיקה בלבד ✓
נונוגרם — בדיוק פתרון אחד
לכל תמונה פתרון יחיד שאפשר להגיע אליו בהיגיון שורה-אחר-שורה בלבד. בניגוד לאינטואיציה, את הרשתות הקטנות הכי קשה להפוך ליחידות — אנו פוסלים כ-88% ממועמדי 5×5.
| גודל | מועמדים ללא פתרון יחיד בהיגיון שורות (נפסלו) |
|---|---|
| קל 5×55×5 | 87.6% |
| בינוני 10×1010×10 | 68.9% |
| קשה 15×1515×15 | 49.6% |
100% · פתרון יחיד — פתיר בהיגיון בלבד ✓
Water Sort — ה"par" הוא המינימום האמיתי
כל שלב פתיר, וה-par שאנו מציגים הוא מספר המהלכים הקטן ביותר האפשרי במדויק — מוכח על ידי פתרן A*, לא מוערך. שלבים קשים יותר דורשים יותר: קשה נע בין 21–35 מהלכים.
| רמת קושי | מספר המהלכים הקטן ביותר (מוכח כאופטימלי) |
|---|---|
| קל (7 מבחנות)5 colors / 7 tubes | 8–16 (avg 11.8) |
| בינוני (10 מבחנות)8 colors / 10 tubes | 15–23 (avg 18.8) |
| קשה (14 מבחנות)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · כל לוח פתיר — המהלכים האופטימליים מוצגים ✓
איך לבדוק זאת בעצמך
שני כללים שומרים על יושרן של האחריות הללו. ראשית, הפתרן עצמאי מהמחולל — מחולל לעולם אינו מעריך את עבודתו שלו. שנית, הכול ניתן לשחזור: הרץ node scripts/guarantee-stats.mjs ותקבל את אותם גדלי הוכחה. כל פתרן פתוח בבסיס הקוד שלנו.
הנתונים נוצרו ב-2026-07-26.
שאלות נפוצות
האם כל משחקי פריסל ניתנים לניצחון?
כמעט כולם. מתוך 1,000,000 החלוקות הממוספרות הראשונות, בדיוק 8 בלתי פתירות — כ-99.9992% ניתנות לניצחון. אנו מוכיחים את כל ה-8 כבלתי פתירות בפתרן שלנו ולעולם איננו מגישים אותן.
אילו חלוקות פריסל בלתי אפשריות לניצחון?
במיליון הראשון: #11982, #146692, #186216, #455889, #495505, #512118, #517776 ו-#781948. #11982 היא החלוקה הבלתי פתירה היחידה מבין 32,000 הראשונות של מיקרוסופט.
מה משמעות שולה המוקשים בלי ניחוש?
כל לוח ניתן לפתרון בהיגיון בלבד — לעולם אינך מגיע למקום שבו לשתי משבצות סיכוי שווה להיות מוקש ועליך לנחש. לוחות שהיו מכריחים לנחש נפסלים לפני שאנו מגישים אותם.
האם לכל נונוגרם יש פתרון יחיד?
כן. כל חידה מאומתת שיש לה בדיוק פתרון אחד, שאפשר להגיע אליו בהיגיון שורה-אחר-שורה — כך שלעולם אינך צריך לנחש או לחזור אחורה מענף שגוי.
האם מספר המהלכים ב-Water Sort הוא המינימום האמיתי?
כן. ה-par מחושב על ידי פתרן A* מדויק כמספר המהלכים המוכח הקטן ביותר לאותו שלב, לא קירוב.