자동 구조 동형성 문제의 복잡도 계층

초록

자동 구조는 유한 자동기로 정의되는 구조이며, 그 동형성 판정 문제는 일반적으로 매우 높은 복잡도를 가진다. 본 논문은 자동 동등관계, 높이 $n;(n\ge2)$ 인 자동 트리, 그리고 자동 선형 순서에 대한 동형성 문제의 정확한 복잡도 등급을 규명한다. 구체적으로 자동 동등관계의 동형성 문제는 $\Pi^0_1$‑완전, 자동 트리의 경우 높이 $n$ 에 대해 $\Pi^0_{2n-3}$‑완전, 자동 선형 순서는 산술계층을 벗어나 $\Sigma^1_1$‑완전임을 보인다. 이는 Khoussainov·Rubin·Stephan이 제기한 몇몇 열린 질문에 대한 해답을 제공한다.

상세 요약

본 논문은 자동 구조의 동형성 문제를 분석함에 있어, 자동 구조가 갖는 유한 자동 인식성이라는 제약을 정교하게 활용한다. 먼저 자동 동등관계에 대해, 동등류의 수와 각 동등류의 크기를 자연수 열로 인코딩하고, 이를 $\Pi^0_1$‑문제로 환원한다. 구체적으로, 두 자동 동등관계가 동형인지 여부는 모든 자연수 $k$에 대해 “동등류의 크기가 $k$인 경우가 동일하게 존재한다”는 전제의 보편적 검증으로 귀결되며, 이는 전형적인 $\Pi^0_1$ 형태의 무한 검증 절차와 일치한다.

다음으로 높이 $n;(n\ge2)$ 인 자동 트리의 경우, 트리의 레벨별 분기 구조를 재귀적으로 기술한다. 저자는 트리의 각 레벨을 자동 언어로 표현하고, 레벨 $i$에서의 분기 수를 $\Pi^0_{2i-1}$‑문제로 기술한다. 이를 통해 전체 트리의 동형성은 레벨 $n$까지의 모든 $\Pi^0_{2i-1}$ 조건을 동시에 만족해야 함을 보이며, 최종적으로 $\Pi^0_{2n-3}$‑완전성을 얻는다. 핵심은 트리의 높이에 따라 복잡도가 선형적으로 증가한다는 점이며, 이는 기존에 알려진 자동 그래프의 복잡도와는 다른 새로운 계층을 드러낸다.

마지막으로 자동 선형 순서의 경우, 저자는 선형 순서의 유형을 Cantor‑Bendixson 계층과 연계시켜, 선형 순서의 복잡도가 무한히 높은 분석적 수준에 도달함을 증명한다. 구체적으로, 임의의 $\Sigma^1_1$ 집합을 자동 선형 순서의 유형 집합에 효과적으로 매핑하는 감소를 구성함으로써, 동형성 문제 자체가 $\Sigma^1_1$‑완전임을 보인다. 이는 자동 구조 전반에 걸친 동형성 문제의 복잡도가 반드시 산술계층에 머물지 않음을 강력히 시사한다.

전체적으로, 논문은 자동 구조의 동형성 문제를 정밀히 계층화하고, 각 클래스별 복잡도 경계를 명확히 규정함으로써 자동 구조 이론에 새로운 구조적 통찰을 제공한다.