O que fai a comprobación previa
Unha comprobación que le as túas restricións e comproba se sequera se pode xerar un horario, antes de que pases unha noite descubríndoo.
FET pode pasar moito tempo fallando. Unha única regra que fai que unha lección non poida ser colocada non se anuncia — o resolvedor simplemente busca, e busca, e finalmente rende ou non produce nada.
A verificación previa á execución le as túas regras e fai os cálculos primeiro. Cando pode probar que un horario é imposible, dino en segundos e nomea as regras responsables.
Onde está
Verificación previa á execución está coas restricións na pantalla de datos do horario. Está dispoñible para as persoas que poden editar o horario — é unha ferramenta para a persoa que constrúe as regras.
Cada sección de restricións tamén leva un resumo dunha liña na parte superior, para que vexas o estado das cousas mentres traballas en lugar de só cando o buscas.
O informe: un veredicto, e despois cada achado coas regras que o sustentan.
Onde se executan os cálculos
A verificación non se executa no teu navegador. O teu navegador le as túas regras e envía un resumo ao noso servidor. O noso servidor fai os cálculos e envía os achados de volta.
O resumo non leva nomes. Profesores, aulas, materias e grupos de estudantes viaxan como números, e o teu navegador volve poñer os nomes antes de mostrar o informe.
Non almacenamos nada da verificación. A verificación constrúe o informe de novo a partir das túas regras actuais cada vez que o abres.
Iso ten unha consecuencia práctica que paga a pena coñecer: é o suficientemente rápido como para usalo como ferramenta de traballo. Cambia unha regra, volve, mira de novo.
Que está a ler realmente
As túas restricións, tal como están — non un horario resolto. Nunca coloca unha lección e nunca modifica nada.
O que fai son cálculos sobre o espazo que che queda:
- Cantas horas un profesor está comprometido, fronte a cantos períodos permanecen dispoñibles para el.
- Que horas de inicio podería tomar legalmente unha lección, unha vez que se aplicaron todas as regras que a afectan.
- Se dúas leccións que deben ocorrer ambas están forzadas ao mesmo período mentres comparten un profesor, unha aula ou unha clase.
- Se un grupo de leccións demanda máis días distintos dos que contén a semana.
Cando os cálculos non deixan espazo, iso non é unha opinión sobre a dificultade. É unha proba, e a verificación dino.
Que facer con el
Execútao antes de enviar un proxecto a FET, e de novo despois dun cambio grande. Un informe limpo non é unha promesa de que FET resolverá rapidamente — consulta O que non che pode dicir — pero un informe cun achado probado como imposible diche que a resolución non pode ter éxito, o que paga a pena saber antes e non despois.
O informe ten catro partes
O informe non clasifica os achados pola súa gravidade percibida. Ordénaos polo que pode probar, en catro tipos: Probado imposible, Erros, O que fai este ficheiro difícil, e O que se executou neste ficheiro.
Cada tipo é unha pestana, e cada pestana leva a súa propia conta. Un tipo sen nada non ten ningunha pestana, polo que un ficheiro tranquilo mostra menos pestanas que un ocupado. A primeira pestana con algo ábrese por si mesma.
Un grupo con moitos achados móstraos como unha lista en lugar de como tarxetas. Selecciona unha fila para ver os cálculos que a sustentan xunto á lista.
Só o primeiro tipo proba que FET non pode construír o horario. Consulta Os catro tipos de achados.
Conexións
Conexións responde a unha pregunta diferente: non que está mal, senón que está asociado a este profesor.
Elixe un profesor, un grupo de estudantes ou unha aula. Obtés as súas actividades, as regras que os nomean, os recursos cos que comparten unha aula ou un período, e unha imaxe deses enlaces. Selecciona calquera nodo na imaxe para mover a vista cara a el.
A cor dun nodo indica o que é — un profesor, un grupo de estudantes, unha aula ou unha regra. Un anel arredor dun nodo indica que a verificación atopou algo sobre el. Un anel vermello sólido marca un erro. Un anel ámbar roto marca unha advertencia. A maioría dos ficheiros non teñen aneis, e ese é o estado normal.
Unha liña gris rota entre dúas regras significa que din o mesmo dúas veces.
As entidades sen nada asociado están ocultas ata que as solicitas, porque un ficheiro grande declara moitas que non levan actividades.
Onde ir a continuación
- Os catro tipos de achados — o que cada tipo promete realmente.
- Corrixir o que atopa
- O que non che pode dicir