정점 커버 3배 근사를 위한 단순 로컬 알고리즘

초록

본 논문은 최대 차수가 Δ인 그래프에서 포트 번호만을 이용해 2Δ + 1 라운드 안에 동작하는 결정적 로컬 알고리즘을 제시한다. 알고리즘은 각 정점이 자신의 두 이웃을 선택하도록 하여 매칭을 구성하고, 매칭에 포함된 정점들을 정점 커버로 반환한다. 이 방법은 최적 커버의 크기의 최대 3배까지 보장한다.

상세 분석

이 논문은 분산 컴퓨팅에서 “로컬 알고리즘”이라는 강력한 제한 하에 정점 커버 문제를 다룬다. 로컬 알고리즘은 각 정점이 자신의 고정 반경 이웃으로부터 얻을 수 있는 정보만을 사용해 결정적인 출력을 내야 하며, 통신 라운드 수가 상수여야 한다. 기존 연구에서는 무작위화나 고유 식별자를 활용해도 일반 그래프에서 상수 배율 근사(예: 2‑근사)를 얻기 어렵다는 부정적 결과가 다수 보고되었다. 특히 Linial의 하한은 최대 매칭, 최대 독립 집합, 3‑컬러링 등을 로컬하게 해결할 수 없음을 증명한다.

그럼에도 불구하고 저자들은 차수 제한(Δ가 상수)이라는 가정 하에, 포트 번호만을 이용해 3‑근사의 정점 커버를 얻는 간단한 결정적 알고리즘을 설계했다. 핵심 아이디어는 원래 그래프 G의 각 정점을 두 개의 복제본(검은색·흰색)으로 나누어 이분 그래프 H를 만든 뒤, H에서 로컬하게 최대 매칭을 구하는 것이다. H는 2‑컬러링이 보장되므로 기존의 LowDegreeMatch 서브루틴을 적용할 수 있다. 매칭에 포함된 복제본이 원래 정점의 어느 한쪽이라도 매칭되면 해당 정점을 커버에 포함한다.

알고리즘 자체는 두 단계로 이루어진다. 홀수 라운드에서는 아직 매칭되지 않은 포트에 ‘propose’를 전송하고, 상대가 ‘accept’를 보내면 매칭을 확정한다. 짝이 이미 정해진 경우에는 ‘reject’를 보내며, 짝이 정해지면 해당 정점은 커버에 포함된다. 짝을 찾는 과정은 각 정점이 최대 Δ개의 포트를 순차적으로 시도하므로 2Δ + 1 라운드 안에 종료된다.

근사 비율 증명은 매칭에 의해 형성된 서브그래프 G₁을 고려한다. G₁의 각 정점은 최대 두 개의 매칭된 이웃을 갖고, 매칭된 정점 집합 C는 G₁의 비고립 정점과 동일하다. G₁의 연결 성분은 경로나 사이클이며, 각 성분의 길이가 m일 때 최소 ⌈m/2⌉개의 정점이 최적 커버 C에 포함된다. 최악의 경우 m = 2일 때도 전체 정점 수 대비 1/3 이상이 최적 커버에 속하므로 |C| ≤ 3|C|가 성립한다.

이 결과는 차수 제한이 없는 일반 그래프에서는 불가능하다는 기존 하한과 대비된다. 또한, 알고리즘은 LP 기반 라운딩이나 무작위화를 전혀 사용하지 않으며 구현이 매우 단순하다는 실용적 장점이 있다. 한편, 실행 라운드가 O(Δ)인 반면 알려진 하한은 Ω(log Δ / log log Δ)이므로 시간 복잡도 측면에서 아직 개선 여지가 있다. 향후 연구에서는 라운드 수를 줄이거나, 차수 제한을 완화하면서도 동일한 근사 비율을 유지하는 방법을 탐색할 필요가 있다.