[论文解读] Characterizations of the Connected Forcing Number of a Graph

Boris Brimkov, Randy Davila|arXiv (Cornell University)|Apr 4, 2016

Graph Labeling and Dimension Problems参考文献 19被引用 8

一句话总结

本文引入并分析了连通控制数，即通过零控制规则可控制整个图的连通顶点集的最小大小。研究证明连通控制数是最大零数、路径覆盖数和叶数的紧上界，并为树、超立方体、花形蛛网图以及具有单一大团的图提供了精确公式和界限。

ABSTRACT

Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process -- a restriction of zero forcing in which the initially colored set of vertices induces a connected subgraph. We show that the connected forcing number -- the cardinality of the smallest initially colored vertex set which forces the entire graph to be colored -- is a sharp upper bound to the maximum nullity, path cover number, and leaf number of the graph. We also give closed formulas and bounds for the connected forcing numbers of several families of graphs including trees, hypercubes, and flower snarks, and characterize graphs with extremal connected forcing numbers.

研究动机与目标

• 定义并研究连通控制数，其为零控制的一种变体，要求初始集合诱导出连通子图。
• 在特定图族中建立连通控制数的理论界限和精确值。
• 将连通控制数与经典零控制及其他图参数（如最大零数、路径覆盖数和叶数）进行比较。
• 刻画具有极值连通控制数的图，并探讨最小连通控制集的结构特性。

提出的方法

• 将连通控制过程定义为零控制的限制形式，其中初始集合必须诱导出连通子图。
• 证明连通控制数 $ F_c(G) $ 是最大零数 $ M(G) $、路径覆盖数 $ P(G) $ 和叶数 $ L(G) $ 的上界。
• 利用控制链（由每个初始着色顶点诱导的路径）分析叶的控制过程，并推导出结构约束。
• 通过组合与结构论证，刻画树、超立方体 $ Q_n $、具有唯一大小大于2的最大团的图以及花形蛛网图的 $ F_c(G) $。
• 应用标准零控制的已知结果（例如 $ F(Q_n) = 2^{n-1} $）证明当存在连通控制集时 $ F_c(Q_n) = F(Q_n) $。
• 使用反证法与路径分解论证，证明对非路径图有 $ F_c(G) \geq L(G) $，且在特定情况下取等。

实验结果

研究问题

• RQ1 连通控制数与经典零控制参数（如最大零数和路径覆盖数）之间存在何种关系？
• RQ2 在哪些图族中，连通控制数等于标准零控制数？
• RQ3 图的叶数与其连通控制数之间有何关系？
• RQ4 在树、超立方体和花形蛛网图中，连通控制数的精确值或紧界是什么？
• RQ5 哪些图实现了连通控制数的极值（最小值与最大值）？

主要发现

• 连通控制数 $ F_c(G) $ 是任意连通图 $ G $ 的最大零数 $ M(G) $、路径覆盖数 $ P(G) $ 和叶数 $ L(G) $ 的紧上界。
• 对于超立方体 $ Q_n $，有 $ F_c(Q_n) = 2^{n-1} $，与标准零控制数一致，原因在于存在一个同构于 $ Q_{n-1} $ 的连通控制集。
• 对于树，连通控制数满足 $ F_c(T) \geq L(T) $，且在某些树结构中取等，例如图2（左）所示的图。
• 对于具有唯一大小大于2的最大团的图，本文给出了 $ F_c(G) $ 的闭式表达式与界限，推广了已知结果。
• 对于花形蛛网图 $ J_n $，本文推导出精确公式与界限，表明 $ F_c(J_n) $ 随 $ n $ 增大而增长，并刻画了其极值行为。
• 存在图使得对任意 $ a > 0 $，均有 $ F_c(G) \geq F(G) + a $，表明连通控制数可远大于标准零控制数。