Como a verificação difere de deixar o FET resolver
O FET busca por uma organização, enquanto a verificação faz a contagem; um pode lhe dizer em segundos que um Grade é impossível, o outro não consegue informar isso de forma alguma.
As pessoas frequentemente perguntam por que não deveriam simplesmente pressionar gerar no FET e ver o que acontece. Você pode. Isto explica o que a verificação adiciona e o que ela não faz.
O FET pesquisa. A verificação conta.
O FET tenta arranjos. Ele é muito bom nisso. Mas uma pesquisa que falha diz a você apenas que esta pesquisa falhou. Ele não consegue separar "suas regras tornam isso impossível" de "eu não encontrei desta vez".
A verificação faz aritmética. Ela nunca posiciona uma aula. Ela conta o espaço que suas regras deixam:
- as horas que um docente deve em relação aos horários que restam
- os horários de início que uma aula ainda possui após a aplicação de cada regra
- se duas aulas que precisam ocorrer são forçadas para o mesmo horário
- se um grupo de aulas precisa de mais dias do que a semana contém
Quando uma dessas contagens chega a zero, nenhuma pesquisa pode ter sucesso, e nenhuma quantidade de espera mudará isso.
A diferença prática
Tempo. Uma execução do FET que falha pode levar muito tempo. A verificação responde em segundos.
O que você aprende com uma falha. O FET para sem dizer quais regras foram as culpadas. A verificação as nomeia, e para uma aula impossível ela mostra qual regra removeu qual horário de início, em ordem.
O que um bom resultado significa. Uma execução do FET que tem sucesso fornece um Grade real — o que a verificação nunca faz. Uma verificação limpa não fornece Grade algum. Ela apenas remove uma explicação para a falha.
Use ambos, nesta ordem
- Execute a verificação primeiro. Se ela provar que algo é impossível, uma execução do FET não pode ter sucesso, então executá-la é tempo gasto sem aprender nada.
- Corrija o que ela provou. Ela nomeia as regras e mostra o rastreamento.
- Então deixe o FET pesquisar. Essa é a parte que apenas o FET faz.
- Traga o resultado de volta para ler, imprimir e compartilhar.
O que a verificação não pode dizer a você
⛔ Ela não pode dizer que um Grade é possível. Nada aqui prova isso. Um arquivo pode passar em todas as verificações e ainda ser difícil, ou precisar que regras sejam relaxadas antes de ser concluído.
⛔ Ela não pode dizer quanto tempo o FET levará. O número de dificuldade é uma leitura de temperatura para comparar seu próprio arquivo antes e depois de uma alteração, não uma previsão.
Veja O que ela não pode dizer a você.