스트리밍 알고리즘으로 거의 올바른 괄호 문자열 인식

초록

본 논문은 제한된 메모리 환경인 스트리밍 모델에서, 소수의 오류가 허용된 1‑turn‑Dyck2와 Dyck2 문자열의 멤버십 문제를 해결하는 알고리즘을 제시한다. 오류 허용 범위 k에 따라 O(k log n) 혹은 O(k^{1+ε}+log n) 공간을 사용하며, 오류 확률을 1/poly(n) 수준으로 낮춘다. 또한, k / n 이하의 오류를 허용하는 경우 Ω(k log (n/k))의 공간 하한을 증명한다.

상세 분석

논문은 먼저 1‑turn‑Dyck2(한 번만 전환되는 이중 괄호 언어)와 Hamming Distance 문제 사이의 구조적 동등성을 이용한다. 1‑turn‑Dyck2 문자열을 길이 n의 이진 문자열로 매핑하면, 두 문자열 사이의 Hamming 거리와 오류‑수 k가 정확히 대응한다는 사실을 이용해, 기존의 k‑거리 검증 스트리밍 알고리즘을 그대로 적용할 수 있음을 보였다. 이를 기반으로 두 가지 무작위화 전략을 설계한다. 첫 번째는 O(k log n) 공간과 O(k log n) 난수 사용으로, 각 입력 심볼을 처리할 때마다 작은 해시값을 업데이트하며, 전체 오류 위치를 추정한다. 이 방법은 오류 확률을 1/poly(n) 이하로 억제하면서, 각 심볼당 poly(k log n) 시간 복잡도를 유지한다. 두 번째 전략은 공간을 k^{1+ε}+log n 로 줄이면서 난수 사용을 O(log n) 로 제한한다. 여기서는 ε‑wise 독립성 해시와 샘플링 기반 검증을 결합해, 오류가 k 이하인 경우에만 높은 확률로 수용하고, k+2 이상인 경우에는 거부한다. 하한 증명에서는, 임의의 한 번 통과 알고리즘이 k‑거리와 k+2‑거리 입력을 구분하려면, 적어도 Ω(k log (n/k)) 비트의 메모리가 필요함을 정보 이론적 인수와 통신 복잡도 하한을 통해 보여준다. Dyck2(일반 이중 괄호 언어)의 경우, 오류를 제한된 방식(예: 같은 종류의 괄호 교환)으로 허용하면서, 기존의 O(√(n log n)) 공간 알고리즘에 k log n 추가 비용을 더해 O(k log n+√(n log n)) 공간을 달성한다. 이때, 스택 기반 파싱을 스트리밍 형태로 구현하고, 오류 위치를 추적하기 위해 부분합과 해시를 동시에 유지한다. 전체적으로, 논문은 오류 허용 스트리밍 파싱 문제에 대한 상·하한을 명확히 제시하고, 실용적인 매개변수 선택에 따라 다양한 트레이드오프를 제공한다.