Stabiles Matching

Ein matching M in G ist stabil, wenn es kein Paar
aA und sS gibt, so dass s<as und a<sa, für sS und
aA mit {a,s}, {a,s}M.
In einem stabilen matching gibt es also kein Paar a, s, die sich gegenseitig ihren aktuellen matching-Partnern vorziehen.