Какво не може да ви каже

Проверката е умишлено консервативна. Знанието къде спира е това, което ви позволява да се доверите на частта, която не спира.

Чистият доклад не е обещание за решение

Проверката доказва невъзможност. Тя не може да докаже възможност.

Всичко, до което може да достигне, е наред. Дали FET след това ще намери подредба и колко време ще отнеме, е различен въпрос, на който отговаря само решаването.

Едно разписание може да премине всяка проверка тук и пак да бъде наистина трудно — защото трудността е свързана с това как изборите си взаимодействат между хиляди занятия, а не с това, че някой отделен брой е недостатъчен.

Числото за трудност е индикатор

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

Високото число е причина да погледнете къде е напрежението, а не причина да очаквате провал.

Някои преброявания зависят от вашия режим на решаване

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

Това, което спира, е всичко, което брои седмица. Часове на седмица спрямо слотовете, които седмицата съдържа, колко дни трябва да обхваща даден предмет, пропуските между занятията в една седмица. В режим на срокове седмицата не е единицата, на която прилича, и преброяване, прочетено през целия списък с дни, би казало, че имате ПОВЕЧЕ място, отколкото всъщност имате. Това е единствената посока, в която едно доказателство никога не трябва да греши, затова тези проверки се задържат, вместо да се гадаят.

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

Ако даден раздел докладва по-малко открития, отколкото сте очаквали, режимът си струва да бъде проверен преди правилата. Вижте Режими на решаване.

Някои неща отсъстват нарочно

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

По-общо: когато проверката не може да реши, тя не казва нищо, вместо да гадае. Това мълчание е съзнателен избор и е причината на доказано невъзможно откритие да може да се вярва без проверка.

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

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

Проверката отговаря на въпроса може ли това да бъде изградено. Дали трябва да бъде, все още зависи от вас.

Къде да продължите

• Какво прави предварителната проверка
• Четирите вида открития
• Прозрения — за формата на вече съществуващо разписание.