[논문 리뷰] Finding monotone patterns in sublinear time

Omri Ben‐Eliezer, Clément L. Canonne외 2명|arXiv (Cornell University)|2019. 10. 03.

Complexity and Algorithms in Graphs참고 문헌 38인용 수 4

한 줄 요약

이 논문은 함수 $f:[n] \to \mathbb{R}$가 $(12\dots k)$-free에서 $\varepsilon$-떨어져 있을 때 길이 $k$의 단조 증가 부분수열을 찾는 데 필요한 비적응형 쿼리 복잡도의 최적값을 규명한다. 이는 이분 프로파일과 트리 서술자를 사용한 새로운 구조적 분해를 도입하여, 엄밀한 $\Theta\left((\log n)^{\lfloor \log_2 k \rfloor}\right)$ 쿼리 복잡도를 증명함으로써 이전의 복잡도 상한과 하한을 크게 향상시키며, 이 하위선형 시간 패턴 탐색 문제의 복잡도를 해결한다.

ABSTRACT

We study the problem of finding monotone subsequences in an array from the viewpoint of sublinear algorithms. For fixed $k \in \mathbb{N}$ and $\varepsilon > 0$, we show that the non-adaptive query complexity of finding a length-$k$ monotone subsequence of $f \colon [n] o \mathbb{R}$, assuming that $f$ is $\varepsilon$-far from free of such subsequences, is $Θ((\log n)^{\lfloor \log_2 k floor})$. Prior to our work, the best algorithm for this problem, due to Newman, Rabinovich, Rajendraprasad, and Sohler (2017), made $(\log n)^{O(k^2)}$ non-adaptive queries; and the only lower bound known, of $Ω(\log n)$ queries for the case $k = 2$, followed from that on testing monotonicity due to Ergün, Kannan, Kumar, Rubinfeld, and Viswanathan (2000) and Fischer (2004).

연구 동기 및 목표

• 함수 $f:[n] \to \mathbb{R}$가 $(12\dots k)$-free에서 $\varepsilon$-떨어져 있을 때 길이 $k$의 단조 증가 부분수열을 찾는 데 있어 비적응형 알고리즘의 쿼리 복잡도를 해결하는 것.
• 기존 상한 $O((\log n)^{O(k^2)})$과 $k=2$일 때 유일하게 알려진 하한 $\Omega(\log n)$ 사이의 격차를 메우기 위해 모든 고정된 $k\in\mathbb{N}$에 대해 엄밀한 상한을 확립하는 것.
• 이진 프로파일과 트리 서술자를 사용하여 단조 증가 부분수열를 포함하거나 회피하는 함수의 새로운 구조적 특성화를 개발하는 것.
• 상한과 정확히 일치하는 하한을 증명하여 쿼리 복잡도의 최적성을 확립하는 것.

제안 방법

• 증가 쌍의 위치와 단조성 구조에 기반해 간격을 분류하기 위한 계층적 이진 프로파일 시스템을 도입한다.
• 단조성 행동에 따라 간격을 '성장하는 접미사'와 '분할 가능한 간격'으로 나누는 구조적 이분법 정리(Structural dichotomy theorem)를 정의한다.
• 이진 프로파일에서 유도된 서술자 트리를 따라 탐색함으로써 비적응형 쿼리를 사용해 길이 $k$의 단조 증가 부분수열을 식별하는 재귀적 알고리즘을 구축한다.
• 요아의 최소최대 원리(Yao’s minimax principle)를 통해, 적절히 구성된 함수의 분포에서 무작위 쿼리 집합이 단조 증가 복사본을 포착할 확률을 분석함으로써 일치하는 하한을 증명한다.
• 최대 매칭 값 $M(x,y)$의 유일성을 활용하여, $x<y<z$인 삼중조 $M(x,y)=M(y,z)$가 존재하지 않도록 보장함으로써, 부분 구조에서의 잘못된 단조성 방지.
• 각 생성된 함수 $f_{i_1,\dots,i_h}$가 정확히 $n/k$개의 서로소인 $(12\dots k)$-복사본을 포함함을 증명하여 $(12\dots k)$-free 함수에서 $\varepsilon$-떨어져 있음을 보장한다.

실험 결과

연구 질문

• RQ1 함수 $f:[n] \to \mathbb{R}$가 $(12\dots k)$-free에서 $\varepsilon$-떨어져 있을 때 길이 $k$의 단조 증가 부분수열을 찾는 데 필요한 비적응형 쿼리 복잡도의 최적값은 무엇인가?
• RQ2 Newman 등(2017)의 $O((\log n)^{k^2})$ 상한을 초월하여, 한쪽 오류를 가진 비적응형 알고리즘의 쿼리 복잡도를 향상시킬 수 있는가?
• RQ3 쿼리 복잡도에서 $n$에 대한 의존성이 최적인지 확인할 수 있으며, 만약 그렇다면 정확한 점근적 형태는 무엇인가?
• RQ4 계층적 이진 프로파일과 트리 서술자를 사용해 단조 증가 부분수열의 구조를 어떻게 특성화할 수 있는가?
• RQ5 상수 성공 확률을 보장하기 위해 $\varepsilon$-떨어져 있다는 조건 하에 최소 몇 개의 쿼리가 필요한가?

주요 결과

• 함수 $f$가 $(12\dots k)$-free에서 $\varepsilon$-떨어져 있을 때 길이 $k$의 단조 증가 부분수열을 찾는 데 있어 비적응형 쿼리 복잡도는 $\Theta\left((\log n)^{\lfloor \log_2 k \rfloor}\right)$이며, 이는 최적이다.
• 상한은 $O\left((\log n)^{\lfloor \log_2 k \rfloor} \cdot \mathrm{poly}(1/\varepsilon)\right)$ 쿼리를 수행하는 비적응형 알고리즘을 통해 달성된다.
• 하한은 상한과 정확히 일치하여, 고정된 $k$에 대해 $n$에 대한 의존성에서 더 나은 성능을 내는 비적응형 알고리즘이 존재하지 않음을 증명한다.
• 어려운 예제 분포에 속한 각 함수 $f_{i_1,\dots,i_h}$는 정확히 $n/k$개의 서로소인 $(12\dots k)$-복사본을 포함하며, 이는 $\varepsilon = 1/k$일 때 $(12\dots k)$-free 함수에서 $\varepsilon$-떨어져 있음을 보장한다.
• 이진 프로파일과 트리 서술자를 통한 구조적 특성화는 계층적 분해를 통해 단조 증가 부분수열를 고립하는 재귀적 구성 가능성을 제공한다.
• 모든 증가 부분수열이 길이 $k$인 경우에 대해 유일한 최대 매칭 위치를 가짐을 보여주는 새로운 귀납적 추론에 기반하여, 겹치거나 잘못된 복사본이 발생하지 않음을 보장한다.