| Project/Area Number |
18H05291
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (S)
|
| Allocation Type | Single-year Grants |
|---|
| Review Section |
Broad Section J
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
河原林 健一 国立情報学研究所, 情報学プリンシプル研究系, 教授 (40361159)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
垣村 尚徳 慶應義塾大学, 理工学部(矢上), 准教授 (30508180)
小林 佑輔 京都大学, 数理解析研究所, 准教授 (40581591)
吉田 悠一 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (50636967)
Avis David 京都大学, 情報学研究科, 非常勤講師 (90584110)
黒木 祐子 東京大学, 大学院情報理工学系研究科, 助教 (50889095)
|
|---|
| Project Period (FY) |
2018-06-11 – 2023-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥193,050,000 (Direct Cost: ¥148,500,000、Indirect Cost: ¥44,550,000)
Fiscal Year 2022: ¥38,870,000 (Direct Cost: ¥29,900,000、Indirect Cost: ¥8,970,000)
Fiscal Year 2021: ¥39,130,000 (Direct Cost: ¥30,100,000、Indirect Cost: ¥9,030,000)
Fiscal Year 2020: ¥40,820,000 (Direct Cost: ¥31,400,000、Indirect Cost: ¥9,420,000)
Fiscal Year 2019: ¥39,130,000 (Direct Cost: ¥30,100,000、Indirect Cost: ¥9,030,000)
Fiscal Year 2018: ¥35,100,000 (Direct Cost: ¥27,000,000、Indirect Cost: ¥8,100,000)
|
|---|
| Keywords | グラフアルゴリズム / グラフ理論 / グラフ / 離散数学 / アルゴリズム / 離散最適化 / 組合せ最適化 / 分散計算 / サブモジュラー関数 / 計算理論 |
|---|
| Outline of Annual Research Achievements |
１． 離散数学、グラフアルゴリズムにおける構造解析を行うための海外からのPDを雇う予定であったが、それがCOVID-19（新型コロナウィルス感染症）の影響により研究員を補充することが全くできなかったため、以下の2分野をRAと共同研究者とともに遂行した。
２． オンラインアルゴリズム開発と機械学習への応用、そして、
３．アルゴリズム技術を機械学習への応用、を行う予定である。
この２つは、機械学習分野において、理論分野の応用が活発に行われている研究分野である。
２に関しては、推薦システムの最適化やポートフォリオ選択など、評価指標が不確定な状況で意思決定をしながら逐次的に戦略を改善するための取り組みとして、オンライン最適化やバンディット最適化の枠組みに取り組んだ。これらの成果は、世界的に評価されている研究成果をNeuRIPS、AAAI、AISTATなどで発表してきた。
３に関しては、河原林はすでにグラフ理論的な解析とグラフ構造の知見を利用し、グラフニューラルネットワーク解析において、すでにインパクトのある研究成果を残している（ICLR'21）。これらの論文は、グラフニューラルネットワークの性能と限界に関して大きなインパクトを与えた。
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
チューリング賞受賞者Tarjanの平面グラフ、セパレイタなどのアルゴリズム設計から始まり、2000年代になりその高まりはピークを迎えた。そしてこの分野の頂点に立つのがRobertson, Seymourによる「グラフマイナー理論（GM）」である。RobertsonとSeymourは「Graph Minors（GM）」という共通のタイトルを持つ一連の23本の論文で「グラフマイナー理論」を構築した（1986年～2004年）。この理論は、離散数学のみならず、アルゴリズム・理論計算機分野の広域で、最も深遠な結果・理論と評価されてきている。しかしながら、グラフマイナー理論の有向グラフ（辺に向きがついているグラフ）への展開は、長年未解決であった。
この背景のもと、無向グラフのGMを有向グラフに拡張する第一歩として、共同研究者であるKreutzer氏と提案者は、1990年代中盤にReed, Robertson, Seymour, Thomas などの著名な数学者によって予想された「有向グラフの木幅とグリッドマイナーのMin-Max 予想」を2015年に完全解決した（STOC’15）。この解決により、グラフマイナー理論（GM）の6本目の論文まで、有向グラフに拡張に成功したことになる。その後、2020年に「弱構造定理」（SODA’20）を証明した。これによってGM13の結果に関しても、有向グラフに拡張可能になった。
|
| Strategy for Future Research Activity |
近年の情報通信技術の発展に伴い，従来のアルゴリズムでは想定し得ない状況下で組合せ最適化問題を解く必要が新たに生まれてきた。例えば、近年の機械学習の進展により、必要な情報をデータから推定し、その推定結果を元に意思決定をするために組合せ最適化問題を解くような状況がある。この場合，最適化問題の入力は不確実性や一定程度の誤りを含んでいる。このような状況下でのアルゴリズムの振る舞いや性能に関する研究は、オンライン最適化やバンディット最適化として、機械学習分野で近年活発に研究されてきたが、まだまだ多くの研究課題が残されている。特に、評価指標が不確定な状況で意思決定しながら逐次的に戦略を改善するための取り組みは、現在のデータ科学の要請もあってホットトピックとなっている。これらの分野に対して、離散アルゴリズム的アプローチを行う予定である。
|
| Assessment Rating |
Ex-post Assessment Comments (Rating)
A+: In light of the aim of introducing the research area into the research categories, more research outcomes have been produced than expected.
|
Assessment Rating |
Interim Assessment Comments (Rating)
A: In light of the aim of introducing the research area into the research categories, the expected progress has been made in research.
|
