Kuo patikra skiriasi nuo leidimo FET spręsti užduotį
FET ieško tvarkaraščio, o ši programa tik jį atvaizduoja, todėl viena gali akimirksniu nustatyti, kad tvarkaraštis neįmanomas, o kita to padaryti negali.
Žmonės dažnai klausia, kodėl jie neturėtų tiesiog paspausti generavimo mygtuko FET programoje ir pažiūrėti, kas nutiks. Galite. Čia paaiškinama, ką prideda patikra ir ko ji nedaro.
FET ieško. Patikra skaičiuoja.
FET bando išdėstymus. Tai sekasi labai gerai. Tačiau paieška, kuri nepavyksta, pasako tik tiek, kad ši paieška nepavyko. Ji negali atskirti "jūsų taisyklės daro tai neįmanomą" nuo "šį kartą neradau".
Patikra atlieka aritmetinius veiksmus. Ji niekada neįdeda pamokos. Ji skaičiuoja vietą, kurią palieka jūsų taisyklės:
- valandas, kurias dėstytojas turi atidirbti, palyginti su likusiais laiko tarpais
- pradžios laikus, kuriuos pamoka vis dar turi pritaikius visas taisykles
- ar dvi pamokos, kurios abi turi įvykti, nėra priverstinai įstumtos į tą patį laiko tarpą
- ar pamokų grupei reikia daugiau dienų, nei yra savaitėje
Kai vienas iš šių skaičiavimų pasiekia nulį, jokia paieška negali būti sėkminga ir joks laukimas to nepakeis.
Praktinis skirtumas
Laikas. Nepavykęs FET paleidimas gali užtrukti ilgai. Patikra atsako per sekundes.
Ką sužinote iš nesėkmės. FET sustoja nepasakydamas, kurios taisyklės buvo kaltos. Patikra jas įvardija, o neįmanomai pamokai parodo, kuri taisyklė pašalino kurį pradžios laiką, eilės tvarka.
Ką reiškia geras rezultatas. Sėkmingas FET paleidimas suteikia tikrą tvarkaraštį – ko patikra niekada nedaro. Švari patikra nesuteikia jokio tvarkaraščio. Ji tik pašalina vieną nesėkmės paaiškinimą.
Naudokite abu, šia tvarka
- Pirmiausia paleiskite patikrą. Jei ji įrodo, kad kažkas neįmanoma, FET paleidimas negali būti sėkmingas, todėl jo vykdymas yra laikas, praleistas nieko neišmokus.
- Ištaisykite tai, ką ji įrodė. Ji įvardija taisykles ir parodo seką.
- Tada leiskite FET ieškoti. Tai dalis, kurią atlieka tik FET.
- Grąžinkite rezultatą, kad galėtumėte peržiūrėti, atspausdinti ir bendrinti.
Ko patikra negali pasakyti
⛔ Ji negali pasakyti, kad tvarkaraštis yra įmanomas. Nieko čia neįrodo, kad tai įmanoma. Failas gali praeiti visas patikras ir vis tiek būti sudėtingas arba reikalauti sušvelninti taisykles prieš jam pavykstant.
⛔ Ji negali pasakyti, kiek laiko užtruks FET. Sunkumo skaičius yra temperatūros rodmuo, skirtas palyginti jūsų failą prieš pakeitimą ir po jo, o ne prognozė.