Cum diferă verificarea de lăsarea FET să genereze orarul
FET caută o aranjare, în timp ce verificarea doar numără; unul îți poate spune în câteva secunde că un orar este imposibil, în timp ce celălalt nu poate face acest lucru deloc.
Oamenii întreabă adesea de ce nu ar trebui pur și simplu să apese pe generare în FET și să vadă ce se întâmplă. Puteți face asta. Această secțiune explică ce aduce verificarea și ce nu face.
FET caută. Verificarea calculează.
FET încearcă aranjamente. Este foarte bun la asta. Dar o căutare care eșuează vă spune doar că acea căutare a eșuat. Nu poate face distincția între "regulile tale fac acest lucru imposibil" și "nu am găsit soluția de data aceasta".
Verificarea face calcule matematice. Nu plasează niciodată o activitate. Numără spațiul pe care regulile tale îl lasă disponibil:
- orele pe care un profesor le are de susținut față de intervalele orare care i-au rămas
- orele de începere pe care o activitate le mai are după ce fiecare regulă a fost aplicată
- dacă două activități care trebuie să aibă loc amândouă sunt forțate în același interval orar
- dacă un grup de activități necesită mai multe zile decât conține săptămâna
Când unul dintre aceste calcule ajunge la zero, nicio căutare nu poate reuși, și nicio perioadă de așteptare nu va schimba acest lucru.
Diferența practică
Timp. O rulare eșuată a FET poate dura mult timp. Verificarea răspunde în câteva secunde.
Ce înveți dintr-un eșec. FET se oprește fără a spune care reguli au fost de vină. Verificarea le numește, iar pentru o activitate imposibilă arată ce regulă a eliminat ce oră de începere, în ordine.
Ce înseamnă un rezultat bun. O rulare FET care reușește îți oferă un orar real — lucru pe care verificarea nu îl face niciodată. O verificare reușită nu îți oferă niciun orar. Doar elimină o explicație pentru eșec.
Folosiți-le pe amândouă, în această ordine
- Rulați verificarea mai întâi. Dacă demonstrează că ceva este imposibil, o rulare FET nu poate reuși, deci rularea uneia este timp pierdut din care nu înveți nimic.
- Corectați ceea ce a demonstrat. Numește regulile și arată traseul.
- Apoi lăsați FET să caute. Aceasta este partea pe care doar FET o face.
- Aduceți rezultatul înapoi pentru a-l vizualiza, imprima și partaja.
Ce nu vă poate spune verificarea
⛔ Nu vă poate spune dacă un orar este posibil. Nimic de aici nu demonstrează asta. Un fișier poate trece de fiecare verificare și totuși să fie dificil, sau să necesite relaxarea unor reguli înainte de a fi finalizat.
⛔ Nu vă poate spune cât timp va dura FET. Numărul de dificultate este o citire a temperaturii pentru a compara propriul fișier înainte și după o modificare, nu o predicție.
Vezi Ce nu vă poate spune.