| 研究課題/領域番号 |
23K16838
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
北村 直暉 大阪大学, 大学院情報科学研究科, 助教 (30963657)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2025年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2024年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2023年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 分散アルゴリズム / フォールトトレラント / 動的グラフ |
|---|
| 研究開始時の研究の概要 |
複数の計算機が協調して動作する分散グラフシステム上では，計算機や計算機間の通信リンクが故障することによってネットワークの構造が変化することは頻繁に起こりうる問題である．そのような故障が発生した場合，従来の研究ではアルゴリズムを最初から実行して解を求めなおすことが主流であった．しかし少数の計算機の故障による影響がこれまでの解に及ぼす範囲は限定的な場合も存在する．そのような場合において解を計算し直すのは冗長であると考えられる．本研究では少数のグラフの故障が発生した場合に解を復元するアルゴリズムの設計や，故障が発生しても正しい解を計算できるデータ構造の構築を目指す．
|
| 研究実績の概要 |
本研究では分散グラフシステム上で故障が発生したときに効率的に解を修復するアルゴリズムの設計やデータ構造の構築を行うことを目的とする．分散システムとは複数の計算機が協調し，与えられた問題を少ない計算時間で解くシステムである．分散システムでは複数の計算機がシステムに関わるので計算機や計算機間の通信リンクが故障することは頻繁に起こりうる問題である．そのような故障が発生した場合，従来の研究ではアルゴリズムを最初から実行して解を求めなおすことが主流であった．しかし，少数の計算機の故障による影響がこれまでの解に及ぼす範囲は限定的である場合も存在する．そのような場合は最初から解を計算しなおすのは冗長であると考えられる．本研究では少数のグラフの故障が発生した場合に解を復元するアルゴリズムの設計や，故障が発生しても正しい解を計算できるデータ構造の構築を目指す．
今年度の研究では，時間とともに故障する辺が動的に変化するトーラスグラフ上での部分的な集合問題について取り扱った．この問題ではある定数gが与えられた時に，グラフ上にいる各エージェントは自身を含めて少なくともg台以上のエージェントがいる場所に集合する問題である．この問題に対して，エージェントの数が十分である場合は高速に問題を解くアルゴリズムを提案した．一方，エージェントの数が少ない場合は解くことが不可能であることを示した．この結果は国際会議のSANDで採択されている．
また，逐次計算の分野では，単一始点距離感度オラクル問題について取り扱った．この研究では，グラフの辺または頂点が故障したときに単一始点からの最短距離のクエリを高速に出力することを目的としたものである．この問題に対して，(1+\epsilon)近似の距離をグラフサイズに対してほぼ線形時間のアルゴリズムを提案した．この結果は情報科学ワークショップによって発表している．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
研究実績に記載の通り，今年度は国際会議に1件の論文が採択されており，研究は順調に進んでいると言える．
|
| 今後の研究の推進方策 |
単一始点距離感度オラクルに関する研究ではすでに成果が出ているので，国際会議に投稿することを目標とする．逐次型のアルゴリズムに関して，現在知られている結果を利用して，分散グラフシステム上でも同様の手法が適用できないかについて検討を行う．また，モバイルエージェントシステムの分野では，集合問題や分散配置問題に関して，引き続き研究を行う．
|
