Hola Ezequiel.
Con respecto al primer ejercicio. El concepto de pareja válida no está restringido a los emparejamientos estables obtenidos mediante G-S (que serían solo dos, uno cuando los proponentes son los del conjunto M, y otro cuando son del conjunto W), sino a todos, obtenidos mediante cualquier método. Entonces, si la mejor pareja, de todas las válidas, es la misma que la peor, de todas las válidas, se concluye que hay una única pareja válida, y, como esto se cumple para cada w, por definición de pareja válida, hay un único emparejamiento estable.
Con respecto al otro, el tercero. El comodín se usa en el paso 4.
es la distancia desde s hasta u y 
es la distancia desde v hasta t. Al tomar la suma 
como la distancia de un camino entre s y t se está asignando longitud 0 a la arista (u,v).
Saludos,
Fernando
Con respecto al primer ejercicio. El concepto de pareja válida no está restringido a los emparejamientos estables obtenidos mediante G-S (que serían solo dos, uno cuando los proponentes son los del conjunto M, y otro cuando son del conjunto W), sino a todos, obtenidos mediante cualquier método. Entonces, si la mejor pareja, de todas las válidas, es la misma que la peor, de todas las válidas, se concluye que hay una única pareja válida, y, como esto se cumple para cada w, por definición de pareja válida, hay un único emparejamiento estable.
Con respecto al otro, el tercero. El comodín se usa en el paso 4.
es la distancia desde s hasta u y es la distancia desde v hasta t. Al tomar la suma como la distancia de un camino entre s y t se está asignando longitud 0 a la arista (u,v).Saludos,
Fernando