La restricció que fa impossible el teu horari de FET
Una restricció incorrecta pot fer que un fitxer FET sigui impossible i la cerca trigui hores abans que ho sapigueu, així que comproveu-lo primer: és gratuït i triga segons.
Acabeu d'introduir les dades. Premeu Genera al FET. I espereu.
Passen deu minuts. Passa una hora. El recompte d'activitats col·locades no arriba mai al total. Al final, atureu la generació i no teniu cap horari. Pitjor encara, no sabeu per què.
El problema sol ser una única restricció
Un horari escolar té centenars de restriccions. La majoria són correctes. Una d'elles no ho és, i no la podeu veure.
Per exemple:
- Una classe de 31 estudiants només pot utilitzar aules amb 30 seients.
- Un professor té 26 hores de classe, però només està disponible durant 24 franges horàries.
- Una regla deixa una activitat sense cap hora d'inici permesa a la setmana.
- Quatre classes han de ser en dies diferents, però el grup d'estudiants només té classe tres dies.
Cadascun d'aquests casos fa que l'horari sigui impossible. Cap organització pot satisfer-ho. Però el fitxer sembla normal. El FET l'obre i comença la cerca.
Per què la cerca no us ho diu
El FET fa molt bé la seva feina. Busca una organització que compleixi totes les restriccions. El FET rebutja alguns fitxers a l'instant. Per a molts altres problemes, inicia una cerca que no pot tenir èxit.
Una cerca que falla només us diu una cosa: que aquesta cerca no ha trobat cap organització. No pot distingir entre «les vostres restriccions ho fan impossible» i «aquesta vegada no ho he trobat». Així que canvieu una ponderació, ho torneu a provar i torneu a esperar.
Aquí és on es perden les hores. El temps es dedica a una cerca que mai no podria tenir èxit, no a la resolució.
Primer comptar, després buscar
Hi ha una pregunta més ràpida que us podeu fer abans de generar: és possible, aquest horari?
Aquesta pregunta no requereix una cerca. Requereix aritmètica. La comprovació llegeix les vostres restriccions i compta el marge que deixen:
- les hores que un professor ha de fer, en comparació amb les franges que queden disponibles
- les hores d'inici que encara té una activitat, després d'aplicar totes les regles
- si dues classes que han de tenir lloc obligatòriament es veuen forçades a la mateixa franja
- si un grup de classes necessita més dies dels que té la setmana
Quan un d'aquests recomptes arriba a zero, l'horari és impossible. No és una suposició sobre la dificultat. És una prova, i la comprovació la proporciona en segons.
Indica la regla
Una prova només és útil si podeu actuar en conseqüència. Cada resultat diu què està malament, en paraules senzilles, i anomena les regles implicades.
A l'exemple anterior, Matemàtiques · 9A té 31 estudiants. L'aula més gran que permet la restricció Aula preferida per a l'activitat té 30 seients. La solució és clara: permetre una aula més gran o dividir la classe.
Els resultats s'agrupen. Demostrat impossible conté els problemes que cap solucionador pot superar. Els altres grups contenen errors probables i les coses que fan que un fitxer sigui difícil. Llegiu-ne més a Els quatre tipus de resultats.
Dos llocs on utilitzar-ho
Sense un compte: l'ajudant del FET. Aneu a fetviewer.com/check i trieu el vostre fitxer .fet. És gratuït i no hi ha límit de comprovacions. El vostre fitxer es queda al vostre ordinador. El vostre navegador només envia un resum al nostre servidor, i el resum no conté noms: els professors, les aules i els grups d'estudiants s'envien com a números. No emmagatzemem res. Vegeu Comprovar un fitxer sense un compte.
Dins del vostre compte: Comprovació prèvia. Quan importeu el vostre horari, la pàgina de Comprovació prèvia es troba amb les restriccions a la pantalla de dades. Cada secció de restriccions també mostra un resum d'una línia a la part superior. Canvieu una restricció i torneu a comprovar mentre treballeu. Vegeu Què fa la comprovació prèvia.
Què no us pot dir
La comprovació demostra els casos impossibles. No pot demostrar que un fitxer es resoldrà, i no us pot dir quant de temps trigarà el FET. Una comprovació neta elimina un motiu de fallada. La cerca continua sent feina del FET.
Així que utilitzeu tots dos, en aquest ordre:
- Comproveu el fitxer.
- Corregiu el que la comprovació demostra.
- Després, deixeu que el FET busqui.
Llegiu la comparació completa a En què es diferencia la comprovació de deixar que el FET resolgui.
Abans de la propera llarga espera
La propera vegada que una generació s'allargui massa, atureu-la. Primer, comproveu el fitxer. Si una restricció fa que l'horari sigui impossible, ho descobrireu en segons i veureu quina és.