Šta vam ne može reći

Provjera je namjerno konzervativna. Znajući gdje se zaustavlja, možete vjerovati dijelu koji se ne zaustavlja.

Čist izvještaj nije obećanje rješenja

Provjera dokazuje nemogućnost. Ne može dokazati mogućnost.

Sve što može dosegnuti je u redu. Hoće li FET zatim pronaći raspored, i koliko će mu trebati, druga je stvar na koju samo rješavanje daje odgovor.

Raspored može proći svaku provjeru ovdje i još uvijek biti istinski težak — jer se poteškoća odnosi na to kako se izbori međusobno djeluju kroz hiljade časova, a ne na to da je bilo koji pojedinačni broj prekratak.

Broj poteškoće je pokazatelj

Izvještaj sadrži ocjenu poteškoće, i na njemu piše da je to pokazatelj, a ne presuda. Tretirajte to kao mjerenje temperature: korisno za poređenje vašeg rasporeda sa samim sobom prije i poslije promjene, a ne kao predviđanje uspjeha.

Visok broj je razlog da pogledate gdje je pritisak, a ne razlog za očekivanje neuspjeha.

Neko brojanje zavisi od vašeg načina rada rješavača

Većina provjera radi u svakom načinu rada. Gdje čas može legalno početi, šta pravila ostavljaju kada se sva primijene, i šta to implicira za časove vezane za njega — dan je dan i termin je termin, bez obzira na način rada.

Ono što se zaustavlja je sve što broji sedmicu. Sati sedmično u odnosu na termine koje sedmica sadrži, koliko dana se predmet mora rasporediti, razmaci između časova u sedmici. U načinu rada "Termini" sedmica nije jedinica kakvom se čini, a brojanje preko cijele liste dana bi reklo da imate VIŠE prostora nego što imate. To je jedini smjer u kojem dokaz nikada ne smije biti pogrešan, pa se te provjere zadržavaju umjesto da se nagađaju.

Higijenske provjere — viseće reference, pravila usmjerena na isključene aktivnosti, duplikati — primjenjuju se bez obzira na način rada u kojem ste.

Ako odjeljak prijavljuje manje nalaza nego što ste očekivali, vrijedi provjeriti način rada prije pravila. Pogledajte Načini rada rješavača.

Neke stvari su namjerno odsutne

Pravilo koje FET sam sebi obezbjeđuje ne prijavljuje se kao nedostajuće, jer se dodaje kada se datoteka piše. Prijavljivanje bi bila trajna lažna uzbuna o nečemu što nikada zapravo nije pogrešno.

Općenitije: tamo gdje provjera ne može odlučiti, ne govori ništa umjesto da nagađa. Ta tišina je namjeran izbor, i to je razlog zašto se dokazano-nemoguć nalaz može vjerovati bez provjere.

Ne provjerava vaše namjere

Ništa ovdje ne zna šta vaša škola zapravo treba. Raspored može biti dokazano moguć, brzo se riješiti, i još uvijek staviti svaki čas nauke u petak poslijepodne.

Provjera odgovara na pitanje može li se ovo izgraditi. Da li bi trebalo, još uvijek je na vama.

Gdje dalje

• Šta radi provjera prije leta
• Četiri vrste nalaza
• Uvidi — za oblik rasporeda koji već postoji.