Constrângerea care face orarul dvs. FET imposibil
O constrângere greșită poate face un fișier FET imposibil, iar căutarea poate dura ore întregi, așa că verificați-l mai întâi – este gratuit și durează secunde.
Finalizați introducerea datelor. Apăsați pe Generare în FET. Apoi așteptați.
Trec zece minute. Trece o oră. Numărul de activități plasate nu atinge niciodată totalul. La final, opriți generarea și nu aveți niciun orar. Mai rău, nu știți de ce.
Problema este adesea o singură constrângere
Un orar școlar are sute de constrângeri. Majoritatea sunt corecte. Una dintre ele nu este, și nu o puteți vedea.
De exemplu:
- O clasă de 31 de studenți poate folosi doar săli cu 30 de locuri.
- Un profesor are 26 de ore de curs, dar este disponibil doar pentru 24 de intervale orare.
- O regulă lasă o activitate fără nicio oră de începere validă în săptămână.
- Patru lecții trebuie să fie în zile diferite, dar grupul de studenți învață doar în trei zile.
Fiecare dintre acestea face orarul imposibil. Niciun aranjament nu o poate satisface. Dar fișierul pare normal. FET îl deschide și începe să caute.
De ce căutarea nu vă spune
FET este foarte bun la ceea ce face. Caută un aranjament care respectă fiecare constrângere. FET refuză unele fișiere imediat. Pentru multe alte probleme, începe o căutare care nu poate reuși.
O căutare care eșuează vă spune un singur lucru: această căutare nu a găsit un aranjament. Nu poate distinge între „constrângerile dumneavoastră fac acest lucru imposibil” și „nu l-am găsit de data aceasta”. Așa că schimbați o pondere, încercați din nou și așteptați din nou.
Acolo se duc orele. Timpul se pierde într-o căutare care nu ar putea reuși niciodată, nu în rezolvare.
Mai întâi numărați, apoi căutați
Există o întrebare mai rapidă de pus înainte de a genera: este acest orar posibil?
Această întrebare nu necesită o căutare. Necesită aritmetică. Verificarea citește constrângerile dumneavoastră și calculează spațiul pe care îl lasă:
- orele pe care un profesor trebuie să le predea, comparativ cu intervalele orare care rămân disponibile
- orele de începere pe care o activitate încă le are, după ce se aplică fiecare regulă
- dacă două lecții care trebuie să aibă loc amândouă sunt forțate în același interval orar
- dacă un grup de lecții necesită mai multe zile decât are săptămâna
Când unul dintre aceste numere ajunge la zero, orarul este imposibil. Aceasta nu este o presupunere despre dificultate. Este o dovadă, iar verificarea o oferă în câteva secunde.
Numește regula
O dovadă este utilă doar atunci când puteți acționa pe baza ei. Fiecare rezultat spune ce este greșit, în cuvinte simple, și numește regulile implicate.
În exemplul de mai sus, Matematică · 9A are 31 de studenți. Cea mai mare sală pe care o permite constrângerea Sală preferată pentru activitate are 30 de locuri. Soluția este clară: permiteți o sală mai mare sau împărțiți clasa.
Rezultatele sunt grupate. Dovedit imposibil conține problemele de care niciun rezolvitor nu poate trece. Celelalte grupuri conțin greșeli probabile și lucrurile care fac un fișier dificil. Citiți mai multe în Cele patru tipuri de rezultate.
Două locuri unde îl puteți folosi
Fără cont: asistentul FET. Accesați fetviewer.com/check și alegeți fișierul dumneavoastră .fet. Este gratuit și nu există limită la reverificări. Fișierul dumneavoastră rămâne pe computerul dumneavoastră. Browserul dumneavoastră trimite doar un rezumat către serverul nostru, iar rezumatul nu conține nume: profesorii, sălile și grupurile de studenți sunt transmise ca numere. Nu stocăm nimic. Vedeți Verificarea unui fișier fără cont.
În contul dumneavoastră: Pre-verificare. Când importați orarul, pagina Pre-verificare se află alături de constrângeri pe ecranul de date. Fiecare secțiune de constrângeri afișează, de asemenea, un rezumat de o linie în partea de sus. Modificați o constrângere și verificați din nou în timp ce lucrați. Vedeți Ce face pre-verificarea.
Ce nu vă poate spune
Verificarea dovedește cazurile imposibile. Nu poate dovedi că un fișier se va rezolva și nu vă poate spune cât timp va dura FET. O verificare curată elimină un motiv de eșec. Căutarea este în continuare treaba lui FET.
Așadar, folosiți-le pe amândouă, în această ordine:
- Verificați fișierul.
- Corectați ceea ce dovedește verificarea.
- Apoi lăsați FET să caute.
Citiți comparația completă în Cum diferă verificarea de lăsarea FET să rezolve.
Înainte de următoarea așteptare lungă
Data viitoare când o generare durează prea mult, opriți-o. Verificați mai întâi fișierul. Dacă o constrângere face orarul imposibil, aflați în câteva secunde și vedeți care anume.