코로나 다중곱 그래프의 균등 색채 연구

초록

본 논문은 기본 그래프 G가 균등 3‑색 또는 4‑색 가능하고, 부속 그래프 H가 r‑파트ite, 경로, 사이클 또는 완전 그래프인 경우에 대해 l‑코로나 곱 (G\circ^{l}H)의 균등 색채수를 정확히 규명한다. 구성적 증명을 통해 기존 G의 균등 색채가 주어지면 다항 시간 알고리즘으로 전체 그래프를 균등 k‑색칠할 수 있음을 보이며, 이때 Equitable Coloring Conjecture(동등 색채 추측)도 만족함을 확인한다.

상세 분석

논문은 먼저 (G\circ H) (코로나 곱)의 정의를 재정리한다. (G) 의 각 정점 (v) 에 (H) 의 복사본 (H_{v}) 을 붙이고, (v)와 (H_{v}) 의 모든 정점을 완전 연결하는 구조이다. (l)‑코로나 곱 (G\circ^{l}H) 은 이 과정을 (l) 번 반복한 것으로, 정점 수가 (|V(G)|\cdot(|V(H)|+1)^{l}) 에 달한다.

핵심은 (G) 가 이미 균등 3‑색 또는 4‑색 가능하다는 전제 하에, (H) 의 파티션 구조를 이용해 각 (H_{v}) 의 색 배정을 (G) 의 색 배분과 “균형” 있게 맞추는 것이다.

1. (r)-파트ite (H): (H) 를 (r) 개의 독립 집합 (X_{1},\dots,X_{r}) 으로 나누고, (G) 의 색 집합 ({1,\dots,k}) 에 대해 (k\ge r) 이면 각 (X_{i}) 에 서로 다른 색을 할당한다. (G) 의 색이 균등하게 분포돼 있으므로, (H_{v}) 의 각 색 클래스가 전체 그래프에서 차지하는 정점 수는 (\lfloor\frac{|V(G\circ^{l}H)|}{k}\rfloor) 또는 (\lceil\cdot\rceil) 에 머문다.
2. 경로·사이클: (P_{m}) 또는 (C_{m}) 은 2‑색 가능하지만, (l)‑코로나 구조에서는 (G) 의 색 수가 3 또는 4 이므로, 색을 교차 배정해 “홀‑짝” 불균형을 해소한다. 특히 (C_{m}) 의 경우 (m) 이 짝수이면 2‑색 배정이 그대로 유지되고, 홀수이면 하나의 색을 추가해 (k+1) 색을 사용하지만 전체 균등성은 유지된다.
3. 완전 그래프 (K_{t}): (K_{t}) 는 (t) 색이 필요하므로, (k\ge t) 일 때만 (G\circ^{l}K_{t}) 에 균등 (k)‑색칠이 가능하다. 논문은 (k=\max{\chi_{=}(G),t}) 가 충분조건임을 증명하고, 색 배정을 (G) 의 색 클래스마다 (t) 개의 복사본을 순환시켜 균형을 맞춘다.

구성적 증명은 귀납적 알고리즘을 제시한다. 기본 단계에서 (l=1) 에 대해 위 규칙을 적용하고, 귀납 단계에서는 이미 (G\circ^{l-1}H) 에 대한 균등 (k)‑색칠이 존재함을 가정한다. 각 기존 정점에 붙는 새로운 (H) 복사본을 같은 방식으로 색을 할당하면, 전체 정점 수가 ((|V(H)|+1)) 배 증가해도 색 클래스 크기의 차이는 1 이하로 유지된다. 시간 복잡도는 (O(l\cdot|V(G)|\cdot|V(H)|)) 이며, 이는 다항 시간이다.

마지막으로 논문은 Equitable Coloring Conjecture (ECC), 즉 (\chi_{=}(G)\le \Delta(G)+1) 을 검증한다. (G) 가 3‑색 또는 4‑색 가능하고 (H) 가 위에서 다룬 형태라면, (G\circ^{l}H) 의 최대 차수는 (\Delta(G)+|V(H)|) 또는 (\Delta(G)+|V(H)|+1) 이 되며, 논문의 색 배정은 항상 (\Delta(G\circ^{l}H)+1) 색 이하로 균등 색칠을 제공한다. 따라서 ECC가 해당 코로나 곱에 대해 성립함을 확인한다.

이러한 결과는 기존 Cartesian 곱에 대한 연구를 확장하고, corona multiproduct 구조가 갖는 복합적인 연결성을 균등 색채 관점에서 체계적으로 이해하는 데 기여한다.