[논문 리뷰] The Domination Polynomials of Cubic graphs of order 10

Saieed Akbari, ‎Saeid Alikhani외 1명|ArXiv.org|2009. 05. 20.

Advanced Graph Theory Research인용 수 3

한 줄 요약

이 논문은 순서 10인 3-정규(큐빅) 그래프의 모든 지배 다항식을 조사하여 지배 집합을 계산하고 D-다항식 동치성을 분석한다. 정점 전이성과 조합적 수세기 기법을 사용하여 페테르센 그래프가 지배 다항식에 의해 유일하게 결정됨을 증명함으로써, 이는 D-유일성으로서의 성격을 지닌다. 동시에 순서 10인 큐빅 그래프 19개 중에서 몇몇 D-유일 그래프와 D-동치류를 규명한다.

ABSTRACT

Let G be a simple graph of order n. The domination polynomial of G is the polynomial D(G,x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}, where d(G,i) is the number of dominating sets of G of size i, and γ(G) is the domination number of G. In this paper we study the domination polynomials of cubic graphs of order 10. As a consequence, we show that the Petersen graph is determined uniquely by its domination polynomial.

연구 동기 및 목표

• 모든 순서 10인 큐빅 그래프의 지배 다항식을 계산하고 분석한다.
• 이 그래프들 중에서 D-유일성, 즉 지배 다항식에 의해 고유하게 식별되는 그래프를 규명한다.
• 순서 10인 큐빅 그래프 간의 D-동치류를 분류하며, 동일한 지배 다항식을 가진 그래프를 식별한다.
• 특히 페테르센 그래프에서 지배 집합의 구조적 및 조합적 성질을 조사한다.
• 페테르센 그래프가 D-유일함을 입증한다. 즉, 다른 어떤 그래프와도 동일한 지배 다항식을 공유하지 않는다.

제안 방법

• 지배 다항식 $ D(G,x) = \sum_{i=\gamma(G)}^{n} d(G,i)x^i $ 계산, 여기서 $ d(G,i) $ 는 크기가 $ i $ 인 지배 집합의 수를 의미한다.
• 논문의 보조정리 1 적용: 정점 전이성 그래프의 경우 $ d(G,i) = \frac{n}{i} d_v(G,i) $ 이므로, 정점별로 지배 집합 수를 세어 $ d(G,i) $ 를 효율적으로 계산할 수 있다.
• 정리 2 적용: $ d(G,j) = \binom{n}{j} $ 가 성립하는 지점에서 최소 차수 제약 조건을 유추할 수 있다. 이는 모든 $ j $-부분집합이 지배 집합임을 의미한다.
• 각 순서 10인 큐빅 그래프에 대해 $ \gamma $-집합(최소 지배 집합)을 열거하여 구조적 성질을 비교한다.
• 이산 그래프에 대한 정리 6 적용: $ D(G,x) = D(G_1,x) \cdots D(G_m,x) $ 이므로, 다수의 컴포넌트를 가진 그래프의 다항식을 계산할 수 있다.
• 다양한 그래프 간의 $ d(G,i) $ 값 비교를 통해 D-동치류와 D-유일성을 규명한다.

실험 결과

연구 질문

• RQ1 페테르센 그래프는 순서 10인 모든 큐빅 그래프 중에서 지배 다항식에 의해 유일하게 결정되는가?
• RQ2 순서 10인 큐빅 그래프 중에서 D-유일인 그래프는 무엇이며, 이는 동형이 아닌 다른 그래프와 지배 다항식을 공유하지 않는가?
• RQ3 순서 10인 큐빅 그래프 19개 중에서 D-동치류는 무엇이며, 어떤 그래프들이 D-동치관계에 있는가?
• RQ4 다양한 크기의 지배 집합 수가 순서 10인 큐빅 그래프 간에 어떻게 다를 수 있으며, 이러한 수의 차이를 이끄는 구조적 특징은 무엇인가?
• RQ5 지배 다항식은 비동형인 순서 10 큐빅 그래프를 구별할 수 있는가? 특히 페테르센 그래프의 경우에 대해 어떻게 되는가?

주요 결과

• 페테르센 그래프는 D-유일하다: 다른 그래프와 동일한 지배 다항식을 가지지 않으며, $ d(G_9,4) = 91 > d(P,4) $ 이므로 $ [P] = \{P\} $ 임을 증명한다.
• 그래프 $ G_9 $ 도 D-유일하다. $ d(G_9,4) = 91 $ 이며, 페테르센 그래프보다 더 큰 값이므로 지배 다항식이 유일하다.
• $ G_6 $ 과 $ G_{10} $ 은 동일한 지배 다항식을 가지며 D-동치류를 이룬다: $ x^{10} + \binom{10}{9}x^9 + \binom{10}{8}x^8 + \binom{10}{7}x^7 + (\binom{10}{6}-10)x^6 + (\binom{10}{5}-60)x^5 + 85x^4 + 10x^3 $.
• $ G_7 $ 과 $ G_8 $ 은 D-동치이며, 둘 다 $ d(G_i,4) = 80 $ 을 가지며, 보조정리 1과 정점별 지배 집합 수세기로 계산되었다.
• $ G_{12}, G_{13}, G_{14}, G_{16}, G_{19} $ 는 D-유일하다. 각각의 $ \gamma $-집합 수($ |\Gamma(G)| $) 가 15, 7, 22, 13, 13으로 모두 다른 값을 가지기 때문이다.
• $ G_{20} $ 과 $ G_{21} $ 은 D-동치이며, 둘 다 지배 다항식 $ x^{10} + 10x^9 + 45x^8 + 120x^7 + 203x^6 + 216x^5 + 134x^4 + 36x^3 $ 을 가지며, 컴포넌트 다항식의 곱으로 유도되었다.