2008 Fiscal Year Annual Research Report
実社会に即した安定マッチング問題の定式化とその解法研究
| Project/Area Number |
20700009
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
宮崎 修一 Kyoto University, 学術情報メディアセンター, 准教授 (00303884)
|
|---|
| Keywords | 安定マッチング問題 / 安定結婚問題 / 研修医配属問題 / 安定ルームメイト問題 / 近似アルゴリズム / 多項式時間アルゴリズム / 近似困難性 / NP困難性 |
|---|
| Research Abstract |
安定マッチング問題を、実用上の配属問題に拡張し、それら拡張された問題に対する効率の良いアルゴリズムの構築や、問題の複雑さを検討するのが、本研究の目的である。
平成20年度の研究では、主に以下の結果が得られた。
安定ルームメイト問題は学生を2人ずつの組に分割する問題であるが、3人ずつに分割する問題の計算複雑性を示した。この結果は、AAAC2008にて発表した。
研修医配属問題は、病院と研修医の間の安定マッチング問題であり、病院が指定した配属枠の上限を超えないだけの研修医を割り当てることができる。本研究では、病院に最低限必要な研修医数も指定できるように拡張した問題を提案した。この問題に対する多項式時間アルゴリズム、近似アルゴリズム、および計算複雑さの結果を得た。この結果は、MATCH-UP 2008で発表した。
|
