약한 2색 그래프에서의 지역 알고리즘과 근사 한계

초록

이 논문은 약한 2색(weakly 2‑coloured) 그래프와 완전 2색(2‑coloured) 그래프에서, 최소 지배 집합(MDS)과 최대 매칭(MM) 문제에 대한 지역(상수 라운드) 근사 알고리즘을 제시한다. 약한 2색 그래프에서는 두 문제 모두 최대 차수 Δ에 대해 (Δ+1)/2 배근사를 달성할 수 있으며, 이 비율이 최적임을 보이는 하한도 증명한다. 반면 2색 그래프에서는 지배 집합 문제에 대해 색상 정보가 도움이 되지 않지만, 매칭 문제에 대해서는 임의의 ε>0에 대해 (1+ε) 근사율을 얻는 지역 근사 스킴을 설계한다.

상세 요약

논문은 분산 컴퓨팅에서 가장 제한적인 모델인 LOCAL 모델을 전제로 한다. 여기서 ‘지역 알고리즘’은 입력 그래프의 각 정점이 자신의 r‑hop 이웃(여기서 r은 상수)만을 보고 결정하는 알고리즘을 의미한다. 저자들은 먼저 약한 2색 그래프, 즉 인접한 두 정점이 같은 색을 가질 수 있지만 같은 색 정점 사이에 공통 이웃이 존재하지 않는 그래프를 정의한다. 이 구조적 제약은 각 색 클래스가 독립 집합이 아니라는 점에서 일반적인 2‑색(이분) 그래프와 차별된다.

주요 기여는 두 가지 최적 근사 비율을 상수 라운드 내에 달성한 점이다. 최소 지배 집합 문제에 대해, 각 색 클래스별로 최대 차수 Δ를 갖는 정점들을 선택하고, 선택된 정점들의 이웃을 통해 전체 그래프를 지배하도록 하는 간단한 ‘그리디‑커버’ 절차를 제시한다. 이 절차는 각 정점이 자신의 색과 이웃 색을 확인함으로써 O(1) 라운드 내에 실행 가능하며, 선택된 정점 수는 최적 해의 ≤(Δ+1)/2 배가 된다.

최대 매칭 문제에 대해서는, 약한 2색 그래프에서 각 색 클래스에 대해 최대 매칭을 독립적으로 구한 뒤, 두 매칭을 교차시켜 전체 매칭을 구성한다. 이때 각 정점은 자신의 색과 인접 색을 확인해 매칭 후보를 정하고, 충돌을 방지하기 위해 우선순위 기반의 로컬 선택 규칙을 적용한다. 결과적으로 얻어지는 매칭 크기는 최적 매칭의 ≤(Δ+1)/2 배이며, 이는 Δ가 큰 경우에도 의미 있는 근사율을 제공한다.

하한 증명에서는, LOCAL 모델에서 (Δ+1)/2 보다 작은 근사 비율을 달성하려면 정점이 자신의 Δ‑hop 이웃 전체 정보를 필요로 함을 보인다. 이를 위해 ‘포화된 별(star)’ 구조와 ‘프루프‑바이‑콘트라디션’ 기법을 이용해, 어떤 정점도 자신의 지역 내에서 최적 해와 충분히 차이나는 선택을 강제할 수 있음을 증명한다. 따라서 제시된 알고리즘이 근사 비율 면에서 최적임을 확정한다.

2색 그래프(완전 이분 그래프)에서는 색상 정보가 더 강력하게 활용될 수 있다. 지배 집합 문제에 대해서는 색상 자체가 이미 독립 집합을 형성하므로, 약한 2색 경우와 동일한 (Δ+1)/2 비율이 최적이며, 색상 추가가 개선을 가져오지 못한다는 부정적 결과를 얻는다. 반면 매칭 문제에서는 색상에 의해 양쪽 파티션이 명확히 구분되므로, ‘교환‑가능 매칭 교정’ 절차를 반복 적용해 임의의 ε>0에 대해 (1+ε) 근사율을 달성하는 지역 근사 스킴을 설계한다. 이 스킴은 각 라운드마다 매칭을 부분적으로 개선하고, O(log 1/ε) 라운드 내에 최종 근사 해에 수렴한다.

전반적으로 논문은 색상 제한이 있는 그래프에서 지역 알고리즘의 설계와 한계 분석을 체계화했으며, 특히 약한 2색 그래프라는 새로운 모델을 도입해 기존 연구와 차별화된 결과를 제공한다. 또한, 색상 정보가 문제마다 다른 영향을 미친다는 점을 명확히 함으로써, 분산 근사 알고리즘 설계 시 구조적 가정의 선택이 얼마나 중요한지를 강조한다.