An efficient implementation of the Gale and Shapley