| Project/Area Number |
15700010
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
宮崎 修一 京都大学, 学術情報メディアセンター, 助教授 (00303884)
|
|---|
| Project Period (FY) |
2003 – 2004
|
| Project Status |
Completed (Fiscal Year 2004)
|
| Budget Amount *help |
¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2004: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2003: ¥2,100,000 (Direct Cost: ¥2,100,000)
|
|---|
| Keywords | 安定結婚問題 / 研修医配属問題 / 安定マッチング / 希望リスト / 同順位リスト / 不完全リスト / NP困難問題 / 近似アルゴリズム |
|---|
| Research Abstract |
安定結婚問題とは、2つの異なるグループ間で、希望順位に基づき「安定」なマッチングを求める問題である。アメリカやカナダなどでは、研修医の病院配属に古くからこの問題が利用されていたが、日本でも平成15年度から病院配属に利用され始めた。本研究の目的は、安定結婚問題を日本の研修医配属に利用する際の問題点を考え、それを解決することである。本年度は、以下の2点について成果を挙げた。
希望リストに同順位や不完全リストを許すと、最大サイズの安定マッチングを求める問題はNP困難になり、多項式時間では最適解が求められそうにない。そのため、出来るだけ大きなサイズのマッチングを多項式時間で求める、いわゆる近似アルゴリズムの開発が重要となる。これまでは、近似度2のアルゴリズム(すなわち、最大サイズの半分の大きさを保証するアルゴリズム)が最良であった。本研究では、近似度2-0(N/logN)のアルゴリズムの開発に成功した。(SWAT2004)ここで、Nは例題中の男性(または女性)の数である。また、それを改良したアルゴリズムの開発にも成功し、現在国際学会に投稿中である。
1つの例題が最大いくつの安定マッチングを持ちうるかという問題は、数学的興味、および、実用の面からも重要な問題である。本研究では、サイズNの例題の持ちうる安定マッチング数について、上限、下限ともに改良した。この結果は未発表であり、現在学会投稿を検討中である。
|
Report
(2 results)
Research Products
(8 results)
-
-
-
-
-
-
-
[Publications] Halldorsson, M., Irving, R., Iwama, K., Manlove, D., Miyazaki, S., Morita, Y., Scott, S.: "Approximability Results for Stable Marriage Problems with Ties"Theoretical Computer Science. Vol.306. 431-447 (2003)
-
