Как проверката се различава от автоматичното генериране на разписание с FET
FET търси подредба, а проверката отчита резултатите; едното може да ви каже за секунди, че разписанието е невъзможно, докато другото изобщо не може.
Хората често питат защо просто не натиснат генериране във FET и да видят какво ще се случи. Можете. Това обяснява какво добавя проверката и какво не.
FET търси. Проверката брои.
FET изпробва подредби. Много добър е в това. Но търсене, което се провали, ви казва само, че това търсене се е провалило. То не може да разграничи "вашите правила правят това невъзможно" от "не го намерих този път".
Проверката вместо това извършва изчисления. Тя никога не поставя занятие. Тя преброява мястото, което вашите правила оставят:
- часовете, които един преподавател дължи, спрямо оставащите му свободни часове
- началните времена, които едно занятие все още има, след като всяко правило е приложено
- дали две занятия, които трябва да се случат, са принудени да бъдат в един и същ час
- дали една група от занятия се нуждае от повече дни, отколкото седмицата съдържа
Когато един от тези броячи достигне нула, никое търсене не може да успее и никакво чакане няма да промени това.
Практическата разлика
Време. Неуспешно изпълнение на FET може да отнеме много време. Проверката отговаря за секунди.
Какво научавате от провала. FET спира, без да каже кои правила са виновни. Проверката ги назовава, а за невъзможно занятие показва кое правило кое начално време е премахнало, по ред.
Какво означава добър резултат. Успешно изпълнение на FET ви дава истинско разписание — което проверката никога не прави. Успешната проверка не ви дава никакво разписание. Тя само премахва едно обяснение за провал.
Използвайте и двете, в този ред
- Първо пуснете проверката. Ако тя докаже, че нещо е невъзможно, изпълнението на FET не може да успее, така че пускането му е загубено време, от което няма да научите нищо.
- Поправете това, което тя доказа. Тя назовава правилата и показва проследяването.
- След това оставете FET да търси. Това е частта, която само FET прави.
- Върнете резултата обратно, за да го прегледате, отпечатате и споделите.
Какво проверката не може да ви каже
⛔ Тя не може да ви каже, че едно разписание е възможно. Нищо тук не доказва това. Един файл може да премине всяка проверка и все пак да бъде труден или да изисква облекчаване на правилата, преди да се получи.
⛔ Тя не може да ви каже колко време ще отнеме на FET. Числото за трудност е показател за температурата, предназначен за сравняване на вашия собствен файл преди и след промяна, а не прогноза.
Вижте Какво не може да ви каже.