Como difire a comprobación de deixar que FET resolva
FET busca unha disposición mentres que esta aplicación só permite visualizar e editar un horario xa xerado.
A xente adoita preguntar por que non deberian simplemente premer en xerar en FET e ver que pasa. Podes facelo. Isto explica o que engade a comprobación e o que non.
FET busca. A comprobación conta.
FET proba disposicións. É moi bo niso. Pero unha busca que falla só che di que esa busca fallou. Non pode separar "as túas regras fan isto imposible" de "non o atopei esta vez".
A comprobación fai aritmética. Nunca coloca unha lección. Conta o espazo que deixan as túas regras:
- as horas que debe un Profesor fronte aos tempos que lle quedan
- os tempos de inicio que aínda ten unha lección unha vez que se aplicou cada regra
- se dúas leccións que deben ocorrer ambas son forzadas ao mesmo tempo
- se un grupo de leccións necesita máis días dos que contén a semana
Cando unha desas contas chega a cero, ningunha busca pode ter éxito, e ningunha cantidade de espera o cambiará.
A diferenza práctica
Tempo. Unha execución fallida de FET pode levar moito tempo. A comprobación responde en segundos.
O que aprendes dun fallo. FET detense sen dicir que regras foron as culpables. A comprobación noméaas, e para unha lección imposible mostra que regra eliminou que tempo de inicio, en orde.
O que significa un bo resultado. Unha execución de FET que ten éxito dáche un Horario real, o que a comprobación nunca fai. Unha comprobación limpa non che dá ningún Horario. Só elimina unha explicación para o fallo.
Usa ambos, nesta orde
- Executa a comprobación primeiro. Se demostra que algo é imposible, unha execución de FET non pode ter éxito, polo que executala é tempo perdido sen aprender nada.
- Arranxa o que demostrou. Nomea as regras e mostra o rastro.
- Despois deixa que FET busque. Esa é a parte que só fai FET.
- Trae o resultado de volta para ler, imprimir e compartir.
O que a comprobación non che pode dicir
⛔ Non che pode dicir que un Horario sexa posible. Nada aquí demostra iso. Un ficheiro pode pasar todas as comprobacións e aínda así ser difícil, ou necesitar que se relaxen as regras antes de que se consiga.
⛔ Non che pode dicir canto tempo levará FET. O número de dificultade é unha lectura de temperatura para comparar o teu propio ficheiro antes e despois dun cambio, non unha predición.