Come il controllo differisce dal lasciare che FET risolva
FET cerca una disposizione, mentre il controllo verifica la validità: il primo può dirti in pochi secondi che un orario è impossibile, il secondo non può farlo affatto.
Le persone chiedono spesso perché non dovrebbero semplicemente premere genera in FET e vedere cosa succede. Si può fare. Questo spiega cosa aggiunge il controllo e cosa non fa.
FET cerca. Il controllo conta.
FET prova le disposizioni. È molto bravo in questo. Ma una ricerca che fallisce ti dice solo che questa ricerca è fallita. Non può distinguere tra "le tue regole rendono tutto ciò impossibile" e "non l'ho trovato questa volta".
Il controllo esegue invece dei calcoli. Non posiziona mai una lezione. Conta lo spazio che le tue regole lasciano:
- le ore che un insegnante deve svolgere rispetto agli orari che gli rimangono
- gli orari di inizio che una lezione ha ancora una volta applicata ogni regola
- se due lezioni che devono entrambe svolgersi sono forzate nello stesso orario
- se un gruppo di lezioni richiede più giorni di quelli contenuti nella settimana
Quando uno di questi conteggi arriva a zero, nessuna ricerca può avere successo, e nessuna attesa cambierà la situazione.
La differenza pratica
Tempo. Un'esecuzione fallita di FET può richiedere molto tempo. Il controllo risponde in pochi secondi.
Cosa impari da un fallimento. FET si ferma senza dire quali regole sono da biasimare. Il controllo le nomina, e per una lezione impossibile mostra quale regola ha rimosso quale orario di inizio, in ordine.
Cosa significa un buon risultato. Un'esecuzione di FET che ha successo ti fornisce un vero orario — cosa che il controllo non fa mai. Un controllo pulito non ti fornisce alcun orario. Rimuove solo una spiegazione per il fallimento.
Usa entrambi, in questo ordine
- Esegui prima il controllo. Se dimostra che qualcosa è impossibile, un'esecuzione di FET non può avere successo, quindi eseguirne una è tempo speso senza imparare nulla.
- Correggi ciò che ha dimostrato. Nomina le regole e mostra la traccia.
- Poi lascia che FET cerchi. Questa è la parte che solo FET fa.
- Porta indietro il risultato per leggerlo, stamparlo e condividerlo.
Cosa il controllo non può dirti
⛔ Non può dirti che un orario è possibile. Nulla qui lo dimostra. Un file può superare ogni controllo ed essere comunque difficile, o richiedere che le regole vengano allentate prima che si risolva.
⛔ Non può dirti quanto tempo impiegherà FET. Il numero di difficoltà è una lettura della temperatura per confrontare il tuo file prima e dopo una modifica, non una previsione.
Vedi Cosa non può dirti.