Obmedzenie, ktoré znemožňuje váš FET rozvrh

Zadáte údaje. V programe FET stlačíte Generovať. A potom čakáte.

Prejde desať minút. Prejde hodina. Počet umiestnených aktivít nikdy nedosiahne celkový počet. Nakoniec generovanie zastavíte a nemáte žiadny rozvrh. A čo je horšie, neviete prečo.

Problém často spočíva v jednom ohraničení

Školský rozvrh má stovky ohraničení. Väčšina z nich je správna. Jedno z nich však nie je a vy ho nevidíte.

Napríklad:

• Trieda s 31 študentmi môže používať iba miestnosti s 30 miestami.
• Učiteľ má 26 hodín vyučovania, ale je k dispozícii iba na 24 vyučovacích hodín.
• Kvôli nejakému pravidlu nemá aktivita v týždni žiadny možný čas začiatku.
• Štyri hodiny musia byť v rôzne dni, ale skupina študentov sa učí iba tri dni.

Každý z týchto prípadov robí rozvrh nemožným. Žiadne usporiadanie ho nemôže splniť. Súbor však vyzerá normálne. FET ho otvorí a začne hľadať.

Prečo vám to hľadanie nepovie

FET je vo svojej práci veľmi dobrý. Hľadá usporiadanie, ktoré dodržiava každé ohraničenie. Niektoré súbory FET odmietne okamžite. Pri mnohých iných problémoch začne hľadanie, ktoré nemôže uspieť.

Neúspešné hľadanie vám povie iba jednu vec: toto hľadanie nenašlo usporiadanie. Nedokáže rozlíšiť medzi „vaše ohraničenia to znemožňujú“ a „tentoraz som to nenašiel“. Takže zmeníte váhu, skúsite to znova a znova čakáte.

A takto strácate hodiny. Čas sa stráca hľadaním, ktoré nikdy nemohlo uspieť, nie samotným riešením.

Najprv počítajte, potom hľadajte

Pred generovaním si môžete položiť rýchlejšiu otázku: je tento rozvrh vôbec možný?

Táto otázka si nevyžaduje hľadanie. Vyžaduje si aritmetiku. Kontrola prečíta vaše ohraničenia a spočíta priestor, ktorý ponechávajú:

• počet hodín, ktoré musí učiteľ odučiť, v porovnaní s počtom dostupných vyučovacích hodín
• časy začiatku, ktoré aktivite zostávajú po uplatnení všetkých pravidiel
• či sú dve hodiny, ktoré sa musia konať, nútené byť v rovnakom čase
• či skupina hodín potrebuje viac dní, ako má týždeň

Keď niektorý z týchto počtov dosiahne nulu, rozvrh je nemožný. To nie je odhad o náročnosti. Je to dôkaz a kontrola vám ho poskytne v priebehu niekoľkých sekúnd.

Pomenuje pravidlo

Dôkaz je užitočný iba vtedy, keď na jeho základe môžete konať. Každé zistenie jednoduchými slovami povie, čo je zlé, a pomenuje príslušné pravidlá.

V príklade vyššie má Matematika · 9A 31 študentov. Najväčšia miestnosť, ktorú ohraničenie Preferovaná miestnosť pre aktivitu povoľuje, má 30 miest. Náprava je jasná: povoľte väčšiu miestnosť alebo rozdeľte triedu.

Zistenia sú rozdelené do skupín. Skupina Preukázateľne nemožné obsahuje problémy, ktoré žiadny riešiteľ nedokáže prekonať. Ostatné skupiny obsahujú pravdepodobné chyby a veci, ktoré sťažujú riešenie súboru. Viac si prečítajte v časti Štyri druhy zistení.

Dve miesta, kde to použiť

Bez účtu: pomocník FET. Prejdite na stránku fetviewer.com/check a vyberte svoj súbor .fet. Je to zadarmo a počet opakovaných kontrol nie je obmedzený. Váš súbor zostáva vo vašom počítači. Váš prehliadač odošle na náš server iba súhrn a tento súhrn neobsahuje žiadne mená: učitelia, miestnosti a skupiny študentov sa prenášajú ako čísla. Nič neukladáme. Pozrite si časť Kontrola súboru bez účtu.

Vo vašom účte: Predbežná kontrola. Keď importujete svoj rozvrh, stránka Predbežná kontrola sa nachádza pri ohraničeniach na obrazovke s údajmi. Každá sekcia ohraničení zobrazuje v hornej časti aj jednoriadkový súhrn. Zmeňte ohraničenie a počas práce ho znova skontrolujte. Pozrite si časť Čo robí predbežná kontrola.

Čo vám nedokáže povedať

Kontrola dokazuje nemožné prípady. Nedokáže dokázať, že sa súbor podarí vyriešiť, a ani vám nepovie, ako dlho to bude programu FET trvať. Čistá kontrola odstraňuje jeden z dôvodov neúspechu. Hľadanie je stále prácou programu FET.

Používajte teda oboje, v tomto poradí:

1. Skontrolujte súbor.
2. Opravte problémy, ktoré kontrola preukáže.
3. Potom nechajte FET hľadať.

Prečítajte si celé porovnanie v časti Ako sa kontrola líši od riešenia pomocou FET.

Pred ďalším dlhým čakaním

Keď bude generovanie nabudúce trvať príliš dlho, zastavte ho. Najprv skontrolujte súbor. Ak nejaké ohraničenie robí rozvrh nemožným, zistíte to v priebehu niekoľkých sekúnd a uvidíte, ktoré to je.

Skontrolujte svoj FET súbor →