[论文解读] Iteration Index of a Zero Forcing Set in a Graph

Kiran B. Chilakamarri, Nathaniel Dean+2 more|arXiv (Cornell University)|May 8, 2011

Advanced Graph Theory Research参考文献 9被引用 31

一句话总结

本文引入了图中零控制集的迭代索引这一新图不变量——用于衡量从最小零控制集出发，通过全局颜色变化规则应用的次数，使所有顶点变为黑色。主要贡献是为一个圆环束（bouquet of circles）给出了迭代索引的精确公式：$ I(B_n) = \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil - 1 $，其中 $ k_n $ 和 $ k_{n-1} $ 是共享一个公共割点的两个最大环的大小。

ABSTRACT

Let each vertex of a graph G = (V(G), E(G)) be given one of two colors, say, "black" and "white". Let Z denote the (initial) set of black vertices of G. The color-change rule converts the color of a vertex from white to black if the white vertex is the only white neighbor of a black vertex. The set Z is said to be a zero forcing set of G if all vertices of G will be turned black after finitely many applications of the color-change rule. The zero forcing number of G is the minimum of |Z| over all zero forcing sets Z \subseteq V (G). Zero forcing parameters have been studied and applied to the minimum rank problem for graphs in numerous articles. We define the iteration index of a zero forcing set of a graph G to be the number of (global) applications of the color-change rule required to turn all vertices of G black; this leads to a new graph invariant, the iteration index of G - it is the minimum of iteration indices of all minimum zero forcing sets of G. We present some basic properties of the iteration index and discuss some preliminary results on certain graphs.

研究动机与目标

• 定义并形式化迭代索引作为与最小零控制集相关的新图不变量。
• 研究在相同图的不同零控制集中，步骤数（颜色变化规则应用次数）如何变化。
• 确定所有最小零控制集中可能的最小迭代索引，从而为图定义新的不变量。
• 分析特定图族（尤其是环的束和笛卡尔积）中的迭代索引。
• 为结构化图（如环和束）建立理论边界并确定迭代索引的精确值。

提出的方法

• 将零控制系统定义为离散动力学过程，其中黑色顶点仅在其唯一白色邻居是黑色顶点的邻居时，才强制其白色邻居变为黑色。
• 将迭代索引 $ I(G) $ 定义为在所有最小零控制集中，使所有顶点变为黑色所需的全局规则应用次数的最小值。
• 使用强制顺序列表和强制链来追踪颜色在图中传播的过程。
• 对图（如圆环束和笛卡尔积）进行结构分析，以推导迭代索引的闭式表达式。
• 利用最大强制链和零控制集的反转等性质，对迭代索引进行界定和计算。
• 通过在圆环束中对环长进行归纳和分类讨论，推导出公式 $ I(B_n) = \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil - 1 $。

实验结果

研究问题

• RQ1 从一个最小零控制集出发，完全将图染黑所需的全局颜色变化规则应用的最小次数是多少？
• RQ2 在同一个图的不同最小零控制集中，迭代索引如何变化？
• RQ3 对于共享一个公共割点的 $ n $ 个环构成的束，迭代索引的精确值是多少？
• RQ4 能否为路径、环和笛卡尔积等结构化家族的迭代索引建立边界或精确计算？
• RQ5 在环的束中，若割点不在零控制集内，其对迭代索引有何影响？

主要发现

• 迭代索引 $ I(G) $ 定义为从一个最小零控制集出发，使所有顶点变为黑色所需的全局颜色变化规则应用次数的最小值。
• 对于一个由 $ n $ 个环构成的束 $ B_n = (k_1, k_2, \dots, k_n) $，其割点为 $ v $，迭代索引为 $ I(B_n) = \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil - 1 $，其中 $ k_n $ 和 $ k_{n-1} $ 是两个最大环的大小。
• 当零控制集包含割点 $ v $ 和每个环中的一个顶点时，可实现最小迭代索引，从而确保传播速度最优。
• 若割点不在初始零控制集中，则迭代索引至少为 $ \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil $，该值严格大于可能的最小值。
• 在任何环的束的零控制过程中，每一步最多使两个最大环的并集中两个顶点变为黑色，这限制了迭代索引的取值。
• 迭代索引与环的标签无关，仅取决于束中两个最大环的大小。