Hogyan különbözik az ellenőrzés a FET megoldásától
A FET megkeresi az elrendezést, az ellenőrzés pedig összesít; az egyik másodpercek alatt megmondja, ha egy órarend lehetetlen, a másik viszont erre egyáltalán nem képes.
Gyakran kérdezik, miért ne nyomják meg egyszerűen a generálás gombot a FET-ben, és nézzék meg, mi történik. Megteheti. Ez a leírás elmagyarázza, mivel jár az ellenőrzés, és mivel nem.
A FET keres. Az ellenőrzés számol.
A FET elrendezéseket próbál ki. Nagyon jó benne. De egy sikertelen keresés csak annyit mond, hogy ez a keresés nem járt sikerrel. Nem tud különbséget tenni a "a szabályaid lehetetlenné teszik ezt" és az "ezúttal nem találtam meg" között.
Az ellenőrzés ezzel szemben aritmetikai műveleteket végez. Soha nem helyez el órát. Megszámolja, mennyi helyet hagynak a szabályaid:
- azokat az órákat, amelyekkel egy tanár tartozik, a fennmaradó időkerethez képest
- azokat a kezdési időpontokat, amelyek egy óra számára még elérhetőek az összes szabály alkalmazása után
- hogy két óra, amelynek mindkettőnek meg kell történnie, ugyanarra az időpontra kényszerül-e
- hogy egy csoport órái több napot igényelnek-e, mint amennyit a hét tartalmaz
Amikor ezek közül az egyik számláló eléri a nullát, egyetlen keresés sem lehet sikeres, és a várakozás sem változtat ezen.
A gyakorlati különbség
Idő. Egy sikertelen FET-futtatás hosszú ideig tarthat. Az ellenőrzés másodpercek alatt válaszol.
Mit tudhatsz meg egy hibából? A FET anélkül áll le, hogy megmondaná, mely szabályok voltak a hibásak. Az ellenőrzés megnevezi őket, és egy lehetetlen óra esetén megmutatja, melyik szabály melyik kezdési időpontot távolította el, sorrendben.
Mit jelent egy jó eredmény? Egy sikeres FET-futtatás valódi órarendet ad — amit az ellenőrzés soha nem tesz meg. Egy tiszta ellenőrzés egyáltalán nem ad órarendet. Csak egy lehetséges hibaokot zár ki.
Használd mindkettőt, ebben a sorrendben
- Futtasd először az ellenőrzést. Ha bebizonyosodik, hogy valami lehetetlen, a FET-futtatás nem lehet sikeres, tehát azzal csak az időt vesztegetnéd.
- Javítsd ki, amit bizonyított. Megnevezi a szabályokat és megmutatja a folyamatot.
- Ezután hagyd, hogy a FET keressen. Ez az a rész, amit csak a FET tud.
- Hozd vissza az eredményt megtekintésre, nyomtatásra és megosztásra.
Amit az ellenőrzés nem tud megmondani
⛔ Nem tudja megmondani, hogy egy órarend lehetséges-e. Semmi sem bizonyítja ezt itt. Egy fájl átmehet minden ellenőrzésen, és még mindig lehet nehéz, vagy szükség lehet a szabályok lazítására, mielőtt összeállna.
⛔ Nem tudja megmondani, mennyi ideig fog tartani a FET futtatása. A nehézségi szám egy hőmérsékleti érték a saját fájlod összehasonlításához egy módosítás előtt és után, nem pedig előrejelzés.
Lásd: Amit nem tud megmondani.