[논문 리뷰] A Subquadratic Algorithm for 3XOR

Martin Dietzfelbinger, Philipp Schlag외 1명|arXiv (Cornell University)|2018. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 3인용 수 1

한 줄 요약

이 논문은 특정한 Patricia 트리를 사용하여 3XOR 문제에 대해 결정적인 O(n²) 알고리즘을 제시한다. 이 트리는 임의의 a에 대해 a ⊕X를 선형 시간 내에 순서대로 탐색할 수 있게 하여 최적의 이차 시간 복잡도를 달성한다. 또한 w = O(n log n)일 때 예상 시간 O(n² · min{log³w/w, (log log n)²/log²n})인 랜덤화 알고리즘을 제안하며, 이는 최고의 int3SUM bound에 log w 요소를 제외하고 일치한다. 또한 3XOR를 오프라인 SetDisjointness와 SetIntersection로 감소시켜 조건부 하한을 확립한다.

ABSTRACT

Given a set X of n binary words of equal length w, the 3XOR problem asks for three elements a, b, c in X such that a oplus b=c, where oplus denotes the bitwise XOR operation. The problem can be easily solved on a word RAM with word length w in time O(n^2 log n). Using Han's fast integer sorting algorithm (STOC/J. Algorithms, 2002/2004) this can be reduced to O(n^2 log log n). With randomization or a sophisticated deterministic dictionary construction, creating a hash table for X with constant lookup time leads to an algorithm with (expected) running time O(n^2). At present, seemingly no faster algorithms are known. We present a surprisingly simple deterministic, quadratic time algorithm for 3XOR. Its core is a version of the PATRICIA tree for X, which makes it possible to traverse the set a oplus X in ascending order for arbitrary a in {0, 1}^{w} in linear time. Furthermore, we describe a randomized algorithm for 3XOR with expected running time O(n^2 * min{log^3(w)/w, (log log n)^2/log^2 n}). The algorithm transfers techniques to our setting that were used by Baran, Demaine, and Patrascu (WADS/Algorithmica, 2005/2008) for solving the related int3SUM problem (the same problem with integer addition in place of binary XOR) in expected time o(n^2). As suggested by Jafargholi and Viola (Algorithmica, 2016), linear hash functions are employed. The latter authors also showed that assuming 3XOR needs expected running time n^(2-o(1)) one can prove conditional lower bounds for triangle enumeration just as with 3SUM. We demonstrate that 3XOR can be reduced to other problems as well, treating the examples offline SetDisjointness and offline SetIntersection, which were studied for 3SUM by Kopelowitz, Pettie, and Porat (SODA, 2016).

연구 동기 및 목표

• 3SUM 문제에 대한 광범위한 연구에도 불구하고 여전히 열려 있는 결정적이고 하향보다 빠른 3XOR 알고리즘을 개발하는 것.
• Baran, Demaine, Pâtraşcu의 기법을 선형 해싱과 워드 수준 연산을 사용해 3XOR 환경에 적응시키는 것.
• 3SUM 복잡도에서 사용된 것과 유사하게 3XOR를 오프라인 SetDisjointness와 SetIntersection로 감소시켜 조건부 하한을 확립하는 것.
• 3XOR와 3SUM 간의 구조적 유사성이 최적의 시간 복잡도에 깊은 연결을 의미하는지 탐구하는 것, 특히 XOR에서 Fredman의 기법이 존재하지 않는다는 점을 고려할 때.

제안 방법

• 단일 워드 연산만을 사용하여 word-RAM 호환성 있는 Patricia 트리를 X에 대해 구성함으로써, 임의의 a ∈{0,1}^w에 대해 a ⊕X를 O(|X|) 시간 내에 오름차순으로 탐색할 수 있도록 함.
• 선형이고 1-유일한 해시 함수를 사용하여 X를 버킷으로 분할하고, 해싱과 버킷 교차 검사를 통한 효율적인 랜덤화 검색을 가능하게 함.
• h2(x) = h21(x) ◦ h22(x) 형태의 다중 수준 해싱 기법을 적용하여, 랜덤화 알고리즘에서의 잘못된 양성률을 감소시킴. 여기서 h21과 h22는 1-유일한 클래스에 속함.
• 오프라인 감소를 위해 해시 값과 XOR 시프트를 사용하여 이동된 버킷 집합 X↑_u,v와 X↓_u,v를 생성하고, 교차가 비어 있지 않은지 확인하여 해를 탐지함.
• SetDisjointness에 대해 Θ(log n)개의 해시 함수 선택지를 사용하여 잘못된 양성률을 다항식적으로 제한하고, 고확률로 정확성을 확보함.
• 교차 결과로부터 해를 재구성하고 O(n²) 시간 내에 검증함으로써 전체 알고리즘이 효율성을 유지함.

실험 결과

연구 질문

• RQ1 단일 워드 연산과 특수한 Patricia 트리 구조만을 사용하여 3XOR에 대해 결정적인 O(n²) 알고리즘을 달성할 수 있는가?
• RQ2 예상 실행 시간이 최고의 int3SUM bound에 매우 가까운, 즉 O(n² · min{log³w/w, (log log n)²/log²n})이 되는 랜덤화된 3XOR 알고리즘을 달성할 수 있는가?
• RQ3 3XOR를 오프라인 SetDisjointness와 SetIntersection 문제로 감소시킬 수 있으며, 이는 3SUM 패러다임과 유사하게 조건부 하한을 유지하는가?
• RQ4 왜 3SUM의 Fredman 기법이 XOR로 확장되지 않으며, 어떤 구조적 차이가 이러한 변환을 방해하는가?

주요 결과

• 특수한 Patricia 트리로 구성된 결정적 알고리즘은 임의의 a에 대해 a ⊕X를 선형 시간 내에 순서대로 탐색할 수 있으며, 단지 워드 연산만을 사용하여 O(n²) 시간 내에 3XOR를 해결함.
• 랜덤화 알고리즘은 w = O(n log n)일 때 예상 실행 시간 O(n² · min{log³w/w, (log log n)²/log²n})을 달성하며, int3SUM bound에 log w 요소를 제외하고 일치함.
• w > n log n일 경우 알고리즘은 O(n log²n) 시간 내에 실행되며, w와 log n에 대한 의존성의 교차점은 w = (log²n) log log n에서 발생함.
• 논문은 3XOR를 오프라인 SetDisjointness와 SetIntersection로 감소시켜, 3XOR를 o(n²) 시간 내에 해결할 경우 이러한 문제들에 하향보다 빠른 해법이 존재함을 보여줌.
• 랜덤화 감소에서 잘못된 양성률의 기대값은 O(n²−δ)이며, Θ(n log n)번의 샘플링을 통해 전체 알고리즘의 예상 실행 시간은 O(n²−Ω(1))을 유지함.
• XOR에 대해 Fredman 유형의 항등식이 존재하지 않음(즉, a ⊕b ≺c ⊕d ⇔ a ⊕d ≺c ⊕b를 유지하는 선형 순서가 없음)은 3XOR와 3SUM 간의 근본적인 구조적 격차를 시사하며, 이는 외관상 유사성에도 불구하고 그들의 최적 시간 복잡도 간의 깊은 연결이 없음을 의미함.