[논문 리뷰] Connectivity Lower Bounds in Broadcast Congested Clique

Shreyas Pai, Sriram V. Pemmaraju|arXiv (Cornell University)|2019. 05. 22.

Complexity and Algorithms in Graphs참고 문헌 25인용 수 1

한 줄 요약

이 논문은 1비트 브로드캐스트 혼잡한 클라이언트(BCC(1)) 모델에서 그래프 연결성에 대한 처음으로 비자명한 하한을 확립하며, KT-1 및 KT-0 모델에서 결정론적 알고리즘과 정상 오차를 가진 확률적 알고리즘 모두에 대해 Ω(log n) 라운드 복잡도를 증명한다. 이는 새로운 조합적 추론, 2파티 통신 문제로의 환원, 그리고 정보 이론 기법을 사용하여, 단일 사이클 그래프와 다중 사이클 그래프를 구분하는 데조차도 Ω(log n) 라운드가 필요하다는 것을 보여주며, 이 모델에서의 근본적인 통신 장벽을 드러낸다.

ABSTRACT

We prove three new lower bounds for graph connectivity in the $1$-bit broadcast congested clique model, BCC$(1)$. First, in the KT-$0$ version of BCC$(1)$, in which nodes are aware of neighbors only through port numbers, we show an $Ω(\log n)$ round lower bound for CONNECTIVITY even for constant-error randomized Monte Carlo algorithms. The deterministic version of this result can be obtained via the well-known "edge-crossing" argument, but, the randomized version of this result requires establishing new combinatorial results regarding the indistinguishability graph induced by inputs. In our second result, we show that the $Ω(\log n)$ lower bound result extends to the KT-$1$ version of the BCC$(1)$ model, in which nodes are aware of IDs of all neighbors, though our proof works only for deterministic algorithms. Since nodes know IDs of their neighbors in the KT-$1$ model, it is no longer possible to play "edge-crossing" tricks; instead we present a reduction from the 2-party communication complexity problem PARTITION in which Alice and Bob are give two set partitions on $[n]$ and are required to determine if the join of these two set partitions equals the trivial one-part set partition. While our KT-$1$ CONNECTIVITY lower bound holds only for deterministic algorithms, in our third result we extend this $Ω(\log n)$ KT-1 lower bound to constant-error Monte Carlo algorithms for the closely related CONNECTED COMPONENTS problem. We use information-theoretic techniques to obtain this result. All our results hold for the seemingly easy special case of CONNECTIVITY in which an algorithm has to distinguish an instance with one cycle from an instance with multiple cycles. Our results showcase three rather different lower bound techniques and lay the groundwork for further improvements in lower bounds for CONNECTIVITY in the BCC$(1)$ model.

연구 동기 및 목표

• BCC(1) 모델에서 그래프 연결성의 알려진 상한과 하한 사이의 격차를 메우기.
• 1비트 브로드캐스트 혼잡한 클라이언트에서 단순한 연결성 변형조차도 초수상수 통신 라운드가 필요하다는 것을 입증하기.
• 출력 복잡도가 낮은 문제, 예를 들어 연결성과 연결 요소에 적용 가능한 새로운 하한 기법 개발하기.
• KT-1 모델에서 확률적 알고리즘으로의 하한 확장하기, 이는 노드가 이웃의 ID를 안다는 조건.
• 커뮤니케이션 복잡도 환원과 정보 이론적 분석을 통해 더 강력한 하한을 얻을 수 있는지 탐색하기.

제안 방법

• 입력 분포의 조합적 성질에 기반한 새로운 불가구분성 그래프 추론을 사용하여 KT-0 모델에서 연결성에 대해 Ω(log n) 하한을 증명한다.
• KT-1 모델에서의 연결성 문제를 2파티 통신 문제인 Partition으로 환원하여, 연결성 문제를 해결한다는 것은 높은 통신 비용을 수반하는 Partition 문제를 해결한다는 것을 보여준다.
• Yao의 최소최대 원리(최소최대 원리)를 적용하여 정상 오차가 있는 확률적 프로토콜을 유한 오차가 있는 결정론적 프로토콜로 환원하여 분석을 단순화한다.
• 입력과 전사 간의 상호정보량을 바ounds하기 위해 정보 이론 기법을 적용하여, 높은 엔트로피 입력은 큰 통신을 요구한다는 것을 보여준다.
• 출력 표현이 큰 문제를 모델링하기 위해 Partition의 변형인 PartitionComp 문제를 도입한다. 이는 연결 요소 계산을 모델링하기 위한 것이다.
• 환원 기법을 엔트로피 및 상호정보량 부등식과 결합하여 Ω(n log n)의 통신 복잡도를 유도하며, 이는 Ω(log n)의 라운드 복잡도를 암시한다.

실험 결과

연구 질문

• RQ1 BCC(1) 모델에서 연결성에 대해 ω(log n)의 라운드 하한을 증명할 수 있는가, 아니면 O(log n)이 진정한 복잡도인가?
• RQ2 KT-1 모델에서 정상 오차를 가진 확률적 알고리즘으로도 Ω(log n) 하한을 확장할 수 있는가?
• RQ3 Partition 및 TwoPartition 문제의 확률적 통신 복잡도가 Ω(n log n) 이하로 바운드될 수 있는가?
• RQ4 출력 표현이 클 경우 정보 이론 기법이 연결성에 대해 더 강력한 하한을 도출할 수 있는가?
• RQ5 2파티 통신 문제에서의 환원 기법을 사용하여 BCC(1) 모델에서 타이트한 하한을 확립할 수 있는가?

주요 결과

• BCC(1) 모델의 KT-0 모델에서 연결성에 대해 Ω(log n)의 라운드 하한이 확립되었으며, 이는 정상 오차를 가진 확률적 몬테카를로 알고리즘에게도 적용된다.
• 동일한 Ω(log n) 하한은 KT-1 모델에서 결정론적 알고리즘에 대해 2파티 통신 문제인 Partition으로의 환원을 통해 유지된다.
• KT-1 모델에서 ConnectedComponents 문제에 대해 정상 오차 몬테카를로 알고리즘에 대해 정보 이론 기법을 사용하여 Ω(log n)의 하한을 증명하였다.
• 특히 단일 사이클 그래프와 다중 사이클 그래프를 구분하는 특수 케이스조차도 이 하한이 유지되며, 연결성 탐지의 본질적 복잡성을 보여준다.
• 이 연구는 세 가지 다른 하한 기법을 입증한다: 조합적 불가구분성, 통신 복잡도 환원, 정보 이론적 분석.
• 논문은 BCC(log n) 모델에서 연결성에 대해 알려진 최상의 상한인 O(log n / log log n) 라운드가 현재의 하한으로 인해 배제되지 않으며, O(log n) 알고리즘의 가능성은 열려 있다.