[논문 리뷰] Polynomial Lower Bound for Distributed Graph Coloring in a Weak LOCAL Model

Dan Hefetz, Fabian Kühn외 2명|arXiv (Cornell University)|2016. 07. 18.

Complexity and Algorithms in Graphs참고 문헌 29인용 수 4

한 줄 요약

이 논문은 노드가 이웃으로부터 개별 메시지를 수신하는 것이 아니라 메시지 집합만 수신하는 약한 LOCAL 모델(SET-LOCAL)에서 결정적 분산 그래프 색칠 알고리즘의 런타임에 대해 다항식 하한 Ω(Δ^(1/3−η/3))을 확립한다. 이 결과는 O(Δ^{1+η})-색칠을 적절한 색칠로 줄이는 알고리즘에 적용되며, 하한을 확립하기 위해 이웃 그래프의 재귀적 분석 기법을 활용한다. 이는 분산 색칠 복잡도에 대한 새로운 통찰을 제공한다.

ABSTRACT

We show an $Ω\big(Δ^{\frac{1}{3}-\fracη{3}}\big)$ lower bound on the runtime of any deterministic distributed $\mathcal{O}\big(Δ^{1+η}\big)$-graph coloring algorithm in a weak variant of the \LOCAL\ model. In particular, given a network graph \mbox{$G=(V,E)$}, in the weak \LOCAL\ model nodes communicate in synchronous rounds and they can use unbounded local computation. We assume that the nodes have no identifiers, but that instead, the computation starts with an initial valid vertex coloring. A node can extbf{broadcast} a extbf{single} message of extbf{unbounded} size to its neighbors and receives the extbf{set of messages} sent to it by its neighbors. That is, if two neighbors of a node $v\in V$ send the same message to $v$, $v$ will receive this message only a single time; without any further knowledge, $v$ cannot know whether a received message was sent by only one or more than one neighbor. Neighborhood graphs have been essential in the proof of lower bounds for distributed coloring algorithms, e.g., \cite{linial92,Kuhn2006On}. Our proof analyzes the recursive structure of the neighborhood graph of the respective model to devise an $Ω\big(Δ^{\frac{1}{3}-\fracη{3}}\big)$ lower bound on the runtime for any deterministic distributed $\mathcal{O}\big(Δ^{1+η}\big)$-graph coloring algorithm. Furthermore, we hope that the proof technique improves the understanding of neighborhood graphs in general and that it will help towards finding a lower (runtime) bound for distributed graph coloring in the standard \LOCAL\ model. Our proof technique works for one-round algorithms in the standard \LOCAL\ model and provides a simpler and more intuitive proof for an existing $Ω(Δ^2)$ lower bound.

연구 동기 및 목표

• 약한 LOCAL 모델의 변종에서 결정적 분산 그래프 색칠 알고리즘의 런타임에 대해 다항식 하한을 확립하는 것.
• 메시지 집계(메시지 집합 수신)가 분산 시스템에서 그래프 색칠 복잡도에 미치는 영향을 분석하는 것.
• 표준 LOCAL 모델 하한에 일반화될 수 있는 새로운 증명 기법을 제안하는 것 — 재귀적 이웃 그래프 구조 기반.
• 무한한 국소 계산 능력과 초기 색칠이 존재하더라도, SET-LOCAL 모델에서 결정적 색칠이 본질적으로 느리다는 것을 보여주는 것.

제안 방법

• SET-LOCAL 모델에서 이웃 그래프의 재귀적 구조를 분석하여 알고리즘 런타임에 대한 하한을 유도한다.
• 노드가 이웃으로부터 개별 메시지를 수신하지 않고 메시지 집합만 수신하는 모델을 사용하여, 이웃 식별 정보의 손실를 시뮬레이션한다.
• 조합적 추론을 통해 특정 구성이 Ω(Δ^(1/3−η/3)) 라운드 이하로는 해결될 수 없음을 보인다.
• 기존 Linial 알고리즘과 Kuhn-Wattenhofer 색칠 감소 기법을 SET-LOCAL 환경에 적응 적용한다.
• 표준 LOCAL 모델에서 1라운드 알고리즘이 d-비정상 색칠을 위해 Ω(Δ²) 색칠이 필요하다는 것을 증명하며, 이는 비정상 색칠 하한으로 확장된다.
• Erdős 유형의 조합적 결과를 사용하여 색칠 선택 시 충돌하지 않는 색칠 집합이 비어 있지 않음을 보장한다.

실험 결과

연구 질문

• RQ1 SET-LOCAL 모델에서 노드가 이웃으로부터 메시지 집합만 수신할 경우, 결정적 분산 그래프 색칠에 필요한 최소 라운드 수는 얼마인가?
• RQ2 이웃 그래프의 재귀적 구조를 활용하여 약한 통신 모델에서 색칠 알고리즘의 다항식 하한을 유도할 수 있는가?
• RQ3 메시지 집합 집계로 인해 이웃 식별 정보가 상실될 경우, 분산 색칠의 복잡도에 어떤 영향을 미치는가?
• RQ4 이 증명 기법은 표준 LOCAL 모델에서 1라운드 알고리즘에 대한 하한을 도출하는 데 응용될 수 있는가?
• RQ5 표준 LOCAL 모델에서 1라운드 d-비정상 색칠에 필요한 최소 색칠 수는 얼마인가?

주요 결과

• 논문은 SET-LOCAL 모델에서 결정적 O(Δ^{1+η})-색칠 알고리즘의 런타임에 대해 Ω(Δ^(1/3−η/3)) 하한을 확립한다.
• 이 하한은 노드가 무한한 국소 계산 능력과 초기 유효 색칠을 갖추고 있더라도 유지된다.
• 이 증명 기법은 기존에 알려진 표준 LOCAL 모델에서 1라운드 색칠에 대해 Ω(Δ²) 하한을 보다 간단하고 직관적으로 도출할 수 있다.
• 표준 LOCAL 모델에서 1라운드 d-비정상 색칠에 대해, 입력 색칠이 충분히 많은 색칠을 사용한다면 Ω(Δ²/(d+1)²) 색칠이 필요하다.
• Kuhn-Wattenhofer 색칠 감소 기법은 SET-LOCAL 모델에서도 수정 없이 적용 가능하며, 이는 이웃 색칠 집합의 정보만 필요하기 때문이다.
• Linial의 O(log* m)-라운드 O(Δ²)-색칠 알고리즘은 SET-LOCAL 모델에서도 유효하며, 이는 개별 메시지 수가 아니라 메시지 집합에 의존하기 때문이다.