Theorem von Gale und Shapley

#Studium #Informatik #Definition #DS

Sei $G = (A \cup B, E)$ ein bipartiter Graph mit $| A | = | B |$ . Dann gibt es für jedes System ${\leq_{a} : a \in A}$ , ${\leq_{s} : s \in B}$ von Präferenzen ein stabile matching.