Kako se provjera razlikuje od FET-ovog rješavanja
FET traži raspored, no provjera je ključna: ona vam u sekundama može reći da je raspored nemoguć, dok pretraga to ne može uopće.
Ljudi često pitaju zašto ne bi jednostavno pritisnuli "generiraj" u FET-u i vidjeli što će se dogoditi. Možete. Ovdje je objašnjeno što provjera dodaje, a što ne.
FET pretražuje. Provjera broji.
FET isprobava kombinacije. Vrlo je dobar u tome. Ali neuspješna pretraga govori vam samo da ta pretraga nije uspjela. Ne može razlikovati "vaša pravila ovo čine nemogućim" od "ovaj put ga nisam pronašao".
Provjera umjesto toga računa. Ona nikada ne postavlja sat. Broji prostor koji vaša pravila ostavljaju:
- sate koje nastavnik mora odraditi u odnosu na preostale termine
- početna vremena koja sat još uvijek ima nakon primjene svih pravila
- jesu li dva sata koja se oba moraju održati prisiljena u isti termin
- treba li grupa sati više dana nego što tjedan sadrži
Kada jedan od tih brojeva dosegne nulu, nijedna pretraga ne može uspjeti, i nikakvo čekanje to ne mijenja.
Praktična razlika
Vrijeme. Neuspješno pokretanje FET-a može dugo trajati. Provjera daje odgovor u sekundama.
Što učite iz neuspjeha. FET se zaustavlja ne govoreći koja su pravila kriva. Provjera ih imenuje, a za nemogući sat prikazuje koje je pravilo uklonilo koje početno vrijeme, redom.
Što znači dobar rezultat. Uspješno pokretanje FET-a daje vam stvarni raspored — što provjera nikada ne radi. Čista provjera ne daje vam nikakav raspored. Ona samo uklanja jedno objašnjenje za neuspjeh.
Koristite oboje, ovim redoslijedom
- Prvo pokrenite provjeru. Ako dokaže da je nešto nemoguće, pokretanje FET-a ne može uspjeti, stoga je njegovo pokretanje samo gubljenje vremena.
- Popravite ono što je dokazala. Imenuje pravila i prikazuje trag.
- Zatim pustite FET da pretražuje. To je dio koji radi samo FET.
- Vratite rezultat natrag da biste ga čitali, ispisali i podijelili.
Što vam provjera ne može reći
⛔ Ne može vam reći da je raspored moguć. Ništa ovdje to ne dokazuje. Datoteka može proći sve provjere i svejedno biti teška za izraditi, ili zahtijevati ublažavanje pravila prije nego što se uspije generirati.
⛔ Ne može vam reći koliko će FET-u trebati. Broj težine je pokazatelj za usporedbu vaše datoteke prije i poslije promjene, a ne predviđanje.
Pogledajte Što vam ne može reći.