実社会に即した安定マッチング問題の定式化とその解法研究

2008 年度 実績報告書

• 研究課題/領域番号: 20700009
• 研究機関: 京都大学
• 研究代表者: 宮崎 修一 京都大学, 学術情報メディアセンター, 准教授 (00303884)
• キーワード: 安定マッチング問題 / 安定結婚問題 / 研修医配属問題 / 安定ルームメイト問題 / 近似アルゴリズム / 多項式時間アルゴリズム / 近似困難性 / NP困難性

研究概要

安定マッチング問題を、実用上の配属問題に拡張し、それら拡張された問題に対する効率の良いアルゴリズムの構築や、問題の複雑さを検討するのが、本研究の目的である。
平成20年度の研究では、主に以下の結果が得られた。
安定ルームメイト問題は学生を2人ずつの組に分割する問題であるが、3人ずつに分割する問題の計算複雑性を示した。この結果は、AAAC2008にて発表した。
研修医配属問題は、病院と研修医の間の安定マッチング問題であり、病院が指定した配属枠の上限を超えないだけの研修医を割り当てることができる。本研究では、病院に最低限必要な研修医数も指定できるように拡張した問題を提案した。この問題に対する多項式時間アルゴリズム、近似アルゴリズム、および計算複雑さの結果を得た。この結果は、MATCH-UP 2008で発表した。

研究成果

• [雑誌論文] Computational Complexities of University Interview Timetabling (2009)
  • 著者名/発表者名: Naoyuki Kamiyama, Yuuki Kiyonari, Eiji Miyano, Shuichi Miyazaki and Katsuhisa Yamanaka
  • 雑誌名: IEICE TRANSACTIONS on Information and Systems Vol.E92-D, No.2 ページ: 130-140
  • 査読あり
• [雑誌論文] A (2-c 1/\sqrt{N})-Approximation Algorithm for the Stable Marriage Problem (2008)
  • 著者名/発表者名: Iwama, K., Miyazaki, S. and Yamauchi, N.
  • 雑誌名: Algorithmica Vol.51, No.3 ページ: 902-914
  • 査読あり
• [雑誌論文] A Tight Bound on Online Buffer Management for Two-Port Shared-Memory Switches (2008)
  • 著者名/発表者名: Koji Kobayashi, Shuichi Miyazaki and Yasuo Okabe
  • 雑誌名: IEICE TRANSACTIONS on Information and Systems Vol.E91-D, No.8 ページ: 2105-2114
  • 査読あり
• [雑誌論文] A Tight Upper Bound on Online Buffer Management for Multi-Queue Switches with Bicodal Buffers (2008)
  • 著者名/発表者名: Koji Kobayashi, Shuichi Miyazaki and Yasuo Okabe
  • 雑誌名: IEICE TRANSACTIONS on Information and Systems Vol.E91-D, No.12 ページ: 2757-2769
  • 査読あり
• [学会発表] オンラインOVSF符合割当問題における競合比の上下限の改良 (2009)
  • 著者名/発表者名: 岡本和也, 宮崎修一
  • 学会等名: 電子情報通信学会総合大会
  • 発表場所: 愛媛大学, 松山市
  • 年月日: 2009-03-18
• [学会発表] Improving the Competitive Ratio of the Online OVSF Code Assignment Problem (2008)
  • 著者名/発表者名: Miyazaki, S. and Okamoto, K.
  • 学会等名: 19th International Symposium on Algorithms and Computation (ISAAC 2008)
  • 発表場所: Gold Coast International Hotel, Australia
  • 年月日: 2008-12-15
• [学会発表] 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メールプロトコルの設計上の検討 (2008)
  • 著者名/発表者名: 清水敬太, 宮崎修一, 岡部寿男
  • 学会等名: 電子情報通信学会インターネットアーキテクチャ研究会
  • 発表場所: 立山国際ホテル, 富山市
  • 年月日: 2008-11-05
• [学会発表] 入力に制限を加えたオンライングラフ探索問題 (2008)
  • 著者名/発表者名: 森本尚之, 宮崎修一, 岡部寿男
  • 学会等名: 情報処理学会関西支部支部大会
  • 発表場所: 京都リサーチパーク, 京都市
  • 年月日: 2008-10-24
• [学会発表] Improved Competitive Ratios of Online Buffer Management Algorithms for Multi-Oueue Switches in QoS Networks (2008)
  • 著者名/発表者名: 小林浩二, 宮崎修一, 岡部寿男
  • 学会等名: 電子情報通信学会コンピュテーション研究会
  • 発表場所: 名古屋工業大学, 名古屋市
  • 年月日: 2008-09-11
• [学会発表] Privacy Oriented Attribute Exchange in Shibboleth Using Magic Protocols (2008)
  • 著者名/発表者名: Toshihiro Takagi, Takaaki Komura, Shuichi Miyazaki and Yasuo Okabe
  • 学会等名: The 2008 International Symposium on Applications and the Internet (SAINT2008)
  • 発表場所: Turku Center fo Computer Science, Finland
  • 年月日: 2008-07-29
• [学会発表] 2ポートマルチキュースイッチにおける最適なオンラインバッファ管理アルゴリズム (2008)
  • 著者名/発表者名: 小林浩二, 宮崎修一, 岡部寿勇
  • 学会等名: 2008年夏のLAシンポジウム
  • 発表場所: 国民休暇村南紀勝浦, 和歌山県
  • 年月日: 2008-07-22
• [学会発表] The Hospitals/Residents Problem with Quota Lower Bounds (2008)
  • 著者名/発表者名: Hamada, K., Iwama, K. and Miyazaki, S.
  • 学会等名: MATCH-UP (Satellite workshop of ICALP 2008)
  • 発表場所: Reykjavik University, Iceland
  • 年月日: 2008-07-06
• [学会発表] Inapproximability of Stable Roommates Problem with Triple Rooms (2008)
  • 著者名/発表者名: Iwama, K., Miyazaki, S. and Okamoto, K.
  • 学会等名: 1st Asian Association for Algorithms and Computation (AAAC)
  • 発表場所: The Univ. of Hong Kong, China
  • 年月日: 2008-04-26
• [学会発表] An Optimal Online Algorithm for the Graph Exploration Problem on Cycles (2008)
  • 著者名/発表者名: S. Miyazaki, N. Morimoto and Y. Okabe
  • 学会等名: 1st Asian Association for Algorithms and Computation (AAAC)
  • 発表場所: The Univ. of Hong Kong, China
  • 年月日: 2008-04-26
• [図書] Encyclopedia of Algorithms, Springer (2008)
  • 著者名/発表者名: Iwama, K. and Miyazaki, S.
  • 総ページ数: 3
  • 出版者: Stable Marriage with Ties and Incomplete Lists
• [備考]
  • URL: http://www.lab2.kuis.kyoto-u.ac.jp/~shuichi/paper.html