무한 문자 비용을 위한 효율적인 전위 부호 알고리즘

초록

본 논문은 문자 비용이 서로 다른 경우의 전위 부호 문제를 다루며, 특히 비용이 무한히 커질 수 있는 알파벳에 대해 새로운 알고리즘을 제시한다. 기존 알고리즘이 가장 큰 문자 비용에 비례하는 가산 오차를 갖는 반면, 제안된 방법은 유한 알파벳에서는 기존보다 더 작은 가산 오차를 보이고, 무한 알파벳에서도 dₖ(특정 비용 구간에 존재하는 문자 수)가 유계인 경우 유한한 가산 오차를 제공한다. 또한, dₖ가 무한하지만 ∑(cₖ²‑c·cₖ)⁻¹ 가 수렴하면 임의의 ε>0에 대해 (1+ε)·H/c 형태의 근사 보장을 얻는다.

상세 분석

이 논문은 불균등 문자 비용을 갖는 전위 부호(prefix‑free coding) 문제의 근본적인 한계를 재조명한다. 기존 연구는 모두 알파벳 크기 t가 유한하고, 가장 큰 문자 비용 cₜ이 가산 오차 f(C)의 주요 지표가 되었다는 점에 의존했다. 그러나 실제 응용에서는 전송 지연, 저장 비용 등으로 인해 비용이 무한히 증가하는 경우가 존재한다(예: 1‑ended 코드, 무한 길이의 러닝‑리미트 제약). 저자들은 이러한 상황을 수학적으로 모델링하기 위해 문자 비용 벡터 C=(c₁,c₂,…)에 대해 특성 방정식 1=∑₂⁻ᶜ·cᵢ의 양의 실근 c를 정의하고, 이를 이용해 엔트로피 하한 H(p)/c 와 실제 코드 비용 C(T) 사이의 차이를 정규화된 레드던시 NR(T)=c·C(T)−H(p) 로 표현한다.

핵심 기여는 세 가지 정리와 하나의 보조 정리이다.

1. 정리 2·3은 유한 알파벳에 대해 기존 Mehlhorn, Cot, Cot·Krause 등에서 제시한 f(C)=O(cₜ) 형태의 가산 오차를 대체할, 문자 비용 분포에 따라 훨씬 작은 f(C)를 도출한다. 구체적으로, 문자 비용이 비등비(예: cᵢ=i)인 경우 f(C)≤1+3·log 3 정도로 제한된다.
2. 보조 정리 9는 무한 알파벳이지만 각 비용 구간