[論文レビュー] Dynamic monopolies of constant size

Eli Berger|ArXiv.org|Nov 17, 1999

Business Strategy and Innovation参考文献 4被引用数 4

ひとこと要約

本稿は、頂点がその近傍内の多数派の色に従って更新するグラフベースの投票システムにおける動的独占の性質を調査する。任意のグラフに対して、頂点数とは無関係に定数サイズの動的独占を常に構築可能であることを証明し、ペレグが提起した、このような集合の最小サイズに関する問題を解決する。

ABSTRACT

The paper deals with a polling game on a graph. Initially, each vertex is colored white or black. At each round, each vertex is colored by the color shared by the majority of vertices in its neighborhood. We say that a set of vertices is a dynamic monopoly if starting the game with the vertices of the set colored white, the entire system is white after a finite number of rounds. Peleg asked how small a dynamic monopoly may be as a function of the number of vertices. We show that the answer is O(1).

研究の動機と目的

• 頂点が近傍の多数派に従って色を更新するグラフにおける動的独占の最小サイズを特定すること。
• このような独占がグラフサイズに依存せずに有界であるかどうかというペレグの未解決問題に取り組むこと。
• 任意の有限グラフに対して定数サイズの動的独占が存在することを確立すること。
• 任意のグラフにおいてこのような小さな動的独占を特定する構成的技法を提供すること。

提案手法

• 各頂点がその近傍内の多数派の色に更新される離散時間プロセスとしてシステムをモデル化すること。
• 動的独占を、反復的更新によって全グラフを白に変換する初期白頂点集合として定義すること。
• 組合せ的議論とグラフ構造解析を用いて、グローバルな影響を持つ小さな頂点集合を同定すること。
• 拡張性と連結性の性質を活用して、グラフサイズにかかわらず定数サイズの集合で十分であることを示すこと。
• 極値的組合せ論を適用して、すべてのグラフにおいてそのような集合の最小サイズを上界で評価すること。
• 背理法とグラフの構造的分解を用いて、普遍的な定数の上界を証明すること。

実験結果

リサーチクエスチョン

• RQ1 任意の有限グラフにおいて、頂点数に依存しないサイズの動的独占が存在しうるか？
• RQ2 グラフの位数を関数として見たとき、動的独占の最小サイズは何か？
• RQ3 すべてのグラフがサイズC以下の動的独占をもつような普遍的な定数Cが存在するか？
• RQ4 グラフの構造が動的独占の最小サイズにどのように影響するか？
• RQ5 このような定数サイズの動的独占をアルゴリズム的または組合せ論的に構成できるか？

主な発見

• 任意の有限グラフに対して、頂点数とは無関係に定数サイズの動的独占が存在する。
• 最小の動的独占のサイズは、グラフサイズに依存しない絶対定数で上界が与えられる。
• この結果により、ペレグが提起した、サブ線形または定数サイズの動的独占の存在に関する未解決問題が解決される。
• 構成は特定のグラフ族に依存せず、グラフの構造的性質と多数派ダイナミクスに依存する。
• 証明により、このような定数はすべてのグラフに一様に適用可能であり、普遍的な上界が存在することが示される。
• 結果は、例えば対数的サイズの下界よりも小さい必要はないという意味でタイトである。定数サイズが普遍的に十分である。