[논문 리뷰] Sketching, Streaming, and Fine-Grained Complexity of (Weighted) LCS

Karl Bringmann, Bhaskar Ray Chaudhury|arXiv (Cornell University)|2018. 10. 02.

Algorithms and Data Compression참고 문헌 14인용 수 4

한 줄 요약

이 논문은 고정 크기 알파벳에 대해 최장 공통 부분수열(LCS) 문제에 대한 결정론적 스케치링 및 스트리밍 알고리즘을 제시하며, $\mathcal{O}(L^{|Σ|-1}\log L)$ 비트의 최적 공간 복잡도를 달성한다. 강력한 지수 시간 가설(SETH) 하에서 날카로운 하한을 증명하여, 가중치가 부여된 LCS 변종의 알고리즘 실행 시간 $\mathcal{O}(\min\{nm, n + m^{|Σ|}\})$이 하위항 수준에서 최적임을 보여준다.

ABSTRACT

We study sketching and streaming algorithms for the Longest Common Subsequence problem (LCS) on strings of small alphabet size $|Σ|$. For the problem of deciding whether the LCS of strings $x,y$ has length at least $L$, we obtain a sketch size and streaming space usage of $\mathcal{O}(L^{|Σ| - 1} \log L)$. We also prove matching unconditional lower bounds. As an application, we study a variant of LCS where each alphabet symbol is equipped with a weight that is given as input, and the task is to compute a common subsequence of maximum total weight. Using our sketching algorithm, we obtain an $\mathcal{O}( extrm{min}\{nm, n + m^{\lvert Σ vert}\})$-time algorithm for this problem, on strings $x,y$ of length $n,m$, with $n \ge m$. We prove optimality of this running time up to lower order factors, assuming the Strong Exponential Time Hypothesis.

연구 동기 및 목표

• 고정 크기 알파벳 $\Sigma$에 대해 문자열의 LCS에 대한 효율적인 스케치링 및 스트리밍 알고리즘을 설계한다.
• 이전 연구에서 큰 알파벳을 가정했지만, 작은 알파벳에 대해 공간과 시간 제약 조건 하에서 LCS 복잡도 이해의 격차를 메운다.
• 길이가 $L$ 이하인 모든 공통 부분수열을 포괄하는 스케치 체계를 개발하여 효율적인 결정 및 스트리밍 계산을 가능하게 한다.
• 강력한 지수 시간 가설(SETH) 하에서 제안된 알고리즘의 시간 및 공간 복잡도 최적성 증명.
• SETH 하에서 가중치가 부여된 LCS 문제에 대해 날카로운 하한을 확립하기 위해 직교 벡터 문제(OV)로의 감소를 수행한다.

제안 방법

• 길이 $\leq L$인 모든 공통 부분수열을 유지하는 $x$의 부분수열 $C_L(x)$를 구성하며, 이는 최대 길이 $L$인 $\mathcal{O}(L^{|Σ|-1})$개의 런으로 이루어진다.
• 한 번의 스트리밍 패ass를 통해 $C_L(x)$를 $\mathcal{O}(L^{|Σ|-1}\log L)$ 공간과 기호당 $\mathcal{O}(1)$ 시간에 계산한다.
• 각 런을 $\mathcal{O}(\log L)$ 비트로 인코딩하여 총 스케치 크기를 $\mathcal{O}(L^{|Σ|-1}\log L)$ 비트로 유지한다.
• 직교 벡터(OV) 문제를 가중치가 부여된 LCS 문제로 감소시키기 위해, $\text{WLCS}(x,y) \geq \tau$이면 직교 쌍이 존재하도록 문자열 $x$와 $y$를 구성한다.
• 비율 $n/m$을 제어하기 위해 매개변수 $\alpha$를 사용하고, $n = m^{\alpha \pm o(1)}$인 문자열을 구성하여 날카로운 난이도 하한을 달성한다.
• SETH 하에서 가중치가 부여된 LCS 문제를 해결하는 데 시간 $(nm)^{1-o(1)}$이 필요하며, 이는 알고리즘의 실행 시간과 하위항 수준에서 일치한다.

실험 결과

연구 질문

• RQ1 고정 크기 알파벳에 대해 LCS에 대한 스케치링 또는 스트리밍 알고리즘을 설계할 수 있는가? 이 알고리즘이 부분선형 공간 복잡도를 달성할 수 있는가?
• RQ2 작은 알파벳 조건 하에서 LCS 결정 문제에 대해 스케치 크기 $\mathcal{O}(L^{|Σ|-1}\log L)$가 상수 인자 수준에서 최적인가?
• RQ3 작은 알파벳에 대해 가중치가 부여된 LCS 문제에 대해 최적의 $\mathcal{O}(\min\{nm, n + m^{|Σ|}\})$-시간 알고리즘을 달성할 수 있는가?
• RQ4 강력한 지수 시간 가설(SETH)은 작은 알파벳에 대해 가중치가 부여된 LCS에 대해 더 빠른 알고리즘이 존재하지 않음을 암시하는가?
• RQ5 SETH 하에서 시간 복잡도를 유지하면서 직교 벡터 문제를 가중치가 부여된 LCS 문제로 감소시킬 수 있는가?

주요 결과

• 제안된 스케치링 알고리즘은 $\mathcal{O}(L^{|Σ|-1}\log L)$ 비트의 스케치 크기를 달성하며, 이는 상수 인자 수준에서 최적이다.
• 스트리밍 알고리즘은 $\mathcal{O}(L^{|Σ|-1}\log L)$ 공간을 사용하며 기호당 $\mathcal{O}(1)$ 시간에 처리하고, 총 복호화 시간은 $\mathcal{O}(L^{2|Σ|})$이다.
• 길이 $n, m$인 문자열에 대해 $n \geq m$ 조건 하에서 가중치가 부여된 LCS 문제에 대해 $\mathcal{O}(\min\{nm, n + m^{|Σ|}\})$-시간 알고리즘을 확보한다.
• 이 알고리즘의 실행 시간은 강력한 지수 시간 가설(SETH) 하에서 하위항 수준에서 최적이다.
• 논문은 SETH 하에서 가중치가 부여된 LCS 문제를 해결하는 데 시간 $(nm)^{1-o(1)}$이 필요하다고 증명하며, 모든 $\alpha < \sigma$에 대해 날카로운 난이도를 확립한다.
• 문자열 $x$와 $y$의 구성은 $n = m^{\alpha \pm o(1)}$ 및 $|\Sigma| = \sigma$를 보장하여 OV에서 가중치가 부여된 LCS로의 날카로운 감소를 가능하게 한다.