障害から超高速に自律復旧するナノスケールネットワークの設計

• Project/Area Number: 20H04140
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: Hosei University
• Principal Investigator: 首藤 裕一 法政大学, 情報科学部, 准教授 (50643665)
• Co-Investigator(Kenkyū-buntansha): 大下 福仁 福井工業大学, 工学部, 教授 (20362650) ; 泉 泰介 大阪大学, 大学院情報科学研究科, 准教授 (20432461) ; 増澤 利光 大阪大学, 大学院情報科学研究科, 教授 (50199692)
• Project Period (FY): 2020-04-01 – 2024-03-31
• Project Status: Completed (Fiscal Year 2023)
• Budget Amount: ¥17,030,000 (Direct Cost: ¥13,100,000、Indirect Cost: ¥3,930,000); Fiscal Year 2023: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2022: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2021: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2020: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
• Keywords: 個体群プロトコル / ナノスケールネットワーク / 分散計算理論 / 自己安定 / 緩安定 / ゆらぎ / 故障耐性 / リーダ選挙 / 頑健性 / 分子計算

Outline of Research at the Start

本研究は，膨大な数の極小デバイスで構成されるナノスケールネットワークにおいて，一部デバイスの物理的な障害によって不安定な状態に陥ったネットワークを高速に復旧する技術の実現を目的とする．障害発生時に自律復旧する頑健なナノスケールネットワークの設計は極めて困難であることが知られており，実用化の障壁となっている．本研究は，障害が発生していない平常時にもわずかな確率で異常状態に陥る「ゆらぎ」を許容することをアプローチとして，ナノスケールネットワークにおいても超高速かつ頑健なアルゴリズム群を実現するための基盤技術を確立することを目指す．

Outline of Annual Research Achievements

本研究は、膨大な数の極小デバイスで構成されるナノスケールネットワークにおいて、一部デバイスの物理的な故障などの障害によって不安定な状態に陥ったネットワークを高速に復旧するための基盤技術の確立を目的とする。極小デバイス群で構成されるナノスケールネットワークにおいては障害への耐性が強く求められる一方で、障害発生時に自律復旧を行う頑健なナノスケールネットワークの設計は極めて困難であることが知られており、実用化の障壁となっている。本研究は、障害が発生していない平常時にもわずかな確率で異常状態に陥る「ゆらぎ」を許容することをアプローチとして、ナノスケールネットワークにおいても超高速かつ頑健なアルゴリズム群を実現するための基盤技術を確立することを目指す。本研究によって、ナノスケールネットワークの障害耐性を汎用的かつ著しく高めることが期待できる。
本研究課題最終年度となる令和5年度は、これまでの3年間に引き続き、重要な結果を得ることができた。まず、昨年度に時間最適性を証明した、ナノスケールネットワークの形状が円環である場合の超高速かつ頑健なリーダ選挙アルゴリズムを6月に分散計算理論のトップ会議であるPODC 2023で発表し、多くの研究者からフィードバックを得た。また、ナノスケールネットワークにおいてデバイスの故障発生などに伴い生じる変数の不整合を高速に衝突検知する技術を昨年度に考案していたが、これをさらに高速化することに成功した。このアルゴリズムの正当性および計算量の解析はすでに完了しており、理論計算機科学のトップ会議のひとつであるSODAに投稿予定である。さらに、ナノスケールネットワークで動作する広範なクラスのアルゴリズムを本研究課題独自のアプローチである「ゆらぎ」を用いて頑健化する緩安定コンパイラの設計に成功した。

Research Progress Status

令和5年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

令和5年度が最終年度であるため、記入しない。

Research Products

• [Int'l Joint Research] University of Ottawa/Carleton University(カナダ)
• [Journal Article] Self-stabilizing 2-minimal dominating set algorithms based on loop composition (2024)
  • Author(s): Maruyama Syohei、Sudo Yuichi、Kamei Sayaka、Kakugawa Hirotsugu
  • Journal Title: Theoretical Computer Science Volume: 983 Pages: 114314-114314
  • DOI: 10.1016/j.tcs.2023.114314
  • Peer Reviewed
• [Journal Article] Fast gathering despite a linear number of weakly Byzantine agents^† (2024)
  • Author(s): Jion Hirose, Junya Nakamura, Fukuhito Ooshita, and Michiko Inoue
  • Journal Title: Concurrency and Computation: Practice and Experience Volume: - Issue: 14
  • DOI: 10.1002/cpe.8055
  • Peer Reviewed / Open Access
• [Journal Article] Loosely-Stabilizing Algorithm on Almost Maximal Independent Set (2023)
  • Author(s): DONG Rongcheng、IZUMI Taisuke、KITAMURA Naoki、SUDO Yuichi、MASUZAWA Toshimitsu
  • Journal Title: IEICE Transactions on Information and Systems Volume: E106.D Issue: 11 Pages: 1762-1771
  • DOI: 10.1587/transinf.2023EDP7075
  • ISSN: 0916-8532, 1745-1361
  • Year and Date: 2023-11-01
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Atomic cross-chain swaps with improved space, time and local time complexities (2023)
  • Author(s): Imoto Soichiro、Sudo Yuichi、Kakugawa Hirotsugu、Masuzawa Toshimitsu
  • Journal Title: Information and Computation Volume: 292 Pages: 105039-105039
  • DOI: 10.1016/j.ic.2023.105039
  • Peer Reviewed / Open Access
• [Journal Article] Location functions for self-stabilizing byzantine tolerant swarms (2023)
  • Author(s): Ashkenazi Yotam、Dolev Shlomi、Kamei Sayaka、Katayama Yoshiaki、Ooshita Fukuhito、Wada Koichi
  • Journal Title: Theoretical Computer Science Volume: 954 Pages: 113755-113755
  • DOI: 10.1016/j.tcs.2023.113755
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] A Self-Stabilizing Distributed Algorithm for the Generalized Dominating Set Problem With Safe Convergence (2022)
  • Author(s): Kobayashi Hisaki、Sudo Yuichi、Kakugawa Hirotsugu、Masuzawa Toshimitsu
  • Journal Title: The Computer Journal Volume: - Issue: 6 Pages: 1-25
  • DOI: 10.1093/comjnl/bxac021
  • Peer Reviewed / Open Access
• [Journal Article] Loosely-stabilizing maximal independent set algorithms with unreliable communications (2022)
  • Author(s): Dong Rongcheng、Sudo Yuichi、Izumi Taisuke、Masuzawa Toshimitsu
  • Journal Title: Theoretical Computer Science Volume: 937 Pages: 69-84
  • DOI: 10.1016/j.tcs.2022.09.031
  • Peer Reviewed / Open Access
• [Journal Article] Almost uniform deployment of mobile agents in dynamic rings (2022)
  • Author(s): Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yonghwan Kim
  • Journal Title: Information and Computation Volume: 289 Pages: 104949-104949
  • DOI: 10.1016/j.ic.2022.104949
  • Peer Reviewed / Open Access
• [Journal Article] Visibility-optimal gathering of seven autonomous mobile robots on triangular grids (2022)
  • Author(s): Masahiro Shibata, Masaki Oyabu, Yuichi Sudo, Junya Nakamura, Yonghwan Kim, Yoshiaki Katayama,
  • Journal Title: International Journal of Networking and Computing Volume: 12 Issue: 1 Pages: 2-25
  • DOI: 10.15803/ijnc.12.1_2
  • NAID: 130008142107
  • ISSN: 2185-2839, 2185-2847
  • Peer Reviewed / Open Access
• [Journal Article] Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols (2021)
  • Author(s): YOKOTA Daisuke、SUDO Yuichi、MASUZAWA Toshimitsu
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E104.A Issue: 12 Pages: 1675-1684
  • DOI: 10.1587/transfun.2020EAP1125
  • NAID: 130008123132
  • ISSN: 0916-8508, 1745-1337
  • Year and Date: 2021-12-01
  • Peer Reviewed / Open Access
• [Journal Article] A self-stabilizing algorithm for constructing a minimal reachable directed acyclic graph with two senders and two targets (2021)
  • Author(s): Kim Yonghwan、Shibata Masahiro、Sudo Yuichi、Nakamura Junya、Katayama Yoshiaki、Masuzawa Toshimitsu
  • Journal Title: Theoretical Computer Science Volume: 874 Pages: 1-14
  • DOI: 10.1016/j.tcs.2021.05.005
  • Peer Reviewed
• [Journal Article] Self-Stabilizing Population Protocols With Global Knowledge (2021)
  • Author(s): Sudo Yuichi、Shibata Masahiro、Nakamura Junya、Kim Yonghwan、Masuzawa Toshimitsu
  • Journal Title: IEEE Transactions on Parallel and Distributed Systems Volume: 32 Issue: 12 Pages: 3011-3023
  • DOI: 10.1109/tpds.2021.3076769
  • Peer Reviewed / Open Access
• [Journal Article] Exploration of dynamic tori by multiple agents (2021)
  • Author(s): Gotoh Tsuyoshi、Sudo Yuichi、Ooshita Fukuhito、Kakugawa Hirotsugu、Masuzawa Toshimitsu
  • Journal Title: Theoretical Computer Science Volume: 850 Pages: 202-220
  • DOI: 10.1016/j.tcs.2020.11.004
  • Peer Reviewed
• [Journal Article] A Self-stabilizing 1-maximal Independent Set Algorithm (2021)
  • Author(s): Tanaka Hideyuki、Sudo Yuichi、Kakugawa Hirotsugu、Masuzawa Toshimitsu、Datta Ajoy K.
  • Journal Title: Journal of Information Processing Volume: 29 Issue: 0 Pages: 247-255
  • DOI: 10.2197/ipsjjip.29.247
  • NAID: 130007998759
  • ISSN: 1882-6652
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Dynamic Ring Exploration with (H,S) View (2020)
  • Author(s): Gotoh Tsuyoshi、Sudo Yuichi、Ooshita Fukuhito、Masuzawa Toshimitsu
  • Journal Title: Algorithms Volume: 13 Issue: 6 Pages: 141-141
  • DOI: 10.3390/a13060141
  • Peer Reviewed / Open Access
• [Journal Article] Time-Optimal Leader Election in Population Protocols (2020)
  • Author(s): Sudo Yuichi、Ooshita Fukuhito、Izumi Taisuke、Kakugawa Hirotsugu、Masuzawa Toshimitsu
  • Journal Title: IEEE Transactions on Parallel and Distributed Systems Volume: 31 Issue: 11 Pages: 2620-2632
  • DOI: 10.1109/tpds.2020.2991771
  • Peer Reviewed / Open Access
• [Journal Article] Self-stabilizing token distribution on trees with constant space (2020)
  • Author(s): Sudo Yuichi、Datta Ajoy K.、Larmore Lawrence L.、Masuzawa Toshimitsu
  • Journal Title: Journal of Parallel and Distributed Computing Volume: 146 Pages: 201-211
  • DOI: 10.1016/j.jpdc.2020.07.007
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Move-optimal partial gathering of mobile agents without identifiers or global knowledge in asynchronous unidirectional rings (2020)
  • Author(s): Masahiro Shibata, Norikazu Kawata, Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
  • Journal Title: Theoretical Computer Science Volume: - Pages: 92-109
  • DOI: 10.1016/j.tcs.2020.04.002
  • Peer Reviewed
• [Presentation] On Asynchrony, Memory, and Communication: Separations and Landscapes (2023)
  • Author(s): Paola Flocchini, Nicola Santoro, Yuichi Sudo, and Koichi Wada
  • Organizer: 27th International Conference on Principles of Distributed Systems (OPODIS 2023)
  • Int'l Joint Research
• [Presentation] Partial Gathering of Mobile Agents in Dynamic Tori (2023)
  • Author(s): Masahiro Shibata, Naoki Kitamura, Ryota Eguchi, Yuichi Sudo, Junya Nakamura, and Yonghwan Kim
  • Organizer: 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023)
  • Int'l Joint Research
• [Presentation] Graph exploration by a clumsy agent (2023)
  • Author(s): Yuichi Sudo
  • Organizer: Moving and Computing (MAC 2023)
  • Int'l Joint Research / Invited
• [Presentation] On computational power of mobile agents in node storage model. (2023)
  • Author(s): Taisuke Izumi
  • Organizer: Moving and Computing (MAC 2023)
  • Int'l Joint Research / Invited
• [Presentation] Crash-tolerant graph exploration by two energy-sharing mobile agents. (2023)
  • Author(s): Toshimitsu Masuzawa
  • Organizer: Moving and Computing (MAC 2023)
  • Int'l Joint Research / Invited
• [Presentation] Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents (2023)
  • Author(s): Quentin Bramas, Toshimitsu Masuzawa, Sebastien Tixeuil
  • Organizer: 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023)
  • Int'l Joint Research
• [Presentation] A Near Time-optimal Population Protocol for Self-stabilizing Leader Election on Rings with a Poly-logarithmic Number of States (2023)
  • Author(s): Daisuke Yokota, Yuichi Sudo, Toshimitsu Masuzawa and Fukuhito Ooshita
  • Organizer: The 42nd ACM Symposium on Principles of Distributed Computing (PODC 2023)
  • Int'l Joint Research
• [Presentation] A Self-stabilizing 2-minimal Dominating Set Algorithm Based on Loop Composition in Networks of Girth at Least 7 (2022)
  • Author(s): Syohei Maruyama, Yuichi Sudo, Sayaka Kamei, Hirotsugu Kakugawa
  • Organizer: The 36th IEEE International Parallel & Distributed Processing Symposium（IPDPS 2022）
  • Int'l Joint Research
• [Presentation] Gathering of Mobile Robots with Defected Views (2022)
  • Author(s): Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa
  • Organizer: The 26th International Conference on Principles of Distributed Systems (OPODIS 2022)
  • Int'l Joint Research
• [Presentation] One Bit Agent Memory is Enough for Snap-Stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles (2022)
  • Author(s): Kohei Shimoyama, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: The 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022)
  • Int'l Joint Research
• [Presentation] Brief Announcement: Gathering Despite Defected View (2022)
  • Author(s): Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa
  • Organizer: The 36th International Symposium on Distributed Computing (DISC 2022)
  • Int'l Joint Research
• [Presentation] Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment (2022)
  • Author(s): Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya
  • Organizer: The 20th International Workshop on Assurance in Distributed Systems and Networks (ADSN 2022)
  • Int'l Joint Research
• [Presentation] ビザンチンエージェントが混在する環境におけるモバイルエージェントの集合 (2022)
  • Author(s): 首藤裕一
  • Organizer: 電子情報通信学会 情報ネットワーク研究会
  • Invited
• [Presentation] Brief Announcement: Gathering Despite a Linear Number of Weakly Byzantine Agents (2022)
  • Author(s): Jion Hirose, Junya Nakamura, Fukuhito Ooshita, Michiko Inoue
  • Organizer: The 41st ACM Symposium on Principles of Distributed Computing (PODC 2022)
  • Int'l Joint Research
• [Presentation] Gathering Despite a Linear Number of Weakly Byzantine Agents (2022)
  • Author(s): Jion Hirose, Junya Nakamura, Fukuhito Ooshita, Michiko Inoue
  • Organizer: The 14th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA 2022)
  • Int'l Joint Research
• [Presentation] ビザンチンエージェントが混在する環境におけるモバイルエージェントの集合問題 (2022)
  • Author(s): 首藤裕一
  • Organizer: 電子情報通信学会 情報理論研究会
  • Invited
• [Presentation] Time-Optimal Loosely-Stabilizing Leader Election in Population Protocols (2021)
  • Author(s): Yuichi Sudo, Ryota Eguchi, Taisuke Izumi, Toshimitsu Masuzawa
  • Organizer: 35th International Symposium on Distributed Computing
  • Int'l Joint Research
• [Presentation] Smoothed Analysis of Population Protocols (2021)
  • Author(s): Gregory Schwartzman, Yuichi Sudo
  • Organizer: 35th International Symposium on Distributed Computing
  • Int'l Joint Research
• [Presentation] Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights (2021)
  • Author(s): Rikuo Nakai, Yuichi Sudo, Koichi Wada
  • Organizer: 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Int'l Joint Research
• [Presentation] Loosely-Stabilizing Maximal Independent Set Algorithms with Unreliable Communications (2021)
  • Author(s): Rongcheng Dong, Yuichi Sudo, Taisuke Izumi, Toshimitsu Masuzawa
  • Organizer: 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Int'l Joint Research
• [Presentation] Gathering of seven autonomous mobile robots on triangular grids (2021)
  • Author(s): Masahiro Shibata, Masaki Ohyabu, Yuichi Sudo, Junya Nakamura, Yonghwan Kim, Yoshiaki Katayama
  • Organizer: 23rd Workshop on Advances in Parallel and Distributed Computational Models
  • Int'l Joint Research
• [Presentation] The Power of Global Knowledge on Self-stabilizing Population Protocols (2020)
  • Author(s): Yuichi Sudo, Masahiro Shibata, Yonghwan Kim, Junya Nakamura, Toshimitsu Masuzawa
  • Organizer: 27th International Colloquium on Structural Information and Communication Complexity
  • Int'l Joint Research
• [Presentation] Self-Stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph (2020)
  • Author(s): Junya Nakamura, Masahiro Shibata, Yuichi Sudo, and Yonghwan Kim
  • Organizer: 39th International Symposium on Reliable Distributed Systems
  • Int'l Joint Research
• [Presentation] Time-Optimal Self-stabilizing Leader Election on Rings in Population Protocols (2020)
  • Author(s): Daisuke Yokota, Yuichi Sudo, Toshimitsu Masuzawa
  • Organizer: 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Int'l Joint Research
• [Presentation] Efficient Dispersion of Mobile Agents without Global Knowledge (2020)
  • Author(s): Takahiro Shintaku, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Int'l Joint Research
• [Presentation] Uniform Deployment of Mobile Agents in Dynamic Rings (2020)
  • Author(s): Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yonghwan Kim
  • Organizer: 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Int'l Joint Research
• [Presentation] 個体群プロトコルモデルにおけるリーダ選挙 (2020)
  • Author(s): 首藤裕一
  • Organizer: 令和二年電気関係学会関西連合大会
  • Invited