자동 구조에 대한 이분법 정리

초록

본 논문은 목표 구조가 유한하고 입력이 자동 구조인 제약 만족 문제(CSP)의 복잡도 분류를 다룬다. 목표 구조가 유한 이중성(finite duality)을 가질 경우 동형 사상 존재 여부를 NL 안에서 결정할 수 있으며, 그렇지 않으면 문제는 불가능(undecidable)하게 된다. 또한 사상의 자체가 자동으로 표현될 수 있는 “정규 동형 사상” 버전에서도 동일한 이분법이 성립한다는 것을 보인다.

상세 분석

논문은 먼저 자동 구조(automatic structure)의 정의와 자동 관계를 인식하는 동기식 유한 자동자(synchronous automaton)의 역할을 정리한다. 자동 구조는 유한 알파벳 위의 정규 언어와 자동 관계들의 집합으로 표현되며, 이러한 표현을 통해 1차 논리식의 모델 검사가 NL 수준에서 가능함을 기존 결과(Prop. 2.3)를 인용한다. 핵심 정리는 목표 구조 B가 유한 이중성(finite duality)을 만족하는 경우와 그렇지 않은 경우를 정확히 구분한다.

유한 이중성을 가진 구조는 “모든 소스 구조에 대해, B로의 동형 사상이 존재함은 유한한 방해 구조(finite set of obstructions)의 부재와 동치”라는 특성을 갖는다. 이 특성은 1차 논리식으로 정의될 수 있기 때문에 자동 구조 위에서의 존재 여부를 NL 알고리즘, 구체적으로는 하이퍼엣 일관성(hyperedge consistency) 알고리즘을 통해 효율적으로 판단한다. 논문은 이 알고리즘을 자동 구조에 맞게 일반화하고, 정규 동형 사상(regular homomorphism)에서도 동일하게 적용함을 보인다.

반면 B가 유한 이중성을 갖지 않을 때는, 기존의 Larose‑Tesson L‑hardness 결과를 자동 구조의 재현 가능성(reachability) 문제와 결합한다. 자동 그래프에서의 일반적인 도달 가능성(reachability) 문제가 이미 Σ₁⁰‑완전임을 이용해, 이를 동형 사상 존재 문제로 환원한다. 특히 정규 동형 사상의 경우, 선형 튜링 기계의 정규 도달 가능성 문제를 “정규 비연결성(regular unconnectivity)” 문제로 변환한 뒤, 다시 동형 사상 문제로 감소시켜 불가능성을 증명한다. 이 과정에서 자동 구조의 표현력이 충분히 강력함을 활용한다.

결과적으로 논문은 다음과 같은 등가성을 제시한다.

1. B가 유한 이중성을 가짐 ⇔ Hom(Aut, B) 가 NL에서 결정 가능 ⇔ Hom_reg(Aut, B) 가 NL에서 결정 가능 ⇔ 모든 자동 구조에 대해 1차 논리식으로 동형 사상을 정의할 수 있음.
2. 위 조건이 성립하지 않으면 두 문제 모두 재귀적으로 열거 가능하지만 결정 불가능(undecidable)이다.

이러한 이분법은 기존의 유한 구조 CSP 이분법(문제는 P 혹은 NP‑complete)과는 다른 차원을 제공한다. 자동 구조는 무한하지만 유한 자동자로 기술 가능하므로, 복잡도 구분이 NL/undecidable라는 두 극단으로 수렴한다. 또한 정규 동형 사상이라는 새로운 제약을 도입했음에도 동일한 구분이 유지된다는 점은 자동 구조 위에서의 동형 사상 문제에 대한 강력한 구조적 특성을 드러낸다.