Vazba, která znemožňuje váš rozvrh FET

Dokončíte zadávání dat. Stisknete Generovat ve FET. A pak čekáte.

Uplyne deset minut. Uplyne hodina. Počet umístěných činností nikdy nedosáhne celkového počtu. Nakonec generování zastavíte a nemáte žádný rozvrh. A co je horší, nevíte proč.

Problém je často v jediné vazbě

Školní rozvrh má stovky vazeb. Většina z nich je správná. Jedna z nich ale není a vy ji nevidíte.

Například:

• Třída s 31 žáky může používat pouze místnosti s 30 místy.
• Učitel má 26 hodin výuky, ale je k dispozici pouze na 24 vyučovacích hodin.
• Nějaké pravidlo zanechá činnost bez možného času zahájení v týdnu.
• Čtyři hodiny musí být v různé dny, ale skupina žáků se učí pouze tři dny v týdnu.

Každý z těchto případů činí rozvrh nemožným. Žádné uspořádání ho nemůže splnit. Soubor ale vypadá normálně. FET ho otevře a začne hledat.

Proč vám hledání nic neřekne

FET je ve své práci velmi dobrý. Hledá uspořádání, které dodržuje každou vazbu. Některé soubory FET odmítne okamžitě. U mnoha jiných problémů ale zahájí hledání, které nemůže uspět.

Neúspěšné hledání vám řekne jen jednu věc: toto hledání nenašlo žádné uspořádání. Nedokáže rozlišit mezi „vaše vazby to znemožňují“ a „tentokrát jsem to nenašel“. Takže změníte váhu, zkusíte to znovu a znovu čekáte.

A právě tam se ztrácejí hodiny. Čas padne na hledání, které nikdy nemohlo uspět, ne na samotné řešení.

Nejdřív počítat, pak hledat

Než začnete generovat, je rychlejší položit si otázku: je tento rozvrh vůbec možný?

Tato otázka nevyžaduje hledání. Vyžaduje aritmetiku. Kontrola přečte vaše vazby a spočítá prostor, který ponechávají:

• počet hodin, které musí učitel odučit, v porovnání s počtem dostupných časových slotů
• časy zahájení, které činnosti stále zbývají po uplatnění všech pravidel
• zda jsou dvě hodiny, které se musí konat, nuceně umístěny do stejného časového slotu
• zda skupina hodin potřebuje více dní, než má týden

Když se některý z těchto počtů dostane na nulu, rozvrh je nemožný. To není odhad obtížnosti. Je to důkaz a kontrola vám ho poskytne během několika sekund.

Určí konkrétní pravidlo

Důkaz je užitečný pouze tehdy, když na jeho základě můžete jednat. Každé zjištění popisuje problém jednoduchými slovy a jmenuje příslušná pravidla.

V příkladu výše má Matematika · 9A 31 žáků. Největší místnost, kterou povoluje vazba Preferovaná místnost činnosti, má 30 míst. Náprava je zřejmá: povolit větší místnost, nebo rozdělit třídu.

Zjištění jsou rozdělena do skupin. Skupina Prokazatelně nemožné obsahuje problémy, které žádný řešitel nemůže překonat. Ostatní skupiny obsahují pravděpodobné chyby a věci, které soubor znesnadňují. Více si přečtěte v článku Čtyři druhy zjištění.

Dvě místa, kde to použít

Bez účtu: pomocník FET. Přejděte na fetviewer.com/check a vyberte svůj soubor .fet. Je to zdarma a bez omezení počtu kontrol. Váš soubor zůstane ve vašem počítači. Váš prohlížeč na náš server odešle pouze souhrn a tento souhrn neobsahuje žádná jména: učitelé, místnosti a skupiny žáků se přenášejí jako čísla. Nic neukládáme. Viz Kontrola souboru bez účtu.

Ve vašem účtu: Předběžná kontrola. Když importujete svůj rozvrh, stránka Předběžná kontrola se nachází u vazeb na obrazovce s daty. Každá sekce vazeb také nahoře zobrazuje jednořádkový souhrn. Změňte vazbu a během práce proveďte kontrolu znovu. Viz Co dělá předběžná kontrola.

Co vám neřekne

Kontrola prokazuje nemožné případy. Nemůže prokázat, že soubor bude vyřešen, a nemůže vám říct, jak dlouho to bude FETu trvat. Čistá kontrola odstraňuje jeden z důvodů selhání. Hledání je stále prací FETu.

Používejte tedy obojí, v tomto pořadí:

1. Zkontrolujte soubor.
2. Opravte to, co kontrola prokáže.
3. Poté nechte FET hledat.

Přečtěte si celé porovnání v článku Jak se kontrola liší od řešení pomocí FET.

Než začnete znovu dlouho čekat

Až příště poběží generování příliš dlouho, zastavte ho. Nejprve zkontrolujte soubor. Pokud nějaká vazba činí rozvrh nemožným, zjistíte to během několika sekund a uvidíte, která to je.

Zkontrolujte svůj soubor FET →