权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

低性能デバイスに有効な分散アルゴリズムの開発

开发对低性能设备有效的分布式算法

基本信息

批准号：
20J21849
负责人：
安見嘉人
金额：
$ 1.79万
依托单位：
Nara Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-24 至 2023-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20J21849/
关键词：
分散アルゴリズム個体群プロトコル分散システム

项目摘要

本研究では、個体群プロトコルモデル上で動作する基礎的アルゴリズムの構築を目指す。個体群プロトコルモデルは、多数の個体と呼ばれるデバイスが受動的に移動し、その衝突時に交流が発生し、状態を更新することで計算を進めていくモデルであり、メモリ量などが限られる低性能デバイス群への応用が期待されている。前年度までは、特に個体群プロトコルモデルでさまざまな状況を想定したk分割アルゴリズムの構築に取り組んだ．k分割アルゴリズムとは個体群を任意のk個のグループに分ける問題であり、この問題を解くことができればタスク分散などによる効率的なタスク処理を可能となる．本年度の具体的な成果は以下の通りである．(1)交流できる個体が限られた状況で動作するk分割アルゴリズムの開発：前年度において行ったk分割問題の成果を論文としてまとめた。それまでのアルゴリズムでは、すべての個体がお互いに交流可能であるという仮定で問題を考えてきたが、本成果では交流可能な個体が限られている状況でk分割問題を扱った。これにより、アルゴリズムはより多くの環境に適用可能となると考えられる。(2)前年度に構想していたグラフ形状決定アルゴリズムも数学的証明を与え、国内会議・国際会議にて発表を行った。グラフ形状決定アルゴリズムは通信グラフが所望の形状かどうかを判定するアルゴリズムである。ここで通信グラフとは、ノードを個体、辺をその個体間で交流可能かどうかで表したグラフである。通信グラフの形状を知ることは効率的なアルゴリズムの構築に大きく役立つ。本研究では判定するグラフの形状として二部グラフ・木グラフ・リンググラフ・ライングラフ・正則グラフ・完全グラフ・スターグラフを扱った。各グラフにおいて、正しい判定を行うアルゴリズムを提案し、さらに、正則グラフと完全グラフ以外に関しては定数状態数で正しい判定を行うアルゴリズムを提案した。

The present study is intended to provide guidance for the construction of a basic framework for the behavior of individual populations. The individual population is divided into two groups: the majority of individuals are called to the mobile, the majority of individuals are called to the mobile, the majority of individuals are called to the mobile, the majority of individuals are called to the mobile, the majority of individuals are called to the mobile. In the previous year, the problem of solving the problem of dividing an individual group into arbitrary k groups was solved. The problem of dividing an individual group into k groups was solved. This year's specific achievements are as follows. (1)The results of the previous year's split problem were discussed. The problem of individual communication is not solved. The problem of individual communication is solved. This is the case for many environments. (2)The previous year's conjecture was determined by the shape of the mathematical proof, and the domestic conference and international conference were developed. The shape of the communication is determined by the desired shape Communication between individuals is possible. The shape of the communication ring is known, and the structure of the communication ring is large. This study was conducted to determine the shape of the plant. The plant was divided into two parts: regular plant, complete plant and plant. For each class, the correct decision is made. The correct decision is made. The correct decision is made.