[논문 리뷰] 3SUM, 3XOR, Triangles

Zahra Jafargholi, Emanuele Viola|arXiv (Cornell University)|2013. 05. 16.

Complexity and Algorithms in Graphs참고 문헌 13인용 수 9

한 줄 요약

이 논문은 3SUM에서 삼각형 목록 작성으로의 Pätraşcu의 감소를 결정론적으로 뒤집는다. 3SUM을 시간 $\tilde{O}(n^{1+\epsilon})$ 에 해결할 수 있다면, $m$ 개의 간선을 가진 그래프에서 $t$ 개의 삼각형을 $\tilde{O}(m^{1+\epsilon}t^{1/3 - \epsilon/3})$ 시간에 목록 작성할 수 있음을 보여준다. 주요 기여는 3SUM, 3XOR, 삼각형 목록 작성 간의 감소 네트워크를 구축하여, 이들 문제 중 하나가 이차 시간보다 훨씬 빠르게 해결 가능하다면, 삼각형 목록 작성도 $m^{4/3}$ 보다 빠를 수밖에 없음을 보여준다. 이는 다항식 인수의 차이가 없는 범위 내에서 성립한다.

ABSTRACT

We show that if one can solve 3SUM on a set of size n in time n^{1+\e} then one can list t triangles in a graph with m edges in time O(m^{1+\e}t^{1/3-\e/3}). This is a reversal of Patrascu's reduction from 3SUM to listing triangles (STOC '10). Our result builds on and extends works by the Paghs (PODS '06) and by Vassilevska and Williams (FOCS '10). We make our reductions deterministic using tools from pseudorandomness. We then re-execute both Patrascu's reduction and our reversal for the variant 3XOR of 3SUM where integer summation is replaced by bit-wise xor. As a corollary we obtain that if 3XOR is solvable in linear time but 3SUM requires quadratic randomized time, or vice versa, then the randomized time complexity of listing m triangles in a graph with $m$ edges is m^{4/3} up to a factor m^αfor any α> 0.

연구 동기 및 목표

• 3SUM에서 삼각형 목록 작성으로의 Pätraşcu 감소를 뒤집어, 두 문제 간의 双방향 연결을 확립하기.
• 이 연결을 3SUM의 3XOR 변형으로 확장하여 정수 덧셈이 비트별 XOR으로 대체된 경우를 다루기.
• 가짜난수 도구를 사용해 감소를 결정론적으로 만들기, 랜덤화된 구성의 한계를 극복하기.
• 3SUM과 3XOR 간의 복잡도 차이가 그래프에서 삼각형 목록 작성의 시간 복잡도에 미치는 영향 분석하기.
• 3SUM이 이차 시간을 요구하지만 3XOR은 선형 시간에 해결 가능하거나 그 반대일 경우, 삼각형 목록 작성의 복잡도가 $m^{4/3}$ 수준이 되어야 하며, 이는 다항식 인수의 차이가 없는 범위 내에서 성립함을 보여주기.

제안 방법

• 삼각형 목록 작성에서 삼각형 탐지로의 Vassilevska와 Williams의 감소를 변형하여 인접 리스트 기반으로 작동하도록 확장하기.
• 랜덤 샘플링을 사용한 재귀적 분할 정복 전략을 통해 하위 문제에서 간선 수를 줄이면서도 삼각형 커버리지를 유지하기.
• 가짜난수 구성 기법을 적용해 샘플링 과정을 결정론적으로 만들기, 농도 경계를 통해 확정적 보장을 확보하기.
• 간선 포함 확률의 분산 분석을 통해 샘플된 하위 그래프의 예상 간선 수를 제한하고, $\alpha$ 및 $\delta$ 매개변수를 통해 편차를 통제하기.
• 삼각형 탐지, 간선 샘플링, 재귀적 목록 작성 서브루틴을 하나의 알고리즘으로 통합하여 총 시간 복잡도 $\tilde{O}(m^{1+\epsilon}t^{1/3 - \epsilon/3})$ 확보하기.
• 층위별 재귀를 사용하여 하위 문제를 레벨 단위로 처리하고, 레벨 수가 $\lg t^{1/3}$ 이하임을 보장하며 기하급수 합계를 통해 총 비용 분석하기.

실험 결과

연구 질문

• RQ1 3SUM에서 삼각형 목록 작성으로의 감소를 뒤집을 수 있는가? 즉, 더 빠른 3SUM이 더 빠른 삼각형 목록 작성으로 이어지는가?
• RQ2 3SUM의 3XOR 변형이 그래프에서 삼각형 목록 작성의 복잡도에 어떤 영향을 미치는가?
• RQ3 3SUM이 $\tilde{\Omega}(n^2)$ 시간이 필요하지만 3XOR은 $\tilde{O}(n)$ 시간에 해결 가능하거나 그 반대일 수 있는가?
• RQ4 간선 수가 $m$인 그래프에서 $m$개의 삼각형을 목록 작성하는 데 필요한 랜덤화된 시간 복잡도의 가장 날카로운 상한은 무엇인가?
• RQ5 가짜난수 기법을 어떻게 활용해 삼각형 목록 작성과 3SUM 맥락에서의 랜덤화된 감소를 결정론적으로 만들 수 있는가?

주요 결과

• Pätraşcu 감소의 결정론적 뒤집힘이 달성됨: 3SUM을 시간 $\tilde{O}(n^{1+\epsilon})$ 에 해결할 수 있다면, $m$ 개의 간선을 가진 그래프에서 $t$ 개의 삼각형을 $\tilde{O}(m^{1+\epsilon}t^{1/3 - \epsilon/3})$ 시간에 목록 작성할 수 있음.
• 삼각형 $t$ 개를 목록 작성하는 시간 복잡도는 $\tilde{O}(m^{1+\epsilon}t^{1/3 - \epsilon/3})$ 이며, 이는 $\epsilon < 1/15$ 일 때 Pagh의 $\tilde{O}(m^{1.4})$ 알고리즘보다 향상됨.
• 3SUM이 $\tilde{\Omega}(n^2)$ 랜덤화된 시간이 필요하지만 3XOR이 $\tilde{O}(n)$ 시간에 해결 가능하거나 그 반대일 경우, $\min\{z,m\}$ 개의 삼각형을 목록 작성하는 데 $m^{4/3}$ 시간이 필요하며, 이는 임의의 $\alpha > 0$ 에 대해 $m^{\alpha}$ 인수의 차이가 없는 범위 내에서 성립함.
• 유사한 기법을 사용해 3XOR에서 삼각형 목록 작성으로의 감소가 확립되었으며, 이는 두 문제 간의 복잡도가 밀접하게 연결되어 있음을 보여줌.
• 분석 결과, 간선 샘플링의 분산은 $O((\alpha + \delta)m^2)$ 이하로 제한되며, 이는 농도를 보장하고 재귀적 샘플링 전략이 높은 확률로 성공할 수 있음을 보여줌.
• 최종 시간 복잡도는 레벨별 재귀의 기하급수 합계를 통해 유도되며, 주요 항은 레벨 $\ell = \lg t^{1/3}$ 에서 결정되며, 이에 따라 기재된 복잡도가 도출됨.