公募研究
令和4-5年度においては,主に以下の3課題に取り組み,結果を得た.(1) 一般グラフの最大マッチング問題に対する高速な分散アルゴリズムの設計:一般グラフの最大マッチング問題は,既存の逐次アルゴリズムを分散グラフアルゴリズムとして実現する場合,分散・並列処理が本質的に困難な部分が数多く存在し,これまでに非自明な実行時間上界(劣2乗時間)を持つアルゴリズムは知られていなかった.本研究はこの未解決問題を肯定的に解決し,世界初の劣2乗時間分散アルゴリズムを提案した.(2) 耐故障連結性ラベリングスキームの決定性構成:耐故障連結性ラベリングスキームとは,ネットワーク(グラフ)における辺故障下での2頂点間連結性判定を効率的に判定する分散型のテータ構造の一種である.非自明なラベルサイズを持つ同ラベリングスキームの構成方法は乱択を用いたモンテカルロ型の構成手法のみが知られており,決定性構成方法は未解決の課題であった,本研究ではこの問題を肯定的に解決した.(3) モバイルエージェントの計算能力に関する研究:モバイルエージェントはネットワーク中を自律的に移動する計算主体である.モバイルエージェントが備えるリソースと計算能力の関係性の解明は当該分野における基本問題の一つであるが,本研究では,従来能力差があることが知られていた2つの異なるエージェントモデルについて,それが活動するネットワークのトポロジにある弱い制約を課した場合能力が等価となることを理論的に証明した.この等価性は予想外かつ興味深い結果であり,国際会議OPODIS2022においてBest Student Paper Runner-upを受賞した.
令和4年度が最終年度であるため、記入しない。
すべて 2023 2022 その他
すべて 国際共同研究 (1件) 雑誌論文 (3件) (うち国際共著 1件、 査読あり 3件、 オープンアクセス 3件) 学会発表 (1件)
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing (PODC)
巻: - ページ: 190-199
10.1145/3583668.3594584
IEICE Transactions on Information and Systems
巻: E105.D ページ: 634~645
10.1587/transinf.2021edp7083
In 26th International Conference on Principles of Distributed Systems (OPODIS 2022). Leibniz International Proceedings in Informatics (LIPIcs)
巻: 253 ページ: 11:1-11:18
10.4230/LIPIcs.OPODIS.2022.11