Kako se provjera razlikuje od FET-ovog rješavanja
FET traži raspored, dok provjera samo broji; jedan vam može u sekundi reći da je raspored nemoguć, dok drugi to uopće ne može.
Ljudi često pitaju zašto jednostavno ne pritisnu generisanje u FET-u i vide šta će se desiti. Možete. Ovo objašnjava šta provjera dodaje, a šta ne.
FET pretražuje. Provjera broji.
FET isprobava rasporede. Veoma je dobar u tome. Ali pretraga koja ne uspije govori vam samo da ta pretraga nije uspjela. Ona ne može razdvojiti "vaša pravila čine ovo nemogućim" od "ovaj put nisam uspio pronaći".
Provjera umjesto toga radi aritmetiku. Ona nikada ne postavlja čas. Ona broji prostor koji vaša pravila ostavljaju:
- sate koje nastavnik duguje u odnosu na termine koji su mu preostali
- vremena početka koja čas još uvijek ima nakon što je primijenjeno svako pravilo
- da li su dva časa koja se oba moraju održati prisiljena u isti termin
- da li grupa časova zahtijeva više dana nego što sedmica sadrži
Kada jedan od tih brojeva dosegne nulu, nijedna pretraga ne može uspjeti, i nikakvo čekanje to neće promijeniti.
Praktična razlika
Vrijeme. Neuspješno pokretanje FET-a može potrajati dugo. Provjera odgovara u sekundama.
Šta naučite iz neuspjeha. FET se zaustavlja bez navođenja koja pravila su kriva. Provjera ih imenuje, a za nemoguć čas prikazuje koje pravilo je uklonilo koje vrijeme početka, redom.
Šta znači dobar rezultat. Pokretanje FET-a koje uspije daje vam pravi Raspored — što provjera nikada ne radi. Čista provjera vam ne daje nikakav Raspored. Ona samo uklanja jedno objašnjenje za neuspjeh.
Koristite oboje, ovim redoslijedom
- Prvo pokrenite provjeru. Ako ona dokaže da je nešto nemoguće, pokretanje FET-a ne može uspjeti, pa je to izgubljeno vrijeme u kojem ništa ne učite.
- Popravite ono što je dokazala. Ona imenuje pravila i prikazuje trag.
- Zatim pustite FET da pretražuje. To je dio koji samo FET radi.
- Vratite rezultat nazad da biste ga čitali, štampali i dijelili.
Šta 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 svaku provjeru i dalje biti teška, ili zahtijevati ublažavanje pravila prije nego što se ostvari.
⛔ Ne može vam reći koliko će FET-u trebati vremena. Broj težine je očitavanje temperature za poređenje vaše datoteke prije i poslije izmjene, a ne predviđanje.
Pogledajte Šta vam ne može reći.