컴퓨팅 가능한 부분 순서 집합 위의 Kolmogorov 복잡도 Kmax와 Kmin
이 논문은 부분 순서 집합 D에 대해 점별 최대(max)와 최소(min) 연산을 이용한 함수 클래스 Max⁽ˣ→ᴰ⁾₍PR₎와 Max⁽ˣ→ᴰ⁾₍Rec₎를 정의하고, 이들에 대한 열거 정리와 불변 정리를 분석한다. 특히 Max⁽ˣ→ᴰ⁾₍Rec₎가 불변 정리를 만족할 때는 Max⁽ˣ→ᴰ⁾₍PR₎와 Kolmogorov 복잡도 Kᴰₘₐₓ가 상수 차이만큼 동일함을 보이며, Kᴰₘᵢₙ과 Kᴰₘₐₓ 사이의 관계를 D의 순서 구조에 따라 두 가지 경우(동등 혹…
저자: Marie Ferbus-Z, a (LIAFA), Serge Grigorieff (LIAFA)
논문은 먼저 Kolmogorov 복잡도의 전통적 정의가 부분 순서 집합 D에 대해 어떻게 확장될 수 있는지를 질문한다. 이를 위해 저자들은 두 가지 핵심 함수 클래스를 정의한다. 첫 번째는 Max⁽ˣ→ᴰ⁾₍PR₎로, 이는 X×ℕ → D인 부분 계산 가능한 함수 f에 대해 각 x∈X에 대해 {f(x,t) | t∈ℕ}의 최대(또는 최소) 원소를 취한 함수들의 집합이다. 두 번째는 Max⁽ˣ→ᴰ⁾₍Rec₎로, 동일한 정의이지만 f가 전부 총계산 가능한 경우에 한정한다. 여기서 “max”와 “min” 연산은 D의 순서 < 에 따라 정의되며, “min” 클래스는 D의 역순서 D^{rev}에 대한 “max” 클래스와 동치이다.
다음으로 저자들은 Max⁽ˣ→ᴰ⁾₍PR₎에 대해 열거 정리와 불변 정리를 증명한다. 열거 정리는 모든 Max⁽ˣ→ᴰ⁾₍PR₎ 함수가 어떤 기본 인코딩을 통해 효과적으로 열거될 수 있음을 의미하고, 불변 정리는 어느 “optimal” 프로그램이 존재해 모든 다른 프로그램보다 상수 차이만큼 짧은 설명을 제공한다는 전통적 Kolmogorov 복잡도 정리와 동일한 형태를 가진다. 이 두 정리 덕분에 새로운 복잡도 Kᴰₘₐₓ가 정의된다: Kᴰₘₐₓ(x)= 최소 프로그램 길이 p such that U(p)=x where U is a universal max‑operator machine.
그 후 논문은 Max⁽ˣ→ᴰ⁾₍Rec₎가 언제 열거 정리와 불변 정리를 만족하는지를 D의 순서 구조에 따라 완전하게 특성화한다. 핵심 결과는 다음과 같다.
1. **불변 정리만 만족**: 특정 D에서는 Max⁽ˣ→ᴰ⁾₍Rec₎가 불변 정리는 만족하지만 열거 정리는 실패한다. 이는 총계산 가능한 함수들의 점별 최대가 충분히 풍부하지 않아 모든 함수를 효과적으로 열거할 수 없기 때문이다.
2. **두 정리 모두 만족**: D가 “well‑founded” 혹은 “noetherian” 같은 충분히 제한된 순서를 가질 때, Max⁽ˣ→ᴰ⁾₍Rec₎도 열거 정리와 불변 정리를 동시에 만족한다. 이 경우 Kᴰₘₐₓ와 Kᴰₘᵢₙ(=Kᴰ_{rev max})는 Kᴰ와 상수 차이 이내로 동일해진다.
3. **불변 정리와 열거 정리 모두 불만족**: D가 무한히 복잡한 “dense” 구조를 가질 경우, 두 정리 모두 성립하지 않는다. 이런 경우 Kᴰₘₐₓ와 Kᴰₘᵢₙ은 Kᴰ보다 엄격히 작으며, 동시에 K∅′,ᴰ(∅′를 오라클로 한 복잡도)보다 크게 된다.
논문은 이러한 경우 구분을 정리 4.1, 4.2, 4.3에 정리한다. 정리 4.1(“
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기