[논문 리뷰] Tight Bounds for Linear Sketches of Approximate Matchings

Sepehr Assadi, Sanjeev Khanna외 2명|arXiv (Cornell University)|2015. 05. 06.

Complexity and Algorithms in Graphs참고 문헌 35인용 수 12

한 줄 요약

이 논문은 동적 그래프 스트림에서 선형 스케치의 날카러운 경계를 확립하며, $ n^{\tau} $ 요소 이내로 최대 매칭을 근사화하기 위해 $ \tilde{O}(n^{2-3\tau}) $ 비트의 공간이 필요하고, 이 경계는 거의 최적임을 보여준다. 저자들은 Ruzsa-Szemerédi 그래프를 사용하여 통신 복잡도의 하한을 구축하고, 이러한 스케치가 반드시 $ n^{2-3\tau-o(1)} $ 비트의 크기를 가져야 한다고 증명함으로써 스트리밍 알고리즘 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

We resolve the space complexity of linear sketches for approximating the maximum matching problem in dynamic graph streams where the stream may include both edge insertion and deletion. Specifically, we show that for any $ε> 0$, there exists a one-pass streaming algorithm, which only maintains a linear sketch of size $ ilde{O}(n^{2-3ε})$ bits and recovers an $n^ε$-approximate maximum matching in dynamic graph streams, where $n$ is the number of vertices in the graph. In contrast to the extensively studied insertion-only model, to the best of our knowledge, no non-trivial single-pass streaming algorithms were previously known for approximating the maximum matching problem on general dynamic graph streams. Furthermore, we show that our upper bound is essentially tight. Namely, any linear sketch for approximating the maximum matching to within a factor of $O(n^ε)$ has to be of size $n^{2-3ε-o(1)}$ bits. We establish this lower bound by analyzing the corresponding simultaneous number-in-hand communication model, with a combinatorial construction based on Ruzsa-Szemerédi graphs.

연구 동기 및 목표

• 동적 그래프 스트림에서 최대 매칭을 근사화하기 위한 선형 스케치의 공간 복잡도를 해결하기 위해.
• 2014년 이후로 해결되지 않은 바람직한 동적 모델에서의 단일 패assing 스트리밍 알고리즘에 대한 공간 요구 조건에 관한 오랜 동안 미해결이었던 문제를 닐어내기 위해.
• $ n^{\tau} $-근사 최대 매칭에 대해 상한과 하한을 동시에 확립하기 위해.
• 이 작업 이전에는 이 문제에 대해 비어 있지 않은 단일 패assing 스트리밍 알고리즘이 존재하지 않았다는 것을 보여주기 위해, 특히 동적 환경에서의 경우에 대해.

제안 방법

• 저자들은 동적 스트림에서 선형 스케치의 공간 복잡도를 분석하기 위해 동시 수신자 간 통신 모델( simultaneous number-in-hand, NIH)로의 감소를 사용한다.
• Ruzsa-Szemerédi 그래프를 기반으로 한 어려운 입력 분포를 구성하여 $ n^{\tau} $-근사화에 필요한 통신의 하한을 확립한다.
• 핵심 요소는 그래프에서 $ s $-비트 메시지로의 사상 $ \phi_i $ 를 정의하고, preimage 집합 $ \Gamma_i(G_i) $ 의 크기를 분석하여 잘못된 매칭 결정의 확률을 제한하는 것이다.
• 카운팅 추론을 적용하여, 작은 preimage 집합을 가진 그래프가 존재할 확률가 $ 1/n $ 이하임을 보여주며, 이로 인해 예상되는 매칭된 정점 수에 대한 농도 한계를 확보한다.
• 예상되는 양호한 정점 수에 대해 마르코프 부등식을 적용하여, 비어 있지 않은 근사치를 달성하는 데 있어 어떤 프rotocol이라도 $ \Omega(n^{2-3\tau-o(1)}) $ 비트의 통신이 필요하다는 것을 보여준다.
• 상한은 단일 패assing 스트리밍 알고리즘을 통해 달성되며, 이 알고리즘은 $ \tilde{O}(n^{2-3\tau}) $ 비트 크기의 선형 스케치를 유지하여 $ n^{\tau} $-근사 매칭을 복구한다.

실험 결과

연구 질문

• RQ1 동적 그래프 스트림에서 최대 매칭을 근사화하기 위한 선형 스케치의 최적 공간 복잡도는 무엇인가?
• RQ2 동적 모델에서 최대 매칭을 근사화하기 위한 비어 있지 않은 단일 패assing 스트리밍 알고리즘을 하중 제곱 이하의 공간으로 구성할 수 있는가?
• RQ3 $ n^{\tau} $-근사화에 대해 $ \tilde{O}(n^{2-3\tau}) $ 비트의 공간 복잡도가 날카러운가?
• RQ4 그래프에서 최대 매칭을 근사화하기 위한 동시 수신자 간 통신 모델의 통신 복잡도는 무엇인가?

주요 결과

• 모든 $ \tau > 0 $ 에 대해, 동적 그래프 스트림에서 $ \tilde{O}(n^{2-3\tau}) $ 비트 크기의 선형 스케치를 유지하는 단일 패assing 스트리밍 알고리즘이 존재하며, 이 알고리즘은 $ n^{\tau} $-근사 최대 매칭을 계산한다.
• 최대 매칭을 $ O(n^{\tau}) $ 요소 이내로 근사화하는 데 필요한 모든 선형 스케치는 최소 $ n^{2-3\tau-o(1)} $ 비트의 공간을 사용해야 하며, 이는 상한이 거의 최적임을 증명한다.
• 하한은 Ruzsa-Szemerédi 그래프를 사용한 통신 복잡도 분석을 통해 확립되며, $ n^{\tau}/4 $ 이하의 근사치를 넘어서는 어떤 동시 프로토콜이라도 $ \Omega(n^{2-3\tau-o(1)}) $ 비트의 통신이 필요하다는 것을 보여준다.
• 이 결과는 2014년 버티노로 회의에서 제기된 동적 스트리밍 알고리즘의 공간 복잡도 문제를 해결한다.
• 저자들은 이 작업 이전에는 일반적인 동적 그래프 스트림에서 최대 매칭을 근사화하기 위한 비어 있지 않은 단일 패assing 스트리밍 알고리즘이 알려져 있지 않았다는 것을 보여준다.
• 분석을 통해 공간 경계가 하위항까지 날카럽다는 것이 입증되었으며, 이를 향상시키기 위해서는 선형 스케치를 초월한 새로운 알고리즘 기법이 필요하다.