Kararlı Evlilik Problemi
Kararlı Evlilik Problemi (Stable Marriage Problem), Gale - Shapley Algoritması ile ilk defa David Gale ve Lloyd Shapley tarafından ortaya konmuştur (1962). Buna göre n sayıda erkek ve yine n sayıda kadının evlenmek için bir oluşum içinde olduğunu farzedelim. Burada temel ilke n sayıda üyesi olan iki grubun da tercihlerini çelişkiye yer vermeyen belirli bir düzende yapabilmesine dayanır (strict preferences).