Professional Documents
Culture Documents
3
Stable Matching Problem
4
Stable Matching Problem
5
Stable Matching Problem
6
Stable Matching Problem
7
Stable Roommate Problem
A B C D
A-B, C-D Þ B-C unstable
B C A D A-C, B-D Þ A-B unstable
A-D, B-C Þ A-C unstable
C A B D
D A B C
8
Propose-And-Reject Algorithm
9
Proof of Correctness: Termination
1st 2nd 3rd 4th 5th 1st 2nd 3rd 4th 5th
Victor A B C D E Amy W X Y Z V
Wyatt B C D A E Bertha X Y Z V W
Xavier C D A B E Clare Y Z V W X
Yancey D A B C E Diane Z V W X Y
Zeus A B C D E Erika V W X Y Z
10
Proof of Correctness: Perfection
11
Proof of Correctness: Stability
Þ A-Z is stable.
12