[논문 리뷰] Local algorithms in (weakly) coloured graphs

Matti Åstrand, Valentin Polishchuk외 3명|arXiv (Cornell University)|2010. 01. 31.

Complexity and Algorithms in Graphs참고 문헌 18인용 수 17

한 줄 요약

이 논문은 (약한) 2-색도색이 있는 그래프에서 최소 지배 집합 및 최대 매칭 문제에 대한 국소 근사 알고리즘을 제시한다. 약한 2-색도색이 존재할 경우, 두 문제 모두 (Δ+1)/2-근사가 가능하며, 이는 달성 가능한 최고의 근사 인자와 일치한다. 2-색도색이 있는 그래프에서는 국소 근사 체계를 통해 최대 매칭 문제에 대해 임의로 좋은 근사가 가능하지만, 지배 집합 문제의 경우 조차도 여전히 (Δ+1)/2로 제한된다.

ABSTRACT

A local algorithm is a distributed algorithm that completes after a constant number of synchronous communication rounds. We present local approximation algorithms for the minimum dominating set problem and the maximum matching problem in 2-coloured and weakly 2-coloured graphs. In a weakly 2-coloured graph, both problems admit a local algorithm with the approximation factor $(Δ+1)/2$, where $Δ$ is the maximum degree of the graph. We also give a matching lower bound proving that there is no local algorithm with a better approximation factor for either of these problems. Furthermore, we show that the stronger assumption of a 2-colouring does not help in the case of the dominating set problem, but there is a local approximation scheme for the maximum matching problem in 2-coloured graphs.

연구 동기 및 목표

• 2-색도색 또는 약한 2-색도색으로부터의 대칭성 깨짐 정보가 국소 계산 모델에서 기본적인 그래프 문제의 근사 가능성에 얼마나 기여하는지 조사하는 것.
• 약한 2-색도색이 지배 집합 및 매칭 문제에 대해 상수 인자 국소 근사에 충분한 구조를 제공하는지 판단하는 것.
• 이러한 문제들에 대해 결정적 국소 알고리즘으로 달성 가능한 최고의 근사 인자에 대한 엄밀한 상한과 하한을 설정하는 것.
• 특히 독립 집합 문제에 대해 국소 알고리즘의 한계를 탐색하는 것.

제안 방법

• 논문은 일정 수의 동기 통신 라운드 내에서 작동하는 국소 알고리즘을 설계하였으며, 오직 국소 이웃 정보와 노드 색도색에 의존한다.
• 최대 매칭 문제의 경우, 홀수 길이의 증강 경로(길이 2i−1)를 찾고 증강하는 재귀 하위 프로그램을 사용한다. 이 과정을 더 이상 그러한 경로가 없을 때까지 반복한다.
• 플러드링 단계에서는 불일치하는 검은 색 노드를 루트로 하는 길이 h=2i−1인 서로소 증강 트리를 구성하며, 메시지 전달을 통해 길이-h 증강 경로의 끝점을 식별한다.
• 제안 단계에서는 잎에서 루트로 메시지를 전파하여 각 트리당 하나의 증강 경로를 선택하며, 메시지가 만날 경우 중복을 제거한다.
• 증강 단계에서는 선택된 경로를 따라 병렬로 매칭을 갱신하며, 충돌이 발생하지 않도록 보장한다.
• 알고리즘은 2-색도색을 활용하여 증강 경로가 검은 색과 흰 색 노드를 번갈아가며 나타나도록 하여, 효율적인 경로 탐색과 병렬 증강을 가능하게 한다.

실험 결과

연구 질문

• RQ1 약한 2-색도색이 최소 지배 집합 문제에 대해 상수 인자 국소 근사를 가능하게 할 수 있는가? 만약 가능하다면, 달성 가능한 최고의 근사 인자는 무엇인가?
• RQ2 2-색도색이 약한 2-색도색보다 지배 집합 문제의 국소 근사에 있어 유의미한 이점을 제공하는가?
• RQ3 2-색도색이 있는 그래프에서 국소 알고리즘이 최대 매칭 문제에 대해 임의로 좋은 근사치를 달성할 수 있는가? 만약 가능하다면, 어떻게 달성되는가?
• RQ4 약한 2-색도색이 있는 그래프에서 최대 독립 집합 문제에 대해 국소 상수 인자 근사가 존재하는가, 아니면 문제 자체가 국소적으로 접근 불가능한가?
• RQ5 이러한 문제들에 대해 국소 알고리즘의 최고의 근사 인자가 무엇이며, 하한을 증명할 수 있는가?

주요 결과

• 약한 2-색도색은 최소 지배 집합 문제에 대해 국소 (Δ+1)/2-근사치를 가능하게 하며, 이 인자는 최적이다.
• 동일한 (Δ+1)/2-근사치는 약한 2-색도색이 있는 그래프에서 최대 매칭 문제에도 달성 가능하며, 이는 하한으로서 엄밀하다.
• 2-색도색이 있는 그래프에서는 국소 근사 체계를 통해 최대 매칭 문제에 대해 (1+ε)-근사치를 달성할 수 있으며, 근사 인자는 1에 임의로 가까워질 수 있다.
• 약한 2-색도색이 있는 그래프에서 최대 독립 집합 문제에 대해 국소 상수 인자 근사가 존재하지 않으며, 이는 차수의 유계 조건이 있더라도 마찬가지다.
• 지배 집합 및 매칭 문제 모두에서 (Δ+1)/2의 근사 인자는 약한 2-색도색이 있는 그래프에서 최적임을 증명한 하한에 의해 입증된다.
• 2-색도색 가정은 지배 집합 문제의 근사 인자에 대해 약한 2-색도색으로 달성 가능한 것 이상의 향상을 가져오지 못한다.