그래프 색채화 문제의 근사거리와 새로운 메트릭 구조

초록

본 논문은 그래프 동형사상에 기반한 MAX H‑COL 문제의 근사가능성을 연구한다. 그래프들의 동형사상 관계를 이용해 메트릭 d를 정의하고, 이 메트릭을 통해 기존의 MAX CUT·MAX k‑CUT 알고리즘을 다양한 H에 확장한다. 또한 Unique Games 가설 하에서 거의 최적의 근사비율을 보이며, Frieze‑Jerrum 알고리즘이 일반 MAX 2‑CSP 알고리즘보다 우수함을 입증한다.

상세 분석

논문은 먼저 그래프 동형사상 G → H가 정의하는 반순서 구조를 이용해 동형동등 클래스 G≡ 위에 거리 함수 d(M,N)=1−s(M,N)·s(N,M) 를 도입한다. 여기서 s(M,N)=inf_{G,w} mc_M(G,w)/mc_N(G,w) 로, 임의의 가중 그래프 (G,w) 에 대해 M‑컬러링 최적값과 N‑컬러링 최적값의 비율의 최솟값을 의미한다. Lemma 1‑4를 통해 d가 대칭·비음성·삼각 부등식을 만족함을 증명하고, 따라서 (G≡,d) 가 진정한 메트릭 공간임을 보인다. 중요한 점은 d가 동형동등 클래스에 불변이며, 특히 K₂와 H 사이의 거리 d(K₂,H) 가 H의 이분밀도 b(H)와 동일함을 밝혀, 기존의 이분밀도 연구와 직접 연결한다.

다음으로 Lemma 5는 두 그래프 M,N 사이의 거리와 근사비율을 연결한다. 만약 MAX M‑COL 문제가 α‑근사 가능하면, 동일 인스턴스에 대해 MAX N‑COL 은 (1−d(M,N))·α 로 근사 가능함을 보인다. 반대로 NP‑hardness 결과를 거리와 결합해, d가 작을수록 N‑문제의 근사 하한이 강해진다. 이는 기존에 알려진 MAX k‑CUT 근사비율을 다른 H에 전이시키는 핵심 메커니즘이다.

알고리즘적 적용에서는 Goemans‑Williamson SDP 기반 MAX CUT 알고리즘을 H=C₁₁ (11‑정점 사이클) 에 적용해 0.79869 의 근사비율을 얻는다. 또한 Frieze‑Jerrum의 MAX k‑CUT SDP 알고리즘을 일반 H에 적용해, d(K_k,H) 가 작을수록 동일 비율을 유지함을 확인한다. 특히 edge‑transitive 그래프에 대해 s(M,N)=mc_M(N,1/e(N)) 로 간단히 계산할 수 있어, b(H)=1−d(K₂,H) 로부터 직접 근사비율을 추정한다.

마지막으로 Unique Games Conjecture (UGC) 하에서의 최적성 결과를 제시한다. 여러 그래프 패밀리(예: 완전 그래프, 고밀도 랜덤 그래프 G(n,p), 작은 최소 사이클을 가진 그래프 등)에 대해 d값을 분석하고, 해당 d에 대응하는 근사비율이 UGC에 의해 거의 최적임을 증명한다. 또한 Håstad의 일반 MAX 2‑CSP SDP 알고리즘과 비교했을 때, Frieze‑Jerrum 알고리즘이 대부분의 경우 더 높은 비율을 제공함을 실험적·이론적으로 뒷받침한다.

전체적으로 논문은 그래프 동형사상 메트릭을 도입함으로써, 기존에 개별적으로 연구되던 MAX H‑COL 문제들을 통합적인 근사 이론 아래에 위치시킨다. 거리 d는 근사가능성의 상한·하한을 동시에 제공하는 강력한 도구이며, 이를 통해 새로운 그래프 클래스에 대한 근사 알고리즘 설계와 복잡도 경계 설정이 가능해진다.