스택 기반 압축의 새로운 패러다임 푸시다운 압축기와 LZ78 비교

초록

본 논문은 XML 문서 압축에 적합한 정보 손실 없는 스택(푸시다운) 압축기를 모델링하고, 이를 기존의 LZ78 알고리즘과 이론적으로 비교한다. 푸시다운 트랜스듀서를 이용해 가장 일반적인 스택 연산을 허용하면서도 단일 주입 함수를 계산하도록 정의했으며, LZ78이 푸시다운 압축기와는 상호 비교 불가능(incomparable)함을 증명한다.

상세 분석

논문은 먼저 XML과 같은 계층적 데이터 구조가 스택 연산을 자연스럽게 활용할 수 있음을 지적하고, 기존 연구에서 제시된 제한적인 스택 기반 압축 모델들의 한계를 비판한다. 이를 극복하기 위해 저자들은 “푸시다운 압축기(pushdown compressor)”라는 새로운 모델을 제안한다. 이 모델은 푸시다운 트랜스듀서(pushdown transducer)를 기반으로 하며, 입력 문자열을 읽으면서 스택을 자유롭게 push·pop 할 수 있고, 출력은 입력과 일대일 대응하는 주입 함수(injective function)이어야 한다는 두 가지 핵심 제약을 둔다. 주입성은 압축 과정에서 정보 손실이 없음을 보장하며, 스택의 무제한 깊이와 상태 전이의 비결정성을 허용함으로써 기존의 유한 상태 압축기보다 훨씬 풍부한 표현력을 제공한다.

다음으로 논문은 LZ78 알고리즘을 기준점으로 삼아 푸시다운 압축기의 압축 효율을 이론적으로 평가한다. LZ78은 사전(dictionary) 기반의 무손실 압축 방식으로, 모든 무한 문자열에 대해 유한 상태 압축기보다 우수한 압축 비율을 보이는 것으로 알려져 있다. 저자들은 “압축 비율(compression ratio)”을 무한 시퀀스의 상한(limit superior)으로 정의하고, 두 모델 사이의 관계를 비가역적(incomparability)으로 증명한다. 구체적으로, 어떤 무한 문자열에 대해서는 푸시다운 압축기가 LZ78보다 현저히 낮은 압축 비율을 달성하지만, 반대로 다른 문자열에 대해서는 LZ78이 푸시다운 압축기보다 더 나은 비율을 보인다. 이를 위해 각각의 모델이 최적화될 수 있는 특수한 언어(예: 중첩된 괄호 구조, 반복적인 패턴)와 그 반대 경우를 구성하고, 복잡도 이론과 정보 이론적 도구(예: Kolmogorov 복잡도, 마틴 갈락스 테스트)를 활용해 엄격한 수학적 증명을 제공한다.

이러한 결과는 스택 연산이 XML과 같은 트리 구조 데이터에 유리할 수 있지만, 일반적인 문자열 압축에서는 LZ78과 같은 사전 기반 방법이 여전히 경쟁력이 있음을 시사한다. 또한, 푸시다운 압축기의 모델링이 매우 일반적이기 때문에, 실제 구현 시 스택 관리 비용, 메모리 제한, 실시간 처리 요구사항 등을 고려해야 함을 강조한다. 논문은 마지막으로 푸시다운 압축기를 활용한 새로운 XML 압축 프레임워크의 가능성을 제시하면서, 현재의 이론적 한계와 향후 연구 방향을 제시한다.