Nesta palestra será apresentada de forma sumária a caracterização do problema da colocação dos docentes onde se distinguem dois aspectos:
1. A problemática relativa à mobilidade das candidaturas, isto é, à transitividade dos destacamentos e a libertação e recuperação de vagas;
2. Os requisitos funcionais (legislação) que determinam a prioridade dos candidatos e as regras de escolha do horário que melhor se ajusta às suas preferências.
Com base na descrição do problema será apresentada a solução que a ATX Software criou destacando os seguintes aspectos:
* A concepção da solução em termos de algoritmia.
* A prova de correcção do algoritmo por indução usando teoria elementar de conjuntos.
* Análise comparativa da solução com a descrição do problema com teoria de grafos.
* Breve descrição dos aspectos tecnológicos que permitiram uma implementação eficiente do algoritmo.
