外乱に対して安定な分散アルゴリズムの相互作用パターン

抗干扰稳定的分布式算法的交互模式

• 批准号: 19K11826
• 负责人: 角川 裕次
• 金额: $ 2.83万
• 依托单位: Ryukoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K11826/
• 关键词: 分散アルゴリズム; 自己安定; 分散グラフアルゴリズム; 自律分散システム; 故障耐性; 自己組織化; 自己安定アルゴリズム; 分散相互排除; プロセス同期; 相互排除; IoT; 自己安定システム; 独立集合; 個体群プロトコル; 分散システム

本研究は，自己安定の概念を基礎におき大規模な分散システムを対象として，ネットワーク変動に対する高度な自律性と適応性を実現する分散アルゴリズムの基礎理論に関するものである．特に分散システム内のノードは対等で，集中制御を行う特別なノードが無く，ノード総数が極めて膨大である分散システムを主な研究の対象とする．現在，無線ワイヤレスセンサネットワークではひとつのシステムにおいては数十程度の規模であるが，本研究の目的は，このような限定的なノード数を大きく越えて，大規模数のノードが対等に相互作用する自律的な分散システムの設計技法の確立を目指して研究を進めている．2022年度は主に，(1) マイナス支配集合問題の一般化，および，(2) 2-極小支配集合問題について，これらの問題に対する自己安定分散アルゴリズムの開発に取り組んで幾つかの成果を上げ，国際会議で発表を行った.マイナス支配集合問題の一般化に関する研究では，すでに知られているマイナス支配集合問題に対してマイナス(L,K,Z)支配集合問題という一般化の提案を行った．2-極小支配集合問題に関する研究では，準最適解である極小支配集合に対して準最適性を改善した2-極小支配集合を提案した．具体的には，支配集合に含まれる2つの頂点を除外し，新たに1つの頂点を追加する操作により，支配集合のサイズが減少できない場合を2-極小性と定めた．この2-極小性は準最適解ではあるものの，分散システムにおける局所的な情報交換で実現できることから，通信コストを抑えつつ解の改善を行うという点で応用上の観点から興味深い問題設定である．

は, this study their stability concept を の に お き large-scale scattered な シ ス テ ム を like と seaborne し て, ネ ッ ト ワ ー ク - move に す seaborne る high な self-disciplinary と optimum 応 を be presently す る scattered ア ル ゴ リ ズ ム の basic theory に masato す る も の で あ る. Inside, scattered に シ ス テ ム の ノ ー ド は で, seaborne centralism ride on を う special な ノ ー ド が く, ノ ー ド 総 number が め て swelled で あ る scattered シ ス テ ム を main な research の like と seaborne す る. Now, wireless ワ イ ヤ レ ス セ ン サ ネ ッ ト ワ ー ク で は ひ と つ の シ ス テ ム に お い て は の dozens of degree scale で あ る が, は の purpose, this study こ の よ う な qualified な ノ ー を ド number big き く more え て, Large number of の ノ ー ド が に interactions such as seaborne す る self-discipline な scattered シ ス テ ム の の design skill to establish を refers し を て research into め て い る. は に, 2022 (1) マ イ ナ ス dominating set problem の generalization, お よ び, (2) 2 - minimum dominating set problem に つ い て, こ れ ら の problem に す seaborne る their stability and dispersion ア ル ゴ リ ズ ム の open 発 に group take り ん で several つ か げ を の achievements, International conference で 発 table line を っ た. マ イ ナ ス dominating set problem の generalization に masato す る research で は, す で に know ら れ て い る マ イ ナ ス dominating set problem に し seaborne て マ イ ナ ス (L, K, Z) dominating set problem と い う line generalization の proposal を っ た. 2 - minimum domination set question に masato す る research で は, quasi optimum solution で あ る minimum dominating set に し seaborne て quasi optimum sex を improve し た 2 - minimum dominating set を proposal し た. Contains specific に は, dominating set に ま れ る 2 つ の vertex except を し, new た に 1 つ の vertex を additional す る operation に よ り, dominate collection の サ イ ズ が reduce で き な い occasions を 2 - minimality と set め た. こ の 2 - minimality は quasi optimum solution で は あ る も の の, scattered シ ス テ ム に お け る な information bureau で be presently で き る こ と か ら, communication コ ス ト を え suppression つ の つ solution to improve line を う と い う point で 応 using の 観 point か ら tumblers deep い problem set で あ る.

项目成果

A linear-time self-stabilizing distributed algorithm for the minimal minus ($L, K, Z$) -domination problem under the distance-2 model

距离2模型下最小负($L,K,Z$)支配问题的线性时间自稳定分布式算法

• DOI: 10.1109/candarw57323.2022.00018
• 发表时间: 2022
• 期刊: The 14th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), in Proceedings of the 2022 Tenth International Symposium on Computing and Networking Workshops (CANDARW)
• 作者: Kakugawa Hirotsugu;Kamei Sayaka
• 通讯作者: Kamei Sayaka

Loosely-stabilizing Leader Election on Arbitrary Graphs in Population Protocols without Identifiers nor Random Numbers

无标识符和随机数的群体协议中任意图的松散稳定领导者选举

• 发表时间: 2020
• 期刊: EICE Transactions on Information and Systems
• 作者: Yuichi Sudo;Fukuhito Ooshita;Hirotsugu Kakugawa;Toshimitsu Masuzawa
• 通讯作者: Toshimitsu Masuzawa

Time-Optimal Leader Election in Population Protocols

群体协议中的时间最优领导者选举

• DOI: 10.1109/tpds.2020.2991771
• 发表时间: 2020
• 期刊: IEEE Transactions on Parallel and Distributed Systems
• 影响因子: 5.3
• 作者: Sudo Yuichi;Ooshita Fukuhito;Izumi Taisuke;Kakugawa Hirotsugu;Masuzawa Toshimitsu
• 通讯作者: Masuzawa Toshimitsu

Logarithmic Expected-Time Leader Election in Population Protocol Model.

群体协议模型中的对数预期时间领导者选举。

• DOI: 10.1007/978-3-030-34992-9_26
• 发表时间: 2019
• 期刊: Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings
• 作者: Ryota Eguchi;Naoki Kitamura;Taisuke Izumi;Taisuke Izumi,Francois Le Gall,Frederic Magniez;Yuval Emek,Noga Harlev,Taisuke Izumi;Yuichi Sudo,Fukuhito Ooshita,Taisuke Izumi,Hirotsugu Kakugawa,Toshimitsu Masuzawa;Taisuke Izumi,Francois Le Gall;Shimon Bitton,Yuval Emek,Taisuke Izumi,Shay Kutten;Michael Dinitz,Magnus M. Halldorsson,Taisuke Izumi,Calvin Newport;Yuichi Sudo,Fukuhito Ooshita,Taisuke Izumi,Hirotsugu Kakugawa,Toshimitsu Masuzawa
• 通讯作者: Yuichi Sudo,Fukuhito Ooshita,Taisuke Izumi,Hirotsugu Kakugawa,Toshimitsu Masuzawa

A self-stabilizing token circulation with graceful handover on bidirectional ring networks

双向环网上优雅切换的自稳定代币流通

• 发表时间: 2022
• 期刊: International Journal of Networking and Computing
• 作者: Hirotsugu Kakugawa;Sayaka Kamei and Yoshiaki Katayama
• 通讯作者: Sayaka Kamei and Yoshiaki Katayama