벨·스털링 색상 그래프의 해밀턴성 연구

초록

본 논문은 그래프 G의 k‑벨 색상 그래프 Bₖ(G)와 k‑스털링 색상 그래프 Sₖ(G)를 정의하고, 모든 n‑정점 그래프 G가 완전 그래프 Kₙ 또는 Kₙ에서 한 변을 뺀 그래프 Kₙ−e 를 제외하고는 n‑벨 색상 그래프 Bₙ(G)가 해밀턴 사이클을 갖는 것을 증명한다. 또한 트리 T에 대해 k≥4이면 k‑스털링 색상 그래프 Sₖ(T) 가, k=3이면 3‑벨 색상 그래프 B₃(T) 가 각각 해밀턴임을 보인다. 결과는 최적임을 보이는 예시도 제시한다.

상세 분석

논문은 먼저 색상 그래프 Cₖ(G)와 그 변형인 정규(k‑벨) 색상 그래프 Bₖ(G), 정규(k‑스털링) 색상 그래프 Sₖ(G)를 정의한다. Bₖ(G)의 정점은 V(G)를 최대 k개의 독립 집합으로 분할하는 파티션이며, 두 파티션이 하나의 정점 x에 대해 동일한 제한을 가질 때 인접한다. Sₖ(G)는 정확히 k개의 독립 집합으로 분할하는 파티션의 부분 그래프이다. 이 정의는 재구성 문제와 그레이 코드의 관점에서 “작은 변화”를 허용하는 전이 그래프를 만든다.

기본 성질로, k≥col(G)+1이면 Bₖ(G)는 연결된다(정리 2.4). 또한, 고유 k‑색가능 그래프 H와 임의의 그래프 G에 대해 Bₖ(H∪G)≅Cₖ(G) (정리 2.5)와, 합성 그래프 G∨H에 대해 Bₖ(G∨H)≅Bₖ(G)□Bₖ(H) (정리 2.6) 등을 이용해 복합 구조를 분석한다.

핵심은 정리 3.1의 증명이다. 반증법으로 최소 반례 G를 가정하고, 비인접 정점 x, y를 선택한다. G′=G−x−y의 색칠을 기준으로 G의 색칠을 다섯 가지 방식으로 확장한다. 확장된 색칠 집합은 K_{ℓ₁}□K_{ℓ₂} 혹은 K_{ℓ₁}□+K_{ℓ₂} 형태의 스패닝 서브그래프를 형성한다. 여기서 ℓ₁,ℓ₂는 x와 y에 사용할 수 있는 기존 색상의 수이다.

Lemma 2.7은 K_r□+K_s 그래프가 복제 정점(클론 정점)에서 시작해 모든 정점을 방문하는 해밀턴 경로를 갖는다는 사실을 제공한다. 이를 이용해 G′가 완전 그래프이거나 완전 그래프에서 한 변을 뺀 경우에도 Bₙ(G) 가 해밀턴임을 보인다.

G′가 더 일반적인 경우, 최소 반례 가정에 의해 B_{n‑2}(G′)는 이미 해밀턴 사이클을 가진다. 각 색칠 c_i∈V(B_{n‑2}(G′))에 대해 위의 확장 과정을 적용하면, c_i(xy)와 c_i(x|y) 사이에 해밀턴 경로 P_i가 존재한다. 이 경로들을 짝수·홀수 인덱스에 따라 교차 연결하고, 필요시 추가 경로 Q_i를 삽입해 전체 그래프 Bₙ(G) 에서 하나의 해밀턴 사이클을 구성한다.

특히, m′가 홀수이면서 x와 y의 차수가 n‑3 이하인 경우를 정교하게 다루어, 결국 모든 경우에 모순이 발생함을 보여 최소 반례가 존재하지 않음을 증명한다.

결과의 최적성은 두 가지 예시로 확인한다. (1) Kₙ와 Kₙ−e는 Bₙ이 단일 정점(또는 두 정점) 그래프가 되어 해밀턴 사이클이 불가능하다. (2) G_t=K_{2t}−M (M은 완전 매칭)에서는 B_{t+ℓ}(G_t) 가 이진 문자열(길이 t, ℓ개 이하의 1)과 동형이며, ℓ<t이면 해밀턴 사이클이 존재하지 않는다. 따라서 “k₀=|V(G)|”가 필요함을 보인다.

마지막으로 트리 T에 대한 결과를 제시한다. k≥4이면 Sₖ(T) 가 해밀턴이며, 3‑벨 색상 그래프 B₃(T) 역시 |V(T)|≥3이면 해밀턴이다. 반면, 별 그래프의 3‑스털링 색상 그래프는 홀수 정점 수일 때 비해밀턴임을 보여 한계도 명시한다.

전반적으로 이 논문은 색상 파티션을 통한 재구성 그래프의 구조를 깊이 파악하고, 해밀턴성이라는 강한 연결성을 확보하기 위한 정교한 구성과 귀납적 증명을 제공한다.