Popular Edges and Dominant Matchings
an efficient algorithm for the " optimal " stable marriage .