[논문 리뷰] Deterministic graph connectivity in the broadcast congested clique

Pedro Montealegre, Ioan Todinca|arXiv (Cornell University)|2016. 02. 12.

Interconnection Networks and Systems참고 문헌 5인용 수 5

한 줄 요약

이 논문은 메시지 크기가 부분선형인 브로드캐스트 컨gest드 클리크 모델에서 그래프 연결성에 대한 최초의 결정적 일관된 라운드 프로토콜을 제시한다. 하위선형 메시지 크기로도 효율적인 d-프루닝을 가능하게 하는 새로운 결정적 희소 선형 스케칭 기법을 도입하여, 각 라운드당 O(n^ε log n) 비트의 전송으로 ⌈1/ε⌉라운드 내에 연결성을 달성한다. 또한 노드들이 r-호프 이웃 정보를 가진 경우, 한 라운드 내에 연결성을 계산할 수 있도록 하며, 이 경우 각 라운드당 O(n^{1/r} log n) 비트의 전송이 필요하다.

ABSTRACT

We present deterministic constant-round protocols for the graph connectivity problem in the model where each of the $n$ nodes of a graph receives a row of the adjacency matrix, and broadcasts a single sublinear size message to all other nodes. Communication rounds are synchronous. This model is sometimes called the broadcast congested clique. Specifically, we exhibit a deterministic protocol that computes the connected components of the input graph in $\lceil 1/ε ceil$ rounds, each player communicating $\mathcal{O}(n^ε \cdot \log n)$ bits per round, with $0 < ε\leq 1$. We also provide a deterministic one-round protocol for connectivity, in the model when each node receives as input the graph induced by the nodes at distance at most $r>0$, and communicates $\mathcal{O}(n^{1/r} \cdot \log n)$ bits. This result is based on a $d$-pruning protocol, which consists in successively removing nodes of degree at most $d$ until obtaining a graph with minimum degree larger than $d$. Our technical novelty is the introduction of deterministic sparse linear sketches: a linear compression function that permits to recover sparse Boolean vectors deterministically.

연구 동기 및 목표

• 부분선형 메시지 크기로 하위선형 메시지 크기의 브로드캐스트 컨겟드 클리크 모델에서 그래프 연결성에 대한 결정적 프로토콜을 설계하는 것.
• 이전의 랜덤화 프로토콜의 한계를 극복하기 위해, 라운드 수와 메시지 복잡도를 증명 가능한 방식으로 보장하는 결정적 대안을 도입하는 것.
• 연결성 구조를 유지하면서 낮은 차수의 정점을 효율적으로 제거하는 새로운 d-프루닝 프로토콜을 개발하는 것.
• 노드들이 r-호프 이웃 정보에 접근할 수 있는 경우 한 라운드 내에 연결성 계산을 가능하게 하여 이전의 라운드 복잡도를 향상시키는 것.
• 희소 부울 벡터의 정확한 복원을 가능하게 하는 결정적 희소 선형 스케칭 기법을 도입하여, 연결성 이외의 응용 분야에도 잠재적인 활용 가능성을 확보하는 것.

제안 방법

• 차수 2d 이하인 정점을 반복적으로 제거하는 d-프루닝 프로토콜을 제안하며, 이웃 정보 복원을 위해 결정적 선형 압축 함수를 사용한다.
• Schwartz-Zippel 정리를 기반으로 한 데랜덤화된 지문 기반 기법을 도입하여, d-희소 부울 벡터를 유일하게 식별할 수 있는 선형 스케칭을 구성한다.
• 스케칭 함수의 단사성을 활용하여, 노드들이 압축된 메시지로부터 낮은 차수의 정점의 이웃 정보를 재구성할 수 있도록 한다.
• d-프루닝 프로토콜을 다중라운드 연결성 프로토콜의 서브루틴으로 적용하며, 각 라운드에서 이웃 브로드캐스트를 통해 연결된 컴ponent를 병합한다.
• 한 라운드 모델에서는, 각 사이클의 길이 ≤2r에 대해 최대 간선을 선택하여 간소화된 그래프 G̃를 계산하며, G와 G̃가 동일한 연결성을 가지는 사실을 활용한다.
• 원형 길이 ≥2r인 그래프의 경우, G의 탈성도가 O(n^{1/r})임을 이용하여, d=O(n^{1/r})로 설정한 d-프루닝 프로토콜을 한 라운드 내에서 적용한다.

실험 결과

연구 질문

• RQ1 부분선형 메시지 크기로 하위선형 메시지 크기의 브로드캐스트 컨겟드 클리크 모델에서 결정적 프로토콜로 그래프 연결성을 해결할 수 있는가?
• RQ2 최적의 메시지 복잡도 O(d log n)를 달성하는 결정적 d-프루닝 프로토콜을 설계할 수 있는가?
• RQ3 노드들이 r-호프 이웃 정보에 접근할 수 있는 경우, 연결성 문제를 한 라운드 내에 해결할 수 있으며, 그 최적의 메시지 크기는 무엇인가?
• RQ4 결정적 선형 스케칭이 분산 계산을 위한 희소 부울 벡터 압축에 어떤 역할을 하는가?
• RQ5 d-프루닝 프로토콜을 이분 그래프 탐지나 동적 그래프 스트리밍과 같은 다른 그래프 문제에 응용할 수 있는가?

주요 결과

• BClique[n^ε log n] 모델에서 각 노드가 라운드당 O(n^ε log n) 비트를 전송함으로써, 결정적 ⌈1/ε⌉-라운드 연결성 프로토콜을 달성하였다.
• BClique_r[n^{1/r} log n] 모델에서 노드들이 r-호프 이웃 정보를 가진 경우, 한 라운드 내에 결정적 연결성 프로토콜을 제시하였다.
• d-프루닝 프로토콜은 각 노드당 O(d log n) 비트로 한 라운드 내에서 실행되며, d-희소 그래프의 지수적 수의 존재로 인해 로그 인자 외에는 최적이다.
• 제안된 희소 선형 스케칭 기법은 데랜덤화된 지문 기반 방법을 기반으로 하여 단일 선형 함수를 사용해 d-희소 부울 벡터를 결정적으로 복원할 수 있도록 한다.
• 프로토콜은 프루닝된 그래프의 스패닝 포레스트가 원래 그래프와 동일함을 보장하여 연결성 구조를 유지한다.
• 이 방법은 이분성 탐지에 확장 가능하며, O(nd log n) 공간으로 동적 그래프 스트리밍 모델에 구현할 수 있다.