[论文解读] On irreversible dynamic monopolies in general graphs

Ching-Lueh Chang, Yuh‐Dauh Lyuu|arXiv (Cornell University)|Apr 15, 2009

Game Theory and Applications参考文献 9被引用 17

一句话总结

本文在一般有向图和无向图中，针对严格多数与简单多数阈值规则，建立了不可逆动态垄断（dynamos）最小大小的更紧上界。证明了在严格多数规则下，最小动态垄断大小至多为 (2/3)|V|，在简单多数规则下至多为 |V|/2，且对无向连通图的上界进一步优化为 ⌈|V|/2⌉。此外，证明了在一般图中，除非 NP ⊆ TIME(n^{O(ln ln n)})，否则不存在多项式时间 ((1/2−ε)ln|V|)-近似算法，即使在直径 ≤8 的二分图中也成立。

ABSTRACT

Consider the following coloring process in a simple directed graph $G(V,E)$ with positive indegrees. Initially, a set $S$ of vertices are white, whereas all the others are black. Thereafter, a black vertex is colored white whenever more than half of its in-neighbors are white. The coloring process ends when no additional vertices can be colored white. If all vertices end up white, we call $S$ an irreversible dynamic monopoly (or dynamo for short) under the strict-majority scenario. An irreversible dynamo under the simple-majority scenario is defined similarly except that a black vertex is colored white when at least half of its in-neighbors are white. We derive upper bounds of $(2/3)\,|\,V\,|$ and $|\,V\,|/2$ on the minimum sizes of irreversible dynamos under the strict and the simple-majority scenarios, respectively. For the special case when $G$ is an undirected connected graph, we prove the existence of an irreversible dynamo with size at most $\lceil |\,V\,|/2 ceil$ under the strict-majority scenario. Let $ε>0$ be any constant. We also show that, unless $ ext{NP}\subseteq ext{TIME}(n^{O(\ln \ln n)}),$ no polynomial-time, $((1/2-ε)\ln |\,V\,|)$-approximation algorithms exist for finding the minimum irreversible dynamo under either the strict or the simple-majority scenario. The inapproximability results hold even for bipartite graphs with diameter at most 8.

研究动机与目标

• 在严格多数阈值规则下，改进一般有向图中不可逆动态垄断（dynamos）最小大小的已知上界。
• 在一般图中，为简单多数阈值规则下的最小动态垄断大小建立更紧的上界。
• 针对无向连通图这一特殊情况，在严格多数规则下推导出改进的上界。
• 证明在两种多数情形下，寻找最小动态垄断的强不可近似性结果，即使在二分图等受限图类中也成立。
• 证明在任一多数规则下，多项式时间 ((1/2−ε)ln|V|)-近似算法均不存在，除非 NP ⊆ TIME(n^{O(ln ln n)})

提出的方法

• 构建从无向图 G 到有向图 G̃ 的变换，通过特定的顶点与边添加，以模拟阈值动力学。
• 利用最小支配集问题的约化来证明不可近似性，借助 Feige 关于支配集不可近似性的结果。
• 定义辅助集合 {w_u}、{g_1, g_2}、{X_u}、{Y_v} 和 {z_1, z_2}，以控制入度并强制变换图中具有奇数入度。
• 确保在变换图 G̃ 中，由于所有顶点的入度均为奇数，严格多数与简单多数规则一致。
• 证明 G̃ 中小种子集 S 对应于 G 中的小支配集，从而建立不可近似性间隙。
• 应用概率与组合论证，以种子集大小和图参数表示所得支配集大小的上界。

实验结果

研究问题

• RQ1 在一般有向图中，严格多数规则下不可逆动态垄断的最小大小的最紧可能上界是什么？
• RQ2 在无向连通图中，严格多数规则下最小动态垄断大小的上界能否进一步降低？
• RQ3 在一般图中，简单多数规则下不可逆动态垄断的最小大小的最紧上界是什么？
• RQ4 在受限图类（如小直径的二分图）中，是否存在关于在两种多数规则下计算最小不可逆动态垄断的强不可近似性结果？
• RQ5 在任一多数规则下，多项式时间 ((1/2−ε)ln|V|)-近似算法能否存在用于寻找最小动态垄断？

主要发现

• 在任意有向图中，严格多数规则下不可逆动态垄断的最小大小至多为 (2/3)|V|，优于先前的 (23/27)|V| 上界。
• 对于无向连通图，严格多数规则下不可逆动态垄断的最小大小至多为 ⌈|V|/2⌉。
• 在任意有向图中，简单多数规则下不可逆动态垄断的最小大小至多为 |V|/2。
• 除非 NP ⊆ TIME(n^{O(ln ln n)})，否则在严格多数或简单多数规则下，均不存在用于寻找最小不可逆动态垄断的多项式时间 ((1/2−ε)ln|V|)-近似算法。
• 该不可近似性结果即使在直径至多为 8 的二分图中也成立。
• 不可近似性证明依赖于从最小支配集问题的约化，通过精心构造的图变换，保持阈值动力学并确保奇数入度，从而统一严格多数与简单多数规则。