| 研究領域 | 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化 |
|---|
| 研究課題/領域番号 |
21H05854
|
|---|
| 研究種目 |
学術変革領域研究(A)
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
学術変革領域研究区分(Ⅳ)
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
泉 泰介 大阪大学, 大学院情報科学研究科, 准教授 (20432461)
|
|---|
| 研究期間 (年度) |
2021-09-10 – 2023-03-31
|
| 研究課題ステータス |
完了 (2022年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2022年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2021年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
|
|---|
| キーワード | 分散アルゴリズム / グラフアルゴリズム / 自己安定性 |
|---|
| 研究開始時の研究の概要 |
多数の計算機を相互接続した分散システムにおける近年の新たなシステムパラダイムの勃興にともない、高位のレイヤにおける分散型アプリケーション開発のための基盤となる、高度に抽象化された分散アルゴリズムの充実が求められる。本研究では、分散グラフアルゴリズムの研究領域を対象とした、適切な粒度での抽象化に基づいた基盤アルゴリズムの整備とその応用への適用を目指す．
|
| 研究実績の概要 |
令和4-5年度においては，主に以下の3課題に取り組み，結果を得た．
(1) 一般グラフの最大マッチング問題に対する高速な分散アルゴリズムの設計：一般グラフの最大マッチング問題は，既存の逐次アルゴリズムを分散グラフアルゴリズムとして実現する場合，分散・並列処理が本質的に困難な部分が数多く存在し，これまでに非自明な実行時間上界(劣2乗時間)を持つアルゴリズムは知られていなかった．本研究はこの未解決問題を肯定的に解決し，世界初の劣2乗時間分散アルゴリズムを提案した．
(2) 耐故障連結性ラベリングスキームの決定性構成：耐故障連結性ラベリングスキームとは，ネットワーク(グラフ)における辺故障下での2頂点間連結性判定を効率的に判定する分散型のテータ構造の一種である．非自明なラベルサイズを持つ同ラベリングスキームの構成方法は乱択を用いたモンテカルロ型の構成手法のみが知られており，決定性構成方法は未解決の課題であった，本研究ではこの問題を肯定的に解決した．
(3) モバイルエージェントの計算能力に関する研究：モバイルエージェントはネットワーク中を自律的に移動する計算主体である．モバイルエージェントが備えるリソースと計算能力の関係性の解明は当該分野における基本問題の一つであるが，本研究では，従来能力差があることが知られていた2つの異なるエージェントモデルについて，それが活動するネットワークのトポロジにある弱い制約を課した場合能力が等価となることを理論的に証明した．この等価性は予想外かつ興味深い結果であり，国際会議OPODIS2022においてBest Student Paper Runner-upを受賞した．
|
| 現在までの達成度 (段落) |
令和4年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和4年度が最終年度であるため、記入しない。
|
