Чотири види пошуку
Перевірка розподіляє всі виявлені проблеми на чотири види, причому лише перший з них доводить, що FET не може побудувати розклад.
Більшість інструментів перевірки сортують свої знахідки за їхньою серйозністю. Цей сортує їх за тим, що він може довести. Звіт показує чотири типи, завжди в такому порядку.
Кожен тип — це вкладка з власним лічильником. Тип, який нічого не знайшов, не має вкладки, тому ви не побачите порожньої.
Доведено неможливість
На екрані: Арифметика, а не припущення.
Перевірка знаходить кожне виявлення тут шляхом підрахунку. Вона порівнює зарезервовані години з вільними слотами. Вона зводить дозволені часи початку заняття до нуля. Вона знаходить два заняття, які повинні відбуватися одночасно і мати спільного викладача.
Ви можете діяти за цими висновками, не перевіряючи їх самостійно. Якщо звіт говорить, що заняття не має дозволеного часу початку, розв'язувач також не зможе його знайти.
Це договір інструменту. Перевірка ніколи не повідомляє про знахідку, яку вона не може довести. Інструмент, який видає одну хибну тривогу, — це інструмент, якому ви перестаєте вірити.
Помилки
На екрані: Щось тут, ймовірно, не те, що ви мали на увазі.
Ці знахідки не зупиняють розв'язання. Вони показують, що ваші правила говорять щось, що ви, ймовірно, не мали на увазі.
- Правило вказує на щось, чого більше не існує.
- Правило націлене на заняття, яке ви вимкнули.
- Два правила говорять абсолютно одне й те саме.
- М'яка перевага ніколи не може бути застосована, тому FET ігнорує її.
Жодне з цього не робить розклад неможливим. Правила, які ніхто не розуміє, спричиняють таємниці наступного семестру.
Що ускладнює цей файл
На екрані: Це не проблема. Це робота, яку має виконати розв'язувач.
Тут немає нічого неправильного. Цей тип описує тиск у вашому файлі. Він називає заняття, для яких майже не залишилося місця. Він називає ті частини тижня, які є щільними.
⚠ Прочитайте цей тип, перш ніж робити тиждень щільнішим.
Заголовок змінюється для розв'язаного файлу. Тоді він читається як Що ускладнило цей файл, тому що робота завершена.
Що було виконано з цим файлом
На екрані: Типи правил, які ми перераховуємо та рахуємо, ніколи не оцінюємо.
Цей тип є тихим, і він звітує про саму перевірку, а не про ваш файл. Він перераховує типи правил, які він підрахував. Він повідомляє вам, коли ваш режим розв'язувача зупиняє виконання перевірки. Він повідомляє вам, коли перевірка зупинилася раніше на дуже великому файлі.
Прочитайте цей тип, коли звіт виглядає порожнішим, ніж ви очікували. Зазвичай він пояснює, чому.
Відсутня вкладка не є гарантією
Перевірка повідомляє те, що може довести. З цього не випливає, що все інше є правильним.
Відсутність вкладки "Доведено неможливість" означає "нічого не було доведено як неможливе". Це не означає "це буде розв'язано".
⚠ Це найважливіше речення на сторінці, і екран дозволяє легко його пропустити: вкладка просто відсутня, тому немає чого читати і немає на що натискати. Відсутність — це хороший результат, а не повний.
Розклад може бути можливим з точки зору арифметики і все одно займати багато часу у FET. Йому все ще можуть знадобитися послаблені правила, перш ніж він буде створений. Дивіться Що він не може вам сказати.