[論文レビュー] Multicolored Dynamos on Toroidal Meshes

Sara Brunetti, Elena Lodi+1 more|arXiv (Cornell University)|Dec 20, 2010

Complex Network Analysis Techniques参考文献 31被引用数 7

ひとこと要約

本稿は、トーラスメッシュ上に多色ダイナモを導入し、従来のターゲットセット選択問題を、二値のアクティブ/インアクティブ状態ではなく有限で順序付きの色集合からの値を保持できるように拡張する。システムは隣接ノードの多数による影響に基づく再色配置ルールに従って進化し、主な貢献は、完全な単色収束を達成する最小ダイナモのサイズに対する上限と下限を確立することであり、さらに、正則で対称的なグリッド上で、新しい再色配置パターン解析を用いて特殊なダイナモクラスを同定することにある。

ABSTRACT

Detecting on a graph the presence of the minimum number of nodes (target set) that will be able to "activate" a prescribed number of vertices in the graph is called the target set selection problem (TSS) proposed by Kempe, Kleinberg, and Tardos. In TSS's settings, nodes have two possible states (active or non-active) and the threshold triggering the activation of a node is given by the number of its active neighbors. Dealing with fault tolerance in a majority based system the two possible states are used to denote faulty or non-faulty nodes, and the threshold is given by the state of the majority of neighbors. Here, the major effort was in determining the distribution of initial faults leading the entire system to a faulty behavior. Such an activation pattern, also known as dynamic monopoly (or shortly dynamo), was introduced by Peleg in 1996. In this paper we extend the TSS problem's settings by representing nodes' states with a "multicolored" set. The extended version of the problem can be described as follows: let G be a simple connected graph where every node is assigned a color from a finite ordered set C = {1, . . ., k} of colors. At each local time step, each node can recolor itself, depending on the local configurations, with the color held by the majority of its neighbors. Given G, we study the initial distributions of colors leading the system to a k monochromatic configuration in toroidal meshes, focusing on the minimum number of initial k-colored nodes. We find upper and lower bounds to the size of a dynamo, and then special classes of dynamos, outlined by means of a new approach based on recoloring patterns, are characterized.

研究の動機と目的

• 従来のターゲットセット選択問題およびダイナミックモノポリ問題を、二値のアクティブ/インアクティブ状態ではなく有限で順序付きの色集合によるノード状態のモデル化によって拡張すること。
• トーラスメッシュ上に初期的に配置された色付きノードの分布が、多数主義に基づく再色配置ルールに従って完全な単色収束を示す条件を調査すること。
• 完全に単色収束を保証する最小の初期セット（ダイナモ）のサイズに対する上限と下限を導出すること。
• 正則で対称的なトポロジーにおける再色配置パターンと構造的制約に基づく新しいアプローチを用いて、特殊なダイナモクラスを同定すること。

提案手法

• 各ノードが有限で順序付きの集合 {1, ..., k} からの色を持つグラフとしてトーラスメッシュをモデル化し、隣接ノードの色分布に基づく局所的再色配置を定義する。
• ノードが隣接ノードの色の多数に近づくように色を更新する再色配置ルールを定義し、変更を引き起こすための特定の条件を設ける。
• 段階的再色配置プロセスを適用し、行単位およびブロック単位の再色配置パターンを分析することで収束を検証する。
• 特定の初期色分布の構造的条件が満たされている場合、すべてのノードが最終的に最大色 k をとることを、補題と推論を用いて証明する。
• 偶数次元と奇数次元のメッシュを別々に分析するため、対称性とモジュロ算術を用いる。収束のための異なる条件を導出する。
• 部分的な収束を防ぐために「h-ブロック」の概念を導入し、完全な単色収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 トーラスメッシュ上における多色再色配置ルールに従うとき、どのような初期色分布が単一色への完全収束を引き起こすか。
• RQ2 完全な単色収束を保証する最小初期セット（ダイナモ）のサイズに対する、最もきつい上限と下限は何か。
• RQ3 初期色分布の構造的制約（順序と密度）が、偶数次元と奇数次元のメッシュにおいて収束行動に与える影響は何か。
• RQ4 安定した非-k単色ブロックを形成しないための必要十分条件は何か。
• RQ5 再色配置パターンを体系的に分析することで、正則で対称的なトポロジーにおける特殊なダイナモクラスを同定するにはどうすればよいか。

主な発見

• 偶数サイズのトーラスメッシュでは、初期色分布が以下の3条件を満たす場合にダイナモが存在する：r_{m/2-1} > r_{m/2}, r_{m/2+1}, r_{m/2+1} > r_{m/2}, および r_{m/2-1} + r_{m/2} < 2r_{m/2+1}。
• 奇数サイズのメッシュでは、r_{⌈m/2⌉-1} > r_{⌈m/2⌉}, k + r_{⌈m/2⌉} < 2r_{⌈m/2⌉-1}, および k - r_{⌈m/2⌉-1} ≥ ⌈m/2⌉ - 1 の条件を満たす場合にダイナモが存在する。
• 与えられた再色配置プロトコルに従うと、システムは有限時間内に k-単色配置に収束し、中間の安定した非-kブロックは発生しない。
• 証明により、臨界行（偶数 m の場合 m/2）のノードは、隣接行のノードがすでに色 k に変更された後、のみ再色配置を開始することが示された。これにより、順次的伝播が保証される。
• 再色配置プロセスは段階的かつ信頼に基づくものであり、実世界の状況において、エージェントが影響を受けてゆっくりとコンセンサスに近づく様子を反映している。
• 結果は非定数次数のグラフに対しても一般化可能であるが、対称性と取り扱いやすさを考慮し、主に正則なトーラスメッシュ上で分析が行われている。