Skočiť na hlavný obsah
Pomoc Kontrola pred riešením

Čo vám nemôže povedať

Čestné limity – čo čistá správa nesľubuje, ktoré kontroly závisia od režimu vášho riešiteľa a prečo číslo obtiažnosti nie je verdikt.

Kontrola je zámerne konzervatívna. Vedieť, kde sa zastaví, je to, čo vám umožňuje dôverovať tej časti, ktorá sa nezastaví.

Čistý report nie je prísľubom vyriešenia

Kontrola dokazuje nemožnosť. Nemôže dokázať možnosť.

Všetko, čo dokáže dosiahnuť, dopadlo dobre. Či FET potom nájde usporiadanie a ako dlho to trvá, je iná otázka, na ktorú odpovedá iba riešenie.

Rozvrh môže prejsť každou kontrolou a stále byť skutočne náročný – pretože obtiažnosť je o tom, ako sa voľby vzájomne ovplyvňujú naprieč tisíckami hodín, nie o tom, že by nejaký jeden počet bol nedostatočný.

Číslo obtiažnosti je indikátor

Report obsahuje skóre obtiažnosti a sám o sebe hovorí, že je to indikátor, nie verdikt. Berte to ako meranie teploty: užitočné na porovnanie vášho rozvrhu so sebou samým pred a po zmene, nie ako predpoveď úspechu.

Vysoké číslo je dôvodom pozrieť sa, kde je tlak, nie dôvodom očakávať zlyhanie.

Niektoré počítanie závisí od vášho režimu riešenia

Väčšina kontroly prebieha v každom režime. Kde sa môže hodina legálne začať, čo pravidlá ponechajú po ich uplatnení a čo to znamená pre hodiny s ňou spojené – deň je deň a časový úsek je časový úsek, bez ohľadu na režim.

Zastaví sa všetko, čo počíta týždeň. Hodiny za týždeň oproti časovým úsekom, ktoré týždeň obsahuje, koľko dní sa musí predmet rozložiť, medzery medzi hodinami v týždni. V režime Termíny týždeň nie je jednotkou, ako vyzerá, a počet prečítaný naprieč celým zoznamom dní by naznačoval, že máte VIAC priestoru, ako v skutočnosti máte. To je jediný smer, v ktorom dôkaz nesmie byť nikdy nesprávny, takže tieto kontroly sú zadržané, namiesto aby sa hádali.

Hygienické kontroly – visiace odkazy, pravidlá zamerané na vypnuté aktivity, duplikáty – platia bez ohľadu na to, v akom režime ste.

Ak sekcia hlási menej nálezov, ako ste očakávali, oplatí sa skontrolovať režim pred pravidlami. Pozrite si Režimy riešenia.

Niektoré veci chýbajú zámerne

Pravidlo, ktoré si FET dodáva sám, nie je hlásené ako chýbajúce, pretože sa pridáva pri zápise súboru. Hlásenie by bolo trvalým falošným poplachom o veci, ktorá nikdy nie je skutočne nesprávna.

Všeobecnejšie: kde kontrola nemôže rozhodnúť, nehovorí nič, namiesto hádania. Toto ticho je zámerná voľba a je to dôvod, prečo možno dôverovať preukázateľne nemožnému nálezu bez overenia.

Nekontroluje vaše zámery

Nič tu nevie, čo vaša škola skutočne potrebuje. Rozvrh môže byť preukázateľne možný, rýchlo vyriešený a napriek tomu umiestniť každú hodinu prírodných vied na piatkové popoludnie.

Kontrola odpovedá, či sa to dá postaviť. Či by sa to malo, je stále na vás.

Kam ďalej