계산 가능한 그래프의 거리 함수와 함수형 진리표 감소 가능성

초록

본 논문은 계산 가능한 무한 그래프의 거리 함수를 모델 이론적 관점에서 연구한다. 함수에 대한 진리표(btt)·제한 튜링(wtt) 감소 가능성을 새롭게 정의하고, 위 함수들의 구조와 복잡도 계층을 분석한다. 특히 거리 함수가 위에서부터 근사 가능한 함수임을 이용해, 그 스펙트럼이 임의의 근사가능 btt-차수, 모든 그런 차수, 혹은 n단계 이하 근사가능 함수들의 bT-차수로 정확히 기술될 수 있음을 보인다.

상세 분석

논문은 먼저 기존의 집합에 대한 진리표 감소 가능성(≤tt, ≤btt, ≤wtt 등)을 함수로 확장하는 작업을 수행한다. 함수 오라클을 3테이프 튜링 기계(질문, 답변, 출력)로 모델링함으로써, 제한된 사용량을 보장하는 bT·wtt 감소를 정의한다. 특히 m‑감소(≤m)와 1‑감소(≤1)를 함수에 적용할 때 발생하는 “상수 함수는 각각 독립적인 m‑차수를 만든다”는 병리 현상을 해결하기 위해 ‘증강 m‑감소(≤a)’를 도입한다. 이는 함수와 그 그래프를 결합한 형태(ι⊕ψ)로의 감소를 허용해, 계산 가능한 정의역을 가진 모든 부분 함수가 동일한 a‑차도에 귀속되게 만든다.

다음으로 ‘위에서부터 근사 가능(approximable from above)’이라는 개념을 정형화한다. 거리 함수 d(x,y)는 그래프 탐색을 통해 점점 짧아지는 경로 길이들의 하한으로 수렴하므로, 언제든 현재 값은 실제 거리보다 크거나 같다. 이러한 함수들은 ∅′‑계산 가능성을 갖지만, 일반적인 Σ⁰₁·Π⁰₁ 정의와 달리 제한된 정보만으로는 정확한 값을 판정하기 어렵다. 논문은 이 클래스가 Ershov 계층과 유사하게 단계별(ω‑체인)으로 구분될 수 있음을 보이며, 특히 n‑단계 근사(≤n) 함수들의 bT‑차수가 서로 구분된다는 사실을 증명한다.

핵심 결과는 거리 함수 스펙트럼에 관한 세 가지 정리이다. 첫째, 임의의 btt‑차수 α가 ‘위에서부터 근사 가능’하고, 그 차수가 계산 가능한 그래프의 거리 함수와 동형인 경우가 존재한다. 둘째, 같은 그래프에 대해 모든 이러한 btt‑차수가 동시에 실현될 수 있다(즉, 스펙트럼이 전체 집합이 된다). 셋째, 특정 정수 n에 대해, 거리 함수가 n단계 이하의 위에서부터 근사만을 허용하도록 설계된 그래프가 존재하며, 이때 스펙트럼은 정확히 그 n‑단계 함수들의 bT‑차도로 제한된다. 이러한 정리는 함수형 감소 가능성의 미세한 구분이 그래프 구조에 어떻게 반영되는지를 보여준다.

또한, 함수와 그 그래프 사이의 진리표 등가성(Prop. 2.7)을 이용해, 함수가 계산적으로 유계(bounded)일 경우 그래프 자체가 함수와 동일한 tt‑차도를 갖는다는 사실을 강조한다. 이는 거리 함수가 일반적인 함수와 달리 ‘위에서부터’ 근사되는 특수성을 갖지만, 적절히 설계된 그래프를 통해 원하는 복잡도 차수를 정확히 구현할 수 있음을 의미한다.

전체적으로 논문은 계산 가능성 이론과 모델 이론을 연결하는 새로운 다리 역할을 하며, 특히 함수에 대한 미세 감소 개념을 도입함으로써 거리 함수와 같은 자연스러운 수학적 객체의 복잡도 스펙트럼을 정밀하게 분석한다.