Tenho me perguntado se existem soluções conhecidas para algoritmos de criação de um horário escolar. Basicamente, trata-se de otimizar a "dispersão de horas" (tanto no caso de professores como de classes) para determinadas associações classe-disciplina-professor. Podemos supor que temos conjuntos...