무한 그림 인식 타일 시스템의 고차 불확정성

초록

이 논문은 무한 2차원 단어(무한 그림)를 유한 타일 시스템으로 인식하는 문제들의 복잡도 지위를 정확히 규명한다. 특히 B"uchi‑인식 언어가 E‑인식 혹은 A‑인식인지 판단하는 문제를 포함한 여러 결정 문제들이 분석되며, 이들 대부분이 분석적 계층의 높은 수준(Π₂¹, Σ₁¹ 등)에서 완전함을 보인다.

상세 분석

본 연구는 기존에 알려진 “Büchi‑인식 무한 그림 언어가 E‑인식(또는 A‑인식)인지 여부는 결정 불가능하다”는 결과를 한 단계 끌어올려, 해당 문제들의 정확한 복잡도 클래스를 규명한다. 저자들은 먼저 무한 그림을 정의하고, 이를 받아들이는 유한 타일 시스템(tiling system)의 구조와 B"uchi, Muller와 같은 수용 조건을 정형화한다. 그런 다음, 분석적 계층(analytic hierarchy)에서의 고차 복잡도 개념을 도입하여, 문제들을 Σ₁¹, Π₂¹ 등으로 분류한다. 핵심 기법은 두 가지이다. 첫째, 고전적인 귀납적·귀환적 인코딩을 이용해 임의의 1차 논리식이나 2차 논리식을 무한 그림의 타일링 문제로 변환한다. 이를 통해 Σ₁¹‑완전성(예: 비공집합성)과 Π₂¹‑완전성(예: 보편성, 포함, 동등성 등)을 입증한다. 둘째, 행별(row‑by‑row) 인식 모델을 도입해, ω² 길이의 서수 단어 위에서 동작하는 자동자와의 대응 관계를 구축한다. 이때, 행별 인식 가능성을 판단하는 문제가 Π₂¹‑완전함을 보이며, 이는 기존의 B"uchi‑인식 언어가 갖는 복잡도와 동일한 수준임을 확인한다. 특히, 비공집합성(emptiness)과 무한성(infiniteness) 문제는 Σ₁¹‑완전으로, 이는 무한 그림의 존재 여부를 결정하는 것이 실질적으로 첫 번째 수준의 분석적 복잡도에 해당한다는 의미다. 반면, 보편성(universality), 포함(inclusion), 동등성(equivalence), 결정가능성(determinizability), 보완가능성(complementability) 등은 Π₂¹‑완전으로, 두 번째 수준의 고차 불확정성을 나타낸다. 이러한 결과는 무한 2차원 구조에 대한 자동 이론이 1차원(ω‑워드) 자동 이론보다 훨씬 복잡함을 수학적으로 증명한다는 점에서 의의가 크다. 또한, 연구는 기존의 타일링 시스템 이론과 현대의 복잡도 이론을 연결함으로써, 무한 그림 언어의 구조적 특성을 더 깊이 이해할 수 있는 틀을 제공한다.