分散アルゴリズムの設計
分散アルゴリズムというのは,分散システムのためのアルゴリズムです.分散システムというのは,通信機能を持つ複数の計算主体が通信リンクで繋がれているシステムを言います.インターネットなどのネットワークもその一つの例です.計算主体は,パソコンなどの計算機であったり,スマートフォンなどのモバイルデバイスであったり,通信機能を持ったロボットである場合もあります.計算主体は,インターネットなどの大規模なネットワークを考えると,システム全体の状況を常に正確に把握しておくことは困難です.分散アルゴリズムは,自身に直接繋がれている計算主体の部分集合と自身の状態だけを基にしてどう動くか,を表すものです.つまり,各計算主体は,システムの局所的な情報を基に動きますが,結果としてシステム全体として上手く協調動作できるように分散アルゴリズムを設計しておく必要があるわけです.
本グループでは,主に,ネットワークをグラフに,計算主体を節点に,通信リンクを辺に置き換えて,グラフの最適化問題にモデル化される問題を解く自己安定アルゴリズムを設計しています.