Stabiles Matching

Ein matching M in G ist stabil, wenn es kein Paar
a∈A und s∈S gibt, so dass s<as′ und a<sa′, für s′∈S und
a′∈A 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.