Изменения
→Основная задача
Рассмотрим некоторое [[Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях| паросочетание]]
в МЖ. {{Определение|definition = Пара <tex>A</tex>-<tex>b </tex> называется '''неустойчивой ''' (англ. ''unstable pair''), если:# В паросочетании есть пары <tex>A</tex>-<tex>a </tex> и <tex>B</tex>-<tex>b </tex> (<tex>A </tex> женат на <tex>a</tex>, <tex>B </tex> женат на <tex>b</tex>)# <tex>A </tex> считает <tex>b </tex> привлекательней, чем <tex>a</tex># <tex>b </tex> считает <tex>A </tex> привлекательней, чем <tex>B</tex>(неформально это означает потенциальную возможность измены)}}
== Агоритм Гейла-Шепли ==
