시간 제한 압축 불가능성: 압축 가능한 문자열과 무한열의 새로운 통찰

초록

본 논문은 모든 총재귀 시간 제한 t에 대해, 낮은 Kolmogorov 복잡도를 가진 문자열 중 일정 비율이 t‑제한된 Kolmogorov 복잡도에서는 거의 최대 길이만큼 압축되지 못함을 보인다. 또한, 초기 구간은 log n 이하로 압축 가능하지만 t‑제한 하에서는 ¼ n 이상의 복잡도를 유지하는 무한히 많은(2^ℵ₀) 이진열과, 그 중 가산개의 재귀열을 구성한다. 결과는 Barzdins 보조정리와 차별화된 증명 기법을 제시한다.

상세 분석

논문은 먼저 Kolmogorov 복잡도 C(x|y)와 시간 제한 버전 C_t(x|y)를 명확히 정의하고, 총재귀 함수 t에 대해 “압축 가능한 문자열”을 C(x|n) ≤ k₀·log n 로, “시간 제한 압축 불가능한 문자열”을 C_t(x|n) ≥ n − k₁ 로 구분한다. Lemma 2에서는 대각화 알고리즘 A를 이용해, 길이 n인 문자열 중 C(x|n) ≤ k₀·log n 를 만족하는 집합의 크기와 비교했을 때, C_t(x|n) ≥ n − k₁ 를 만족하는 문자열이 적어도 n^{k₀/(2c)} 개 존재함을 보인다. 여기서 c는 알고리즘 A의 구현에 필요한 상수이며, 이를 통해 “압축 가능한 문자열의 일정 비율이 시간 제한 하에서는 거의 완전 압축 불가능”함을 증명한다. Corollary 1·2는 Lemma 2를 일반화하여, 임의의 함수 f(n), g(n) (예: f(n)=O(log n), g(n)=Ω(n))에 대해 동일한 비율 결과가 성립함을 보여준다.

다음으로 Lemma 3은 t(n) ≥ c·n (c>1)인 경우, C_t(x|n) ≤ k₀·log n 를 만족하는 문자열 집합이 C(x|n) ≤ k₀·log n 를 만족하는 전체 집합의 일정 비율을 차지함을 증명한다. 여기서는 단순히 문자열을 0^{n−|m|}·(m+1) 형태로 출력하는 알고리즘 B를 사용해, 시간 O(n) 안에 원하는 복잡도 한계를 달성한다.

Lemma 4는 무작위 선택을 도입해, 제한된 수의 무작위 비트만으로도 C_t(x|n) ≥ n − k₁ 를 만족하는 문자열을 높은 확률로 얻을 수 있음을 보여준다. 이는 실제 알고리즘적 난수 생성기 설계에 의미가 있다.

무한열에 대한 결과는 Lemma 5에서 가장 두드러진다. 저자는 g(n)=½ n − log n 로 정의하고, 길이 m_i = c·2^i (c≥2)인 구간을 단계별로 구성한다. 각 단계에서 금지된 접두어 집합 B(i)를 시간 제한 프로그램으로 열거하고, 남은 접두어를 이용해 두 갈래 선택을 반복함으로써 이진 트리를 만든다. 이 과정에서 C(ω₁…ω_{m_i}|m_i) ≤ log m_i 를 유지하면서도, 모든 n∈