テラ時代の分散アルゴリズム工学

2009 年度 研究成果報告書

• 研究課題/領域番号: 18300004
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 九州大学
• 研究代表者: 山下 雅史 九州大学, 大学院・システム情報科学研究院, 教授 (00135419)
• 研究分担者: 定兼 邦彦 九州大学, 大学院・システム情報科学研究院, 准教授 (20323090) ; 小野 廣隆 九州大学, 大学院・システム情報科学研究院, 助教 (00346826)
• 研究期間 (年度): 2006 – 2009
• キーワード: 巨大分散システム / 安定性 / 分子計算 / 複雑ネットワーク / センサ・ネットワーク

研究概要

巨大分散システムを対象とする分散アルゴリズム設計論を構築することが本研究の目的であった.巨大システムの安定性の保証という立場から,確率的分散アルゴリズムと自己安定アルゴリズムの研究を中心として行い,主な発表論文欄に示す結果を得た.また,「適用的分散アルゴリズム」と題する,日本で初めての安定な分散アルゴリズムの設計理論の教科書を著述した.

研究成果

• [雑誌論文] The hitting and cover times of Metropolis walks. Theor. (2010)
  • 著者名/発表者名: Yoshiaki Nonaka, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita
  • 雑誌名: Comput. Sci 411(16-18) ページ: 1889-1894
• [雑誌論文] Characterizing geometric patterns formable by oblivious anonymousmobile robots. (2010)
  • 著者名/発表者名: Masafumi Yamashita, Ichiro Suzuki
  • 雑誌名: Theor. Comput. Sci 411(26-28) ページ: 2433-2453
• [雑誌論文] Approximating the longest path length of a stochastic DAG bya normal distribution in linear time. (2009)
  • 著者名/発表者名: Ei Ando, Toshio Nakata, Masafumi Yamashita
  • 雑誌名: J. Discrete Algorithms 7(4) ページ: 420-438
• [雑誌論文] Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. (2009)
  • 著者名/発表者名: Samia Souissi, Xavier Defago, Masafumi Yamashita
  • 雑誌名: TAAS 4(1)
• [雑誌論文] The hitting and cover times of random walks on finite graphs using local degree information. (2009)
  • 著者名/発表者名: Satoshi Ikeda, Izumi Kubo, Masafumi Yamashita
  • 雑誌名: Theor. Comput. Sci 410(1) ページ: 94-100
• [雑誌論文] ハウ・ツー・ランデブー(招待解説論文)計測と制御 (2007)
  • 著者名/発表者名: 片山喜章, 山下雅史
  • 雑誌名: 46,11 ページ: 853-859
• [雑誌論文] How to collect balls moving in the Euclidean plane. (2006)
  • 著者名/発表者名: Yuichi Asahiro, Takashi Horiyama, Kazuhisa Makino, Hirotaka Ono, Toshinori Sakuma, Masafumi Yamashita
  • 雑誌名: Discrete Applied Mathematics 154(16) ページ: 2247-2262
• [学会発表] How to Design a Linear Cover Time Random Walk on a Finite Graph. (2009)
  • 著者名/発表者名: Yoshiaki Nonaka, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita
  • 学会等名: SAGA
  • 年月日: 20090000
• [学会発表] A Generic Algorithm for Approximately Solving Stochastic Graph Optimization Problems. (2009)
  • 著者名/発表者名: Ei Ando, Hirotaka Ono, Masafumi Yamashita
  • 学会等名: SAGA
  • 年月日: 20090000
• [学会発表] Computing the Exact Distribution Function of the Stochastic Longest Path Length in a DAG. (2009)
  • 著者名/発表者名: Ei Ando, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita
  • 学会等名: TAMC
  • 年月日: 20090000
• [学会発表] Speeding Up Local-Search Type Algorithms for Designing DNA Sequences under Thermodynamical Constraints. (2008)
  • 著者名/発表者名: Suguru Kawashimo, Yen Kaow Ng, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita
  • 学会等名: DNA
  • 年月日: 20080000
• [学会発表] Weak vs. Self vs. Probabilistic Stabilization. (2008)
  • 著者名/発表者名: Stephane Devismes, Sebastien Tixeuil, Masafumi Yamashita
  • 学会等名: ICDCS
  • 年月日: 20080000
• [学会発表] The space complexity of the leader election in anonymous networks. (2008)
  • 著者名/発表者名: Ei Ando, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita
  • 学会等名: IPDPS
  • 年月日: 20080000
• [学会発表] A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots. (2008)
  • 著者名/発表者名: Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita
  • 学会等名: OPODIS
  • 年月日: 20080000
• [学会発表] Designing good random walks on finite graphs. (2008)
  • 著者名/発表者名: Masafumi Yamashita
  • 学会等名: IWOCA 2008
  • 発表場所: (Invited Talk)
  • 年月日: 20080000
• [学会発表] Robots and Molecules. (2008)
  • 著者名/発表者名: Masafumi Yamashita
  • 学会等名: SSS 2007
  • 発表場所: (Invited Talk)
  • 年月日: 20080000
• [図書] 適応的分散アルゴリズム (2010)
  • 著者名/発表者名: 増澤利光, 山下雅史
  • 総ページ数: 308
  • 出版者: 共立出版