스트리밍 모델에서 괄호 검증의 공간 복잡도 인덱스 함수 재조명

초록

이 논문은 두 종류의 괄호로 이루어진 문자열이 올바른 괄호 구조인지 판단하는 문제를 스트리밍 모델에서 연구한다. 단방향 T회 통과 무작위 알고리즘은 Ω(√n⁄T) 의 공간을 필요로 함을 증명해 기존의 추측을 해결하고, 양방향 스트림이 공간 효율성에서 지수적으로 우수함을 확인한다. 핵심은 Augmented Index라는 변형 인덱스 함수에 대한 정보 비용 분석이며, 평균 인코딩과 컷‑앤‑페이스트 기법을 활용한다. 또한 양자 프로토콜에 대한 정보 비용 정의와 거래를 제시하지만, 현재는 괄호 검증에 대한 양자 공간 하한을 도출하지 못한다.

상세 분석

논문은 먼저 스트리밍 모델을 두 종류로 구분한다. 단방향 스트림은 입력을 한 번만 순차적으로 읽으며, 여러 번 통과(T‑pass)하더라도 이전에 읽은 데이터를 저장해야 하는 공간이 제한된다. 반면 양방향 스트림은 입력을 앞뒤로 자유롭게 탐색할 수 있어, 동일한 문제를 훨씬 적은 메모리로 해결할 수 있다. 저자들은 이 차이를 정량화하기 위해 ‘잘 괄호가 맞는지’ 판단하는 언어 L = {w ∈ { (, ),