La restricción que hace imposible tu horario FET
Una restricción incorrecta puede hacer imposible un archivo FET y que la búsqueda tarde horas: comprueba el archivo primero, es gratis y solo lleva segundos.
Usted termina de introducir los datos. Pulsa Generar en FET. Y entonces espera.
Pasan diez minutos. Pasa una hora. El recuento de actividades colocadas nunca llega al total. Al final, usted detiene la generación y no tiene horario. Peor aún, no sabe por qué.
El problema suele ser una sola restricción
Un horario escolar tiene cientos de restricciones. La mayoría son correctas. Una de ellas no lo es, y usted no puede verla.
Por ejemplo:
- Una clase de 31 alumnos solo puede usar aulas con 30 asientos.
- Un profesor tiene 26 horas de clase, pero solo está disponible durante 24 periodos.
- Una regla deja a una actividad sin ninguna hora de inicio legal en la semana.
- Cuatro clases deben impartirse en días diferentes, pero el grupo de alumnos solo tiene clase tres días.
Cada uno de estos casos hace que el horario sea imposible. Ninguna combinación puede satisfacerlo. Pero el archivo parece normal. FET lo abre y empieza a buscar.
Por qué la búsqueda no se lo dice
FET es muy bueno en su trabajo. Busca una combinación que obedezca cada restricción. FET rechaza algunos archivos al instante. Para muchos otros problemas, inicia una búsqueda que no puede tener éxito.
Una búsqueda que falla solo le dice una cosa: esta búsqueda no encontró una combinación. No puede distinguir entre «sus restricciones lo hacen imposible» y «no lo he encontrado esta vez». Así que usted cambia una ponderación, lo intenta de nuevo y espera de nuevo.
Ahí es donde se van las horas. El tiempo se invierte en una búsqueda que nunca podría tener éxito, no en la resolución.
Primero contar, después buscar
Hay una pregunta más rápida que puede hacer antes de generar: ¿es este horario posible?
Esa pregunta no necesita una búsqueda. Necesita aritmética. La comprobación lee sus restricciones y cuenta el margen que dejan:
- las horas que un profesor debe impartir, frente a los periodos que quedan disponibles
- las horas de inicio que todavía tiene una actividad, después de aplicar todas las reglas
- si dos clases que deben impartirse obligatoriamente se ven forzadas a coincidir en el mismo periodo
- si un grupo de clases necesita más días de los que tiene la semana
Cuando uno de estos recuentos llega a cero, el horario es imposible. No es una suposición sobre la dificultad. Es una prueba, y la comprobación la ofrece en segundos.
Identifica la regla
Una prueba solo es útil si se puede actuar en consecuencia. Cada hallazgo dice qué está mal, en palabras sencillas, e identifica las reglas implicadas.
En el ejemplo anterior, Matemáticas · 9A tiene 31 alumnos. El aula más grande que permite la restricción Aula preferida para la actividad tiene 30 asientos. La solución es clara: permitir un aula más grande o dividir la clase.
Los hallazgos se agrupan. Imposibilidad demostrada contiene los problemas que ningún solucionador puede superar. Los otros grupos contienen errores probables y los elementos que dificultan un archivo. Lea más en Los cuatro tipos de hallazgos.
Dos lugares donde usarlo
Sin una cuenta: el asistente de FET. Vaya a fetviewer.com/check y elija su archivo .fet. Es gratis y no hay límite de recomprobaciones. Su archivo permanece en su ordenador. Su navegador solo envía un resumen a nuestro servidor, y el resumen no contiene nombres: los profesores, las aulas y los grupos de alumnos se envían como números. No almacenamos nada. Consulte Comprobar un archivo sin una cuenta.
Dentro de su cuenta: Verificación previa. Cuando importa su horario, la página de Verificación previa se encuentra junto a las restricciones en la pantalla de datos. Cada sección de restricciones también muestra un resumen de una línea en la parte superior. Cambie una restricción y vuelva a comprobar mientras trabaja. Consulte Qué hace la verificación previa.
Lo que no puede decirle
La comprobación demuestra los casos imposibles. No puede demostrar que un archivo se resolverá, y no puede decirle cuánto tiempo tardará FET. Una comprobación limpia elimina una razón para el fracaso. La búsqueda sigue siendo trabajo de FET.
Así que use ambos, en este orden:
- Compruebe el archivo.
- Corrija lo que la comprobación demuestra.
- Luego, deje que FET busque.
Lea la comparación completa en En qué se diferencia la comprobación de dejar que FET resuelva.
Antes de la próxima larga espera
La próxima vez que una generación se ejecute durante demasiado tiempo, deténgala. Compruebe primero el archivo. Si una restricción hace que el horario sea imposible, lo descubrirá en segundos y verá cuál es.