정수의 집합론적 표현과 콜모고로프 복잡도 계층

논문은 서론에서 콜모고로프 복잡도 K가 프로그램 길이에만 의존하고, 정수의 표현 방식(진법, 단항 등)에 대해서는 상수 차이만 존재한다는 전통적 결과를 소개한다. 그러나 정수 자체를 다양한 집합론적 의미(함수 반복, 집합의 기수, 동치 관계의 지수)로 바라볼 경우, 이러한 의미 차이가 복잡도 수준에 영향을 미칠 수 있음을 제기한다. 이를 위해 제2장에서는 “셀프‑열거 시스템(self‑enumerated representation system)”이라는 추상적 구조를 정의한다. (D, F)쌍으로, D는 목표 집합, F는 2*→D의 부분함수들의 집합이며, (i) 모든 원소가 F의 어떤 함수값으로 나타나고, (ii) 총함수 ϕ에 대해 F∘ϕ⊆F, (iii) 보편 함수 U와 컴파일러 compU가 존재해 F를 효과적으로 열거한다. 이 정의는 전통적인 K의 불변성 정리를 일반화한 “불변성 정리”를 성립시키며, 각 시스템마다 최소 복잡도 K_D^F가 정의된다. 제3장에서는 셀프‑열거 시스템에 대한 연산을 소개한다. 합성 보조정리(compose lemma)와 시스템 곱(product) 연산을 통해 새로운 시스템을 구성하고, Δ 연산을 통해 N‑시스템을 Z‑시스템으로 변환하는 방법을 제시한다. 이때 Δ 연산은 출력값을 차이(x−y) 형태로 바꾸어 정수의 부호를 다루게 한다. 제4장에서는 N‑시스템과 Z‑시스템 사이의 변환을 구체화한다. Δ 연산을 적용해 N‑시스템을 Z‑시스템으로 바꾸는 과정과, Z‑시스템을 다시 N‑시스템으로 복원하는 방법을 설명한다. 이를 통해 부호가 있는 정수와 없는 정수 사이의 복잡도 차이를 분석한다. 제5장에서는 재귀적으로 열거 가능한 집합(RE(N))에 대한 셀프‑열거 시스템을 구축한다. 여기서는 “허용 가능한 열거(acceptable enumeration)” 개념을 도입해, 모든 r.e. 집합을 효과적으로 코딩하는 시스템을 만든다. 제6장에서는 무한 계산과 점프 오라클을 이용한 확장된 콜모고로프 복잡도(K_max, K_{∅′}, K_{∅′′})를 재정의한다. 특히 max‑함수와 ∅′‑max 복잡도 등을 정의하고, 이들이 기존의 K와 어떻게 계층을 이루는지 설명한다. 또한 ∆ 연산이 이러한 무한 계산 시스템에 미치는 영향을 분석한다. 제7장에서는 “추상적 표현(abstract representation)”과 그 효과화(effectivization)를 논한다. 여기서는 교회 반복자, 카드, 인덱스와 같은 전통적 수학적 정의를 프로그램이 실제로 계산할 수 있는 형태로 변환한다. 효과화된 시스템은 셀프‑열거 시스템의 한 예가 된다. 제8장에서는 카드(cardinality) 표현을 다룬다. 기본 카드 표현은 유한 집합의 원소 개수를 세는 것이며, 이를 효과화해 K_N^card, K_Z^Δcard 등 복잡도 함수를 정의한다. 또한 이 시스템들의 보편 함수의 구문 복잡도와 ∆ 연산 후의 시스템을 특성화한다. 제9장에서는 인덱스(index) 표현을 다룬다. 동치 관계의 클래스 수를 정수로 매기는 방법을 효과화해 K_N^index, K_Z^Δindex 등을 정의하고, 이들의 복잡도 계층을 분석한다. 특히 ∆ 연산이 인덱스 시스템에 미치는 복잡도 상승 효과를 상세히 증명한다. 제10장에서는 함수적(functional) 표현, 특히 교회(Church) 반복자를 중심으로 논한다. 여기서는 (N→N)→N 형태의 고차 함수인 Church를 이용해 정수를 코딩하고, 이를 효과화해 K_N^Church, K_Z^Church, K_Z^ΔChurch 등을 만든다. 또한 연속 함수와 효과적인 연산자를 이용해 이러한 시스템을 구현하고, 그 구문 복잡도를 평가한다. 마지막으로 교회 반복자를 Z‑시스템에 적용한 결과가 다른 표현들과 달리 복잡도 상승이 없음을 보여준다. 제11장 결론에서는 주요 결과를 정리한다. 핵심 정리 1.4는 다양한 효과화된 시스템들의 복잡도가 기존의 K, K_max, K_{∅′}, K_{∅′′}와 상수 차이 이내에서 동일함을 보이며, 정리 1.5는 이들 사이의 엄격한 계층을 제시한다. 이는 전통적인 정수 표현이 복잡도에 영향을 주지 않던 것과 달리, 집합론적 의미 자체가 복잡도 차이를 만든다는 중요한 통찰을 제공한다. 또한 셀프‑열거 시스템이 콜모고로프 복잡도 이론을 일반화하는 강력한 프레임워크임을 강조한다.