[논문 리뷰] Equitable coloring of interval graphs and products of graphs

Bor-Liang Chen, Ko‐Wei Lih외 1명|ArXiv.org|2009. 03. 08.

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

한 줄 요약

이 논문은 간격 그래프에 대한 정당한 Δ-색칠 추측을 확인하고, 이 클래스에서 정당한 가용성의 단조성을 수립한다. 또한 그래프의 제곱 및 크로스 곱에서의 정당한 가용성 조건을 도출하며, 완전 이분 그래프 $K_{n} \times K_{n,n-1}$가 임계값 $\chi_=^*(G) = n$를 가지며 정당한 $n$-색칠이 가능하다는 것을 증명한다. 또한 일반적으로 정당한 가용성이 그래프 곱에서 보존되지 않음을 보여준다.

ABSTRACT

We confirm the equitable $Δ$-coloring conjecture for interval graphs and establish the monotonicity of equitable colorability for them. We further obtain results on equitable colorability about square (or Cartesian) and cross (or direct) products of graphs.

연구 동기 및 목표

• 정당한 색칠 이론에서 오랫동안 열려 있던 문제인 간격 그래프에 대한 정당한 Δ-색칠 추측을 확인하기 위해.
• 간격 그래프에서 정당한 가용성의 단조성을 수립하여, 어떤 $k$에서 정당한 색칠이 가능하다면, 그 이상의 모든 $\ell$에 대해서도 가능함을 보장하기 위해.
• 두 가지 유형의 그래프 곱, 즉 제곱(Cartesian) 곱과 크로스(direct) 곱에서의 정당한 가용성을 조사하기 위해.
• 특히 $K_n \times K_{n,n-1}$에 대해 정당한 색칠 임계값 $\chi_=^*(G)$를 결정하기 위해.
• 정당한 가용성이 일반적으로 단조적이지 않으며, 정당한 색칠이 가능한 그래프의 곱이 반드시 정당한 색칠이 가능하지 않음을 보여주기 위해.

제안 방법

• 조건 (1): $u < v < w$ 이고 $uw \in E(G)$ 이면 $uv \in E(G)$ 를 만족하는 선형 정점 순서를 정의하기 위해 간격 그래프의 클리크 경로 표현을 사용한다.
• 모듈로 색칠 기법을 적용: $c(v_i) = i \mod \Delta(G)$, 이는 색 클래스 크기가 최대 1 이내로 다를 수 있도록 보장한다.
• 이웃한 정점이 같은 색을 가질 경우, 이들의 거리는 $\Delta(G)$여야 하며, 이는 $G$가 완전 그래프가 아닐 경우 모순을 일으키므로, 비완전 간격 그래프에 대해 추측을 확인한다.
• 그래프 곱에 대해선 순환 분할을 통한 정당한 색칠을 구성하며, 크기가 $m+1$과 $m$인 초기 세그먼트를 제거하여 독립 집합을 형성한다.
• 나눗셈 조건(예: $m-3$ 또는 $n-3$ 이 4로 나누어떨어지는지 여부)에 기반한 케이스 분석을 통해 균형 잡힌 클래스 크기를 가진 색칠을 정의한다.
• 크기 제약과 구성 요소 구조를 분석함으로써 $K_n \times K_{n,n-1}$ 가 $k < n$ 인 경우 정당한 $k$-색칠이 불가능함을 모순을 통해 보여준다.

실험 결과

연구 질문

• RQ1 간격 그래프에 대해 정당한 Δ-색칠 추측은 참인가?
• RQ2 간격 그래프에서 정당한 가용성은 단조적인가? (즉, 정당한 $k$-색칠이 가능하다면, 모든 $\ell \geq k$ 에 대해 정당한 $\ell$-색칠이 가능한가?)
• RQ3 제곱 또는 크로스 곱의 두 그래프가 정당한 가용성을 가지기 위한 조건은 무엇인가?
• RQ4 $K_n \times K_{n,n-1}$ 에 대해 정당한 색칠 임계값 $\chi_=^*(G)$ 는 무엇인가?
• RQ5 곱 그래프의 정당한 색칠 임계값은 그 성분의 임계값들로 유계가 되는가?

주요 결과

• 모든 완전 그래프, 홀수 사이클, 또는 $K_{2m+1,2m+1}$ 가 아닌 연결된 간격 그래프에 대해 정당한 Δ-색칠 추측은 성립한다.
• 간격 그래프에서 정당한 가용성은 단조적이다: $G$ 가 정당한 $k$-색칠이 가능하다면, 모든 $\ell \geq k$ 에 대해 정당한 $\ell$-색칠이 가능하다.
• $K_n \times K_{n,n-1}$ 는 정당한 $n$-색칠이 가능하며, 그 정당한 색칠 임계값은 $\chi_=^*(K_n \times K_{n,n-1}) = n$ 이다.
• $K_n \times K_{n,n-1}$ 는 크기 및 구성 요소 구조 제약으로 인해 $k < n$ 인 경우 정당한 $k$-색칠이 불가능하다.
• 곱 그래프의 정당한 색칠 임계값이 $\chi_=^*(G_1 \times G_2) \leq \max\{\chi_=^*(G_1), \chi_=^*(G_2)\}$ 를 만족하지는 않으며, $K_{3,2} \times K_{3,2}$ 와 같은 반례로 이를 보여준다.
• 성분들이 모두 정당한 2-색칠이 가능한데도 불구하고, $K_{m,m-1} \times K_{n,n-1}$ 는 정당한 2-색칠이 불가능하므로, 곱에서의 비단조성(비단조성)을 보여준다.