3색 가능 그래프 색칠을 위한 향상된 SDP 알고리즘

초록

본 논문은 3색 가능 n-정점 그래프를 다항 시간 내에 O(n^0.19539) 색으로 색칠하는 새로운 알고리즘을 제시한다. 기존의 KMS 알고리즘과 2단계 이웃 분석을 확장하여 3단계 이웃을 이용하고, 새로운 벡터 5/2‑컬러링을 도입함으로써 독립 집합을 더 크게 추출한다. 이 결과는 2024년 Kawarabayashi‑Thorup‑Yoneda의 O(n^0.19747) 색상 상한을 처음으로 개선한다.

상세 분석

이 연구는 3색 가능 그래프의 근사 색칠 문제에서 SDP 기반 접근법이 거의 20년간 정체된 상황을 깨뜨린다. 핵심 아이디어는 Karger‑Motwani‑Sudan(KMS) 알고리즘이 “전역적으로 큰 독립 집합을 찾지 못한다”는 가정 하에, 그래프의 2‑단계 이웃을 분석해 큰 독립 집합을 추출하는 기존 기법을 3‑단계 이웃까지 일반화하는 데 있다.

첫 번째 단계에서는 기존의 2‑단계 이웃 분석을 재검토한다. KMS는 임의의 가우시안 벡터 r을 샘플링하고, 임계값 t를 초과하는 정점을 S에 포함시킨 뒤, S 내부에서 고립된 정점만을 독립 집합으로 반환한다. 이때 t는 최대 차수 Δ에 따라 Δ^{‑1/3} 정도가 되도록 선택한다. 만약 S에 포함된 대부분의 정점이 고립되지 않으면, 해당 정점 i와 그 이웃 j에 대한 벡터 관계 v_j = –½ v_i + √(3/2) v_{ij} 를 이용해 v_{ij} 들이 “c‑비효율적” 커버를 형성한다는 사실을 도출한다. 이러한 커버는 서로 거의 직교하므로, 2‑단계 이웃 N^{(2)}(i) 가 충분히 크고, 그 안에서 벡터 2‑컬러링을 구성해 |N^{(2)}(i)|에 비례하는 독립 집합을 얻을 수 있다.

논문은 이 논리를 한 단계 더 확장한다. 3‑단계 이웃 N^{(3)}(i) 를 고려할 때, 정점 ℓ에 대한 표현
v_ℓ = –1/8 v_i + √(3/8) v_{ij} – √(3/4) v_{jk} + √(3/2) v_{kℓ}
을 사용한다. 여기서 v_{ij}, v_{jk}, v_{kℓ} 가 모두 서로 직교하도록 보이는 것이 핵심 난관이다. 이를 위해 저자들은 “커버 합성 보조정리”(Lemma 4.14)를 정교하게 확장하고, 커버 효율성 c′ 에 따라 두 가지 경우를 나눈 ‘윈‑윈’ 전략을 도입한다. 만약 c′ 가 크게 비효율적이면 N^{(2)}(i) 자체가 이미 충분히 커서 기존 2‑컬러링 기법으로 큰 독립 집합을 얻을 수 있다. 반대로 c′ 가 작으면 커버 합성 손실 O(√{c′ t}) 를 제어하면서 N^{(3)}(i) 가 N^{(2)}(i) 보다 현저히 커짐을 보인다.

하지만 3‑단계 이웃에서는 기존의 벡터 2‑컬러링을 그대로 적용할 수 없다는 새로운 장애물이 등장한다. 이를 해결하기 위해 저자들은 “벡터 5/2‑컬러링”이라는 새로운 구조를 설계한다. Sum‑of‑Squares(Lasserre) 계층의 고차 SDP 해를 이용해 각 정점 ℓ에 대해 색상별 SDP 벡터 v(ℓ, C) (C∈{R,G,B}) 를 얻고, 로컬 분포를 해석해 u_ℓ = (v(ℓ,G) – v(ℓ,B))/‖v(ℓ,G) – v(ℓ,B)‖ 로 정의한다. 이때 인접한 ℓ₁,ℓ₂ 에 대해 u_{ℓ₁}·u_{ℓ₂} = –2/3 가 되므로, 정의에 따라 5/2‑컬러링(즉, 인접 정점 간 내적 ≤ –2/3) 을 만족한다. 기존의 2‑컬러링이 제공하던 Δ^{‑1/3} 손실 대신, 5/2‑컬러링은 Theorem 2.3에 의해 Δ^{‑1/5} 수준의 독립 집합을 보장한다. N^{(3)}(i)의 크기가 충분히 커서 이 손실을 상쇄하고, 전체적으로 O(n^{0.19539}) 색상 상한을 달성한다.

마지막으로, 저자들은 이 알고리즘을 전체 그래프에 적용하기 위해 “희소‑밀집 이중 전략”을 사용한다. 그래프의 최소 차수가 Δ > n^{1/2} 인 경우는 기존의 조밀 그래프 전용 조합 알고리즘(KTY24)으로 색을 줄이고, 최대 차수가 Δ ≤ n^{3/5} 인 경우는 위에서 설계한 SDP‑기반 독립 집합 추출을 적용한다. 두 경우를 적절히 조합하면 전체 그래프에 대해 다항 시간 내에 O(n^{0.19539}) 색상으로 색칠할 수 있다.

이러한 일련의 기법은 3‑색 가능 그래프 색칠 문제에서 SDP 기반 접근법이 다시 한 번 진전을 이룰 수 있음을 보여주며, 특히 고차 Lasserre 계층을 활용한 새로운 벡터 컬러링 개념이 향후 약속 CSP 및 그래프 분할 문제에 널리 응용될 가능성을 시사한다.