האילוץ שהופך את מערכת השעות שלך ב-FET לבלתי אפשרית
אילוץ שגוי אחד עלול להפוך קובץ FET לבלתי פתיר ולגרום לחיפוש של שעות; בדקו את הקובץ תחילה, זה בחינם ולוקח שניות.
אתם מסיימים להזין את הנתונים. אתם לוחצים על לחולל ב-FET. ואז אתם מחכים.
עוברות עשר דקות. עוברת שעה. ספירת הפעילויות המשובצות לעולם לא מגיעה לסך הכולל. בסוף, אתם עוצרים את החיול ואין לכם מערכת שעות. גרוע מכך, אתם לא יודעים למה.
הבעיה היא לעיתים קרובות אילוץ אחד
במערכת שעות בית ספרית יש מאות אילוצים. רובם נכונים. אחד מהם לא, ואתם לא יכולים לראות אותו.
לדוגמה:
- כיתה של 31 תלמידים יכולה להשתמש רק בחדרים עם 30 מקומות ישיבה.
- למורה יש 26 שעות לימוד, אך הוא זמין רק ל-24 משבצות זמן.
- כלל מסוים מותיר פעילות ללא זמן התחלה חוקי בשבוע.
- ארבעה שיעורים חייבים להתקיים בימים שונים, אך קבוצת התלמידים לומדת רק שלושה ימים בשבוע.
כל אחד מאלה הופך את מערכת השעות לבלתי אפשרית. שום סידור לא יכול לספק אותו. אבל הקובץ נראה רגיל. FET פותחת אותו ומתחילה לחפש.
מדוע החיפוש לא אומר לכם
FET טובה מאוד בעבודתה. היא מחפשת סידור שמציית לכל אילוץ. FET דוחה קבצים מסוימים מיד. עבור בעיות רבות אחרות, היא מתחילה חיפוש שלא יכול להצליח.
חיפוש שנכשל אומר לכם רק דבר אחד: החיפוש הזה לא מצא סידור. הוא לא יכול להבחין בין "האילוצים שלכם הופכים את זה לבלתי אפשרי" לבין "לא מצאתי הפעם". אז אתם משנים משקל, מנסים שוב, ומחכים שוב.
לשם הולכות השעות. הזמן מושקע בחיפוש שלעולם לא יכול היה להצליח, לא בפתרון.
קודם לספור, אחר כך לחפש
יש שאלה מהירה יותר לשאול לפני שאתם מחוללים: האם מערכת השעות הזו אפשרית בכלל?
השאלה הזו לא דורשת חיפוש. היא דורשת חשבון. הבדיקה קוראת את האילוצים שלכם וסופרת את המרחב שהם מותירים:
- השעות שמורה חייב ללמד, מול משבצות הזמן שנותרו פנויות
- זמני ההתחלה שעדיין יש לפעילות, לאחר שכל הכללים הוחלו
- האם שני שיעורים שחייבים להתקיים נדחקים לאותה משבצת זמן
- האם קבוצת שיעורים זקוקה ליותר ימים משיש בשבוע
כאשר אחת מהספירות הללו מגיעה לאפס, מערכת השעות היא בלתי אפשרית. זה לא ניחוש לגבי הקושי. זוהי הוכחה, והבדיקה מספקת אותה תוך שניות.
הבדיקה מציינת את הכלל
הוכחה מועילה רק כאשר אפשר לפעול על פיה. כל ממצא אומר מה לא בסדר, במילים פשוטות, ומציין את הכללים המעורבים.
בדוגמה שלעיל, למתמטיקה · ט'1 יש 31 תלמידים. החדר הגדול ביותר שאילוץ חדר מועדף לפעילות מאפשר מכיל 30 מקומות ישיבה. התיקון ברור: לאפשר חדר גדול יותר, או לפצל את הכיתה.
הממצאים מחולקים לקבוצות. הוכח כבלתי אפשרי מכילה את הבעיות שאף פותר לא יכול לעקוף. הקבוצות האחרות מכילות טעויות סבירות ודברים שמקשים על הקובץ. קראו עוד בארבעת סוגי הממצאים.
שני מקומות להשתמש בזה
ללא חשבון: כלי העזר של FET. היכנסו ל-fetviewer.com/check ובחרו את קובץ ה-.fet שלכם. זה בחינם ואין הגבלה על בדיקות חוזרות. הקובץ שלכם נשאר במחשב שלכם. הדפדפן שלכם שולח רק סיכום לשרת שלנו, והסיכום אינו מכיל שמות: מורים, חדרים וקבוצות תלמידים מועברים כמספרים. אנחנו לא שומרים דבר. ראו בדיקת קובץ ללא חשבון.
בתוך החשבון שלכם: בדיקה מקדימה. כאשר אתם מייבאים את מערכת השעות שלכם, עמוד הבדיקה המקדימה נמצא עם האילוצים במסך הנתונים. כל מקטע אילוצים מציג גם סיכום בן שורה אחת בראשו. שנו אילוץ, ובדקו שוב תוך כדי עבודה. ראו מה עושה הבדיקה המקדימה.
מה הבדיקה לא יכולה לומר לכם
הבדיקה מוכיחה את המקרים הבלתי אפשריים. היא לא יכולה להוכיח שקובץ אכן ייפתר, והיא לא יכולה לומר לכם כמה זמן ייקח ל-FET. בדיקה נקייה מסירה סיבה אחת לכישלון. החיפוש הוא עדיין עבודתה של FET.
לכן, השתמשו בשניהם, בסדר הזה:
- בדקו את הקובץ.
- תקנו את מה שהבדיקה מוכיחה.
- לאחר מכן, תנו ל-FET לחפש.
קראו את ההשוואה המלאה בבמה הבדיקה שונה מלתת ל-FET לפתור.
לפני ההמתנה הארוכה הבאה
בפעם הבאה שחיול רץ זמן רב מדי, עצרו אותו. בדקו את הקובץ קודם. אם אילוץ הופך את מערכת השעות לבלתי אפשרית, תגלו זאת תוך שניות, ותראו איזה מהם.