[论文解读] An Improvement on Vizing's Conjecture

Yunjian Wu|ArXiv.org|Sep 21, 2009

Graph Labeling and Dimension Problems参考文献 2被引用 5

一句话总结

该论文通过证明两个图的支配数的乘积受其笛卡尔积的罗马支配数的上界控制，从而改进了Vizing的猜想，即 γ(G)γ(H) ≤ γR(G□H)。证明通过构造一个罗马支配函数，并利用投影和邻域覆盖来建立该界，从而改进了先前的结果 γ(G)γ(H) ≤ 2γ(G□H)。

ABSTRACT

Let $γ(G)$ denote the domination number of a graph $G$. A {\it Roman domination function} of a graph $G$ is a function $f: V o\{0,1,2\}$ such that every vertex with 0 has a neighbor with 2. The {\it Roman domination number} $γ_R(G)$ is the minimum of $f(V(G))=Σ_{v\in V}f(v)$ over all such functions. Let $G\square H$ denote the Cartesian product of graphs $G$ and $H$. We prove that $γ(G)γ(H) \leq γ_R(G\square H)$ for all simple graphs $G$ and $H$, which is an improvement of $γ(G)γ(H) \leq 2γ(G\square H)$ given by Clark and Suen \cite{CS}, since $γ(G\square H)\leq γ_R(G\square H)\leq 2γ(G\square H)$.

研究动机与目标

• 为了通过在上界中用罗马支配数替代支配数，来加强Vizing的猜想，该猜想认为 γ(G)γ(H) ≤ γ(G□H)。
• 为弥合已知界 γ(G)γ(H) ≤ 2γ(G□H) 与猜想的紧致界 γ(G)γ(H) ≤ γ(G□H) 之间的差距。
• 证明罗马支配数 γR(G□H) 比 2γ(G□H) 提供了更紧致且更自然的上界，用于支配数的乘积。
• 探究Vizing猜想的罗马支配版本是否成立，并表明其在一般情况下不成立。

提出的方法

• 在笛卡尔积 G□H 上构造一个 γR(G□H)-函数 f = (V₀, V₁, V₂)，其中 V₂ 是 G□H − V₁ 中的一个支配集。
• 将 V(G) 划分为 γ(G) 个集合 Π₁, ..., Πγ(G)，使得每个 Πᵢ 包含一个支配顶点 uᵢ，且对 uᵢ 的邻接关系封闭。
• 通过将 Πᵢ × V(H) 与 D = V₁ ∪ V₂ 的交集，诱导出 D 的一个划分 D₁, ..., Dγ(G)。
• 定义 Dᵢ 在 H 上的投影 Pᵢ，并利用不等式 |V(H) − NH[Pᵢ]| ≥ γ(H) − |Pᵢ| 来界定未被支配的顶点。
• 引入集合 C ⊆ {1, ..., γ(G)} × V(H)，其中 (i,v) ∈ C 当且仅当 Πᵢ × {v} 被 Qᵥ = V₂ ∩ (V(G) × {v}) 支配。
• 通过对 |C| = ∑|Lᵢ| = ∑|Rᵥ| 进行双重计数，推导出两个界：一个来自邻域覆盖，另一个来自 V₂ 中的顶点计数，最终得出不等式。

实验结果

研究问题

• RQ1 能否通过将 2γ(G□H) 替换为 γR(G□H) 来改进界 γ(G)γ(H) ≤ 2γ(G□H)？
• RQ2 是否对所有有限简单图 G 和 H 都有 γ(G)γ(H) ≤ γR(G□H)？
• RQ3 G□H 中的罗马支配函数的何种结构特性使得其能提供比原始 Vizing 型不等式更紧致的界？
• RQ4 Vizing 猜想的罗马支配版本是否成立，即 γR(G)γR(H) ≤ γR(G□H)？

主要发现

• 该论文为所有有限简单图 G 和 H 建立了不等式 γ(G)γ(H) ≤ γR(G□H)，这严格优于 Clark 和 Suen 的结果 γ(G)γ(H) ≤ 2γ(G□H)。
• 证明依赖于构造一个索引-顶点对集合 C，使得集合 Πᵢ × {v} 被 Qᵥ ⊆ V₂ 支配，并通过对 |C| 进行双重计数来推导出界。
• 证明了 |C| ≥ γ(G)γ(H) − |V₁| − |V₂| 且 |C| ≤ |V₂|，从而得出不等式 γ(G)γ(H) ≤ |V₁| + 2|V₂| = γR(G□H)。
• 罗马支配数 γR(G□H) 作为 γ(G)γ(H) 的上界，比 2γ(G□H) 更紧致。
• 反例表明，Vizing 猜想的罗马支配版本，即 γR(G)γR(H) ≤ γR(G□H)，在一般情况下不成立，例如当 G = H = K₂ 时。
• 该结果证实，γR(G□H) 是 γ(G)γ(H) 的更合适且更紧致的上界，推动了对图积中支配性质的理解。