[论文解读] On the Strong Roman Domination Number of Graphs

M. P. Álvarez-Ruiz, Ismael G. Yero+3 more|arXiv (Cornell University)|Feb 13, 2015

Advanced Graph Theory Research被引用 3

一句话总结

本文引入了强罗马支配数 γStR(G)，这是一种新的图不变量，用于建模对多重同时攻击的防御，其中每个未被防御的顶点必须由一个拥有两个军团的邻居来保护。作者证明该问题为 NP-完全问题，建立了紧致界——特别是对于树有 γStR(T) ≤ 6n/7，并完全刻画了在 ⌈(n+1)/2⌉ 和 ⌊6n/7⌋ 之间的取值在树上的可实现性。

ABSTRACT

Based on the history that the Emperor Constantine decreed that any undefended place (with no legions) of the Roman Empire must be protected by a "stronger" neighbor place (having two legions), a graph theoretical model called Roman domination in graphs was described. A Roman dominating function for a graph $G=(V,E)$, is a function $f:V ightarrow \{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ has at least a neighbor $w$ in $G$ for which $f(w)=2$. The Roman domination number of a graph is the minimum weight, $\sum_{v\in V}f(v)$, of a Roman dominating function. In this paper we initiate the study of a new parameter related to Roman domination, which we call strong Roman domination number and denote it by $γ_{StR}(G)$. We approach the problem of a Roman domination-type defensive strategy under multiple simultaneous attacks and begin with the study of several mathematical properties of this invariant. In particular, we first show that the decision problem regarding the computation of the strong Roman domination number is NP-complete, even when restricted to bipartite graphs. We obtain several bounds on such a parameter and give some realizability results for it. Moreover, we prove that for any tree $T$ of order $n\ge 3$, $γ_{StR}(T)\le 6n/7$ and characterize all extremal trees.

研究动机与目标

• 为防御多重同时攻击建立一个图论的新模型，灵感源自历史上罗马帝国的防御策略。
• 定义并研究强罗马支配数 γStR(G)，这是在多重攻击情景下罗马支配的一种变体。
• 确定计算复杂性，提供证明：即使在二分图上，确定 γStR(G) 也是 NP-完全的。
• 根据图的参数（如阶、直径和围长）推导出 γStR(G) 的紧致上下界。
• 刻画所有达到上界 γStR(T) ≤ 6n/7 的树，并证明在区间 [⌈(n+1)/2⌉, ⌊6n/7⌋] 内所有整数值的可实现性。

提出的方法

• 将强罗马支配函数（SRDF）定义为函数 f: V → {0,1,2}，使得每个满足 f(v)=0 的顶点都有一个邻居 w 满足 f(w)=2。
• 将强罗马支配数 γStR(G) 定义为在 G 上所有 SRDF 中权重 ∑f(v) 的最小值。
• 通过归约技术证明 γStR(G) 决策问题的 NP-完全性，即使在限制为二分图时也成立。
• 利用图的结构参数（如阶 n、直径 Diam(G) 和围长 g(G)）推导 γStR(G) 的一般界。
• 构造一个以整数 q, j, l 为参数的图族 Gₙ(q,j,l)，以实现指定范围内任意期望的 γStR(G) 值 p。
• 通过代数方法处理丢番图方程组，确保在给定 n 和 p 时，参数 q, j, l 存在整数解，从而保证图的可实现性。

实验结果

研究问题

• RQ1 对于给定图，确定强罗马支配数 γStR(G) 的计算复杂性是什么？
• RQ2 在图的阶和其他结构参数下，γStR(G) 的最紧致上下界是什么？
• RQ3 对于阶为 n 的树 T，γStR(T) 的最大可能值是多少？哪些树达到该上界？
• RQ4 对于任意整数 p 满足 ⌈(n+1)/2⌉ ≤ p ≤ ⌊6n/7⌋，是否存在阶为 n 的树 T 使得 γStR(T) = p？
• RQ5 如何系统地构造图，使其对指定阶 n 实现给定的强罗马支配数 p？

主要发现

• 计算强罗马支配数 γStR(G) 的决策问题是 NP-完全的，即使在二分图上也成立。
• 对于任意阶 n ≥ 3 的树 T，强罗马支配数满足 γStR(T) ≤ 6n/7，且该界是紧致的。
• 所有达到上界 γStR(T) = 6n/7 的极值树，均根据其结构参数被完全刻画。
• 对于任意整数 n ≥ 3 和 p 满足 ⌈(n+1)/2⌉ ≤ p ≤ ⌊6n/7⌋，存在一个阶为 n 的树 T 使得 γStR(T) = p，证明了该范围内所有值的完全可实现性。
• 此类图的构造依赖于求解一组丢番图方程，以确定参数 q, j, l，使得 Gₙ(q,j,l) 实现期望的 γStR 值。
• 求解过程确保对于任意有效 p，参数 q 和 l 均为整数，从而确认了所有可行 p 值下此类图的存在性。