[논문 리뷰] Distributed Minimum Vertex Coloring and Maximum Independent Set in Chordal Graphs

Christian Konrad, Viktor Zamaraev|arXiv (Cornell University)|2019. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 트리 분해 기반 접근 방식을 사용하여 순환 그래프에서 최소 정점 색칠 문제(MVC)와 최대 독립 집합 문제(MIS)에 대한 결정적 분산 (1+ϵ)-근사 알고리즘을 제시한다. 반복적으로 간격 부분그래프를 벗기고 계층 간 충돌을 해결하거나 독립 집합을 계산함으로써, 색칠 문제에 대해 O(1/ϵ log n) 라운드, 독립 집합 문제에 대해 O(1/ϵ log(1/ϵ) log∗n) 라운드를 달성하며, 라운드 복잡도의 날카로운 하한선을 통해 근사 최적성에 가까운 성능을 입증한다.

ABSTRACT

We give deterministic distributed (1+epsilon)-approximation algorithms for Minimum Vertex Coloring and Maximum Independent Set on chordal graphs in the LOCAL model. Our coloring algorithm runs in O( (1 / epsilon) log n) rounds, and our independent set algorithm has a runtime of O( (1/epsilon) log(1/epsilon)log^* n) rounds. For coloring, existing lower bounds imply that the dependencies on 1/epsilon and log n are best possible. For independent set, we prove that Omega(1/epsilon) rounds are necessary. Both our algorithms make use of the tree decomposition of the input chordal graph. They iteratively peel off interval subgraphs, which are identified via the tree decomposition of the input graph, thereby partitioning the vertex set into O(log n) layers. For coloring, each interval graph is colored independently, which results in various coloring conflicts between the layers. These conflicts are then resolved in a separate phase, using the particular structure of our partitioning. For independent set, only the first O(log (1/epsilon)) layers are required as they already contain a large enough independent set. We develop a (1+epsilon)-approximation maximum independent set algorithm for interval graphs, which we then apply to those layers. This work raises the question as to how useful tree decompositions are for distributed computing.

연구 동기 및 목표

• 순환 그래프에서 최소 정점 색칠 문제(MVC)와 최대 독립 집합 문제(MIS)에 대한 효율적인 결정적 분산 알고리즘을 설계하는 것.
• 특히 트리 분해를 통해 순환 그래프의 구조적 성질을 활용하여 분산 환경에서의 전역적 조율을 가능하게 하는 것.
• LOCAL 모델에서 MVC 및 MIS에 대해 (1+ϵ)-근사 알고리즘을 도출하고, 근사 최적에 가까운 라운드 복잡도를 달성하는 것.
• MIS에 대한 라운드 복잡도에 대해 날카로운 하한선을 설정하여, LOCAL 모델에서 어떤 랜덤화된 (1+ϵ)-근사 알고리즘이라도 최소 Ω(1/ϵ) 라운드가 필요하다는 것을 보여주는 것.

제안 방법

• 입력 순환 그래프의 트리 분해를 사용하여 간격 부분그래프를 식별하고 반복적으로 벗기기.
• 정점 색칠의 경우 각 간격 그래프를 독립적으로 색칠하고, 분할의 구조적 성질을 활용해 계층 간 충돌을 해결.
• 독립 집합의 경우 첫 O(log 1/ϵ) 계층만 처리되며, 이미 (1+ϵ)-근사 해를 포함하기 때문이다.
• 간격 그래프에 대한 (1+ϵ)-근사 MIS 알고리즘을 개발하고, 벗겨낸 계층에 적용.
• 분산 구현은 클리크 숲의 국소적 시야를 사용하며, 간격 그래프의 연결 성분들에서 독립 집합을 동시에 계산.
• 실행 시간의 상한은 성분의 지름과 독립 수를 분석하여 유도되며, 소형 지름 성분은 O(d) 라운드 내에 처리되고, 대형 성분은 알고리즘 5를 통해 O(1/ϵ log∗n) 라운드 내에 처리된다.

실험 결과

연구 질문

• RQ1 순환 그래프에서 분산 LOCAL 모델에서 MVC 및 MIS에 대한 (1+ϵ)-근사 알고리즘을 설계할 수 있는가?
• RQ2 트리 분해는 순환 그래프에서 효율적인 분산 계산을 가능하게 하기 위해 어떻게 활용될 수 있는가?
• RQ3 순환 그래프에서 분산 (1+ϵ)-근사 MIS의 최적 라운드 복잡도는 무엇인가?
• RQ4 제안된 방법은 k-순환 그래프와 같은 더 넓은 그래프 클래스로 확장될 수 있는가?

주요 결과

• 분산 MVC 알고리즘은 O(1/ϵ log n) 라운드 내에서 실행되며, 기존 하한선에 의해 결정되는 최적의 1/ϵ 및 log n 의존성과 일치한다.
• 분산 MIS 알고리즘은 O(1/ϵ log(1/ϵ) log∗n) 라운드 내에서 실행되며, 로그 인자 수준 이외에는 최적이다.
• 어떤 랜덤화된 (1+ϵ)-근사 알고리즘이라도 LOCAL 모델에서 MIS에 대해 최소 Ω(1/ϵ) 라운드가 필요하다는 하한선이 증명되었다. 이는 경로 그래프조차도 해당된다.
• 알고리즘은 트리 분해에서 유도된 간격 부분그래프에 대한 새로운 벗기기 과정에 의존하며, 국소적 시야에서 전역적 조율을 일관적으로 가능하게 한다.
• 이 방법은 트리 분해가 순환 그래프에서의 분산 계산에 매우 효과적임을 보여주며, 효율적인 근사 알고리즘을 가능하게 한다.
• 향후 연구를 위한 유망한 방향으로, 더 긴 유도 순환을 가진 k-순환 그래프로의 방법 확장 가능성이 제안된다.