–
Room P3.10, Mathematics Building
Casamentos estáveis e colocação de professores em Portugal
Vários problemas de afectação com preferências têm por modelo o problema dos casamentos estáveis (stable marriage problem) ou suas variantes. A versão clássica trata a formação de $n$ casais estáveis num grupo de $n$ homens e $n$ mulheres, ou seja, tais que não exista um par homem-mulher $ (h,m)$ tal que $h$ prefere $m$ à sua esposa e $m$ prefere $h$ ao seu esposo. Existem vários resultados interessantes sobre este problema, nomeadamente a caracterização da estrutura das soluções dalgumas variantes. Quando as listas de preferências mútuas estão totalmente ordenadas, o problema pode ser resolvido pelo algoritmo de Gale e Shapley (1962), sendo a sua complexidade quadrática em $n$. Mais recentemente, Iwama et al. (1999) e Manlove et al. (2002) provaram que, na presença de indiferença e pares inaceitáveis, algumas variantes são NP-complete ou NP-hard. São apresentados os resultados dum estudo motivado pela polémica suscitada pelo Concurso de Educadores de Infância e de Professores dos Ensinos Básico e Secundário para 2004/05, e ainda pela análise do algoritmo desenvolvido pela empresa que desbloqueou a situação e a intuição de que existia alguma relação entre o problema da elaboração de listas de colocações e o dos casamentos estáveis. Propõe-se uma definição de listas de colocações óptimas segundo os candidatos, no espírito do Decreto-Lei nº 35/2003 que regula o concurso, o qual prevê que os candidatos possam manisfestar igual preferência por várias posições. Mostra-se que tais listas podem ser obtidas em tempo polinomial, mas considerando a dimensão das instâncias reais deste problema, coloca-se a questão de saber se, a curto ou médio prazo, haverá necessidade de introduzir alterações à lei, de forma a garantir que o problema se possa resolver em tempo útil.