講演抄録/キーワード |
講演名 |
2016-12-21 15:10
極大独立集合問題を解く緩安定個体群プロトコルの提案 ○清洲星顕・首藤祐一・角川裕次・増澤利光(阪大) ISEC2016-78 COMP2016-39 |
抄録 |
(和) |
個体群プロトコルモデルにおいて、自己安定的には解くことができない問題が多く存在する。これに対し、首藤らは自己安定の閉包性を緩めた緩自己安定という概念を導入し、同モデルにおいて、完全グラフに対し、緩自己安定的にリーダ選挙問題を解くプロトコルを提案した。そこで本稿では、完全グラフにおけるリーダ選挙問題のトポロジーの一般化である極大独立集合問題を解く、緩自己安定個体群プロトコルを提案する。 |
(英) |
Self–stabilizing population protocols are impossible to design for some problems. For example, leader election on complete graphs cannot allow a self–stabilizing solution without knowing the exact number of nodes. To circumvent the impossibility, we previously introduced the concept of loose–stabilization, which relaxes the closure requirement of self–stabilization: a loosely–stabilizing protocol reaches a legitimate configuration in short time even when starting from any initial configuration and stays in legitimate configurations for sufficiently long time (but not forever). Sudo et al. proposed loosely–stabilizing leader election (LE) protocols first for complete graphs and then for arbitrary graphs using the upper bound N of graph size. In this paper, we propose a loosely–stabilizing protocol for the maximal independent set (MIS) on arbitrary graphs, which is another generalization of the first LE protocol concerning the graph topology, since the LE is equivalent to the MIS problem in complete graphs. Our protocol achieves better performance than that for the LE in arbitrary graphs, which is based on the following fact; the MIS is a local problem while the LE is a global problem. |
キーワード |
(和) |
緩自己安定 / 個体群プロトコル / 極大独立集合問題 / / / / / |
(英) |
Loosely-stabilization / Population protocols / Maximal independent set / / / / / |
文献情報 |
信学技報, vol. 116, no. 381, COMP2016-39, pp. 43-49, 2016年12月. |
資料番号 |
COMP2016-39 |
発行日 |
2016-12-14 (ISEC, COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
ISEC2016-78 COMP2016-39 |
|