[논문 리뷰] On the Strong Roman Domination Number of Graphs

M. P. Álvarez-Ruiz, Ismael G. Yero외 3명|arXiv (Cornell University)|2015. 02. 13.

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⌋ 사이의 정수 값 p에 대해, γStR(T) = p를 만족하는 n개의 정점을 가진 나무 T가 존재함을 증명한다.

제안 방법

• 강한 로마 방어 함수(SRDF)를 f: V → {0,1,2}인 함수로 정의하며, f(v)=0인 모든 정점은 f(w)=2인 이웃 정점 w를 가져야 한다.
• 강한 로마 방어 번호 γStR(G)를 G 위의 모든 SRDF에 대해 f(v)의 합의 최솟값으로 정의한다.
• 이분 그래프로 제한된 경우조차도, 축소 기법을 통해 γStR(G)의 결정 문제의 NP-완전성을 증명한다.
• 그래프의 순서 n, 지름 Diam(G), 둘레 g(G)와 같은 구조적 그래프 매개변수를 사용하여 γStR(G)의 일반 경계를 도출한다.
• 주어진 범위 내에서 원하는 값 p를 실현하기 위해 정수 q, j, l를 매개변수로 사용하는 그래프 Gₙ(q,j,l)의 집합을 구성한다.
• Diophantine 방정식의 체계를 대수적으로 다루어, n과 p가 주어졌을 때 정수 해 q, j, l를 확보함으로써 그래프 실현 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 주어진 그래프에 대해 강한 로마 방어 번호 γStR(G)를 결정하는 데 필요한 계산 복잡도는 무엇인가?
• RQ2 그래프의 순서 및 기타 구조적 매개변수에 따라 γStR(G)의 가장 날카운 상한과 하한 경계는 무엇인가?
• RQ3 순서 n인 나무 T에 대해 γStR(T)의 최대 가능한 값은 얼마이며, 어떤 나무가 이 상한에 도달하는가?
• RQ4 ⌈(n+1)/2⌉와 ⌊6n/7⌋ 사이의 임의의 정수 p에 대해, γStR(T) = p를 만족하는 순서 n인 나무 T가 존재하는가?
• RQ5 주어진 순서 n에 대해 특정한 강한 로마 방어 번호 p를 실현하는 그래프를 체계적으로 어떻게 구성할 수 있는가?

주요 결과

• γStR(G)를 계산하는 결정 문제는 이분 그래프로 제한된 경우조차도 NP-완전하다.
• 모든 순서 n ≥ 3인 나무 T에 대해 강한 로마 방어 번호는 γStR(T) ≤ 6n/7를 만족하며, 이 경계는 날카롭다.
• 상한 γStR(T) = 6n/7에 도달하는 모든 극한 나무는 그들의 구조적 매개변수에 따라 완전히 특성화되어 있다.
• 모든 정수 n ≥ 3 및 ⌈(n+1)/2⌉ ≤ p ≤ ⌊6n/7⌋를 만족하는 p에 대해, γStR(T) = p를 만족하는 순서 n인 나무 T가 존재한다. 이는 이 범위 내의 값들이 완전히 실현 가능하다는 것을 증명한다.
• 이러한 그래프의 구성은 주어진 γStR 값에 맞게 매개변수 q, j, l를 결정하기 위해 Diophantine 방정식의 체계를 해결하는 데 기반한다.
• 해결 과정은 임의의 타당한 p에 대해 항상 정수 값을 갖는 q와 l를 보장하므로, 모든 실현 가능한 p에 대해 이러한 그래프의 존재가 확인된다.