安定マッチング

医師臨床研修マッチングについて考える。

採用されているのは、Gale-Shapleyの安定マッチングシステム。

・安定なマッチングとは
今ペアになっていない 2 人で「今のペアを維持するよりもその 2 人が結婚した方が互いに幸せである」という組合せがないことが条件である。

・安定なマッチングだからといって、フルマッチする保証は無い
(絶望の定理: ある安定マッチングにおいてペアを作られなかった人は、どんな安定マッチングを用いてもペアを作ることができない)

・プロポーズをする側に圧倒的に有利なシステムである

・こちらにRソースを見つけたが、久しぶりにRに触れるこの状況ではかなり理解に時間を要しそう…