WEKO3
アイテム
Space Complexity of Self-Stabilizing Leader Election in Passively-Mobile Anonymous Agents
https://nitech.repo.nii.ac.jp/records/3414
https://nitech.repo.nii.ac.jp/records/3414d8561ee4-2283-4b07-9e79-cdf391e99b2f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文_fulltext (200.4 kB)
|
Copyright 2010 Springer-Verlag The final publication is available at www.springerlink.com.
|
| Item type | 会議発表論文 / Conference Paper(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-06-25 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | Space Complexity of Self-Stabilizing Leader Election in Passively-Mobile Anonymous Agents | |||||||||||||||||
| 言語 | en | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | eng | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | Self-Stabilizing | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | Leader | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | Election | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | Passively-Mobile | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | Anonymous | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | Agent | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||||
| 著者 |
Shukai, Cai
× Shukai, Cai
× 泉, 泰介
× Wada, Koichi
|
|||||||||||||||||
| 著者別名 | ||||||||||||||||||
| 識別子Scheme | WEKO | |||||||||||||||||
| 識別子 | 8720 | |||||||||||||||||
| 識別子Scheme | NRID | |||||||||||||||||
| 識別子URI | http://rns.nii.ac.jp/nr/1000020432461 | |||||||||||||||||
| 識別子 | 1000020432461 | |||||||||||||||||
| 姓名 | Izumi, Taisuke | |||||||||||||||||
| 言語 | en | |||||||||||||||||
| 姓名 | 泉, 泰介 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 姓名 | イズミ, タイスケ | |||||||||||||||||
| 言語 | ja-Kana | |||||||||||||||||
| 姓 | Izumi | |||||||||||||||||
| 言語 | en | |||||||||||||||||
| 姓 | 泉 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 姓 | イズミ | |||||||||||||||||
| 言語 | ja-Kana | |||||||||||||||||
| 名 | Taisuke | |||||||||||||||||
| 言語 | en | |||||||||||||||||
| 名 | 泰介 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 名 | タイスケ | |||||||||||||||||
| 言語 | ja-Kana | |||||||||||||||||
| 著者別名 | ||||||||||||||||||
| 識別子Scheme | WEKO | |||||||||||||||||
| 識別子 | 8926 | |||||||||||||||||
| 姓名 | 和田, 幸一 | |||||||||||||||||
| 書誌情報 |
en : Structural Information and Communication Complexity, Lecture Notes in Computer Science 巻 5869/2010, p. 113-125, 発行日 2010 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 出版者 | Springer Verlag | |||||||||||||||||
| 言語 | en | |||||||||||||||||
| 著者版フラグ | ||||||||||||||||||
| 出版タイプ | AM | |||||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||||||||||||||
| DOI | ||||||||||||||||||
| 関連タイプ | isVersionOf | |||||||||||||||||
| 識別子タイプ | DOI | |||||||||||||||||
| 関連識別子 | http://dx.doi.org/10.1007/978-3-642-11476-2_10 | |||||||||||||||||
| 関連名称 | 10.1007/978-3-642-11476-2_10 | |||||||||||||||||
| 内容記述 | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | A population protocol is one of distributed computing models for passively-mobile systems, where a number of agents change their states by pairwise interactions between two agents. In this paper, we investigate the solvability of the self-stabilizing leader election in population protocols without any kind of oracles. We identify the necessary and sufficient condition to solve the self-stabilizing leader election in population protocols from the aspects of local memory complexity and fairness assumptions. This paper shows that under the assumption of global fairness, no protocol using only n???1 states can solve the self-stabilizing leader election in complete interaction graphs, where n is the number of agents in the system. To prove this impossibility, we introduce a novel proof technique, called closed-set argument. In addition, we propose a self-stabilizing leader election protocol using n states that works even under the unfairness assumption. This protocol requires the exact knowledge about the number of agents in the system. We also show that such knowledge is necessary to construct any self-stabilizing leader election protocol. | |||||||||||||||||
| 言語 | en | |||||||||||||||||
| 内容記述 | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | Proceeding of the 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009 | |||||||||||||||||
| 言語 | en | |||||||||||||||||
