[논문 리뷰] Quadratic and Near-Quadratic Lower Bounds for the CONGEST Model

Keren Censor-Hillel, Seri Khoury외 1명|arXiv (Cornell University)|2017. 01. 01.

Numerical methods for differential equations인용 수 13

한 줄 요약

이 논문은 CONGEST 모델에서 자연스러운 그래프 문제에 대해 최초로 초선형 하한을 확립하며, 정확한 최소 정점 독립 집합, 최대 독립 집합, χ-색칠 문제의 계산에 Ω(n²/log²n) 라운드가 필요하다는 것을 증명한다. 또한 동일한 부분그래프 탐지 및 가중치가 있는 사이클 탐지와 같은 간단한 P 문제들 역시 각각 Ω(n²) 및 Ω(n²/log n) 라운드가 필요하다는 것을 보이며, 가중치가 있는 APSP에 대해 표준 앨리스-밥 프레임워크가 초선형 하한을 도출할 수 없다는 것을 공식적으로 증명하여 현재 기법들에 대한 근본적인 장벽을 드러낸다.

ABSTRACT

We present the first super-linear lower bounds for natural graph problems in the CONGEST model, answering a long-standing open question. Specifically, we show that any exact computation of a minimum vertex cover or a maximum independent set requires a near-quadratic number of rounds in the CONGEST model, as well as any algorithm for computing the chromatic number of the graph. We further show that such strong lower bounds are not limited to NP-hard problems, by showing two simple graph problems in P which require a quadratic and near-quadratic number of rounds. Finally, we address the problem of computing an exact solution to weighted all-pairs-shortest-paths (APSP), which arguably may be considered as a candidate for having a super-linear lower bound. We show a simple linear lower bound for this problem, which implies a separation between the weighted and unweighted cases, since the latter is known to have a sub-linear complexity. We also formally prove that the standard Alice-Bob framework is incapable of providing a super-linear lower bound for exact weighted APSP, whose complexity remains an intriguing open question.

연구 동기 및 목표

• CONGEST 모델에서 자연스러운 그래프 문제들이 초선형 시간이 필요한지 여부라는 오랫동안 미해결된 열린 문제를 해결하기 위해.
• NP-난이도 문제뿐만 아니라 P에 속하는 문제들 역시 근사 제곱수 수준의 라운드 복잡도를 가질 수 있음을 보여주기 위해.
• 가중치가 있는 모든 쌍의 최단 경로(APSP)에 대해 표준 앨리스-밥 통신 프레임워크가 초선형 하한을 도출할 수 없다는 것을 공식적으로 증명하기 위해.
• CONGEST 모델에서 글로벌 문제에 대한 복잡도 클래스의 계층을 수립하기 위해, 근사 제곱수 난이도를 포함한다.

제안 방법

• 2자리 통신 복잡도에서의 정교한 감소 프레임워크를 사용하며, 비트 게이지젯을 활용하여 로그 크기의 컷을 가능하게 한다.
• 작은 컷(O(1) 또는 O(log n))를 가진 하한 그래프를 구성하지만, 입력 크기는 크기 Θ(n²)이 되도록 하여 통신 복잡도를 증폭시킨다.
• NP-난이도 문제(정점 독립 집합, 독립 집합, 3-색칠)와 P 문제(동일한 부분그래프 탐지, 가중치가 있는 사이클 탐지)에 이 프레임워크를 적용한다.
• 앨리스-밥 모델에서 교환되는 비트 수가 O(|C|n log n)로 제한됨을 증명하여, 라운드 복잡도 하한이 Ω(CC(f)/|C| log n)임을 도출한다.
• t-자리 공유 블랙보드 모델로 분석을 확장하여, 다수의 플레이어가 있더라도 통신 복잡도의 상한이 복잡도 하한을 O(n)으로 제한함을 보였다.
• 어떤 함수나 그래프 구성 방식을 사용하더라도, 앨리스-밥 프레임워크를 통한 가중치가 있는 APSP에 대한 어떤 감소도 초선형 하한을 도출할 수 없다는 것을 공식적으로 증명하였다.

실험 결과

연구 질문

• RQ1 CONGEST 모델에서 자연스러운 그래프 문제들 중에서 초선형 시간, 특히 Ω(n²/log²n) 라운드가 필요한 것이 존재하는가?
• RQ2 동일한 부분그래프 탐지나 가중치가 있는 사이클 탐지와 같은 P에 속하는 문제들이 CONGEST 모델에서 근사 제곱수 시간이 필요한가?
• RQ3 표준 앨리스-밥 통신 프레임워크는 CONGEST 모델에서 가중치가 있는 APSP에 대해 초선형 하한을 도출하는 데 충분한가?
• RQ4 CONGEST 모델에서 복잡도 계층이 존재하는가? 이는 D의 Θ(D)에서 n²/log²n의 Θ(n²/log²n)까지의 문제들을 포함한다.
• RQ5 가중치가 있는 APSP는 선형 시간에 해결될 수 있는가, 아니면 그 복잡도가 본질적으로 더 높은가?

주요 결과

• 정확한 최소 정점 독립 집합과 최대 독립 집합은, 높은 확률로 랜덤화 알고리즘을 사용하더라도 CONGEST 모델에서 Ω(n²/log²n) 라운드가 필요하다.
• 3-색칠 가능한 그래프의 χ-색칠 및 3-색칠 문제 역시 Ω(n²/log²n) 라운드가 필요하며, 이는 상수 지름 네트워크에서도 마찬가지다.
• 동일한 부분그래프 탐지 문제의 경우 결정론적으로 Ω(n²) 라운드가 필요하고, 가중치가 있는 사이클 탐지 문제의 경우 Ω(n²/log n) 라운드가 필요하다.
• 동일한 부분그래프 탐지에 대한 랜덤화 알고리즘이 O(D) 라운드 내에 완료됨을 보여주어, 글로벌 문제에서 결정론적 복잡도와 랜덤화 복잡도 사이에 뚜렷한 분리가 있음을 시사한다.
• 표준 앨리스-밥 프레임워크는 가중치가 있는 APSP에 대해 초선형 하한을 도출할 수 없다. 이는 함수나 그래프 구성 방식에 관계없이 마찬가지다.
• 이 프레임워크를 통해 가중치가 있는 APSP에 대한 어떤 하한도 최대 Ω(n)일 뿐이며, 이는 비가중치 경우의 Θ(n/log n)과는 다를 것이지만 초선형 하한에 못 미친다.