[논문 리뷰] Total dominator chromatic number and Mycieleskian graphs

Adel P. Kazemi|arXiv (Cornell University)|2013. 07. 29.

Graph Labeling and Dimension Problems참고 문헌 1인용 수 8

한 줄 요약

이 논문은 Mycieleskian 그래프에서의 총 지배 색수($χ_d^t$)를 조사하며, $χ_d^t(M(G))$가 $χ_d^t(G)+1$와 $χ_d^t(G)+2$ 사이에 있음을 증명하고, 각 경계에 도달하는 그래프의 가족을 특성화한다. 사이클, 경로 및 그 여집합에 대한 Mycieleskian에서 $χ_d^t$의 정확한 공식을 수립하고, 임의의 주어진 $χ_d^t = k \geq 3$을 갖는 비완전 그래프의 존재를 보여준다. 이러한 결과들은 Mycieleskian 구성에 의해 중요한 그래프 클래스로 총 지배 색수 이론을 확장한다.

ABSTRACT

A total dominator coloring of a graph $G$ is a proper coloring of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number $χ_d^t(G)$ of $G$ is the minimum number of color classes in a total dominator coloring of it. In [Total dominator chromatic number of a graph, submitted] the author initialed to study this number in graphs and obtained some important results. Here, we continue it in Mycieleskian graphs. We show that the total dominator chromatic number of the Mycieleskian of a graph $G$ belongs to between $χ_d^t(G)+1$ and $χ_d^t(G)+2$, and then characterize the family of graphs the their total dominator chromatic numbers are each of them.

연구 동기 및 목표

• 그래프의 복잡성을 증가시키면서도 구조적 성질을 유지하는 구성인 Mycieleskian 그래프로 총 지배 색수($\chi_d^t$) 연구를 확장한다.
• $\chi_d^t(G)$에 대한 $\chi_d^t(M(G))$의 날카운 경계를 확립하여, $[\chi_d^t(G)+1, \chi_d^t(G)+2]$ 간격 내에 존재함을 보인다.
• $\chi_d^t(M(G))$가 각각 두 상한 중 어느 하나에 도달하는 그래프의 가족을 특성화한다.
• G가 사이클 $C_n$, 경로 $P_n$, 또는 그 여집합일 경우 $\chi_d^t(M(G))$의 정확한 공식을 유도한다.
• 임의의 주어진 총 지배 색수 $k \geq 3$을 갖는 비완전 그래프의 존재를 입증하여 분야 내 구조적 질문을 해결한다.

제안 방법

• 논문은 원래 그래프 $G$로부터 $M(G)$를 생성하기 위해 정점 집합의 복사본과 새로운 전방위 정점(유니버설 정점)을 추가하는 Mycieleskian 구성 기법을 사용한다.
• 총 지배 색수 분석을 위해 색 클래스의 사전 및 공통 이웃 개념을 적용한다.
• 특히 원래 정점, 복사 정점 $U$, 그리고 새로운 전방위 정점 $w$의 역할을 분석하여 $M(G)$의 구조적 분해를 기반으로 총 지배 색수의 인접 조건을 만족시키는 데 중점을 둔다.
• 사이클과 경로의 순서에 대한 홀짝성과 모듈로 산술을 바탕으로 한 케이스 분석을 통해 $\chi_d^t(M(C_n))$, $\chi_d^t(M(P_n))$, 및 그 여집합의 정확한 값을 도출한다.
• 색 클래스에 사전 이웃이 없는 그래프(클래스 1)와 모든 색 클래스가 사전 이웃을 갖는 그래프(클래스 2)로의 분류를 도입하고, Mycieleskian 작용에 대한 닫힘성과 전파 성질을 증명하는 데 활용한다.
• 비완전 그래프가 $\chi_d^t = k$를 갖는다는 존재성 증명은 $K_3$에서 시작하여 반복적인 Mycieleskian 구성에 의해 귀납법을 적용하며, $G \in \text{Class }1$이면 $M(G) \in \text{Class }1$임을 이용한다.

실험 결과

연구 질문

• RQ1 일반적인 그래프 $G$에 대해 $\chi_d^t(G)$와 $\chi_d^t(M(G))$ 사이의 관계는 무엇인가?
• RQ2 어떤 그래프 가족에서 $\chi_d^t(M(G)) = \chi_d^t(G)+1$이고, 어떤 가족에서 $\chi_d^t(M(G)) = \chi_d^t(G)+2$가 성립하는가?
• RQ3 $\chi_d^t(M(C_n))$, $\chi_d^t(M(P_n))$, $\chi_d^t(M(\overline{C_n}))$, $\chi_d^t(M(\overline{P_n}))$의 정확한 값은 무엇인가?
• RQ4 임의의 주어진 총 지배 색수 $k \geq 3$을 갖는 비완전 그래프가 존재하는가?
• RQ5 Mycieleskian 작용은 총 지배 색수의 색 클래스의 사전 이웃 구조에 어떻게 영향을 미치는가?

주요 결과

• 그래프 $G$의 Mycieleskian에 대한 총 지배 색수는 $\chi_d^t(G)+1 \leq \chi_d^t(M(G)) \leq \chi_d^t(G)+2$를 만족하며, 두 경계 모두 날카롭다.
• 사이클의 경우, $n \equiv r \pmod{6}$이고 $r \in \{0,1,2\}$이면 $\chi_d^t(M(C_n)) = 4\lfloor n/6 \rfloor + r + 2$, $r \in \{3,4,5\}$이고 $n \neq 4,5$이면 $4\lfloor n/6 \rfloor + r + 1$, $\chi_d^t(M(C_4)) = 4$, $\chi_d^t(M(C_5)) = 5$이다.
• 사이클의 여집합의 경우, $n=4,5$이면 $\chi_d^t(M(\overline{C_n})) = 6$, $n=6$이면 $5$, $n \geq 7$이면 $\lceil n/2 \rceil + 1$이며, 이는 $n$이 커질수록 급격한 증가를 보인다.
• 경로의 경우, $n \equiv 0 \pmod{3}$이면 $\chi_d^t(M(P_n)) = 2\lceil n/3 \rceil + 2$, $n \equiv 2 \pmod{3}$이면 $2\lceil n/3 \rceil + 1$, $n \equiv 1 \pmod{3}$이면 $2\lceil n/3 \rceil$, $\chi_d^t(M(P_2)) = 4$이며, 이는 $n \mod 3$에 대한 복잡한 의존성을 보인다.
• 경로의 여집합의 경우, $n=4$이면 $\chi_d^t(M(\overline{P_n})) = 4$, $n \geq 5$이면 $\lceil n/2 \rceil + 1$이며, 이는 $n=5$부터 급격한 증가를 보인다.
• 논문은 임의의 $k \geq 3$에 대해 $\chi_d^t(G) = k$인 비완전 그래프가 존재함을 증명하며, $K_3$에서 시작하여 반복적인 Mycieleskian 구성으로 이를 달성함으로써 열린 구조적 질문을 해결한다.