A restrición que fai imposible o seu horario FET
Unha restrición errada pode imposibilitar un ficheiro FET e a busca durar horas antes de que o saiba; comprobe o ficheiro antes, é gratis e leva segundos.
Remata de introducir os datos. Prema en Xerar en FET. Despois, agarde.
Pasan dez minutos. Pasa unha hora. O contador de actividades colocadas nunca chega ao total. Ao final, detén a xeración e non ten ningún horario. O que é peor, non sabe por que.
O problema adoita ser unha única restrición
Un horario escolar ten centos de restricións. A maioría son correctas. Unha delas non o é, e non pode vela.
Por exemplo:
- Unha clase de 31 estudantes só pode usar aulas con 30 asentos.
- Un profesor ten 26 horas de clase, pero só está dispoñible durante 24 franxas horarias.
- Unha regra deixa unha actividade sen hora de inicio válida na semana.
- Catro clases deben ser en días diferentes, pero o grupo de estudantes só ten clase tres días.
Cada un destes casos fai que o horario sexa imposible. Ningunha combinación pode satisfacelo. Pero o ficheiro parece normal. FET ábreo e comeza a buscar.
Por que a busca non llo di
FET é moi bo no seu traballo. Busca unha combinación que cumpra todas as restricións. FET rexeita algúns ficheiros de inmediato. Para moitos outros problemas, inicia unha busca que non pode ter éxito.
Unha busca que falla só lle di unha cousa: esta busca non atopou unha combinación. Non pode distinguir entre «as súas restricións fano imposible» e «non o atopei esta vez». Así que cambia unha ponderación, inténtao de novo e agarda de novo.
Aí é onde se van as horas. O tempo dedícase a unha busca que nunca podería ter éxito, non á resolución.
Primeiro contar, despois buscar
Hai unha pregunta máis rápida que facer antes de xerar: é sequera posible este horario?
Esa pregunta non require unha busca. Require aritmética. A comprobación le as súas restricións e conta a marxe que deixan:
- as horas que un profesor debe impartir, fronte ás franxas horarias que quedan dispoñibles
- as horas de inicio que aínda ten unha actividade, despois de aplicar todas as regras
- se dúas clases que deben ocorrer obrigatoriamente son forzadas a coincidir na mesma franxa horaria
- se un grupo de clases necesita máis días dos que ten a semana
Cando un destes contadores chega a cero, o horario é imposible. Non é unha suposición sobre a dificultade. É unha proba, e a comprobación ofrécea en segundos.
Indica a regra
Unha proba só é útil cando pode actuar en consecuencia. Cada achado di o que está mal, en palabras sinxelas, e nomea as regras implicadas.
No exemplo anterior, Matemáticas · 9A ten 31 estudantes. A aula máis grande que permite a restrición Aula preferida para a actividade ten 30 asentos. A solución é clara: permitir unha aula máis grande ou dividir a clase.
Os achados agrúpanse. Probado como imposible contén os problemas que ningún solucionador pode superar. Os outros grupos conteñen posibles erros e os elementos que dificultan un ficheiro. Lea máis en Os catro tipos de achados.
Dous lugares onde usalo
Sen unha conta: o asistente de FET. Vaya a fetviewer.com/check e escolla o seu ficheiro .fet. É gratuíto e non hai límite de comprobacións. O seu ficheiro permanece no seu ordenador. O seu navegador só envía un resumo ao noso servidor, e o resumo non contén nomes: os profesores, as aulas e os grupos de estudantes viaxan como números. Non almacenamos nada. Vexa Comprobar un ficheiro sen unha conta.
Dentro da súa conta: Comprobación previa. Cando importa o seu horario, a páxina de Comprobación previa aparece xunto coas restricións na pantalla de datos. Cada sección de restricións tamén mostra un resumo dunha liña na parte superior. Cambie unha restrición e volva comprobar mentres traballa. Vexa Que fai a comprobación previa.
O que non lle pode dicir
A comprobación demostra os casos imposibles. Non pode demostrar que un ficheiro se vai resolver, e non pode dicirlle canto tempo tardará FET. Unha comprobación limpa elimina unha razón para o fallo. A busca segue a ser traballo de FET.
Así que use ambos, nesta orde:
- Comprobe o ficheiro.
- Corrixa o que a comprobación demostra.
- Despois, deixe que FET busque.
Lea a comparación completa en En que se diferencia a comprobación de deixar que FET resolva.
Antes da seguinte longa espera
A próxima vez que unha xeración se prolongue demasiado, detéñaa. Comprobe primeiro o ficheiro. Se unha restrición fai o horario imposible, saberao en segundos e verá cal é.