[논문 리뷰] Kolmogorov complexity and the Recursion Theorem

Bjørn Kjos-Hanssen, Wolfgang Merkle외 1명|2009. 01. 26.

Hermeneutics and Narrative Identity인용 수 8

한 줄 요약

이 논문은 콜모고로프 복잡도를 이용하여 재귀 정리의 성립에 실패하는 튜링 도수의 정확한 특성화를 수립한다. 어떤 집합이 대각선적으로 비재귀(DNR) 함수를 계산할 수 있음과 그 초기 세그먼트의 비트리비얼 콜모고로프 복잡도 하한이 존재함(즉, 일반적 또는 오라클에 의존하는 하한)이 서로 동치임을 보이며, 계산적 강도와 알고리즘적 난수성 및 복잡도 이론을 연결한다.

ABSTRACT

Several classes of DNR functions are characterized in terms of Kolmogorov complexity. In particular, a set of natural numbers A can wtt-compute a DNR function iff there is a nontrivial recursive lower bound on the Kolmogorov complexity of the initial segments of A. Furthermore, A can Turing compute a DNR function iff there is a nontrivial A-recursive lower bound on the Kolmogorov complexity of the initial segements of A. A is PA-complete, that is, A can compute a {0,1}-valued DNR function, iff A can compute a function F such that F(n) is a string of length n and maximal C-complexity among the strings of length n. A solves the halting problem iff A can compute a function F such that F(n) is a string of length n and maximal H-complexity among the strings of length n. Further characterizations for these classes are given. The existence of a DNR function in a Turing degree is equivalent to the failure of the Recursion Theorem for this degree; thus the provided results characterize those Turing degrees in terms of Kolmogorov complexity which do no longer permit the usage of the Recursion Theorem.

연구 동기 및 목표

• 재귀 정리의 성립에 실패하는 튜링 도수를 콜모고로프 복잡도를 이용해 특성화하기.
• DNR 함수와 집합의 초기 세그먼트 복잡도에 대한 비트리비얼 하한 사이의 관계를 명확히 하기.
• 각 길이에 대해 최대 콜모고로프 복잡도를 갖는 문자열을 계산하는 데 필요한 계산적 강도를 조사하기.
• 복잡도 하한과 오라클 계산을 통해 고도, PA-완전, 자가복잡도 집합의 특성화를 제공하기.
• 복잡도 및 정의 가능성 제약 조건을 통해 자가복잡도 집합과 재귀적으로 열거 가능한 추적 가능 집합 사이의 이중성 탐색하기.

제안 방법

• 일반 콜모고로프 복잡도 $C(A\upharpoonright n)$에 대한 재귀적 또는 오라클에 의존하는 하한을 통해 복잡도와 자가복잡도 집합의 개념을 도입한다.
• wtt- 및 T-감소를 이용하여 DNR 함수의 존재성과 집합의 초기 세그먼트 복잡도 하한 사이의 관계를 규명한다.
• 복잡도와 재귀 이론적 성질를 연결하기 위해 강력한 대각선적으로 비재귀(SDNR) 함수의 개념을 적용한다.
• 보편 기계와 접두사 자유 복잡도 $H$를 이용하여 최대 복잡도를 갖는 문자열을 계산하는 데의 난이도를 분석한다.
• 최대 복잡도 문자열을 오라클로 계산하는 것과 고도 튜링 도수 또는 PA-완전성 사이의 동치성을 수립한다.
• 추적 가능성과 재귀적 상한 함수를 이용하여 DNR 행동를 피하는 집합을 특성화하며, 이는 낮은 복잡도 및 재귀 이론적 제약 조건과 연결된다.

실험 결과

연구 질문

• RQ1 어떤 튜링 도수가 재귀 정리를 만족하지 못하며, 이 실패는 콜모고로프 복잡도를 통해 어떻게 특성화될 수 있는가?
• RQ2 어떤 집합이 DNR 함수를 계산할 수 있음과 그 초기 세그먼트 복잡도에 대한 비트리비얼 재귀적 또는 오라클에 의존하는 하한의 존재 사이의 정확한 관계는 무엇인가?
• RQ3 각 $n$에 대해 길이 $n$인 최대 접두사 자유 콜모고로프 복잡도를 갖는 문자열을 계산하는 데 얼마나 어려운가, 그리고 이는 정지 문제와 어떻게 관련이 있는가?
• RQ4 초기 세그먼트에 대한 복잡도 하한을 통해 PA-완전 및 고도 튜링 도수에 대해 어떤 특성화를 내릴 수 있는가?
• RQ5 재귀적으로 열거 가능한 추적 가능 집합은 DNR 함수의 부재와 어떻게 관련이 있으며, 어떤 복잡도 이론적 성질을 갖는가?

주요 결과

• 집합 $A$가 wtt로 DNR 함수를 계산할 수 있음과 그 $C(A\upharpoonright n)$에 대한 비트리비얼 재귀적 하한이 존재함이 동치이다.
• 집합 $A$가 T-감소로 DNR 함수를 계산할 수 있음과 그 $C(A\upharpoonright n)$에 대한 비트리비얼 $A$-재귀적 하한이 존재함이 동치이다.
• 집합 $A$가 PA-완전임과 그 $F(n)$이 길이 $n$인 문자열 중에서 최대 $C$-복잡도를 갖는 문자열을 계산하는 함수 $F$를 계산할 수 있음이 동치이다.
• 집합 $A$가 $A \geq_T K$임과 그 $F(n)$이 길이 $n$인 문자열 중에서 최대 $H$-복잡도를 갖는 문자열을 계산하는 함수 $F$를 계산할 수 있음이 동치이다.
• 각 $n$에 대해 최대 접두사 자유 복잡도를 갖는 문자열을 계산하는 문제의 난이도는 사용하는 보편 기계에 관계없이 정지 문제를 해결하는 것과 동일한 난이도이다.
• 집합 $A$가 재귀적으로 열거 가능한 추적 가능임과 그 $A$에서 계산 가능한 모든 함수가 심지어 SDNR도 아니며, 이는 대각선 함수와의 일치 집합에 대한 재귀적 상한 함수의 존재와 동치이다.