[논문 리뷰] Total Colourings of Direct Product Graphs

Kyle MacKeigan, Jeannette Janssen|arXiv (Cornell University)|2018. 07. 16.

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

한 줄 요약

이 논문은 $n$ 또는 $m$가 짝수이고 $n, m \geq 3$일 때, 완전 그래프의 직접곱 $K_n \times K_m$의 총 색수는 $\Delta + 1$임을 증명한다. 이는 $\Delta + 1$가지 색을 사용하는 총 색칠을 통해 구성된다. 핵심 방법은 알려진 코로나 그래프 $J_{2m}$(즉, 완전 이중매칭을 제거한 $K_m \times K_2$)의 총 색칠을 변형하여 $K_n \times K_m$에 적용하는 것으로, 간선 및 정점 색칠 기법을 활용한다. 이러한 조건 하에서 이러한 곱 그래프는 유형 I 그래프임을 증명한다.

ABSTRACT

A graph is $k$-total colourable if there is an assignment of $k$ different colours to the vertices and edges of the graph such that no two adjacent nor incident elements receive the same colour. The total chromatic number of some direct product graphs are determined. In particular, a sufficient condition is given for direct products of bipartite graphs to have total chromatic number equal to its maximum degree plus one. Partial results towards the total chromatic number of $K_n imes K_m$ are also established.

연구 동기 및 목표

• 직접곱 그래프의 총 색수를 결정하는 것, 특히 $K_n \times K_m$에 대해.
• 직접곱 그래프가 유형 I(즉, 총 색수 $\Delta + 1$)가 되는 데 충분한 조건을 설정하는 것.
• 완전 그래프 $K_n \times K_2$에 대한 기존 결과를 직접곱을 통해 더 넓은 범주인 이분 그래프 $H$로 확장하는 것.
• $n$ 또는 $m$가 짝수일 때 $K_n \times K_m$의 총 색칠 상태를 해결하며, 홀수인 경우는 미해결로 남긴다.

제안 방법

• 코로나 그래프 $J_{2m}$(즉, 완전 이중매칭을 제거한 $K_m \times K_2$)의 알려진 총 색칠을 활용하여 $K_n \times K_m$의 총 색칠을 구성한다.
• 정점 색칠을 $J_{2m}$의 총 색칠에서 유도된 서로 다른 정점 색칠 기반으로 $K_n \times K_m$에 할당하여, 인접한 정점가지 서로 다른 색을 부여한다.
• $n$이 짝수이므로 가능함을 고려하여 $K_n$의 간선 색칠을 $n-2$가지 색으로 사용한다. 간선 색칠은 구조적 공식을 통해 $K_n \times K_m$에 할당된다: $g((v_i,u_k)(v_j,u_t)) = c(m-1) + f(x_k y_t) + 1$ ($l(v_i v_j) = c \geq 1$)이며, $f$는 $J_{2m}$의 적절한 간선 색칠이다.
• 레인보우 매칭과 적절한 간선 색칠의 성질을 이용하여 간선 색칠이 정점 색칠과 충돌을 피하고, 적절한 인cidenc 및 인접 조건을 유지하도록 보장한다.
• 모든 정점 및 간선 색칠이 서로 다를 뿐만 아니라 충돌 없이 할당됨을 보여, 총 색칠이 정확히 $\Delta(K_n \times K_m) + 1 = (n-1)(m-1) + 1$가지 색을 사용함을 증명한다.
• 결과를 적용하여, $G \times K_2$가 유형 I이면, 임의의 이분 그래프 $H$에 대해 $G \times H$도 유형 I임을 보여, 완전 그래프를 초월해 일반화한다.

실험 결과

연구 질문

• RQ1 $K_n \times K_m$의 총 색수가 $\Delta + 1$이 되는 조건은 무엇인가?
• RQ2 $K_n \times K_2$에 대한 총 색칠 결과를 임의의 이분 그래프 $H$에 대해 $K_n \times H$로 확장할 수 있는가?
• RQ3 $n$ 또는 $m$가 짝수이고 $n, m \geq 3$일 때 $K_n \times K_m$는 유형 I인가?
• RQ4 직접곱 그래프의 어떤 구조적 성질이 $\Delta + 1$ 총 색칠을 가능하게 하는가?

주요 결과

• $n$ 또는 $m$가 짝수이고 $n, m \geq 3$일 경우, $K_n \times K_m$는 유형 I이며, 이는 총 색수 $\Delta(K_n \times K_m) + 1 = (n-1)(m-1) + 1$임을 의미한다.
• 논문은 $(n-1)(m-1) + 1$가지 색을 정확히 사용하는 $K_n \times K_m$의 명시적 총 색칠을 구성하여, 제시된 조건 하에서 총 색수가 $\Delta + 1$임을 확인한다.
• 임의의 이분 그래프 $H$에 대해, $G \times K_2$가 유형 I이면 $G \times H$도 역시 유형 I임을 보여, 결과를 완전 그래프를 초월해 일반화한다.
• $K_n \times K_m$의 총 색칠은 $K_n$의 적절한 간선 색칠과 $J_{2m}$의 총 색칠을 조합하여 달성되며, 색상 충돌이 없도록 보장하는 공식을 사용한다.
• 구성은 $K_{m,m}$ 내의 완전 레인보우 매칭에 의존하며, 이는 $J_{2m}$의 각 이분할에 서로 다른 색을 할당할 수 있게 하여 $K_n \times K_m$로의 일관된 확장이 가능하게 한다.
• $n$과 $m$이 모두 홀수일 경우, $K_n \times K_m$의 총 색수는 여전히 미해결 상태이며, 이 경우 방법이 적용되지 않기 때문이다.