[论文解读] Irreversible k-threshold and majority conversion processes on complete multipartite graphs and graph products

Sarah Spence Adams, Zachary Brass+2 more|arXiv (Cornell University)|Feb 25, 2011

Complexity and Algorithms in Graphs参考文献 3被引用 11

一句话总结

本文通过结构分析与归纳染色论证，确定了完全多部图及图积（特别是笛卡尔积与张量积）中最小 $k$-转换集与动态独占集（最小动态独占集）的精确值与紧上界。关键贡献在于证明了这些界对某些族（包括通过与 $K_2$ 的张量积构造的二部双覆盖）是紧致的。结果推广了先前关于网格与多部图的研究，为结构化图族上的 $k$-阈值与多数转换过程提供了精确解。

ABSTRACT

In graph theoretical models of the spread of disease through populations, the spread of opinion through social networks, and the spread of faults through distributed computer networks, vertices are in two states, either black or white, and these states are dynamically updated at discrete time steps according to the rules of the particular conversion process used in the model. This paper considers the irreversible k-threshold and majority conversion processes. In an irreversible k-threshold (resp., majority) conversion process, a vertex is permanently colored black in a certain time period if at least k (resp., at least half) of its neighbors were black in the previous time period. A k-conversion set (resp., dynamic monopoly) is a set of vertices which, if initially colored black, will result in all vertices eventually being colored black under a k-threshold (resp., majority) conversion process. We answer several open problems by presenting bounds and some exact values of the minimum number of vertices in k-conversion sets and dynamic monopolies of complete multipartite graphs, as well as of Cartesian and tensor products of two graphs.

研究动机与目标

• 确定完全多部图中最小 $k$-转换集与动态独占集的精确值。
• 为图的笛卡尔积与张量积中这些不变量推导紧致上界。
• 确立这些界为紧致的条件，特别是针对二部双覆盖。
• 将先前关于网格状与树状图的结果推广至更广泛的图族。
• 为未来关于环、路径及混合结构的积的研究奠定基础。

提出的方法

• 分析完全多部图 $K_{p_1,p_2,\text{...},p_m}$ 的结构，推导 $min_k(G)$ 与 $min_D(G)$ 的精确表达式。
• 基于 $G \times H$ 中随时间步传播的归纳染色论证，证明 $k$-转换集的上界。
• 根据 $G$ 中的染色进程，将 $G \times H$ 的顶点集划分为时间层级集合 $H(t)$，并证明每个 $H(t)$ 最终变为完全染色。
• 通过将“至少 $k$”替换为“至少一半”邻居，将相同归纳方法适配至多数过程。
• 应用二部双覆盖构造 $G \times K_2$，通过同构于 $2G$（即 $G$ 的两个不相交副本）证明界的紧致性。
• 利用关于路径与环上 $k$-转换集的已知结果，通过结构分解将发现推广至积图。

实验结果

研究问题

• RQ1 完全多部图 $K_{p_1,p_2,\ldots,p_m}$ 的 $min_k(G)$ 与 $min_D(G)$ 的精确值是什么？
• RQ2 在图的笛卡尔积与张量积中，$min_k(G \times H)$ 与 $min_D(G \times H)$ 的上界可建立为何种形式？
• RQ3 在何种条件下这些上界为紧致，特别是针对 $G \times K_2$？
• RQ4 当基图为二部图时，$k$-阈值与多数转换过程在图积上如何表现？
• RQ5 能否对特定图族（如环、路径或混合结构的积）改进或使界精确化？

主要发现

• 确定了完全多部图 $K_{p_1,p_2,\ldots,p_m}$ 的 $min_k(G)$ 与 $min_D(G)$ 的精确值，推广了先前关于路径与树的结果。
• 为笛卡尔积中的 $min_k(G \times H)$ 建立了上界 $min_k(G) \cdot |V(H)|$，通过基于时间层级划分的归纳染色论证予以证明。
• 相同界结构适用于多数转换过程，其中 $min_D(G \times H) \leq \min\{min_D(G)\cdot|V(H)|, min_D(H)\cdot|V(G)|\}$。
• 当 $G$ 为连通二部图时，证明了 $G \times K_2$ 的界为紧致，即 $min_k(G \times K_2) = 2 \cdot min_k(G)$ 且 $min_D(G \times K_2) = 2 \cdot min_D(G)$。
• 积图中 $k$-转换集与动态独占集的构造依赖于从基图通过时间步划分传播染色，确保所有顶点最终变为黑色。
• 结果可扩展至张量积，并为分析结构化图族上的 $k$-阈值与多数过程提供了框架，对疾病、意见与故障传播建模具有启示意义。