Stable marriage problem
Stabilní manželský problém (Stable Marriage Problem) je problém v oblasti teorie her a algoritmů, který se zabývá přiřazováním dvou skupin lidí (obvykle mužů a žen) tak, aby bylo minimalizováno riziko, že si někdo z účastníků najde jiného partnera, s nímž by byli raději než se svým aktuálním partnerem. Tento problém byl poprvé formálně definován americkými matematiky Davidem Galeem a Lloydem Shapleyem v roce 1962. Řešení stabilního manželského problému, známé jako Gale-Shapley algoritmus, zajišťuje, že každé manželství je stabilní, tedy že neexistuje pár, který by se mohl přednostně spojit mimo daný systém. Tento algoritmus je jedním z nejznámějších příkladů aplikací v oblasti matchmakingu a je využíván v různých oblastech, jako je např. párování studentů s školami nebo při hledání vhodných zaměstnání. Celkově stabilní manželský problém představuje důležitý příklad v teorii algoritmů a jeho řešení má široké praktické aplikace.