[논문 리뷰] On the Domination Number of Generalized Petersen Graphs P(ck,k)

Haoli Wang, Xirong Xu외 2명|arXiv (Cornell University)|2011. 03. 12.

Advanced Graph Theory Research인용 수 10

한 줄 요약

이 논문은 $c \in \{4,5,6\}$ 및 $k \geq 1$에 대해 일반화된 페테르센 그래프 $P(ck,k)$의 정확한 지배 수를 확립하고, $c \geq 3$, $k \geq 3$에 대해 $\gamma(P(ck,k))$에 대한 향상된 상한을 제시한다. $k$가 짝수일 때 $\gamma(P(4k,k)) = 2k+1$, 모든 $k \geq 1$에 대해 $\gamma(P(5k,k)) = 3k$, $k \neq 2$일 때 $\gamma(P(6k,k)) = \lceil 10k/3 \rceil$임을 증명하며, 이는 열려 있던 케이스를 해결하고, 구조적 분석과 케이스 기반 지배 집합 구성 방법을 통해 이전의 상한을 개선한다.

ABSTRACT

Let $G=(V(G),E(G))$ be a simple connected and undirected graph with vertex set $V(G)$ and edge set $E(G)$. A set $S \subseteq V(G)$ is a $dominating$ $set$ if for each $v \in V(G)$ either $v \in S$ or $v$ is adjacent to some $w \in S$. That is, $S$ is a dominating set if and only if $N[S]=V(G)$. The domination number $γ(G)$ is the minimum cardinalities of minimal dominating sets. In this paper, we give an improved upper bound on the domination number of generalized Petersen graphs $P(ck,k)$ for $c\geq 3$ and $k\geq 3$. We also prove that $γ(P(4k,k))=2k+1$ for even $k$, $γ(P(5k,k))=3k$ for all $k\geq 1$, and $γ(P(6k,k))=\lceil\frac{10k}{3} ceil$ for $k\geq 1$ and $k eq 2$.

연구 동기 및 목표

• 모든 $c \in \{4,5,6\}$ 및 $k \geq 1$에 대해 $\gamma(P(ck,k))$의 정확한 지배 수를 결정하는 것.
• $c \geq 3$ 및 $k \geq 3$에 대해 $\gamma(P(ck,k))$에 대한 기존 상한을 향상시키는 것.
• 특히 $c=4,5,6$에 대해 일반화된 페테르센 그래프 $P(ck,k)$의 지배 수에 대한 열려 있던 케이스를 해결하는 것.
• 모듈로 구조와 정점 분할 기반의 체계적인 지배 집합 구성 방법을 제공하는 것.

제안 방법

• $P(ck,k)$의 정점 집합을 $i \in \{0, \dots, k-1\}$로 인덱싱된 $k$개의 블록 $B_i$로 나누어 국소적 지배 패턴을 분석하는 것.
• 국소적 지배 제약 조건을 분석하기 위해 $G_i = \langle \{v_{ik}, v_{ik+1}, v_{ik+2}, v_{ik+3}, u_{ik}, u_{ik+1}, u_{ik+2}, u_{ik+3}\} \rangle$을 정의하는 것.
• $c \mod 4$ 및 $k \mod 2$를 기반으로 한 케이스 분석을 통해 최소 기수를 가진 지배 집합을 구성하는 것.
• 지배 수 $\gamma(P(6k,k))$에 대한 하한을 유도하기 위해 $\sum_{i=0}^{6k-1} (|S_i| + |S_{i+1}| + |S_{i+2}|)$에 이중 세기 기법을 적용하는 것.
• 모든 $i$에 대해 $|S_{i-1} \cup S_i \cup S_{i+1}| \geq 10$임을 보여주는 구조적 보조정리를 활용하여 $\gamma(P(6k,k))$에 대한 하한을 확립하는 것.
• $k \in \{4,\dots,12\}$에 대해 $P(6k,k)$의 명시적 지배 집합을 구성하여 제안된 상한을 검증하는 것.

실험 결과

연구 질문

• RQ1 짝수 $k$에 대해 $\gamma(P(4k,k))$의 정확한 지배 수는 무엇인가?
• RQ2 모든 $k \geq 1$에 대해 $\gamma(P(5k,k))$의 정확한 지배 수는 무엇인가?
• RQ3 $k \geq 1$, $k \neq 2$일 때 $\gamma(P(6k,k))$의 정확한 지배 수는 무엇인가?
• RQ4 $c \geq 3$일 때 $\gamma(P(ck,k))$에 대해 더 날카운 상한을 확립할 수 있는가?
• RQ5 $c$와 $k$에 대한 다양한 모듈로 조건에서 지배 수는 어떻게 행동하는가?

주요 결과

• 짝수 $k$에 대해 $\gamma(P(4k,k)) = 2k + 1$임을 증명하여 이전 연구에서 열려 있던 케이스를 해결하였다.
• 모든 $k \geq 1$에 대해 $\gamma(P(5k,k)) = 3k$임을 증명하여 정확하고 균일한 결과를 확립하였다.
• $k \geq 1$ 및 $k \neq 2$일 때 $\gamma(P(6k,k)) = \lceil 10k/3 \rceil$이며, $k=2$일 경우 $\lceil 10k/3 \rceil + 1$로 수정됨을 확인하였다.
• $c \geq 3$ 및 $k \geq 3$에 대해 $\gamma(P(ck,k))$에 대한 향상된 상한이 확립되었으며, 이는 $c \mod 4$ 및 $k \mod 2$에 따라 달라지며, $k$의 기수에 기반한 개선된 항 $\alpha$를 포함한다.
• $\gamma(P(6k,k)) \geq \lceil 10k/3 \rceil$의 하한이 이중 세기 기법을 통해 증명되었으며, 이는 연속된 3개의 블록에 대해 $|S_{i-1} \cup S_i \cup S_{i+1}| \geq 10$임을 보여주며, 이는 $\gamma(P(6k,k))$에 대한 하한을 확보하는 데 핵심적이다.
• 논문은 $k \in \{1,3\}$에 대해 $\gamma(P(6k,k)) = \lceil 10k/3 \rceil$임을 확인하였고, $k=2$일 경우 $\gamma(P(6k,k)) = \lceil 10k/3 \rceil + 1$임을 증명하여 $c=6$에 대한 특성화를 완성하였다.