כיצד הבדיקה שונה ממתן אפשרות ל-FET לפתור
FET מחפשת סידור, בעוד שהבדיקה סופרת; האחת יכולה לומר לך תוך שניות שמערכת שעות היא בלתי אפשרית, בעוד שהשנייה אינה יכולה לומר זאת כלל.
אנשים שואלים לעיתים קרובות מדוע לא פשוט ללחוץ על "יצירה" ב-FET ולראות מה קורה. אתם יכולים. הסבר זה מפרט מה הבדיקה מוסיפה, ומה היא לא עושה.
FET מחפש. הבדיקה סופרת.
FET מנסה סידורים. הוא טוב מאוד בזה. אבל חיפוש שנכשל אומר לכם רק שהחיפוש הזה נכשל. הוא לא יכול להבדיל בין "הכללים שלך הופכים זאת לבלתי אפשרי" לבין "לא מצאתי את זה הפעם".
הבדיקה מבצעת חישובים במקום זאת. היא לעולם לא מציבה שיעור. היא סופרת את המקום שהכללים שלכם מותירים:
- השעות שמורה חייב לעומת המשבצות שנותרו לו
- זמני ההתחלה שנותרו לשיעור לאחר החלת כל כלל
- האם שני שיעורים שחייבים להתקיים נדחקים לאותה משבצת
- האם קבוצת שיעורים דורשת יותר ימים ממה שיש בשבוע
כאשר אחד מהחישובים הללו מגיע לאפס, שום חיפוש לא יכול להצליח, ושום כמות של המתנה לא תשנה זאת.
ההבדל המעשי
זמן. הרצה כושלת של FET יכולה לקחת זמן רב. הבדיקה עונה בשניות.
מה לומדים מכישלון. FET עוצר מבלי לומר אילו כללים היו אשמים. הבדיקה מציינת אותם בשמם, ועבור שיעור בלתי אפשרי היא מראה איזה כלל הסיר איזה זמן התחלה, לפי סדר.
מה משמעות תוצאה טובה. הרצה של FET שמצליחה נותנת לכם מערכת שעות אמיתית — דבר שהבדיקה לעולם לא עושה. בדיקה תקינה לא נותנת לכם מערכת שעות כלל. היא רק מסירה הסבר אחד לכישלון.
השתמשו בשניהם, לפי הסדר הזה
- הריצו את הבדיקה תחילה. אם היא מוכיחה שמשהו בלתי אפשרי, הרצה של FET לא יכולה להצליח, לכן הרצה כזו היא זמן מבוזבז שלא מלמד דבר.
- תקנו את מה שהוכח. היא מציינת את הכללים ומראה את עקבות הבעיה.
- אז תנו ל-FET לחפש. זה החלק שרק FET עושה.
- הביאו את התוצאה בחזרה כדי לצפות, להדפיס ולשתף.
מה הבדיקה לא יכולה לומר לכם
⛔ היא לא יכולה לומר לכם שמערכת שעות היא אפשרית. שום דבר כאן לא מוכיח זאת. קובץ יכול לעבור כל בדיקה ועדיין להיות קשה לביצוע, או לדרוש הקלה בכללים לפני שהוא יסתדר.
⛔ היא לא יכולה לומר לכם כמה זמן FET ייקח. מספר הקושי הוא קריאת טמפרטורה להשוואת הקובץ שלכם לפני ואחרי שינוי, לא תחזית.