Что он не может вам сказать

Проверка намеренно консервативна. Знание того, где она останавливается, позволяет доверять той части, которая не останавливается.

Чистый отчет не является обещанием решения

Проверка доказывает невозможность. Она не может доказать возможность.

Все, до чего она может дотянуться, оказалось в порядке. Найдет ли FET затем расписание и сколько времени это займет — это другой вопрос, на который отвечает только процесс решения.

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

Показатель сложности является индикатором

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

Высокое число — это повод посмотреть, где находится давление, а не повод ожидать неудачи.

Некоторые подсчеты зависят от режима решателя

Большая часть проверки работает в любом режиме. Где занятие может законно начаться, что остается от правил после их применения, и что это означает для связанных с ним занятий — день есть день, а временной интервал есть временной интервал, независимо от режима.

Останавливается все, что считает неделю. Часы в неделю по отношению к временным интервалам, которые содержит неделя, сколько дней должна охватывать дисциплина, промежутки между занятиями в течение недели. В режиме «Семестры» неделя не является той единицей, которой кажется, и подсчет по всему списку дней показал бы, что у вас БОЛЬШЕ места, чем есть на самом деле. Это единственное направление, в котором доказательство никогда не должно быть ошибочным, поэтому эти проверки откладываются, а не угадываются.

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

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

Некоторые вещи отсутствуют намеренно

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

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

Она не проверяет ваши намерения

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

Проверка отвечает на вопрос: можно ли это построить. Должно ли это быть — по-прежнему решать вам.

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

• Что делает предварительная проверка
• Четыре типа результатов
• Аналитика — для формы уже существующего расписания.