Чим перевірка відрізняється від розв’язання в FET
FET шукає варіанти розміщення, тоді як цей застосунок лише відображає вже готовий розклад.
Люди часто запитують, чому б просто не натиснути «генерувати» у FET і не подивитися, що вийде. Ви можете це зробити. Тут пояснюється, що додає перевірка і чого вона не робить.
FET шукає. Перевірка рахує.
FET випробовує варіанти. Він дуже добре з цим справляється. Але пошук, який завершився невдачею, говорить вам лише про те, що цей пошук не вдався. Він не може відрізнити «ваші правила роблять це неможливим» від «цього разу я не знайшов рішення».
Перевірка натомість виконує арифметичні розрахунки. Вона ніколи не розміщує заняття. Вона підраховує ресурси, які залишають ваші правила:
- години, які має відпрацювати викладач, порівняно з кількістю вільних слотів
- час початку заняття, який залишається після застосування кожного правила
- чи не змушені два заняття, які мають відбутися, потрапити в один і той самий слот
- чи не потребує група занять більше днів, ніж є у тижні
Коли один із цих показників досягає нуля, жоден пошук не може бути успішним, і жодне очікування цього не змінить.
Практична різниця
Час. Невдалий запуск FET може тривати довго. Перевірка відповідає за секунди.
Що ви дізнаєтеся про помилку. FET зупиняється, не вказуючи, які правила стали причиною. Перевірка називає їх, а для неможливого заняття показує, яке правило і в якому порядку виключило певний час початку.
Що означає хороший результат. Успішний запуск FET дає вам готовий Розклад — чого перевірка ніколи не робить. Успішна перевірка не дає вам Розкладу взагалі. Вона лише усуває одну з причин невдачі.
Використовуйте обидва інструменти в такому порядку
- Спочатку запустіть перевірку. Якщо вона доводить, що щось неможливо, запуск FET не може бути успішним, тому витрачати на нього час — це нічого не дізнатися.
- Виправте те, що вона довела. Вона називає правила і показує шлях їх застосування.
- Потім дозвольте FET шукати. Це частина роботи, яку виконує лише FET.
- Поверніть результат, щоб переглянути, роздрукувати та поділитися ним.
Чого перевірка не може вам сказати
⛔ Вона не може сказати, що Розклад можливий. Ніщо тут не доводить цього. Файл може пройти всі перевірки і все одно бути складним або потребувати послаблення правил перед тим, як він буде створений.
⛔ Вона не може сказати, скільки часу знадобиться FET. Показник складності — це температурний показник для порівняння вашого файлу до і після змін, а не прогноз.
Див. Чого вона не може вам сказати.