Шта вам не може рећи

Провера је намерно конзервативна. Знање где се зауставља омогућава вам да верујете делу који се не зауставља.

Чист извештај није обећање решења

Провера доказује немогућност. Не може доказати могућност.

Све до чега може да дође је у реду. Да ли ће FET затим пронаћи распоред, и колико ће му времена требати, јесте друго питање на које само решавање даје одговоре.

Распоред може проћи сваку проверу овде и даље бити заиста тежак — јер се тешкоћа односи на то како избори међусобно делују кроз хиљаде часова, а не на то да ли је било који појединачни број недовољан.

Број тешкоће је индикатор

Извештај садржи оцену тешкоће, и на њему пише да је то индикатор, а не пресуда. Третирајте га као очитавање температуре: корисно за поређење вашег распореда са самим собом пре и после промене, а не као предвиђање успеха.

Висок број је разлог да се погледа где је притисак, а не разлог да се очекује неуспех.

Неко бројање зависи од вашег режима распоређивача

Већина провере ради у сваком режиму. Где час може легално да почне, шта правила остављају када се сва примене, и шта то подразумева за часове везане за њега — дан је дан и термин је термин, без обзира на режим.

Оно што се зауставља је све што броји недељу. Часови недељно у односу на термине које недеља садржи, колико дана предмет мора да се распореди, размаци између часова у недељи. У режиму термина недеља није јединица како изгледа, а бројање преко целе листе дана би рекло да имате ВИШЕ простора него што заиста имате. То је једини смер у којем доказ никада не сме бити погрешан, тако да се те провере задржавају уместо да се нагађају.

Хигијенске провере — висеће референце, правила усмерена на онемогућене делатности, дупликати — примењују се без обзира на режим у којем сте.

Ако одељак пријављује мање налаза него што сте очекивали, вреди проверити режим пре него што проверите правила. Погледајте Режими распоређивача.

Неке ствари су намерно одсутне

Правило које FET сам себи обезбеђује не пријављује се као недостајуће, јер се додаје када се датотека пише. Пријављивање тога би била стална лажна узбуна о ствари која никада заправо није погрешна.

Општије: тамо где провера не може да одлучи, она не говори ништа уместо да нагађа. Та тишина је намерни избор, и то је разлог зашто се налаз доказане немогућности може веровати без верификације.

Не проверава ваше намере

Ништа овде не зна шта је вашој школи заправо потребно. Распоред може бити доказиво могућ, брзо се решити, и ипак ставити сваки час науке у петак поподне.

Провера одговара на питање да ли се ово може изградити. Да ли треба, то је и даље на вама.

Где даље

• Шта ради претходна провера
• Четири врсте налаза
• Увиди — за облик распореда који већ постоји.