Com difereix la comprovació de deixar que el FET resolgui
FET cerca una distribució, mentre que la comprovació només verifica si un horari és possible.
Sovint la gent pregunta per què no haurien de simplement prémer generar al FET i veure què passa. Podeu fer-ho. Això explica què afegeix la comprovació i què no.
El FET cerca. La comprovació compta.
El FET prova combinacions. És molt bo fent-ho. Però una cerca que falla només us diu que aquesta cerca ha fallat. No pot separar "les vostres regles fan que això sigui impossible" de "no ho he trobat aquesta vegada".
La comprovació fa aritmètica. Mai col·loca cap lliçó. Compta l'espai que deixen les vostres regles:
- les hores que un professor deu respecte als períodes que li queden
- els horaris d'inici que encara té una lliçó un cop aplicada cada regla
- si dues lliçons que han de succeir totes dues estan forçades al mateix període
- si un grup de lliçons necessita més dies dels que conté la setmana
Quan un d'aquests recomptes arriba a zero, cap cerca pot tenir èxit, i cap quantitat d'espera ho canviarà.
La diferència pràctica
Temps. Una execució fallida del FET pot trigar molt de temps. La comprovació respon en segons.
Què apreneu d'una fallada. El FET s'atura sense dir quines regles en tenen la culpa. La comprovació les anomena, i per a una lliçó impossible mostra quina regla ha eliminat quin horari d'inici, per ordre.
Què significa un bon resultat. Una execució del FET que té èxit us dóna un horari real — cosa que la comprovació mai fa. Una comprovació neta no us dóna cap horari. Només elimina una explicació de fallada.
Utilitzeu tots dos, en aquest ordre
- Executeu la comprovació primer. Si demostra que alguna cosa és impossible, una execució del FET no pot tenir èxit, per la qual cosa executar-ne una és temps perdut aprenent res.
- Corregiu el que ha demostrat. Anomena les regles i mostra el rastre.
- Després deixeu que el FET cerqui. Aquesta és la part que només fa el FET.
- Porteu el resultat de tornada per llegir, imprimir i compartir.
Què no us pot dir la comprovació
⛔ No us pot dir que un horari sigui possible. Res aquí ho demostra. Un fitxer pot passar totes les comprovacions i encara ser difícil, o necessitar que es relaxin les regles abans que s'ajusti.
⛔ No us pot dir quant trigarà el FET. El número de dificultat és una lectura de temperatura per comparar el vostre propi fitxer abans i després d'un canvi, no una predicció.
Vegeu Què no us pot dir.