Il vincolo che rende impossibile il tuo orario FET
Un vincolo errato può rendere un file FET impossibile e la ricerca può durare ore prima che tu te ne accorga: controlla prima il file, è gratuito e richiede pochi secondi.
Finisci di inserire i dati. Premi Genera in FET. E poi aspetti.
Passano dieci minuti. Passa un'ora. Il conteggio delle attività collocate non raggiunge mai il totale. Alla fine, interrompi la generazione e non hai nessun orario. Peggio ancora, non sai perché.
Il problema è spesso un singolo vincolo
Un orario scolastico ha centinaia di vincoli. La maggior parte sono corretti. Uno di essi non lo è, e non riesci a vederlo.
Ad esempio:
- Una classe di 31 studenti può usare solo aule con 30 posti.
- Un insegnante ha 26 ore di lezione, ma è disponibile solo per 24 periodi.
- Una regola lascia un'attività senza un orario di inizio valido nella settimana.
- Quattro lezioni devono essere in giorni diversi, ma il gruppo di studenti fa lezione solo per tre giorni.
Ognuno di questi casi rende l'orario impossibile. Nessuna configurazione può soddisfarlo. Ma il file sembra normale. FET lo apre e inizia la ricerca.
Perché la ricerca non ti dice qual è il problema
FET è molto bravo nel suo lavoro. Cerca una configurazione che rispetti ogni vincolo. FET rifiuta subito alcuni file. Per molti altri problemi, avvia una ricerca che non può avere successo.
Una ricerca che fallisce ti dice solo una cosa: questa ricerca non ha trovato una configurazione. Non può distinguere tra "i tuoi vincoli lo rendono impossibile" e "stavolta non l'ho trovato". Così cambi un peso, riprovi, e aspetti di nuovo.
È così che se ne vanno le ore. Il tempo viene speso in una ricerca che non potrebbe mai avere successo, non nella risoluzione.
Prima conta, poi cerca
C'è una domanda più rapida da porsi prima di generare: questo orario è davvero possibile?
Quella domanda non richiede una ricerca. Richiede l'aritmetica. Il controllo legge i tuoi vincoli e calcola le possibilità rimanenti:
- le ore che un insegnante deve insegnare, rispetto ai periodi che restano disponibili
- gli orari di inizio che un'attività ha ancora a disposizione, dopo aver applicato ogni regola
- se due lezioni che devono svolgersi entrambe sono forzate nello stesso periodo
- se un gruppo di lezioni necessita di più giorni di quanti ne abbia la settimana
Quando uno di questi conteggi raggiunge lo zero, l'orario è impossibile. Non è un'ipotesi sulla difficoltà. È una prova, e il controllo la fornisce in pochi secondi.
Indica la regola
Una prova è utile solo quando puoi agire di conseguenza. Ogni risultato dice cosa c'è che non va, in parole semplici, e indica le regole coinvolte.
Nell'esempio qui sopra, Matematica · 9A ha 31 studenti. L'aula più grande consentita dal vincolo Aula preferita per una attività ha 30 posti. La soluzione è chiara: consentire un'aula più grande o dividere la classe.
I risultati sono divisi in gruppi. Dimostrato impossibile contiene i problemi che nessun risolutore può superare. Gli altri gruppi contengono errori probabili e gli elementi che rendono un file difficile. Leggi di più in I quattro tipi di risultati.
Due modi per usarlo
Senza un account: l'assistente FET. Vai su fetviewer.com/check e scegli il tuo file .fet. È gratuito e non c'è limite al numero di controlli. Il tuo file rimane sul tuo computer. Il tuo browser invia solo un riepilogo al nostro server, e il riepilogo non contiene nomi: insegnanti, aule e gruppi di studenti vengono trasmessi come numeri. Non memorizziamo nulla. Vedi Controllare un file senza un account.
All'interno del tuo account: Controllo preliminare. Quando importi il tuo orario, la pagina Controllo preliminare si trova con i vincoli nella schermata dei dati. Ogni sezione dei vincoli mostra anche un riepilogo di una riga in alto. Modifica un vincolo e controlla di nuovo mentre lavori. Vedi Cosa fa il controllo preliminare.
Cosa non può dirti
Il controllo dimostra i casi impossibili. Non può dimostrare che un file verrà risolto, e non può dirti quanto tempo impiegherà FET. Un controllo senza errori rimuove un motivo di fallimento. La ricerca è ancora compito di FET.
Quindi usali entrambi, in questo ordine:
- Controlla il file.
- Correggi ciò che il controllo dimostra.
- Poi lascia che FET esegua la ricerca.
Leggi il confronto completo in In cosa il controllo differisce dalla risoluzione di FET.
Prima della prossima lunga attesa
La prossima volta che una generazione dura troppo a lungo, fermala. Prima controlla il file. Se un vincolo rende l'orario impossibile, lo scoprirai in pochi secondi e vedrai qual è.