[논문 리뷰] Total dominator coloring of circulant graphs $C_n(a,b)$

Parvin Jalilolghadr, Adel P. Kazemi외 1명|arXiv (Cornell University)|2019. 05. 01.

Advanced Graph Theory Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $n \geq 6$ 인 경우, $\gcd(a,n) = 1$ 및 $a^{-1}b \equiv 3 \pmod{n}$ 조건을 만족할 때 순환 그래프 $C_n(\{a,b\})$ 의 총 지배 색칠 수를 결정한다. 구조적 그래프 성질과 모듈로 산술 제약 조건을 이용하여 색칠 수에 대한 정확한 공식을 수립한다.

ABSTRACT

The circulant graph $C_n(S)$ with connection set $S\subseteq \{1,2,\cdots,n\}$ is the graph with vertex set $V=\{1,\ldots, n\}$ and two vertices $x,y$ are adjacent if $|x-y|\in S$. In this paper, we will calculate the total dominator chromatic number of the circulant graph $C_n(\{a,b\})$ when $n\geq 6$, $gcd(a,n)=1$ and $ a^{-1}b\equiv 3 \pmod{n}$.

연구 동기 및 목표

• 특정 대수적 제약 조건 하에서 순환 그래프 $C_n(\{a,b\})$ 의 총 지배 색칠 수를 결정하는 것.
• 연결 집합 $\{a,b\}$ 를 가진 순환 그래프의 구조적 성질을 분석하는 것.
• 모듈로 조건 $a^{-1}b \equiv 3 \pmod{n}$ 가 총 지배 색칠에 미치는 영향을 조사하는 것.
• 주어진 매개변수 영역에서 총 지배 색칠 수에 대한 닫힌 형태의 표현식을 수립하는 것.

제안 방법

• 정점 집합 $\{1, \ldots, n\}$ 과 $|x - y| \in S$ 를 기반으로 한 인접 관계를 갖는 순환 그래프 $C_n(S)$ 의 정의를 활용한다.
• 수론적 조건 적용: $\gcd(a,n) = 1$ 은 $a$ 가 모듈로 $n$ 에서 가역적임을 보장하며, $a^{-1}b \equiv 3 \pmod{n}$ 는 연결 집합에 구조적 제약을 가한다.
• 모든 정점가 색칠 분할에서 나머지 모든 정점을 지배하는 총 지배 색칠을 분석하기 위해 그래프 이론 기법을 적용한다.
• 주어진 모듈로 조건 하에서 연결 집합 $\{a,b\}$ 가 유도하는 대칭성과 연결성 분석을 통해 색칠 수를 유도한다.
• 모듈로 역원과 순환 그래프의 구조적 성질에 기반하여 색칠 행동을 분류한다.
• 모듈로 조건 $a^{-1}b \equiv 3 \pmod{n}$ 에 기반한 케이스 분석을 통해 총 지배 색칠 수를 확립한다.

실험 결과

연구 질문

• RQ1 일반적으로 $\gcd(a,n) = 1$ 이고 $a^{-1}b \equiv 3 \pmod{n}$ 인 경우 $C_n(\{a,b\})$ 의 총 지배 색칠 수는 무엇인가요?
• RQ2 조건 $a^{-1}b \equiv 3 \pmod{n}$ 이 순환 그래프의 총 지배 색칠에 어떤 영향을 미치나요?
• RQ3 이러한 제약 조건 하에서 총 지배 색칠 수에 대한 닫힌 형태의 표현식을 유도할 수 있는가요?
• RQ4 $C_n(\{a,b\})$ 의 어떤 구조적 특징이 이 경우 총 지배 색칠 수의 결정을 가능하게 하는가요?

주요 결과

• 주어진 조건 하에서 $C_n(\{a,b\})$ 의 총 지배 색칠 수가 명시적으로 결정된다.
• 조건 $a^{-1}b \equiv 3 \pmod{n}$ 는 색칠 수를 특정 값으로 고정시키는 데 핵심적인 역할을 한다.
• 색칠 수는 $a$ 와 $b$ 의 구체적 값과는 무관하며, 오직 $n$ 과 모듈로 제약 조건에 의존한다.
• 결과는 모든 $n \geq 6$ 에 대해 성립하여 정의된 매개변수 영역 내에서 광범위하게 적용 가능하다.
• 주어진 조건 하에서 순환 그래프의 구조는 유일하고 계산 가능한 총 지배 색칠 수를 가능하게 한다.
• 유도 과정은 모듈로 산술과 그래프 대칭성 간의 상호작용에 기반하여 결과를 도출한다.