Cómo difiere la comprobación de dejar que FET resuelva
FET busca una disposición, mientras que la comprobación cuenta; uno puede indicarle en segundos que un horario es imposible, el otro no puede decírselo en absoluto.
La gente a menudo pregunta por qué no deberían simplemente presionar generar en FET y ver qué sucede. Puede hacerlo. Esto explica qué añade la comprobación y qué no.
FET busca. La comprobación cuenta.
FET intenta combinaciones. Es muy bueno en ello. Pero una búsqueda que falla solo le dice que esta búsqueda falló. No puede distinguir entre "sus reglas hacen que esto sea imposible" y "no lo encontré esta vez".
La comprobación realiza cálculos. Nunca coloca una lección. Cuenta el espacio que sus reglas dejan:
- las horas que un Profesor debe frente a los periodos que le quedan
- las horas de inicio que una lección aún tiene una vez que se ha aplicado cada regla
- si dos lecciones que deben ocurrir ambas son forzadas al mismo periodo
- si un grupo de lecciones necesita más días de los que contiene la semana
Cuando uno de esos conteos llega a cero, ninguna búsqueda puede tener éxito, y ninguna cantidad de espera lo cambiará.
La diferencia práctica
Tiempo. Una ejecución fallida de FET puede llevar mucho tiempo. La comprobación responde en segundos.
Lo que aprende de un fallo. FET se detiene sin decir qué reglas fueron las culpables. La comprobación las nombra, y para una lección imposible muestra qué regla eliminó qué hora de inicio, en orden.
Lo que significa un buen resultado. Una ejecución de FET que tiene éxito le da un Horario real, lo cual la comprobación nunca hace. Una comprobación limpia no le da ningún Horario. Solo elimina una explicación para el fallo.
Use ambos, en este orden
- Ejecute la comprobación primero. Si demuestra que algo es imposible, una ejecución de FET no puede tener éxito, por lo que ejecutar una es tiempo perdido sin aprender nada.
- Corrija lo que demostró. Nombra las reglas y muestra el rastro.
- Luego deje que FET busque. Esa es la parte que solo FET hace.
- Traiga el resultado de vuelta para leer, imprimir y compartir.
Lo que la comprobación no puede decirle
⛔ No puede decirle que un Horario es posible. Nada aquí prueba eso. Un archivo puede pasar cada comprobación y aun así ser difícil, o necesitar que se relajen las reglas antes de que se logre.
⛔ No puede decirle cuánto tiempo tardará FET. El número de dificultad es una lectura de temperatura para comparar su propio archivo antes y después de un cambio, no una predicción.