일반화된 램화 재귀는 다항시간에 대해 타당함

초록

본 논문은 Leivant가 제시한 램화 재귀를 자유대수 전반에 확대한다. 항을 트리 대신 그래프로 표현해 동일 부분의 공유를 허용함으로써, 모든 자유대수 위에서 정의된 램화 함수가 다항시간 내에 계산 가능함을 증명한다.

상세 분석

Leivant의 램화 재귀는 함수 정의에 계층(tier) 구조를 부여해 ‘안전(safe)’ 인자와 ‘정상(normal)’ 인자를 구분하고, 재귀 호출이 낮은 계층에서만 이루어지도록 제한함으로써 계산 복잡도를 다항시간으로 제한한다. 기존 결과는 생성자가 최대 하나의 인자를 갖는 단어대수(word algebras)에만 적용되었으며, 다중 인자를 갖는 생성자를 포함하는 일반 자유대수에서는 공유가 발생할 경우 트리 형태로 표현하면 중복 계산이 급격히 늘어나 다항시간 보장이 깨진다. 논문은 이러한 문제를 그래프(term graph) 표현으로 해결한다. 그래프는 동일한 서브터미널을 하나의 노드로 공유하므로, 재귀 호출 시 중복된 서브구조가 재연산되지 않는다. 저자는 그래프 기반 램화 재귀의 형식적 정의를 제시하고, 각 연산이 그래프 크기와 깊이에 대해 선형·다항적 비용만을 소모함을 보인다. 핵심 증명은 (1) 그래프의 노드 수가 입력 크기의 다항식으로 제한됨, (2) 안전 인자에 대한 재귀는 계층 감소를 보장해 무한 루프를 방지, (3) 그래프 공유가 유지되는 동안 구조적 변환이 다항시간 안에 수행된다는 점을 귀납적으로 보여준다. 결과적으로, 임의의 자유대수 위에서 정의된 램화 함수는 전통적인 튜링 기계 모델에서도 다항시간으로 구현 가능함을 증명한다. 이 확장은 기존 램화 재귀의 적용 범위를 크게 넓히며, 그래프 기반 표현이 암묵적 복잡도 제한에 있어 강력한 도구가 될 수 있음을 시사한다.