5.

7 Matrimonio estable

Aplicaciones de la
Teora de Grafos
a la vida real

Alberto Conejero y Cristina Jordn

Depto. Matemtica Aplicada
E.T.S. Ingeniera Informtica
Universitat Politcnica de Valncia

Aplicaciones de la Teora de Grafos a la vida real

Baile de fin de curso

Tenemos que ir preparando el baile final de curso y todos tienen que buscarse pareja!

5.7. Matrimonio estable

Aplicaciones de la Teora de Grafos a la vida real

Baile de fin de curso

Les preguntamos sus preferencias e intentaremos hacer parejas estables.

5.7. Matrimonio estable

Aplicaciones de la Teora de Grafos a la vida real

Matrimonio estable
Problema del Matrimonio Estable
Dados n chicos y n chicas con las preferencias con respecto a los miembros del
otro sexo, podemos emparejarlos de manera que los matrimonios sean
estables.

Las matrimonios que hagamos son estables si no hay dos parejas que se
puedan disolver para formar una nueva en la que sus miembros prefieran a
sus nuevas parejas con respecto a las actuales.

Gale y Shapley (1962) probaron que siempre hay solucin al problema.

5.5. Grafos bipartidos

Aplicaciones de la Teora de Grafos a la vida real

Baile de fin de curso

Esta asignacin no es estable.

5.7. Matrimonio estable

Aplicaciones de la Teora de Grafos a la vida real

Baile de fin de curso

3 ronda
(chicos proponen)
Eduardo Daniela
Felipe Beln
Germn Beln
Horacio Ana
5 ronda
(chicos proponen)
Eduardo Daniela
Felipe Ana
Germn Beln
Horacio Ana
1 ronda
(chicos proponen)
Eduardo Daniela
Felipe Daniela
Germn Beln
Horacio Ana

2 ronda
(chicas deciden)
Eduardo Daniela
Felipe Daniela
Germn Beln
Horacio Ana

7 ronda
(chicos proponen)
Eduardo - Daniela
Felipe Carmen
Germn Beln
Horacio Ana

4 ronda
(chicas deciden)
Eduardo Daniela
Felipe Beln
Germn Beln
Horacio Ana
6 ronda
(chicas deciden)
Eduardo - Daniela
Felipe Ana
Germn Beln
Horacio Ana

8 ronda
Todas las chicas
aceptan.

5.7. Matrimonio estable

Aplicaciones de la Teora de Grafos a la vida real

Algoritmo matrimonio estable

Algoritmo para resolver el problema del matrimonio estable (Gale y Shapley):
1.

Cada chico propone su primera opcin.

2.

Las chicas con 2 ms propuestas se quedan provisionalmente con el

pretendiente que ms le gusta y rechazan a los dems.

En cualquier caso, ninguna de las mujeres tiene porqu tomar la decisin final.
3. Cada chico rechazado en el paso anterior realiza un nueva proposicin a la
siguiente chica en su lista de preferencias. Los que no han sido rechazados
mantienen su propuesta.
4. Volvemos al paso 2 hasta que no sea rechazada ninguna peticin.

5.5. Grafos bipartidos

Aplicaciones de la Teora de Grafos a la vida real

Matrimonio estable
Variaciones del problema:
Problema de admisin en universidades (College admission problem)
Tambin formulado para la admisin de residentes en hospitales. (Se puede
formular incluso para parejas).

Problema del compaero de habitacin (Stable Roomate problem)

Problema de buscar un emparejamiento de mximo peso en grafos bipartidos.

5.5. Grafos bipartidos