Gale–Shapley algorithm — algorithm for solving the stable matching problem