42. 安定マッチングアルゴリズム
最初はみんな未婚
未婚の男性 m が一番好きな人 w にプロ
ポーズ
プロポーズを受けた w は一応婚約しておく
(m, w)
他の未婚の男性 m' が一番好きな人 w に
プロポーズ
41/52
43. 安定マッチングアルゴリズム
w は m と m' どっちが好きか判断
w は m との婚約を破棄, m' と婚約
自由な身の人がいなくなるとアルゴリズム
終了
完全マッチング,婚約は結婚へ
42/52
44. 安定マッチングアルゴリズム
While すべての女性にはプロポーズしていない自由の身の男性 m がいる
そのような男性 m を選ぶ
w を m の好意順リストで m がまだプロポーズしていない女性の中で, 最も好きな女性とする
m が w プロポーズする
If w が自由な身である then
(m, w) は婚約する
Else
w は現在 m'と婚約しているとする
If w は, m より m'が好きである then
m は自由な身で在り続ける
Else
(w は m'より m が好きである)
(m, w) は婚約する
m'は自由な身になる
Endif
Endif
Endwhile
婚約のペアの集合 S を返す.
43/52