[论文解读] Some results on minimum skew zero forcing sets, and skew zero forcing number

Luz M. DeAlba|arXiv (Cornell University)|Apr 6, 2014

Fixed Point Theorems Analysis参考文献 3被引用 5

一句话总结

本文研究了斜零强迫数 $\operatorname{Z}^{-}(G)$，将其定义为可通过斜颜色变化规则将图 $G$ 的所有顶点强制变为黑色的顶点集合的最小大小。本文通过斜零强迫数刻画了完全多部图，将最小斜强迫集与二分图及单环图中的匹配联系起来，并证明在某些二分图中，此类集合构成拟阵的基，且对若干图族建立了 $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$ 的等式。

ABSTRACT

Let $G$ be a graph, and $Z$ a subset of its vertices, which we color black, while the remaining are colored white. We define the skew color change rule as follows: if $u$ is a vertex of $G$, and exactly one of its neighbors $v$, is white, then change the color of $v$ to black. A set $Z$ is a skew zero forcing set for $G$ if the application of the skew color change rule (as many times as necessary) will result in all the vertices in $G$ colored black. A set $Z$ is a minimum skew zero forcing set for $G$ if it is a skew zero forcing set for $G$ of least cardinality. The skew zero forcing number $\sZ (G)$ is the minimum of $|Z|$ over all skew zero forcing sets $Z$ for $G$. In this paper we discuss graphs that have extreme skew zero forcing number. We characterize complete multipartite graphs in terms of $\sZ (G)$. We note relations between minimum skew zero forcing sets and matchings in some bipartite graphs, and in unicyclic graphs. We establish that the elements in the set of minimum skew zero forcing sets in certain bipartite graphs are the bases of a matroid.

研究动机与目标

• 为完全多部图刻画斜零强迫数 $\operatorname{Z}^{-}(G)$。
• 研究最小斜零强迫集与二分图及单环图中匹配之间的关系。
• 确定匹配 $M$ 中 $M$-未饱和顶点的集合何时构成图 $G$ 的最小斜零强迫集。
• 证明在某些二分图中，最小斜零强迫集是拟阵的基。
• 为路径、环、轮图及图的笛卡尔积等各类图族提供 $\operatorname{Z}^{-}(G)$ 的精确值。

提出的方法

• 定义斜颜色变化规则：若顶点 $u$ 恰好有一个白色邻居 $v$，则 $u$ 可将 $v$ 强制变为黑色。
• 将斜零强迫集定义为通过重复应用斜颜色变化规则可使所有顶点变为黑色的顶点集合。
• 通过恒等式 $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$ 将 $\operatorname{Z}^{-}(G)$ 与最小斜秩 $\operatorname{mr}^{-}(\mathbb{F},G)$ 关联，适用于特定图类。
• 分析图中的匹配，特别是唯一受限匹配，以识别最小斜零强迫集为 $M$-未饱和顶点的集合。
• 证明在某些二分图中，最小斜零强迫集恰好对应于一个拟阵的基。
• 应用结构图论与无限域上的矩阵秩性质，推导出标准图族中 $\operatorname{Z}^{-}(G)$ 的精确值。

实验结果

研究问题

• RQ1 对于哪些完全多部图，$\operatorname{Z}^{-}(G)$ 相对于顶点数达到其最小可能值？
• RQ2 在何种情况下，匹配 $M$ 中的 $M$-未饱和顶点集合构成图 $G$ 的最小斜零强迫集？
• RQ3 在何种条件下，二分图中的最小斜零强迫集构成拟阵的基？
• RQ4 路径、环、轮图及图的笛卡尔积的 $\operatorname{Z}^{-}(G)$ 精确值是多少？
• RQ5 在不同图族中，$\operatorname{Z}^{-}(G)$ 与 $\operatorname{mr}^{-}(\mathbb{F},G)$ 之间有何关系？

主要发现

• 完全 $k$-部图 $K_{n_1,n_2,...,n_k}$ 的斜零强迫数由公式 $\operatorname{Z}^{-}(G) = \max_{i \neq j} \min(n_i, n_j)$ 确定，该公式给出了斜零强迫集的最小大小。
• 对于单环图 $U$，斜零强迫数满足 $\operatorname{Z}^{-}(U) = |U| - \operatorname{mr}^{-}(\mathbb{F},U)$，建立了强迫数与最小斜秩之间的直接联系。
• 在某些二分图中，最小斜零强迫集恰好是拟阵的基，表明其具有丰富的组合结构。
• 对于 $m,k$-菠萝果图 $P_{m,k}$，当 $m \geq 3, k \geq 1$ 时，斜零强迫数为 $\operatorname{Z}^{-}(P_{m,k}) = m + k - 4$，该结果通过结构分析得到确认。
• $s$-维超立方体 $Q_s$ 的斜零强迫数为 $\operatorname{Z}^{-}(Q_s) = 2^{s-1}$（$s \geq 2$），该结果由其递归结构与对称性推导得出。
• 对于笛卡尔积 $K_s \square P_t$（$s \geq 3, t \geq 3$），当 $s$ 为偶数，或 $s$ 与 $t$ 均为奇数时，有 $\operatorname{Z}^{-}(K_s \square P_t) = s$，且在这些条件下恒等式 $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$ 成立。