[논문 리뷰] A Note on Roman \{2\}-domination problem in graphs

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

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-완전성을 분할 그래프로 제한할 경우에도 입증하는 것.
• 라모운니와 첼라리가 제기한 나무에서 독립 로마 {2}-정점 독립성 수를 계산하는 선형 시간 알고리즘의 존재성에 대한 열린 문제를 해결하는 것.
• 나무보다 더 넓은 클래스인 블록 그래프로 로마 {2}-정점 독립성의 효율적 계산을 확장하는 것.
• 블록-절점 트리에 기반한 동적 프로그래밍 프레임워크를 개발하여 로마 {2}-정점 독립성 수를 선형 시간 내에 계산하는 것.

제안 방법

• 로마 {2}-정점 독립성의 NP-완전성을 입증하기 위해 정점 커버 문제로부터의 환원.
• 블록 그래프의 블록-절점 트리에 기반한 동적 프로그래밍 알고리즘 설계. 정점 함수 할당을 분류하기 위해 여섯 가지 상태 유형 사용.
• 정점들을 절점과 블록 정점(유형 0, 1, 2)으로 분류하고, 각각에 대해 특정한 초기 상태 벡터 설정.
• 하위트리의 재귀적 조합을 통한 상태 전이 정의. 독립성 제약 조건을 유지하기 위해 유효한 함수 값 조합에 대한 최소 연산 수행.
• 트리 순서와 블록-절점 트리의 밑에서 위로의 순회를 통해 최적의 함수 값을 효율적으로 계산.
• 최종 결과는 루트에서 첫 세 상태의 최소값으로 도출되며, 이는 유효한 로마 {2}-정점 독립성 함수를 나타낸다.

실험 결과

연구 질문

• RQ1 로마 {2}-정점 독립성 결정 문제는 분할 그래프에 대해서도 NP-완전인가?
• RQ2 어떤 나무에 대해서도 독립 로마 {2}-정점 독립성 수를 선형 시간 내에 계산할 수 있는가?
• RQ3 블록 그래프에서 로마 {2}-정점 독립성 수를 계산하는 선형 시간 알고리즘이 존재하는가?
• RQ4 블록 그래프에서 유효한 로마 {2}-정점 독립성 함수의 구조는 어떻게 되며, 이를 동적 프로그래밍을 통해 효율적으로 열거할 수 있는가?

주요 결과

• 로마 {2}-정점 독립성 결정 문제의 NP-완전성은 정점 커버 문제로부터 다항 시간 환원을 통해 입증되었다.
• 나무에서 독립 로마 {2}-정점 독립성 수를 계산하는 데 성공적으로 선형 시간 알고리즘을 설계하고 정당화하였으며, 이는 열린 문제를 해결한다.
• 블록 그래프에 대한 알고리즘은 정점 수 n에 대해 O(n) 시간 내에 작동하며, 블록-절점 트리에 기반한 동적 프로그래밍에 기반한다.
• 상태 분류 체계(B1~B6 및 A1~A6)는 트리 분해 과정에서 독립성 제약 조건을 정확히 전파하는 데 기여한다.
• 최종 결과는 루트에서 첫 세 상태의 최소값으로 도출되며, 이는 유효한 로마 {2}-정점 독립성 함수의 최소 무게를 보장한다.
• 알고리즘은 블록 유형(0, 1, 2)과 절점에 대해 적절한 상태 벡터를 초기화하고, 정의된 전이 규칙에 따라 min-연산을 통해 조합함으로써 모든 경우를 정확히 처리한다.