权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

組合せ最適化にもとづく安定マッチングの理論と応用

基于组合优化的稳定匹配理论与应用

基本信息

批准号：
15J09039
负责人：
横井優
金额：
$ 1.09万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-24 至 2017-03-31
项目状态：
已结题

项目摘要

安定マッチングモデルは，研修医配属システムや学校選択制度などに応用をもつ数理モデルであり，経済学や数学，計算機科学といった様々な方面から研究されている．本研究では，組合せ最適化を用いたアプローチにより，安定マッチング理論における以下の成果を得た．１．多対一の安定マッチング問題では，研修医と病院になぞらえられる二つの集合間で，各主体の選好を考慮した“安定な”マッチングを見つけることを考える．各病院が割当人数に上限しかもたない場合には安定マッチングの存在が保証できるが，下限ももつ場合には保証できない．安定マッチングをもたない問題例に対しては，その緩和である envy-free マッチングを発見することが，代替策として考えられる．本研究では，下限付き多対一安定マッチングモデルにおける envy-free マッチングの存在性について考察した．そして，基本的な設定および，マトロイド的構造を持った拡張モデルに対し，効率的に envy-free マッチングの存在判定をするアルゴリズムを設計した．また，より一般的なモデルにおける存在性判定の計算困難性(NP困難性)を示した．２．昨年度の研究では，ポリマトロイドという構造上の安定マッチングを算出する初の強多項式時間アルゴリズムを設計した．本年度の研究では，そのアルゴリズムの出力が単に安定であるだけでなく，多数存在し得る安定解の中で，ある種の最適性を満たすものであるということを示した．また，安定マッチングを数学的に拡張した概念(半順序対のカーネル)を用いて，リスト優モジュラ彩色という組合せ的問題に対して，彩色の存在を保証するリスト長の特徴付けを与えた．

In the field of mathematics, economics and mathematics, computer science, and research, there is a need to improve the quality of education. In this study, the following results are obtained: 1. Multi-pair stability problem in combination optimization. 2. Multi-pair stability problem in combination optimization. The number of patients in each hospital is limited to the maximum number of patients, and the minimum number of patients is limited to the minimum number of patients. For example, the problem of stability is solved by mitigation. In this study, we investigated the existence of a stable group with a lower bound of multiple pairs of envy-free groups. The basic settings are set up to maintain the structure of the device, and the efficiency of the device is determined by the existence of the device. 2. Last year's study showed that there was a strong polynomial time in the initial stage of the design. This year's research shows that most of the output of the system is stable, and most of the stability solutions exist. The concept of stability in mathematics (semi-sequential correspondence) is applied to the problem of color combination, and the existence of color is guaranteed.