[논문 리뷰] Dominating sets and Domination polynomials of Cycles

‎Saeid Alikhani, Yee-Hock Peng|ArXiv.org|2009. 05. 20.

Advanced Graph Theory Research인용 수 5

한 줄 요약

이 논문은 사이클의 지배 집합 수를 세는 재귀적 공식을 개발하며, 사이클의 지배 다항식을 정의하고 그 구조적 성질을 도출한다. 주요 기여는 각 크기의 지배 집합 수를 효율적으로 계산할 수 있게 해주는 재귀 관계를 제시하는 것으로, 지배 다항식 계수에 대한 닫힌 형태 표현과 조합적 항등식을 이끌어낸다.

ABSTRACT

Let G=(V,E) be a simple graph. A set S\subset V is a dominating set of G, if every vertex in V§is adjacent to at least one vertex in S. Let {\mathcal C}_n^i be the family of dominating sets of a cycle C_n with cardinality i, and let d(C_n,i) = |{\mathcal C}_n^i. In this paper, we construct {\mathcal C}_n^i, and obtain a recursive formula for d(C_n, i). Using this recursive formula, we consider the polynomial D(C_n, x) = \sum_{i=1}^n d(C_n, i)x^i, which we call domination polynomial of cycles and obtain some properties of this polynomial.

연구 동기 및 목표

• 사이클 그래프 $C_n$의 모든 지배 집합을 크기별로 특성화하고 세는 것.
• 지배 다항식 $D(C_n, x) = \sum_{i=\lceil n/3 \rceil}^n d(C_n, i) x^i$를 정의하고 연구하는 것. 여기서 $d(C_n, i)$는 크기가 $i$인 지배 집합의 수를 의미한다.
• 더 작은 사이클 $C_{n-1}, C_{n-2}, C_{n-3}$를 기반으로 $d(C_n, i)$에 대한 재귀 공식을 유도하는 것.
• 지배 다항식 계수에 대한 조합적 항등식과 재귀 관계를 수립하는 것.
• $n$과 $i$의 다양한 값에 대해 $d(C_n, i)$의 행동을 분석하는 것. 특히 극값 케이스와 대칭성 성질을 포함한다.

제안 방법

• $\mathcal{C}_n^i$를 사이클 $C_n$에서 크기가 $i$인 지배 집합의 집합으로 간주하고, $\mathcal{C}_{n-1}^{i-1}, \mathcal{C}_{n-2}^{i-1}, \mathcal{C}_{n-3}^{i-1}$에서의 재귀적 구성 방법을 사용하여 구성하는 것.
• 재귀 관계 수립: $d(C_n, i) = d(C_{n-1}, i-1) + d(C_{n-2}, i-1) + d(C_{n-3}, i-1)$, 이는 $n$과 $i$에 대한 특정 조건을 만족할 때 유효하다.
• 불가능한 구성 요소를 제거하기 위해 보조정리를 사용하고, 유효한 재귀 조합의 수를 다섯 가지로 줄이는 것.
• 지배 다항식 $D(C_n, x)$가 $S_n = S_{n-1} + S_{n-2} + S_{n-3}$의 재귀 관계를 만족함을 증명하는 것. 여기서 $S_n = \sum_{j=\lceil n/3 \rceil}^n d(C_n, j)$이다.
• 특수 케이스, 예를 들어 $i = n$, $i = n-1$, $i = n-2$, $i = \lceil n/3 \rceil$에 대해 $d(C_n, i)$의 닫힌 형태 표현과 항등식을 도출하는 것.
• 귀납법과 케이스 분석을 통해 다양한 $n$과 $i$에 대해 $d(C_n, i)$의 항등식을 검증하는 것. 특히 항등식 $\sum_{i=j}^{3j} d(C_i, j) = 3 \sum_{i=j-1}^{3j-3} d(C_i, j-1)$를 포함한다.

실험 결과

연구 질문

• RQ1 더 작은 사이클을 사용하여 사이클 $C_n$에서 크기 $i$의 지배 집합 수를 어떻게 재귀적으로 계산할 수 있는가?
• RQ2 사이클에 대한 지배 다항식 $D(C_n, x)$의 구조적 및 조합적 성질은 무엇인가?
• RQ3 지배 집합 수 $d(C_n, i)$의 극값은 무엇인가? 예를 들어 $d(C_n, n)$, $d(C_n, n-1)$, $d(C_n, \lceil n/3 \rceil)$의 값은?
• RQ4 고정된 $i$에 대해 $n$이 증가함에 따라 $d(C_n, i)$의 수열은 어떻게 변화하는가? 특히 단조 증가 후 감소하는 '단모양' 성장 패턴은 어떻게 되는가?
• RQ5 모든 크기의 지배 집합 총수를 나타내는 재귀 또는 항등식은 무엇인가?

주요 결과

• 사이클의 지배 다항식은 초기값 $S_1 = 1$, $S_2 = 3$, $S_3 = 7$을 갖는 $S_n = S_{n-1} + S_{n-2} + S_{n-3}$를 만족한다. 여기서 $S_n$은 $C_n$ 내의 지배 집합 총수이다.
• $d(C_n, n) = 1$이고 $d(C_n, n-1) = n$이며, 각각 유일한 전체 집합과 한 정점만 제외한 집합에 해당한다.
• $d(C_n, n-2) = \frac{n(n-1)}{2}$로, 재귀 관계를 통해 유도되고 귀납법으로 검증되었다.
• $d(C_n, n-3) = \frac{(n-4)n(n+1)}{6}$로, 재귀 관계를 사용한 귀납적 증명을 통해 확립되었다.
• $n = 3k$일 때, $d(C_{3k}, k) = 3$이며, 이는 크기가 $k$인 세 개의 완벽한 지배 집합에 해당한다.
• 고정된 $i$에 대해 수열 $d(C_n, i)$는 $n = 2i$까지 증가하다가 감소하며, $d(C_{3i}, i) = 3$이므로 단모양 패턴을 보인다.