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

본 논문은 Kolmogorov 복잡도와 그 시간 제한 버전 C_t에 대한 새로운 구조적 결과들을 제시한다. 서론에서는 Kolmogorov 복잡도 C(x|y)의 정의와, 시간 제한 복잡도 C_t(x|y) = 최소 프로그램 길이 중 실행 시간이 t(|x|) 이내인 경우를 소개한다. 이어서 Barzdins(1968)의 보조정리를 회고하며, 그 결과가 “특정 r.e. 집합의 특성열”에 대해 C(χ₁…χ_n|n) ≤ log n 이면서 C_t(χ₁…χ_n|n) ≥ c_t·n (c_t∈(0,1)) 를 보인 반면, 본 연구는 보다 일반적인 문자열과 무한열에 대해 유사하지만 더 강력한 형태의 결과를 도출한다는 점을 강조한다. **1. 유한 문자열에 대한 비율 결과** Lemma 2는 임의의 총재귀 함수 t와 상수 k₀, k₁에 대해, 길이 n인 문자열 중 C(x|n) ≤ k₀·log n 를 만족하는 집합 A_n 에서, C_t(x|n) ≥ n − k₁ 를 만족하는 원소가 적어도 |A_n|·c_t (c_t>0) 만큼 존재함을 보인다. 증명은 알고리즘 A를 이용한 대각화 방식으로, 길이 < n−k₁ 인 프로그램들을 모두 열거하고, 그 출력 집합 B를 제외한 나머지 문자열을 사전식으로 선택한다. 이때 |B| ≤ 2^{n−k₁} 이므로, 충분히 큰 n에 대해 A_n \ B 가 비어 있지 않으며, 선택된 문자열은 시간 제한 복잡도가 n−k₁ 이상임을 보장한다. Corollary 1·2는 이 결과를 f(n), g(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는 무작위 비트를 활용한 확률적 방법을 제시한다. O(ab·log n) 개의 무작위 비트를 사용해 O(ab) 개의 후보 문자열을 만든 뒤, Chernoff 경계에 의해 최소 하나가 C_t(x|n) ≥ n−k₁ 를 만족할 확률이 1−2^{-b} 이상임을 보인다. 이는 실제 알고리즘 설계 시 제한된 난수 자원만으로도 높은 시간 제한 복잡도를 확보할 수 있음을 시사한다. **2. 무한열에 대한 존재론적 결과** Lemma 5는 두 부분으로 구성된다. (i) g(n)=½ n−log n 로 정의하고, m_i = c·2^i (c≥2) 로 증가하는 구간을 설정한다. 각 단계 i에서 금지된 접두어 집합 B(i)를 시간 제한 프로그램으로 열거하고, 남은 접두어를 이용해 두 갈래 선택을 반복한다. 이 과정을 통해 C_i 집합을 구성하고, C_i ⊇ C_{i−1}{0,1}* 를 만족하도록 만든다. 각 단계에서 |C_i| = 2^{i+1} 가 되므로, 무한히 많은 경로가 존재한다. 경로 하나를 선택하면 무한열 ω가 정의되며, 이 ω는 모든 n에 대해 C(ω₁…ω_n|n) ≤ log n 를 만족한다. 동시에, B(i) 로 인해 각 구간