[논문 리뷰] New Unconditional Hardness Results for Dynamic and Online Problems

Raphaël Clifford, Allan Grønlund외 1명|arXiv (Cornell University)|2015. 04. 08.

Complexity and Algorithms in Graphs참고 문헌 26인용 수 11

한 줄 요약

이 논문은 동적 및 온라인 문제에 대해 기존의 조건부 가정에 의존하지 않는 새로운 무조건적 셀 프로브 하한을 확립한다. 특히 유한체 위에서의 행렬-벡터 곱셈과 Pätraşcu의 Multiphase 문제를 대상으로 한다. 새로운 증명 기법을 도입하여 임계값 상호보상 관계를 입증한다: 만약 쿼리 시간이 매우 빠르다면, 업데이트 시간은 모든 가능한 답을 사전에 계산한 룩업 테이블을 구성하는 데 필요한 정도로 느려져야 한다. 이는 유사한 하한이 처음으로 도출된 사례이다.

ABSTRACT

There has been a resurgence of interest in lower bounds whose truth rests on the conjectured hardness of well known computational problems. These conditional lower bounds have become important and popular due to the painfully slow progress on proving strong unconditional lower bounds. Nevertheless, the long term goal is to replace these conditional bounds with unconditional ones. In this paper we make progress in this direction by studying the cell probe complexity of two conjectured to be hard problems of particular importance: matrix-vector multiplication and a version of dynamic set disjointness known as Patrascu's Multiphase Problem. We give improved unconditional lower bounds for these problems as well as introducing new proof techniques of independent interest. These include a technique capable of proving strong threshold lower bounds of the following form: If we insist on having a very fast query time, then the update time has to be slow enough to compute a lookup table with the answer to every possible query. This is the first time a lower bound of this type has been proven.

연구 동기 및 목표

• 조건부 난이도 가정에 의존하지 않고도 강력한 무조건적 하한을 확립하여 동적 및 온라인 데이터 구조 문제에 적용한다.
• 3SUM-난이도나 SETH와 같은 추측에 의존하지 않고 다항시간 하한을 증명하는 오랜 동안의 과제를 해결한다.
• 유한체 위에서의 행렬-벡터 곱셈과 Pätraşcu의 Multiphase 문제의 셀 프로브 복잡도를 분석한다.
• 빠른 쿼리 시간이 요구될 경우 업데이트 시간이 전체 룩업 테이블을 계산하는 것과 동일한 수준이 되도록 하는 임계값 하한을 도출할 수 있는 새로운 증명 기법을 개발한다.
• 유한체의 구조를 활용하지 않는 데이터 구조는 반드시 $n^{2-o(1)}$의 시간 복잡도를 각 연산에 소비하게 된다는 점을 입증한다.

제안 방법

• 시간은 업데이트 및 쿼리 동안 접근하는 메모리 셀의 수로 측정되는 셀 프로브 모델을 계산 프레임워크로 사용한다.
• 빠른 쿼리 시간이 모든 가능한 답의 전체 룩업 테이블을 사전에 계산해야 한다는 필요성을 연결하는 새로운 증명 기법을 도입한다.
• 모든 큰 행의 부분집합에 대해 충분한 수의 열이 업데이트 동안 커버되도록 하기 위해 잘 산포된 업데이트 인덱스 시퀀스를 사용한다.
• 확률적 추론과 조합론적 경계를 적용하여 이러한 잘 산포된 시퀀스가 높은 확률로 존재함을 보인다.
• 에코딩 및 디코딩 추론을 사용하여 가능한 입력 벡터의 집합 크기를 제한함으로써, 데이터 구조의 효율성에 대한 정보 이론적 한계를 도출한다.
• 모든 빠른 쿼리 시간을 가진 데이터 구조가 전체 답 테이블을 시뮬레이션할 수 있도록 충분한 정보를 저장해야 하므로, 업데이트 시간이 느려져야 한다는 점을 보여주어 하한을 유도한다.

실험 결과

연구 질문

• RQ1 조건부 난이도 가정에 의존하지 않고 동적 및 온라인 문제에 대해 무조건적 하한을 증명할 수 있는가?
• RQ2 유한체 위에서의 행렬-벡터 곱셈에 대한 데이터 구조에서 업데이트 시간과 쿼리 시간 사이의 본질적 상호보상 관계는 무엇인가?
• RQ3 매우 빠른 쿼리 시간이 업데이트 시간을 전체 룩업 테이블을 계산하는 것과 동일하게 느리게 만드는 임계값 하한을 확립할 수 있는가?
• RQ4 유한체의 구조를 활용하지 않는 데이터 구조가 행렬-벡터 곱셈에서 본질적으로 비효율적임을 증명할 수 있는가?
• RQ5 현재 기법을 사용하여 Pätraşcu의 Multiphase 문제에 대해 도출할 수 있는 가장 강력한 무조건적 하한은 무엇인가?

주요 결과

• 논문은 새로운 임계값 하한을 입증한다: 쿼리 시간이 매우 빠르면 업데이트 시간은 모든 가능한 쿼리에 대한 룩업 테이블을 계산하는 데 필요한 정도로 느려져야 한다.
• 유한체 위에서의 행렬-벡터 곱셈에 대해, 유한체의 구조를 명시적으로 활용하지 않는 모든 데이터 구조는 각 연산에 대해 $n^{2-o(1)}$의 시간을 소비해야 한다.
• 이 하한은 현재 기법이 허용하는 한계까지 강력하며, 정보 이론적 추론을 기반으로 한 무조건적 하한으로, 조건부 가정에 의존하지 않는다.
• 작은 행 집합에 대해 충분한 수의 열이 업데이트 동안 커버되도록 하는 잘 산포된 업데이트 인덱스 시퀀스를 구성함으로써 하한 구축이 가능하다.
• 에코딩 추론을 통해 가능한 입력 벡터의 수는 $2^{(27/32)nk\lg|\mathbb{F}|}$ 이하로 제한되며, 이는 정보 이론적으로 날카로운 경계를 이끈다.
• 임의의 시퀀스가 잘 산포되어 있지 않을 확률은 $2^{-\Omega(n^{4/3})}$ 이하이며, 이는 모든 관련 매개변수에 대해 유니온 바운드를 적용하여 이러한 시퀀스의 존재를 보장할 수 있다.