[论文解读] A Note on Roman \{2\}-domination problem in graphs

Hangdi Chen, Changhong Lü|arXiv (Cornell University)|Apr 25, 2018

Advanced Graph Theory Research参考文献 16被引用 3

一句话总结

本文證明了在分裂圖中羅馬 {2}-支配問題的 NP-完全性，並提出了一個線性時機演算法，用於在樹上計算獨立羅馬 {2}-支配數，從而解決了一個開放問題。此外，本文還提出了一個線性時機演算法，用於在塊圖上進行羅馬 {2}-支配運算，方法是利用基於頂點類型與函數值的狀態分類，在塊-點樹上進行動態規劃。

ABSTRACT

For a graph $G=(V,E)$, a Roman $\{2\}$-dominating function (R2DF)$f:V ightarrow \{0,1,2\}$ has the property that for every vertex $v\in V$ with $f(v)=0$, either there exists a neighbor $u\in N(v)$, with $f(u)=2$, or at least two neighbors $x,y\in N(v)$ having $f(x)=f(y)=1$. The weight of a R2DF is the sum $f(V)=\sum_{v\in V}{f(v)}$, and the minimum weight of a R2DF is the Roman $\{2\}$-domination number $γ_{\{R2\}}(G)$. A R2DF is independent if the set of vertices having positive function values is an independent set. The independent Roman $\{2\}$-domination number $i_{\{R2\}}(G)$ is the minimum weight of an independent Roman $\{2\}$-dominating function on $G$. In this paper, we show that the decision problem associated with $γ_{\{R2\}}(G)$ is NP-complete even when restricted to split graphs. We design a linear time algorithm for computing the value of $i_{\{R2\}}(T)$ for any tree $T$. This answers an open problem raised by Rahmouni and Chellali [Independent Roman $\{2\}$-domination in graphs, Discrete Applied Mathematics 236 (2018), 408-414]. Chellali, Haynes, Hedetniemi and McRae \cite{chellali2016roman} have showed that Roman $\{2\}$-domination number can be computed for the class of trees in linear time. As a generalization, we present a linear time algorithm for solving the Roman $\{2\}$-domination problem in block graphs.

研究动机与目标

• 證明羅馬 {2}-支配的決策問題即使限制在分裂圖中仍然是 NP-完全的。
• 解決 Rahmouni 和 Chellali 提出的開放問題，即是否存在一個線性時機演算法，用於計算樹上的獨立羅馬 {2}-支配數。
• 將羅馬 {2}-支配的高效計算推廣至比樹更廣泛的圖類——塊圖。
• 在塊-點樹上建立動態規劃框架，以線性時間計算羅馬 {2}-支配數。

提出的方法

• 透過從點覆蓋問題的歸約，證明分裂圖中羅馬 {2}-支配問題的 NP-完全性。
• 設計一種在塊圖的塊-點樹上運行的動態規劃演算法，使用六種狀態類型來分類頂點函數分配。
• 將頂點分類為類型 0、1、2 的割點與塊點，每種類型具有特定的初始狀態向量。
• 透過子樹的遞迴組合定義狀態轉移，並在有效函數值組合上使用最小化運算，以維持支配約束。
• 利用樹的順序與塊-點樹的自底向上遍歷，以高效計算最佳函數值。
• 最終輸出為根節點前三個狀態的最小值，代表有效的羅馬 {2}-支配函數。

实验结果

研究问题

• RQ1 羅馬 {2}-支配決策問題在分裂圖中是否為 NP-完全？
• RQ2 是否能在線性時間內計算任意樹的獨立羅馬 {2}-支配數？
• RQ3 是否存在一個線性時間演算法，用於計算塊圖上的羅馬 {2}-支配數？
• RQ4 塊圖中有效羅馬 {2}-支配函數的結構為何？如何透過動態規劃高效地枚舉？

主要发现

• 透過從點覆蓋問題的多項式時間歸約，證明了分裂圖中羅馬 {2}-支配決策問題的 NP-完全性。
• 成功設計並證明正確性的一個線性時間演算法，用於計算任意樹上的獨立羅馬 {2}-支配數，從而解決了開放問題。
• 塊圖上的演算法以 O(n) 時間運行，其中 n 為頂點數，基於在塊-點樹上的動態規劃。
• 狀態分類方案（B1 至 B6 和 A1 至 A6）能正確傳播支配約束，透過樹分解實現。
• 最終結果為根節點前三個狀態的最小值，確保了有效羅馬 {2}-支配函數的最小權重。
• 該演算法透過正確初始化適當的狀態向量並結合定義明確的轉移規則，正確處理所有塊類型（0、1、2）與割點。