A FET órarendedet lehetetlenné tevő kényszer
Egyetlen hibás kényszer megoldhatatlanná teheti a FET-fájlt, a keresés pedig órákig is eltarthat, ezért ellenőrizze előbb: ingyenes és csak pár másodperc.
Befejezi az adatok bevitelét. A FET-ben megnyomja a Generálás gombot. Aztán vár.
Eltelik tíz perc. Eltelik egy óra. Az elhelyezett tevékenységek száma soha nem éri el a teljes számot. Végül leállítja a generálást, és nincs órarendje. Ami még rosszabb, nem tudja, miért.
A probléma gyakran egyetlen kényszer
Egy iskolai órarend több száz kényszert tartalmaz. A legtöbbjük helyes. Az egyikük azonban nem, és Ön ezt nem látja.
Például:
- Egy 31 fős osztály csak 30 férőhelyes termeket használhat.
- Egy tanárnak 26 tanórája van, de csak 24 idősávban érhető el.
- Egy szabály miatt egy tevékenységnek nem marad érvényes kezdési időpontja a héten.
- Négy tanórának különböző napokon kell lennie, de a diákcsoport csak három napon tanul.
Ezek mindegyike lehetetlenné teszi az órarendet. Semmilyen elrendezés nem tudja kielégíteni. A fájl azonban normálisnak tűnik. A FET megnyitja és elkezdi a keresést.
Miért nem jelzi ezt a keresés?
A FET nagyon jó a munkájában. Olyan elrendezést keres, amely minden kényszernek megfelel. A FET egyes fájlokat azonnal elutasít. Sok más probléma esetén azonban olyan keresést indít, amely nem járhat sikerrel.
A sikertelen keresés csak egy dolgot árul el: ez a keresés nem talált elrendezést. Nem tud különbséget tenni a „a kényszerei lehetetlenné teszik” és a „most nem találtam meg” között. Így Ön módosít egy súlyozást, újra próbálkozik, és újra vár.
Így mennek el az órák. Az idő egy olyan keresésre megy el, amely soha nem járhat sikerrel, nem pedig a megoldásra.
Előbb számolás, aztán keresés
Van egy gyorsabb kérdés, amit feltehet a generálás előtt: egyáltalán lehetséges ez az órarend?
Ez a kérdés nem igényel keresést. Számtanra van szükség. Az ellenőrzés beolvassa a kényszereket, és megszámolja a mozgásteret, amit hagynak:
- a tanár által kötelezően tanítandó órák számát a rendelkezésre álló idősávokkal szemben
- azokat a kezdési időpontokat, amelyek egy tevékenység számára az összes szabály alkalmazása után megmaradnak
- hogy két, egyaránt kötelező óra ugyanabba az idősávba kényszerül-e
- hogy egy óracsoportnak több napra van-e szüksége, mint amennyi a héten van
Amikor ezen számok egyike eléri a nullát, az órarend lehetetlen. Ez nem a nehézségre vonatkozó becslés. Ez egy bizonyíték, és az ellenőrzés másodpercek alatt megadja.
Megnevezi a szabályt
A bizonyíték csak akkor hasznos, ha tud lépni az alapján. Minden találat egyszerű szavakkal leírja, mi a hiba, és megnevezi az érintett szabályokat.
A fenti példában a Matematika · 9A órának 31 diákja van. A legnagyobb terem, amelyet a Tevékenységhez preferált terem kényszer engedélyez, 30 férőhelyes. A javítás egyértelmű: engedélyezzen egy nagyobb termet, vagy ossza ketté az osztályt.
A találatok csoportokba vannak rendezve. A Bizonyítottan lehetetlen csoport tartalmazza azokat a problémákat, amelyeken egyetlen megoldó sem juthat túl. A többi csoport a valószínűsíthető hibákat és a fájlt megnehezítő dolgokat tartalmazza. Olvasson többet itt: A négyféle találat.
Két helyen használhatja
Fiók nélkül: a FET segéd. Látogasson el a fetviewer.com/check oldalra, és válassza ki a .fet fájlját. Ingyenes, és az újraellenőrzések száma nincs korlátozva. A fájlja a számítógépén marad. A böngészője csak egy összefoglalót küld a szerverünkre, és az összefoglaló nem tartalmaz neveket: a tanárok, termek és diákcsoportok számokként utaznak. Semmit nem tárolunk. Lásd: Fájl ellenőrzése fiók nélkül.
A fiókjában: Előzetes ellenőrzés. Amikor importálja az órarendjét, az Előzetes ellenőrzés oldal a kényszerek mellett található az adatképernyőn. Minden kényszer-szekció tetején egy egysoros összefoglaló is látható. Módosítson egy kényszert, és munka közben ellenőrizze újra. Lásd: Mit csinál az előzetes ellenőrzés.
Amit nem tud megmondani
Az ellenőrzés a lehetetlen eseteket bizonyítja. Nem tudja bizonyítani, hogy egy fájl megoldható lesz, és azt sem tudja megmondani, mennyi ideig fog tartani a FET-nek. A tiszta ellenőrzés a sikertelenség egy okát szünteti meg. A keresés továbbra is a FET feladata.
Tehát használja mindkettőt, ebben a sorrendben:
- Ellenőrizze a fájlt.
- Javítsa ki, amit az ellenőrzés bizonyít.
- Aztán hagyja, hogy a FET keressen.
Olvassa el a teljes összehasonlítást itt: Miben különbözik az ellenőrzés attól, ha a FET-re bízzuk a megoldást.
A következő hosszú várakozás előtt
Amikor legközelebb egy generálás túl sokáig tart, állítsa le. Először ellenőrizze a fájlt. Ha egy kényszer lehetetlenné teszi az órarendet, másodpercek alatt megtudja, és azt is látja, hogy melyik az.