Proper noun
the Gale-Shapley algorithm An algorithm for finding a solution to the stable marriage problem in polynomial time.