Jak se kontrola liší od nechat FET vyřešit rozvrh
FET hledá rozvržení, zatímco prohlížeč pouze zobrazuje hotový rozvrh, který nelze vypočítat.
Lidé se často ptají, proč by prostě neměli v programu FET stisknout tlačítko pro generování a sledovat, co se stane. Můžete. Toto vysvětluje, co kontrola přidává a co nikoliv.
FET hledá. Kontrola počítá.
FET zkouší uspořádání. Je v tom velmi dobrý. Ale hledání, které selže, vám řekne pouze to, že toto hledání selhalo. Nedokáže rozlišit mezi "vaše pravidla toto znemožňují" a "tentokrát jsem to nenašel".
Kontrola místo toho provádí aritmetiku. Nikdy neumisťuje vyučovací hodinu. Počítá prostor, který vaše pravidla ponechávají:
- hodiny, které učitel musí odučit, oproti časovým slotům, které mu zbývají
- časy zahájení, které vyučovací hodině zbývají po uplatnění všech pravidel
- zda jsou dvě vyučovací hodiny, které se musí obě uskutečnit, nuceně umístěny do stejného slotu
- zda skupina vyučovacích hodin vyžaduje více dní, než kolik jich týden obsahuje
Když jeden z těchto počtů dosáhne nuly, žádné hledání nemůže uspět a žádné čekání na tom nic nezmění.
Praktický rozdíl
Čas. Neúspěšný běh programu FET může trvat dlouho. Kontrola odpoví během sekund.
Co se dozvíte ze selhání. FET se zastaví, aniž by řekl, která pravidla byla na vině. Kontrola je pojmenuje a u nemožné vyučovací hodiny ukáže, které pravidlo odstranilo který čas zahájení, v pořadí.
Co znamená dobrý výsledek. Běh programu FET, který uspěje, vám dá skutečný rozvrh — což kontrola nikdy nedělá. Čistá kontrola vám nedá žádný rozvrh. Pouze odstraňuje jedno vysvětlení selhání.
Používejte obojí, v tomto pořadí
- Nejprve spusťte kontrolu. Pokud prokáže, že je něco nemožné, běh programu FET nemůže uspět, takže jeho spuštění je čas strávený tím, že se nic nedozvíte.
- Opravte to, co prokázala. Pojmenuje pravidla a ukáže postup.
- Poté nechte FET hledat. To je část, kterou dělá pouze FET.
- Přineste výsledek zpět pro zobrazení, tisk a sdílení.
Co vám kontrola nemůže říct
⛔ Nemůže vám říct, že je rozvrh možný. Nic zde nedokazuje, že je. Soubor může projít každou kontrolou a přesto být obtížný, nebo vyžadovat uvolnění pravidel, než se podaří jej sestavit.
⛔ Nemůže vám říct, jak dlouho bude FET trvat. Číslo obtížnosti je údaj o teplotě pro porovnání vašeho vlastního souboru před změnou a po ní, nikoliv předpověď.
Viz Co vám kontrola nemůže říct.