[논문 리뷰] Semitotal domination in trees

Zhuang, Wei, Hao, Guoliang|arXiv (Cornell University)|2018. 03. 28.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 나무에서 반총독립수의 하한을 확립하며, 정점 수 n과 낙엽 수 l에 대해 γₜ₂(T) ≥ 2(n − l + 2)/5임을 증명한다. 또한 γ(T) = γₜ₂(T)를 만족하는 나무를 완전히 특성화하여, 단일 정점에서 시작해 네 가지 특정 연산을 통해 구성할 수 있는 나무들임을 보여준다.

ABSTRACT

In this paper, we study a parameter that is squeezed between arguably the two important domination parameters, namely the domination number, $γ(G)$, and the total domination number, $γ_t(G)$. A set $S$ of vertices in $G$ is a semitotal dominating set of $G$ if it is a dominating set of $G$ and every vertex in S is within distance $2$ of another vertex of $S$. The semitotal domination number, $γ_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. We observe that $γ(G)\leq γ_{t2}(G)\leq γ_t(G)$. In this paper, we give a lower bound for the semitotal domination number of trees and we characterize the extremal trees. In addition, we characterize trees with equal domination and semitotal domination numbers.

연구 동기 및 목표

• 나무에서 반총독립수에 대한 비자명한 하한을 확립하는 것.
• γ(T) = γₜ₂(T)를 만족하는 모든 나무를 특성화하는 것.
• 반총독립수 하한에 도달하는 극한 나무들을 특정하는 것.
• 루트가 있는 나무에 대한 네 가지 특정 연산을 사용한 (γ, γₜ₂)-나무의 구성적 특성화를 제공하는 것.

제안 방법

• 나무 T의 정점 수 n에 대한 귀납법을 사용하며, n ≤ 8인 작은 경우를 기본 사례로 삼는다.
• 관찰 2.1을 적용하여 잎이 포함되지 않은 γₜ₂-집합의 존재를 보장함으로써 구조 분석을 단순화한다.
• 지름이 4 이상인 나무에서 가장 긴 경로를 분석하며, 정점의 차수와 이웃 구조에 중점을 둔다.
• 특정 정점이나 부분나무를 제거한 후의 γₜ₂ 및 γ 값을 분석함으로써 구조적 분해를 수행한다.
• 네 가지 연산(O₁–O₄)을 도입하여, 정점의 차수와 이웃 유형에 기반해 더 작은 나무들로부터 모든 (γ, γₜ₂)-나무를 생성한다.
• 귀납적 추론을 통해 임의의 (γ, γₜ₂)-나무는 반드시 이러한 연산들로 구성 가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 n과 l에 대해 나무에서 반총독립수에 대한 최선의 가능한 하한은 무엇인가?
• RQ2 어떤 나무들이 γ(T) = γₜ₂(T)를 만족하며, 어떻게 구조적으로 특성화할 수 있는가?
• RQ3 모든 독립수와 반총독립수가 같은 나무들을 유한한 수의 구성적 연산으로 생성할 수 있는가?
• RQ4 γₜ₂-집합에 속한 정점들의 차수와 이웃 구성은 전체 나무의 구조에 어떤 제약을 가하는가?

주요 결과

• 모든 나무 T에 대해 반총독립수는 γₜ₂(T) ≥ 2(n(T) − l(T) + 2)/5를 만족하며, 등호가 성립하는 것은 T가 극한 나무일 때에만이다.
• γ(T) = γₜ₂(T)를 만족하는 모든 나무는 정확히 단일 정점에서 시작해 네 가지 특정 연산(O₁–O₄)을 통해 구성할 수 있는 나무들이다.
• 하한에 도달하는 극한 나무들은 모든 지지 정점의 차수가 2이며, 유도된 부등식에 등호가 성립하는 나무들이다.
• 나무의 γₜ₂-집합은 항상 잎을 포함하지 않도록 선택할 수 있으며, 이는 구조 분석을 단순화한다.
• (γ, γₜ₂)-나무의 특성화는 완전하고 구성적이다: 이러한 나무들은 정확히 네 가지 연산으로 생성된 집합 O에 속하는 나무들이다.
• 증명은 귀납적 분해에 기반하며, 특정 정점이나 부분나무를 제거할 경우 잔여 나무에서 γ = γₜ₂의 등식이 유지된다.