Що робить передпольотна перевірка

FET може довго працювати безрезультатно. Одне правило, яке робить один урок нерозміщуваним, не оголошує про себе — розв'язувач просто шукає, шукає і зрештою здається або нічого не видає.

Перевірка перед запуском спочатку читає ваші правила та виконує арифметичні розрахунки. Якщо вона може довести, що розклад неможливий, вона повідомляє про це за лічені секунди та називає відповідальні правила.

Де це знаходиться

Перевірка перед запуском знаходиться поруч з обмеженнями на екрані даних розкладу. Вона доступна людям, які можуть редагувати розклад — це інструмент для особи, яка створює правила.

Кожен розділ обмежень також містить однорядковий підсумок угорі, тож ви бачите стан речей під час роботи, а не лише тоді, коли ви його шукаєте.

Звіт: вердикт, потім кожне виявлення з правилами, що стоять за ним.

Де виконуються арифметичні розрахунки

Перевірка не виконується у вашому браузері. Ваш браузер читає ваші правила та надсилає підсумок на наш сервер. Наш сервер виконує арифметичні розрахунки та надсилає результати назад.

Підсумок не містить імен. Викладачі, аудиторії, дисципліни та студентські групи передаються як числа, а ваш браузер повертає імена, перш ніж показати звіт.

Ми нічого не зберігаємо з перевірки. Перевірка знову створює звіт з ваших поточних правил щоразу, коли ви її відкриваєте.

Це має практичний наслідок, який варто знати: вона достатньо швидка, щоб використовувати її як робочий інструмент. Змініть правило, поверніться, подивіться знову.

Що вона насправді читає

Ваші обмеження, як вони є — не розв'язаний розклад. Вона ніколи не розміщує заняття і нічого не змінює.

Що вона робить, це арифметичні розрахунки щодо простору, який у вас залишився:

• Скільки годин викладач зобов'язаний працювати, порівняно з тим, скільки слотів залишається доступними для нього.
• Який час початку заняття міг би законно зайняти, після застосування кожного правила, що його стосується.
• Чи два заняття, які повинні відбутися, примусово розміщуються в одному слоті, якщо вони мають спільного викладача, аудиторію або групу.
• Чи група занять вимагає більше окремих днів, ніж містить тиждень.

Коли арифметичні розрахунки не залишають місця, це не думка про складність. Це доказ, і перевірка про це говорить.

Що з цим робити

Запустіть її перед тим, як надсилати проєкт до FET, і знову після великих змін. Чистий звіт не є обіцянкою, що FET швидко розв'яже задачу — дивіться Що вона не може вам сказати — але звіт з виявленням доведеної неможливості говорить вам, що розв'язання не може бути успішним, що варто знати до, а не після.

Звіт складається з чотирьох частин

Звіт не оцінює виявлення за їхньою серйозністю. Він сортує їх за тим, що може довести, на чотири види: Доведено неможливе, Помилки, Що робить цей файл складним та Що було запущено на цьому файлі.

Кожен вид — це вкладка, і кожна вкладка має власний лічильник. Вид, у якому нічого немає, взагалі не має вкладки, тому "тихий" файл показує менше вкладок, ніж "завантажений". Перша вкладка, що містить щось, відкривається сама по собі.

Група з багатьма виявленнями показує їх як список, а не як картки. Виберіть рядок, щоб побачити арифметичні розрахунки, що стоять за ним, поруч зі списком.

Тільки перший вид доводить, що FET не може побудувати розклад. Дивіться Чотири види виявлень.

Зв'язки

Зв'язки відповідають на інше питання: не що не так, а що пов'язано з цим викладачем.

Виберіть викладача, студентську групу або аудиторію. Ви отримаєте їхні заняття, правила, які їх називають, ресурси, з якими вони ділять аудиторію або слот, і зображення цих зв'язків. Виберіть будь-який вузол на зображенні, щоб перемістити вигляд до нього.

Колір вузла вказує на те, що це — викладач, студентська група, аудиторія або правило. Кільце навколо вузла означає, що перевірка щось виявила щодо нього. Суцільне червоне кільце позначає помилку. Переривчасте бурштинове кільце позначає попередження. Більшість файлів взагалі не мають кілець, і це нормальний стан.

Переривчаста сіра лінія між двома правилами означає, що вони говорять одне й те саме двічі.

Сутності, до яких нічого не прикріплено, приховані, доки ви їх не запитаєте, оскільки великий файл оголошує багато таких, що не містять занять.

Куди далі

• Чотири види виявлень — що насправді обіцяє кожен вид.
• Виправлення того, що вона знаходить
• Що вона не може вам сказати