Перейти к основному содержанию
Справка Предварительная проверка

Что делает предполетная проверка

Проверка правил, показывающая, можно ли вообще построить расписание, чтобы вы не тратили вечер на выяснение.

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

Предварительная проверка сначала читает ваши правила и выполняет расчеты. Если она может доказать невозможность составления расписания, она сообщает об этом за секунды и называет ответственные правила.

Где это находится

Предварительный анализ находится рядом с ограничениями на экране данных расписания. Он доступен тем, кто может редактировать расписание — это инструмент для человека, создающего правила.

Каждый раздел ограничений также содержит однострочную сводку вверху, так что вы видите положение дел во время работы, а не только когда специально ищете.

The pre-flight check on a timetable that does not add up: what it found, where, and how long it took in your browser.
The pre-flight check on a timetable that does not add up: what it found, where, and how long it took in your browser.

Отчет: вердикт, затем каждое обнаружение с лежащими в его основе правилами.

Где выполняются расчеты

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

Сводка не содержит имен. Преподаватели, аудитории, дисциплины и группы студентов передаются в виде чисел, и ваш браузер восстанавливает имена перед отображением отчета.

Мы ничего не храним из проверки. Проверка снова формирует отчет на основе ваших текущих правил каждый раз, когда вы его открываете.

Это имеет практическое следствие, о котором стоит знать: он достаточно быстр, чтобы использовать в качестве рабочего инструмента. Измените правило, вернитесь, посмотрите снова.

Что именно он читает

Ваши ограничения, как они есть — не готовое расписание. Он никогда не размещает занятие и никогда ничего не изменяет.

Что он делает, так это выполняет расчеты по оставшимся у вас возможностям:

  • Сколько часов Преподаватель занят, по сравнению с тем, сколько слотов остаются доступными для него.
  • Какие времена начала занятие могло бы законно занять, после применения каждого правила, которое его затрагивает.
  • Вынуждены ли два занятия, которые должны произойти, попасть в один и тот же слот, если они делят Преподавателя, Аудиторию или группу студентов.
  • Требует ли группа занятий больше отдельных дней, чем содержит неделя.

Когда расчеты не оставляют места, это не мнение о сложности. Это доказательство, и проверка это подтверждает.

Что с этим делать

Запускайте его перед отправкой проекта в FET, и снова после большого изменения. Чистый отчет не является обещанием, что FET быстро найдет решение — см. Что он не может вам сказать — но отчет с обнаружением доказанной невозможности говорит вам, что решение не может быть найдено, что стоит знать до, а не после.

Отчет состоит из четырех частей

Отчет не оценивает обнаружения по степени их серьезности. Он сортирует их по тому, что может доказать, на четыре типа: Доказанная невозможность, Ошибки, Что делает этот файл сложным и Что было выполнено для этого файла.

Каждый тип — это вкладка, и каждая вкладка содержит свой счетчик. Тип, в котором ничего нет, не имеет вкладки вообще, поэтому «спокойный» файл показывает меньше вкладок, чем «загруженный». Первая вкладка, содержащая что-либо, открывается автоматически.

Группа с множеством обнаружений показывает их в виде списка, а не карточек. Выберите строку, чтобы увидеть расчеты, стоящие за ней, рядом со списком.

Только первый тип доказывает, что FET не может составить расписание. См. Четыре типа обнаружений.

Связи

Связи отвечают на другой вопрос: не что не так, а что привязано к этому преподавателю.

Выберите Преподавателя, группу студентов или Аудиторию. Вы увидите их занятия, правила, которые их называют, ресурсы, с которыми они делят Аудиторию или слот, и изображение этих связей. Выберите любой узел на изображении, чтобы переместить к нему вид.

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

Пунктирная серая линия между двумя правилами означает, что они говорят одно и то же дважды.

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

Куда идти дальше