[논문 리뷰] Hypergraph Two-Coloring in the Streaming Model

Jaikumar Radhakrishnan, Saswata Shannigrahi외 1명|arXiv (Cornell University)|2015. 12. 14.

Limits and Structures in Graph Theory인용 수 3

한 줄 요약

이 논문은 초수정 $n$-균일 초그래프의 두 색칠 문제에 대해 공간 효율적인 스트리밍 알고리즘을 연구한다. 초모서리가 순차적으로 도착하는 상황에서, 결정적 스트리밍 알고리즘은 초모서리 수에 따라 $\Omega(q/n)$ 또는 $\Omega(\sqrt{1/(n\ln n)}\cdot 2^n)$의 공간을 요구하지만, 랜덤화된 알고리즘은 최대 $\frac{1}{10}\sqrt{\frac{n}{\ln n}}2^n$개의 초모서리에 대해 $O(v\log v)$의 공간을 달성하며, 기존의 존재성에 기반한 상한과 일치한다.

ABSTRACT

We consider space-efficient algorithms for two-coloring $n$-uniform hypergraphs $H=(V,E)$ in the streaming model, when the hyperedges arrive one at a time. It is known that any such hypergraph with at most $0.7 \sqrt{\frac{n}{\ln n}} 2^n$ hyperedges has a two-coloring [Radhakrishnan & Srinivasan, RSA, 2000], which can be found deterministically in polynomial time, if allowed full access to the input. 1. Let $s^D(v, q, n)$ be the minimum space used by a deterministic one-pass streaming algorithm that on receiving an $n$-uniform hypergraph $H$ on $v$ vertices and $q$ hyperedges produces a proper two-coloring of $H$. We show that $s^D(n^2, q, n) = Ω(q/n)$ when $q \leq 0.7 \sqrt{\frac{n}{\ln n}} 2^n$, and $s^D(n^2, q, n) = Ω(\sqrt{\frac{1}{n\ln n}} 2^n)$ otherwise. 2. Let $s^R(v, q,n)$ be the minimum space used by a randomized one-pass streaming algorithm that on receiving an $n$-uniform hypergraph $H$ on $v$ vertices and $q$ hyperedges with high probability produces a proper two-coloring of $H$ (or declares failure). We show that $s^R(v, \frac{1}{10}\sqrt{\frac{n}{\ln n}} 2^n, n) = O(v \log v)$ by giving an efficient randomized streaming algorithm. The above results are inspired by the study of the number $q(n)$, the minimum possible number of hyperedges in a $n$-uniform hypergraph that is not two-colorable. It is known that $q(n) = Ω(\sqrt{\frac{n}{\ln n}})$ [Radhakrishnan-Srinivasan] and $ q(n)= O(n^2 2^n)$ [Erdos, 1963]. Our first result shows that no space-efficient deterministic streaming algorithm can match the performance of the offline algorithm of Radhakrishnan and Srinivasan; the second result shows that there is, however, a space-efficient randomized streaming algorithm for the task.

연구 동기 및 목표

• 일회 스트리밍 알고리즘의 두 색칠 문제에 대한 공간 복잡도를 이해하기 위해.
• 공간 제약 조건 하에서 결정적 또는 랜덤화된 스트리밍 알고리즘이 문제를 효율적으로 해결할 수 있는지 판단하기 위해.
• 일회 스트리밍 모델에서 결정적 스트리밍 알고리즘의 공간 사용에 대해 날카로운 하한을 설정하기 위해.
• 두 색칠 가능성의 존재적 임계값과 일치하는 공간 효율적인 랜덤화 스트리밍 알고리즘을 설계하기 위해.
• 초그래프 두 색칠 문제에서 결정적과 랜덤화된 스트리밍 복잡도 사이의 격차를 탐색하기 위해.

제안 방법

• 구성적 $\text{P}\neq\text{NP}$ 유형 문제에 적합한 Moser-Tardos 알고리즘을 스트리밍 환경에 적응시킨다.
• 랜덤화된 재색칠 전략을 사용: 동일한 색상의 초모서리를 발견할 경우, 이전에 표시된 초모서리와 충돌하지 않는 한 그 정점들을 재랜덤화한다.
• Lovász Local Lemma (LLL) 조건을 적용하여 반복 횟수를 제한: $O(\log |V|)$의 기대 반복 수 내에서 종료 보장.
• 재색칠 과정에서 충돌을 방지하기 위해 동일 색상의 초모서리 집합에 대해 최대 독립 집합(MIS)을 구현한다.
• 반복 기반 접근 방식을 사용: 각 반복에서 모든 초모서리를 처리하고, 충돌하는 동일 색상의 초모서리를 표시 및 재색칠한다.
• 마르코프 부등식을 사용하여 실패 확률을 제한하여, $O(\log |V|)$회의 반복 내에서 높은 확률로 성공을 보장한다.

실험 결과

연구 질문

• RQ1 결정적 일회 스트리밍 알고리즘이 $q$개의 초모서리를 가진 $n$-균일 초그래프를 두 색칠하기 위해 필요한 최소 공간은 얼마인가?
• RQ2 랜덤화된 스트리밍 알고리즘이 $\Omega(\sqrt{n/\ln n} \cdot 2^n)$개의 초모서리 이하를 가진 초그래프에 대해 비선형 공간을 달성할 수 있는가?
• RQ3 초그래프 두 색칠 문제에서 결정적 및 랜덤화된 스트리밍 알고리즘의 공간 복잡도 사이에 격차가 존재하는가?
• RQ4 Moser-Tardos 알고리즘은 제한된 메모리와 일회 액세스 환경에서 스트리밍 모델에 적응시킬 수 있는가?
• RQ5 랜덤화된 스트리밍 알고리즘이 고확률로 유효한 두 색칠을 달성하기 위해 필요한 최적의 반복 수는 얼마인가?

주요 결과

• 결정적 스트리밍 알고리즘의 경우, $q \leq 0.7\sqrt{\frac{n}{\ln n}}2^n$일 때 공간 복잡도는 $\Omega(q/n)$이며, 그 외의 경우 $\Omega(\sqrt{1/(n\ln n)}\cdot 2^n)$이다.
• 랜덤화된 스트리밍 알고리즘은 최대 $\frac{1}{10}\sqrt{\frac{n}{\ln n}}2^n$개의 초모서리를 가진 초그래프에 대해 $O(v\log v)$의 공간을 달성한다.
• 랜덤화된 알고리즘은 $O(\log |V|)$의 기대 반복 수 내에서 종료되며, $O(\log |V|)$회의 반복을 통해 성공 확률이 최소 $3/4$ 이상이다.
• 결정적 알고리즘의 하한은 $\mathrm{poly}(n)$ 요소를 제외하고 날카로운 것으로 밝혀져, 랜덤화된 해법과의 강한 분리 효과를 보여준다.
• Moser-Tardos 알고리즘은 공간 제약 조건 하에서도 스트리밍 모델에 적응시킬 수 있으며, 기대 종료 시간을 유지한다.
• 알고리즘의 성능은 Radhakrishnan과 Srinivasan(2000)이 설정한 두 색칠 가능성의 존재적 임계값과 일치하여, 랜덤화된 스트리밍에서 공간 최적성을 보여준다.