2020 Fiscal Year Annual Research Report
Randomization technologies for algorithms taking incomplete inputs
| Project/Area Number |
16H02782
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
岩間 一雄 京都大学, 学術情報メディアセンター, 研究員 (50131272)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
宮崎 修一 京都大学, 学術情報メディアセンター, 准教授 (00303884)
|
|---|
| Project Period (FY) |
2016-04-01 – 2021-03-31
|
| Keywords | オンラインアルゴリズム / 競合比解析 / 空間計算量 |
|---|
| Outline of Annual Research Achievements |
実施計画では「安定マッチングやその発展形である３次元版に対する様々なタイプの不完全情報の解析と克服」を本年度最も力を入れるテーマとした．これに関しては，プラハチャールズ大学や，台灣国立清華大学での大学院講義に関連して，各種の重要な性質に関してその証明を考え直し，できるだけ統一したテクニックで多くの証明が可能になるように共同研究者の宮崎とともに考察を進め，数多くの重要な性質に対して，従来よりも格段に分かりやすい証明を開発することができた．また，研究期間が延長されたことによって，より新しいテーマにチャレンジすることもできた．安定マッチングはスケジューリング問題の中で論じられることも多いが，その場合は多くの要求を上手にリソースに配置する問題になる．この観点から最近実用的にも注目されているカーシェアリング問題を取り上げ，最も基本的な場合のモデルに対して従来の結果を改良することができた（ISAAC2022）．この研究では乱択アルゴリズムを主に研究したが，そのアイデアが決定性アルゴリズムに対してもほぼそのまま応用できることが判明し，従来の結果を最適化することに成功した．更には，アルゴリズムの再帰的記述の研究に適していると言われているハノイの塔パズルに関して，その空間計算量を初めて提案し，初歩的ではあるが非自明な結果を得ることができた．論文はAmerican Mathmetical Monthlyに掲載され，現在モデルをより一般的なものに発展させる研究を行っている．
|
| Research Progress Status |
令和2年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和2年度が最終年度であるため、記入しない。
|
Research Products
(3 results)
