تفاوت بررسی با حل خودکار توسط FET
نرم‌افزار FET برای یافتن یک زمان‌بندی جستجو می‌کند، در حالی که این برنامه تنها برای مشاهده و ویرایش زمان‌بندی آماده‌شده کاربرد دارد.
افراد اغلب می‌پرسند چرا نباید به سادگی دکمه تولید (generate) را در FET فشار دهند و ببینند چه اتفاقی می‌افتد. شما می‌توانید این کار را انجام دهید. این متن توضیح می‌دهد که بررسی (check) چه چیزی اضافه می‌کند و چه کاری انجام نمی‌دهد.
FET جستجو می‌کند. بررسی، شمارش می‌کند.
FET چیدمان‌ها را امتحان می‌کند. در این کار بسیار خوب است. اما جستجویی که شکست می‌خورد فقط به شما می‌گوید که این جستجو شکست خورده است. نمی‌تواند بین «قوانین شما این کار را غیرممکن می‌کند» و «این بار آن را پیدا نکردم» تمایز قائل شود.
بررسی، محاسبات ریاضی انجام می‌دهد. هرگز درسی را جای‌گذاری نمی‌کند. بلکه فضای باقی‌مانده توسط قوانین شما را می‌شمارد:
- ساعات موظفی یک استاد در برابر زمان‌های باقی‌مانده برای او
- زمان‌های شروعی که یک درس پس از اعمال تمام قوانین هنوز در اختیار دارد
- اینکه آیا دو درسی که هر دو باید برگزار شوند، به اجبار در یک زمان قرار گرفته‌اند
- اینکه آیا گروهی از درس‌ها به روزهای بیشتری نسبت به آنچه در هفته وجود دارد نیاز دارند
هنگامی که یکی از این شمارش‌ها به صفر می‌رسد، هیچ جستجویی نمی‌تواند موفق شود و هیچ مقدار منتظر ماندن، آن را تغییر نمی‌دهد.
تفاوت عملی
زمان. اجرای ناموفق FET می‌تواند زمان زیادی بگیرد. بررسی در چند ثانیه پاسخ می‌دهد.
آنچه از یک شکست می‌آموزید. FET بدون گفتن اینکه کدام قوانین مقصر بوده‌اند متوقف می‌شود. بررسی آن‌ها را نام می‌برد و برای یک درس غیرممکن، نشان می‌دهد که کدام قانون، کدام زمان شروع را حذف کرده است، به ترتیب.
نتیجه خوب به چه معناست. اجرای موفق FET یک برنامه زمانی واقعی به شما می‌دهد — کاری که بررسی هرگز انجام نمی‌دهد. یک بررسی موفق، هیچ برنامه زمانی به شما نمی‌دهد. فقط یک دلیل برای شکست را حذف می‌کند.
از هر دو استفاده کنید، به این ترتیب
- ابتدا بررسی را اجرا کنید. اگر ثابت کند چیزی غیرممکن است، اجرای FET نمی‌تواند موفق شود، بنابراین اجرای آن، صرف وقت برای یادگیری هیچ است.
- آنچه را ثابت کرده است اصلاح کنید. قوانین را نام می‌برد و مسیر را نشان می‌دهد.
- سپس اجازه دهید FET جستجو کند. این بخشی است که فقط FET انجام می‌دهد.
- نتیجه را بازگردانید تا مشاهده، چاپ و به اشتراک بگذارید.
آنچه بررسی نمی‌تواند به شما بگوید
⛔ نمی‌تواند به شما بگوید که یک برنامه زمانی ممکن است. هیچ چیزی در اینجا ثابت نمی‌کند که ممکن است. یک فایل می‌تواند تمام بررسی‌ها را پشت سر بگذارد و همچنان دشوار باشد، یا نیاز داشته باشد قبل از نهایی شدن، قوانین آن تعدیل شوند.
⛔ نمی‌تواند به شما بگوید FET چقدر زمان خواهد برد. عدد دشواری، یک خوانش دمایی برای مقایسه فایل خودتان قبل و بعد از تغییر است، نه یک پیش‌بینی.
ببینید آنچه نمی‌تواند به شما بگوید.