폴리로그 공간 압축 푸시다운 압축 LZ 압축의 비교 불가능성

초록

본 논문은 XML 문서 압축에 적합한 스택 기반 압축기와 데이터 스트림 모델의 폴리로그 공간 압축기를 정의하고, 이들와 전통적인 Lempel‑Ziv(LZ78) 알고리즘의 압축 효율을 무한 문자열에 대한 점근적 압축 비율 관점에서 비교한다. 세 압축 방식은 서로를 완전히 대체할 수 없으며, 각각이 다른 방식에 비해 최적의 압축을 달성하는 경우와 전혀 압축하지 못하는 경우를 구체적인 구성 예시를 통해 증명한다.

상세 분석

논문은 먼저 정보 손실이 없는 푸시다운 압축기(ILPDC)를 가장 일반적인 형태로 정의한다. 여기서는 스택 알파벳 Γ와 입력 알파벳 Σ, 그리고 λ‑규칙(입력을 읽지 않고 스택을 조작하는 전이)과 끝표시자($)의 사용을 허용한다. λ‑규칙의 최대 사용 횟수를 상수 c 로 제한함으로써 결정론성을 유지하면서도 충분히 강력한 스택 연산을 가능하게 한다. 또한, 압축기의 역변환 가능성을 보장하기 위해 인버터블 푸시다운 압축기(invPD)를 정의하고, 이는 압축 결과와 최종 상태만으로 원본 문자열을 복원할 수 있는 전용 PD 트랜스듀서를 요구한다.

다음으로 폴리로그 공간 압축기(plogon)를 데이터 스트림 모델에 맞추어 설계한다. 플로그론 트랜스듀서는 입력을 한 번만 순차적으로 읽으며, 사용 메모리는 입력 길이의 로그에 상수 배수만큼 제한된다. 이러한 제약은 실제 스트리밍 환경에서 메모리 사용량을 최소화하면서도 압축을 수행할 수 있게 한다.

LZ78 알고리즘은 기존 연구에서 유한 상태 압축기보다 항상 우수함이 증명되었지만, 본 논문은 무한 문자열에 대한 최악·최선 경우 압축 비율을 비교함으로써 LZ78 역시 푸시다운 및 플로그론 압축기와는 비교 불가능함을 보인다. 구체적으로, 저자들은 세 쌍의 무한 문자열을 구성한다. (1) 플로그론 압축기만이 최적 압축을 달성하고 푸시다운과 LZ78이 거의 압축하지 못하는 경우, (2) 푸시다운 압축기만이 최적이며 플로그론과 LZ78은 압축 불가능한 경우, (3) LZ78만이 최적이고 다른 두 방식은 압축 효율이 0에 수렴하는 경우이다. 각 구성은 Kolmogorov 복잡도와 스택 동작 특성을 이용해 정교하게 설계되었으며, 특히 λ‑규칙이 없는 푸시다운 압축기의 경우 반복 패턴을 활용하지 못해 LZ78에 비해 열등함을 보인다. 반대로, 플로그론 압축기는 입력을 한 번만 읽어야 하므로 장기적인 패턴을 기억할 메모리가 부족해 푸시다운이 제공하는 스택 기반 구조를 활용한 압축에 뒤처진다.

결과적으로, 세 압축 모델은 각각 고유한 계산 자원(스택 깊이, 메모리 로그, 사전 사전 구축)과 정보 손실 방지 조건을 가지고 있어, 어느 하나가 다른 두 모델을 일반적인 입력에 대해 지배하지 못한다는 ‘비교 불가능성(incomparability)’을 엄격히 증명한다. 이는 XML과 같은 구조적 데이터 압축에 스택 기반 접근이 여전히 유효함을 이론적으로 뒷받침하고, 스트리밍 환경에서는 플로그론 모델이 별도의 장점을 제공함을 시사한다.