Population protocolにおけるオラクルをもたない自己安定リーダー選挙問題の可解性に関して
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,任意のエージェント同士が干渉可能なpopulation protocolにおいて,局所メモリ複雑度と公平性の面から,オラクルを許さない自己安定リーダー選挙問題を解決するための必要十分条件を与える.まず,nエージェントのpopulation protocolにおいて,システムの状態数がn-1の場合自己安定リーダー選挙問題を解決するプロトコルは存在しないことを示す.この不可能性を証明するため,我々がclosed-setと呼ばれる新たな証明技術を導入する.また,自己安定リーダー選挙問題を解くn状態を使用するプロトコルが任意の公平性を仮定することなしに構成できることを示す.さらに,自己安定リーダー選挙問題を解くプロトコルを実現するためは,システムのエージェント数を正確に把握することが必要であることを示す.
- 2008-10-31
著者
関連論文
- 証明書分散問題の近似可能性について
- Population protocolにおけるオラクルをもたない自己安定リーダー選挙問題の可解性に関して
- P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構築(セッションB-1:P2P・オーバーレイネットワーク(1))
- P2Pネットワークにおける決定性減衰型ブルームフィルタの提案と検索効率の評価(インターネットの品質評価・品質管理技術,ネットワーク品質,トラヒック計測,一般)
- P2Pネットワークにおけるブルームフィルタを利用したインデックス情報散布法の改良(次世代ネットワーク,SIP・プレゼンス,一般)
- 災害救助シミュレーションにおける道路と建物の特徴について(「社会システムにおける知能」および一般)
- 災害救助シミュレーションにおける道路と建物の特徴について(一般,「社会システムにおける知能」および一般)
- グループ形成によるレスキューエージェントの協調モデルについて
- 軸の方向に関する共有知識をもたない自律分散ロボット群に対する形状形成アルゴリズム(アルゴリズム理論)
- 片軸方向の共通知識をもつ自律分散ロボット群に対する形状形成アルゴリズム(アルゴリズム理論)
- 軸の方向に関する共有知識を持たない自律分散ロボット群に対する形状形成アルゴリズム
- 片軸方向の共通知識をもつ自律分散ロボット群に対する形状形成アルゴリズム
- DNA計算における部分グラフ同型問題の解法について (計算機科学基礎理論の新展開)
- レスキューエージェントの協調行動に対するグループ形成アプローチ
- DNA計算におけるグラフ三彩色問題への分割統治法の適用について
- 除去操作を用いたDNA計算におけるハミルトン経路問題の解法について
- 無線ネットワークにおける完了確認付ブロードキャストアルゴリズムについて
- リング型光通信ネットワークの耐故障性ルーティングについて
- D-6-2 PRAM型並列計算機メモリユニットの設計と実現
- COMP2000-22 分散環境に適した行列積アルゴリズムについて
- ソート集合のある分割に対する並列アルゴリズムについて
- B-7-80 新世代ネットワークサービス基盤としての仮想化技術のモデル化に関する一考察(B-7. 情報ネットワーク,一般セッション)
- モバイルエージェント間ゴシップの移動計算量について
- 動的ネットワークにおける生態系パラダイムに基づく静的資源数制御
- 動的ネットワークにおける生態系パラダイムに基づくモバイルエージェント数制御(エージェント・学習)
- 観測に一様な誤差を生じるモデルでの自律分散ロボット群の一点収束について
- 偶数台の自律分散ロボット群に対するリング上での一点集合問題について
- 4台の自律分散ロボット群による正方形形成について
- 動的コンパスを持つロボット群の一点集合問題に対する許容変化量最適なアルゴリズム
- 故障したコンパスを持つ二台の自律分散ロボットに対する一点集合問題の可解性について
- 時間変化する不一致なコンパスを持つ自律分散ロボット群の一点集合問題
- P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構築(セッションB-1:P2P・オーバーレイネットワーク(1))
- 動的アドホックネットワークでの効率の良い統合・分離が可能なクラスタネットワーク構築アルゴリズム(計算論,計算モデル)
- B-21-29 フレームサイズを考慮した送信電力制御と木構造クラスタを用いたアドホックルーティング方式の性能評価(B-21.アドホックネットワーク,一般講演)
- 自己安定クラスタ構造を用いたアドホックネットワークルーティング方式(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- 自己安定クラスタ構造を用いたアドホックネットワークルーティング方式
- 自己安定クラスタ構造を用いたアドホックネットワークルーティング方式(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- WANET上でのクラスタ及び通信路構築自己安定アルゴリズムについて
- 木構造クラスタを用いたアドホックネットワークルーティングプロトコルの評価(トラヒック,一般)
- 効率の良い統合・分離が可能な動的クラスタネットワーク構築アルゴリズムについて
- B-21-12 アドホックネットワークにおける木構造クラスタを用いたプロアクティブルーティング方式(B-21.アドホックネットワーク,一般講演)
- 極大クリーク分割に基づく自己安定クラスタリングアルゴリズム
- メッセージの確率的な消失を考慮した耐故障合意アルゴリズム
- 星状多角形内の同期式自律分散ロボットの一点集合問題
- 2連結グラフに対するATM網に適した最適な耐故障性ルーティング
- 点集合の強凸-包含を求めるアルゴリズム
- スーパーキューブの耐故障性について
- 2辺連結グラフの4分割について
- グラフのあるk-分割問題に対する効率的なアルゴリズムについて
- 重みつきグラフのk分割問題について
- 3個の空位をもつN×M-平面自動倉庫(N,M≧3)の最小歩数関数
- 異なる半径の数を限定した円集合の凸包を求める最適並列アルゴリズム
- 誤差耐性のある強凸包構成問題に対する並列解法
- 拡張超立方体グラフに対する耐故障性路線割当と直径罹障度
- 円集合の凸包を求める効率の良い並列アルゴリズム
- コンパイラ教育支援システムにおける属性文法に基づく意味解析系提示ツールの作成
- アルゴリズムの可視化に基づくコンパイラ教育支援システム
- k-辺連結有向(無向)グラフに対する高信頼性路線割当の存在条件と計算量
- 通信網に対する高信頼性最適路線割当ての存在条件と計算量の改善
- 3個の空位を持つN×M-平面自動倉庫の最小歩数関数
- 連結グラフの(L,κ)-辺分割線形時間アルゴリズムとκ-辺連結グラフに対する高信頼性路線割当
- 3連結グラフにおける3-独立木構成アルゴリズムと2点間の内点独立路を求めるアルゴリズム
- Timed Uniform Consensus Protocol Tolerating Crash and Timing Faults
- Timed Uniform Consensus Protocol Tolerating Crash and Timing Faults
- タイミング故障および停止故障に対する故障耐性を有するアトミックブロードキャスト
- DNA計算におけるグラフ問題の符号化について
- 相互無関係並列マシンにおける一般化多組織スケジューリング
- センサーネットワーク上の最小ホップk/2を保証したkホップクラスタリングのための自己安定アルゴリズム
- 動的なセンサー網に対するクラスタに基づいたアーキテクチャの比較(セッション2)
- クラスタに基づいた動的センサー綱における効率的なブロードキャストとデータ収集について
- MSTに基づくSVMパス追跡を用いた多重多変量2標本検定による遺伝子群解析に関する一考察(IBIS2010(情報論的学習理論ワークショップ))
- 分散データ構造スキップグラフの探索頻度偏りを考慮した拡張について(セッション3)
- 非阻塞グラフに関する一考察
- P-完全問題に対する幾つかの多項式的に加速する並列アルゴリズム
- D-1-7 Polynomially fast parallel algorithms for some P-complete problems
- クラスタに基づく動的センサーネットワークアーキテクチャについて(セッション2)
- COMP2000-20 DNA計算におけるグラフ問題の符号化について
- P2Pシステムにおける確率的弱コーラムシステムを用いた自己適応的探索手法(セッション4)
- A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems
- 1ステップ分散合意問題の可解性について(ディペンダブルソフトウェアとネットワーク及び一般)
- 分散環境における順位つき資源への部分探索法の提案(セッション5-A : 分散システム)
- 分散環境における順位つき資源への部分探索法の提案(セッション5-A : 分散システム)
- 分散環境における順位つき資源への部分探索法の提案
- 1ステップ分散合意問題の可能性について
- Synchronous Condition-Based Consensus Algorithm Adapting to Input-Vector Legality
- プロセスの出現・消滅に対応したコーザルブロードキャスト
- 故障発生時の連結性判定問題を解く分散アルゴリズムについて
- 2連結光通信網に対する耐故障性ルーティングに関する研究
- DS-1-7 クラスターに基づいた動的なセンサー網における高速なブロードキャストについて(DS-1.COMP-NHC学生シンポジウム,シンポジウム)
- アドホック無線ネットワークにおける完了確認付ブロードキャストアルゴリズムについて
- COMP2000-21 κ-連結グラフに対する小さなルーティングテーブルを持つ最適な耐故障性ルーティング
- 不完全情報環境下における時系列データと仮説推論による行動決定 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 局所グラフカットに基づく高速かつ省メモリな画像セグメンテーション
- 平面的グラフの基無指定k-分割問題に対する線形時間アルゴリズム
- MANET上のGeoCastのためのDAG構成自己安定プロトコルについて
- 最小配置証明書分散問題に対する多項式時間2近似アルゴリズムについて
- DAGを構成する故障封じ込め自己安定プロトコルについて
- マルコフ動的ネットワークにおける通信効率のよいブロードキャストについて
- 分割画像のグラフカットに基づく高速かつ省メモリな画像前景抽出(画像認識,コンピュータビジョン,学生論文)
- MapReduce計算の並列複雑度について