A restrição que torna sua grade FET impossível
Uma restrição incorreta pode tornar um arquivo FET impossível e a busca levar horas; verifique o arquivo primeiro, pois é gratuito e leva segundos.
Você termina de inserir os dados. Você pressiona Gerar no FET. Então você espera.
Dez minutos se passam. Uma hora se passa. A contagem de atividades alocadas nunca chega ao total. No final, você para a geração e não tem um horário. Pior, você não sabe por quê.
O problema geralmente é uma única restrição
Um horário escolar tem centenas de restrições. A maioria delas está correta. Uma delas não está, e você não consegue vê-la.
Por exemplo:
- Uma turma de 31 alunos só pode usar salas com 30 lugares.
- Um professor tem 26 horas de aulas, mas está disponível por apenas 24 períodos.
- Uma regra deixa uma atividade sem horário de início válido na semana.
- Quatro aulas devem ser em dias diferentes, mas o grupo de alunos estuda em apenas três dias.
Cada um desses casos torna o horário impossível. Nenhuma organização pode satisfazê-lo. Mas o arquivo parece normal. O FET o abre e começa a procurar.
Por que a busca não lhe informa
O FET é muito bom em seu trabalho. Ele procura por uma organização que obedeça a todas as restrições. O FET recusa alguns arquivos imediatamente. Para muitos outros problemas, ele inicia uma busca que não pode ter sucesso.
Uma busca que falha lhe diz apenas uma coisa: esta busca não encontrou uma organização. Ela não consegue distinguir entre "suas restrições tornam isso impossível" e "não encontrei desta vez". Então você muda um peso, tenta novamente e espera novamente.
É aí que as horas se vão. O tempo é gasto em uma busca que nunca poderia ter sucesso, não na solução.
Primeiro conte, depois busque
Há uma pergunta mais rápida a se fazer antes de gerar: este horário é de fato possível?
Essa pergunta não precisa de uma busca. Precisa de aritmética. A verificação lê suas restrições e conta o espaço que elas deixam:
- as horas que um professor deve lecionar, em comparação com os períodos que permanecem disponíveis
- os horários de início que uma atividade ainda tem, depois que todas as regras são aplicadas
- se duas aulas que devem ocorrer são forçadas a ficar no mesmo período
- se um grupo de aulas precisa de mais dias do que a semana tem
Quando uma dessas contagens chega a zero, o horário é impossível. Isso não é um palpite sobre a dificuldade. É uma prova, e a verificação a fornece em segundos.
Ele nomeia a regra
Uma prova só é útil quando você pode agir com base nela. Cada resultado diz o que está errado, em palavras simples, e nomeia as regras envolvidas.
No exemplo acima, Matemática · 9A tem 31 alunos. A maior sala que a restrição Sala preferida para a atividade permite tem 30 lugares. A correção é clara: permitir uma sala maior ou dividir a turma.
Os resultados são agrupados. Comprovadamente impossível contém os problemas que nenhum solucionador consegue superar. Os outros grupos contêm erros prováveis e as coisas que tornam um arquivo difícil. Leia mais em Os quatro tipos de resultados.
Dois lugares para usar
Sem uma conta: o assistente do FET. Acesse fetviewer.com/check e escolha seu arquivo .fet. É gratuito e não há limite de verificações. Seu arquivo permanece em seu computador. Seu navegador envia apenas um resumo para nosso servidor, e o resumo não contém nomes: professores, salas e grupos de alunos são enviados como números. Não armazenamos nada. Veja Verificando um arquivo sem uma conta.
Dentro da sua conta: Pré-verificação. Ao importar seu horário, a página de Pré-verificação fica junto com as restrições na tela de dados. Cada seção de restrições também mostra um resumo de uma linha no topo. Altere uma restrição e verifique novamente enquanto trabalha. Veja O que a pré-verificação faz.
O que ele não pode lhe dizer
A verificação comprova os casos impossíveis. Ela não pode provar que um arquivo será solucionado, e não pode dizer quanto tempo o FET levará. Uma verificação sem erros remove um motivo para falha. A busca ainda é trabalho do FET.
Portanto, use ambos, nesta ordem:
- Verifique o arquivo.
- Corrija o que a verificação comprova.
- Então, deixe o FET buscar.
Leia a comparação completa em Como a verificação difere de deixar o FET solucionar.
Antes da próxima longa espera
Da próxima vez que uma geração demorar demais, pare-a. Verifique o arquivo primeiro. Se uma restrição torna o horário impossível, você descobre em segundos e vê qual é.