Kolmogorov 복잡도 게임 해석

본 논문은 Kolmogorov 복잡도 K를 임의의 오라클 A에 상대화한 K⁽ᴬ⁾에 대해, “자연스러운” 성질이 충분히 강력한 오라클 위에서는 모두 동일하게 참이 되거나 모두 거짓이 된다는 일반 정리를 제시한다. 이를 위해 저자들은 먼저 함수 집합 F = ℕ^{ {0,1}* } 위에 정의된 성질 α가 O(1)-안정적이라는 개념을 도입한다. 즉, 두 함수 f₁, f₂가 모든 입력에 대해 상수 차이만큼 차이나면 α에 대한 포함 관계가 동일해야 한다는 조건이다. 이 정의는 Kolmogorov 복잡도 K⁽ᴬ⁾가 O(1) 오차를 허용해 정의되기 때문에, α(K⁽ᴬ⁾)가 오라클 A에 대해 잘 정의됨을 보장한다. 다음으로 저자들은 무한 완전 정보 게임을 설계한다. 두 플레이어 Alice와 Bob은 각각 압축기 A와 B의 그래프를 차례로 열거한다. 한 번 열거된 (프로그램, 출력) 쌍은 삭제할 수 없으며, 각 턴마다 유한 개의 새로운 쌍을 추가할 수 있다. 게임이 끝났을 때 각 압축기에서 정의된 복잡도 K_A, K_B를 이용해 K(x)=min{K_A(x),K_B(x)}를 정의한다. 만약 K가 α를 만족하면 Alice가 승리하고, 그렇지 않으면 Bob이 승리한다. 이 게임의 승리 조건은 Borel 집합에 속한다. 따라서 마틴의 Borel 결정성 정리에 의해 반드시 한쪽이 승리 전략을 가진다. 여기서 중요한 점은 승리 전략이 computable(또는 A‑computable)일 경우, 해당 전략을 “기본” 압축기(예: 최적 압축기 B)와 대결시켜 K가 표준 복잡도 C와 O(1) 차이 내에서 동일하게 만든다는 것이다. 구체적으로, Alice가 computable 승리 전략을 가지고 있다면, Bob이 최적 압축기 B를 열거하도록 두어 K_B=C가 된다. 그러면 K=K_B+O(1)=C+O(1)이며, α가 O(1)-안정하므로 C도 α를 만족한다. 반대로 Bob이 computable 승리 전략을 가질 경우, α는 C에 대해 거짓이 된다. 이 논리를 오라클 A에 상대화하면, 충분히 강력한 오라클(즉, 전략을 계산할 수 있는 Turing 위계의 상위에 있는 오라클)에서는 α(K⁽ᴬ⁾)가 전역적으로 참이거나 거짓이 된다. 따라서 “자연스러운” Borel 성질은 오라클에 따라 달라지지 않으며, 충분히 강한 오라클 위에서는 고정된 값을 가진다. 논문은 이 일반 정리를 다양한 구체적 상황에 적용한다. 1. **전체 프로그램을 요구하는 조건부 복잡도** 일반적인 조건부 복잡도 C(x|y)는 짧은 프로그램이 존재하면 O(log n) 수준으로 낮아질 수 있다. 그러나 프로그램이 전체 함수여야 한다면, 동일한 x, y에 대해 복잡도가 거의 n에 달한다는 차이를 보인다. 이를 위해 게임에서 Alice는 새로운 매핑 f(y)=x를 계속 추가하고, Bob은 복잡도 < n인 전체 함수를 열거한다. Alice는 Bob이 열거할 수 있는 함수 수가 2ⁿ‑1 이하임을 이용해 항상 새로운 y를 찾아 f를 정의함으로써 승리한다. 결과적으로 C_total(x|y)와 C(x|y) 사이에 큰 격차가 존재함을 증명한다. 2. **난수 추출에 대한 한계** 길이 n²인 문자열 x가 복잡도 ≥ n을 가질 때, O(log n) 이하의 부가 정보만으로 길이 n의 무작위 문자열 y를 얻을 수 없다는 명제를 제시한다. 게임에서는 좌측 집합 L(길이 n)과 우측 집합 R(길이 n²)를 두고, Bob이 각 r∈R에 대해 ≤√n개의 이웃을 만들도록 제한한다. Alice는 “단순” L 원소를 표시하면서, 충분히 많은 R 원소가 모두 표시된 이웃만을 갖도록 만든다. 이렇게 하면 조건 C(y|x)<0.5 log n을 만족하는 y는 존재하지 않으며, 복잡도가 n에 가까운 y만이 존재한다는 것을 보인다. 3. **전단사 복잡도** 두 문자열 x, y 사이에 전단사 함수를 구현하는 프로그램의 길이를 조사한다. 전단사 함수는 양방향으로 역전 가능하므로 최소 길이는 max{C(x|y), C(y|x)}‑O(1)이다. 저자들은 게임을 통해, 양쪽에서 m개의 총함수 f_i, g_j를 제공받을 때, m개의 전단사 함수만으로도 모든 가능한 매핑을 커버할 수 있음을 보인다. 이는 이분 그래프에서 각 정점의 차수가 ≤ m인 경우 Hall의 매칭 정리를 적용해 m개의 완전 매칭(전단사)으로 분해할 수 있다는 사실에 기반한다. 마지막으로 논문은 이 게임 기반 접근법이 Kolmogorov 복잡도 이론 전반에 걸쳐 유용한 증명 도구가 될 수 있음을 강조한다. 마틴의 결정성 정리를 직접 활용함으로써, 복잡도 함수의 성질을 오라클 상대화와 연결하고, 다양한 복잡도 관련 문제에 직관적인 게임 전략을 제시한다.