Casamentos Estáveis com Casais Forçados e Casais Proibidos

Abstract

O assunto deste trabalho é o problema dos casamentos estáveis apresentado por Gale & Shapley. Apresentamos aqui uma caracterização de um casamento estável no qual cada par, de um conjunto de pares dados ("forçados"), forme necessariamente um casal, e nenhum par, de outro dado conjunto de pares ("proibidos"), seja casado. Além disso, apresentamos um algoritmo polinomial que encontra esse casamento. Essa caracterização generaliza um teorema de Gusfield & Irving.