2017 Fiscal Year Research-status Report
| Project/Area Number |
17K19982
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
来嶋 秀治 九州大学, システム情報科学研究院, 准教授 (70452307)
|
|---|
| Project Period (FY) |
2017-06-30 – 2020-03-31
|
| Keywords | アルゴリズム理論 / 分散計算論 / 自律分散ロボット |
|---|
| Outline of Annual Research Achievements |
分散計算論は，小さな計算（局所計算）を統合して全体を計算するための理論である．分散計算において，環境の変化（うごき）は本来回避して制御すべき対象であるが，本課題では，逆に「うごき」を計算に積極的に取り込み，安心（計算頑強性の高い）・便利（開発・計算効率の良い）な分散アルゴリズム設計の理論の構築を目指す．
本課題の契機となった，研究代表者らによる先行研究，3次元空間中の自律分散ロボットの対称性解消可能性の特徴づけ（Journal of the ACM, 2017）においては，完全同期（離散時間，故障無し），平面形成（3次元対称性の解消のみ），キラリティの事前合意という（かなり強い）制約が置かれていた．これらの制約を取り除き一般化する仕事は，自律分散ロボットの計算論の文脈で今後解決されていくべき重要な課題である．これらの課題に対し，本年度はキラリティの事前合意の仮定を取り除き，先行研究では回転対称性のみで記述されていた特徴づけを，鏡面対称性も考慮したものに拡張した．この成果を国際会議にて報告した．
また，「うごき」による計算の原理究明を動機として，古典的な計算可能性理論との類比による「うごき」の計算可能性に取り組んだ．具体的には，有視界無記憶ロボットによる計算を非常に単純化した問題として，有視界無記憶ロボットによる中点発見問題の可解性という新しい問題に取り組み，いくつかの興味深い事実を発見した．この成果を国際会議にて報告した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
3次元中の自律分散ロボットに関して，キラリティに関する事前合意の仮定を外した成果を国際会議で報告した．また，「うごき」による計算可能性の理論に関して，有視界ロボットによる計算可能性の新しい問題に取り組み，興味深い現象を観測した．国際会議にて報告を行った．
|
| Strategy for Future Research Activity |
自律分散ロボットの計算論を中心に，「うごき」が計算にもたらす効果について，3次元中の自律分散ロボットや有視界ロボットの計算可能性などの研究を進めていく．
|
| Causes of Carryover |
残金は次年度に有効活用する．
|
Research Products
(2 results)
