指標を満たすマッチングに到達するアルゴリズム ここでは, 指標を満たすマッチングに到達するアルゴリズムを紹介します. 指標に関する記事は rikida.hatenablog.com で紹介しています. マッチング理論では, 指標を満たすマッチングが存在するかどうかに加えて, 存在するならそれをどのように見つけるかが大事になっています. 私が学部時代に学んでいた数学(例えば微分方程式やブラウワーの不動点定理など)は, 存在だけを証明することが多く, 実際に求める手順まではやらない(もしくはできない)こともよくありました(多分). しかしマッチング理論では「求める手順」も重要になります. ポイント…