[논문 리뷰] Deterministic 3SUM-Hardness

Nick Fischer, Piotr Kaliciak외 1명|arXiv (Cornell University)|2023. 10. 19.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 덧셈 해싱 기반의 감소를 비확률적으로 처리할 수 있는 도구를 도입하여, 넓은 범위의 문제들에 대해 결정론적 3SUM-난이도를 확립한다. Set Disjointness, Set Intersection, Triangle Listing과 같은 핵심 문제들이 결정론적 감소에 의해 난이도가 있음을 증명하며, 이는 이전 연구에서 남아 있던 열린 문제를 해결하고, 결정론적 3SUM-난이도 이론의 기초를 다지며 3SUM에 대한 결정론적 유니버스 감소를 제시한다.

ABSTRACT

As one of the three main pillars of fine-grained complexity theory, the 3SUM problem explains the hardness of many diverse polynomial-time problems via fine-grained reductions. Many of these reductions are either directly based on or heavily inspired by Pătraşcu's framework involving additive hashing and are thus randomized. Some selected reductions were derandomized in previous work [Chan, He; SOSA'20], but the current techniques are limited and a major fraction of the reductions remains randomized. In this work we gather a toolkit aimed to derandomize reductions based on additive hashing. Using this toolkit, we manage to derandomize almost all known 3SUM-hardness reductions. As technical highlights we derandomize the hardness reductions to (offline) Set Disjointness, (offline) Set Intersection and Triangle Listing -- these questions were explicitly left open in previous work [Kopelowitz, Pettie, Porat; SODA'16]. The few exceptions to our work fall into a special category of recent reductions based on structure-versus-randomness dichotomies. We expect that our toolkit can be readily applied to derandomize future reductions as well. As a conceptual innovation, our work thereby promotes the theory of deterministic 3SUM-hardness. As our second contribution, we prove that there is a deterministic universe reduction for 3SUM. Specifically, using additive hashing it is a standard trick to assume that the numbers in 3SUM have size at most $n^3$. We prove that this assumption is similarly valid for deterministic algorithms.

연구 동기 및 목표

• 3SUM-난이도 증명에서 덧셈 해싱 기반의 세밀한 감소를 비확률화하는 일반적인 도구를 개발하는 것.
• 기존 문헌에서 남아 있던 열린 문제를 해결하기 위해 (오프라인) Set Disjointness, Set Intersection, Triangle Listing에 대한 결정론적 난이도를 증명하는 것.
• 3SUM에 대한 결정론적 유니버스 감소를 수립하여, 표준적인 가정인 수의 범위가 [n³]에 속한다는 것이 결정론적 알고리즘에서도 유효함을 보이는 것.
• 세밀한 복잡도 이론에서 랜덤성의 역할을 다루며, 결정론적 3SUM-난이도 이론의 포괄적 기반을 마련하는 것.

제안 방법

• P˘atra¸scu의 덧셈 해싱 프레임워크의 결정론적 버전을 사용하여, 랜덤 해시 함수를 조건부 기댓값을 통한 결정론적 구성으로 대체한다.
• 결정론적 해싱 보조정리(Lemma 3.2)를 적용하여, 관련 3SUM 삼중항에서 거짓 양성(즉, h(a) + h(b) ≡ h(c) mod m)을 최소화하는 모듈러스 m를 찾는다.
• 3SUM을 O(n^α)개의 더 작은 인스턴스로 자기 감소시켜(보조정리 3.3), 관련 삼중항의 수를 O(n^{2α})로 줄여 효율적인 처리를 가능하게 한다.
• 3SUM 해를 모듈로 m에서의 집합 교차로 매핑하여 Set Disjointness와 Set Intersection로의 감소를 구성하며, 모듈로 산술을 사용해 해를 인코딩한다.
• δ > 0인 매개변수화 분석을 적용하여 오차 항을 제어하고, 결정론적 3SUM 가정 하에 비제곱 시간 복잡도를 확보한다.
• 유니버스 감소 기법을 적용하여, 덧셈 해싱을 통해 결정론적 알고리즘에서도 3SUM 인스턴스의 수가 [n³] 범위에 있다고 가정할 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 덧셈 해싱 기반의 모든 3SUM-난이도 감소는 비확률화될 수 있는가?
• RQ2 Kopelowitz 등(SODA’16)이 제기한 바에 따르면, 3SUM에서 Triangle Listing로의 결정론적 감소가 존재하는가?
• RQ3 3SUM에 대한 결정론적 유니버스 감소를 구성할 수 있는가? 즉, 입력 수를 [n³] 범위로 가정하는 것이 일반적으로 손실 없이 가능한가?
• RQ4 현재 비확률화 도구의 범위에는 어떤 제한이 있으며, 어떤 감소는 여전히 이 도구의 범위를 벗어나는가?

주요 결과

• 논문은 3SUM에 대해 결정론적 O(n²−ε) 알고리즘이 존재하지 않는다는 가정 하에, (오프라인) Set Disjointness가 결정론적 3SUM-난이도임을 증명한다.
• 동일한 가정 하에, |U| = O(n^{1+β−α}), N = O(n^{1/2 + α/2 + β/2}), s = O(n^{1−α}), q = O(n^{1+α}), 출력 크기 O(n^{2−β})인 (오프라인) Set Intersection에 대한 결정론적 난이도를 확립한다.
• 논문은 Kopelowitz, Pettie, Porat(SODA’16)가 남긴 열린 문제를 해결하기 위해 Triangle Listing로의 결정론적 감소를 제공한다.
• 논문은 3SUM에 대한 결정론적 유니버스 감소를 증명하여, 모든 3SUM 인스턴스가 결정론적 알고리즘에서도 값이 [n³] 범위에 있다고 가정할 수 있음을 보였다.
• 이 프레임워크는 거의 모든 알려진 3SUM-난이도 감소를 성공적으로 비확률화했으며, 최근의 '구조 대 임의성' 기반 감소 중 소수의 경우만 여전히 이 도구의 범위를 벗어나 있다.