정규 실현 가능성 문제의 복잡도 연구

초록

정규 실현 가능성(RR) 문제는 고정된 필터 언어와 입력된 정규 언어의 교집합이 비어 있지 않은지를 판단하는 문제이다. 본 논문은 모든 언어 L에 대해 L과 동일한 난이도를 갖는 RR 문제가 존재함을 보이며, 이는 비결정적 로그 공간(NL)에서의 합성(OR) 감소를 통해 증명된다. 결과적으로 다항식 계층의 어느 수준에서도 완전한 RR 문제가 존재함을 확인한다.

상세 분석

본 연구는 정규 실현 가능성(RR) 문제를 일반 언어 복잡도 이론의 관점에서 재조명한다. 먼저 필터 언어 F를 고정하고, 임의의 정규 언어 R에 대해 F∩R≠∅인지를 판정하는 문제를 정의한다. 저자는 모든 언어 L에 대해, L과 논리적 OR‑감소(disjunctive reduction) 관계에 있는 RR 문제를 구성할 수 있음을 보인다. 구체적으로, L의 문자열을 인코딩한 정규 언어 집합을 설계하고, 해당 집합과 적절히 선택된 필터 F의 교집합이 비어 있지 않으면 원래 L의 인스턴스가 긍정적임을 보장한다. 이 과정은 비결정적 로그 공간(NL) 내에서 수행될 수 있어, 감소가 NL‑complete 수준에서 이루어진다. 중요한 함의는, 다항식 계층(PH)의 각 레벨 Σ_k^P, Π_k^P에 대해 해당 레벨에서 완전한 RR 문제가 존재한다는 점이다. 이는 기존에 알려진 복잡도 클래스와 RR 문제 사이의 직접적인 연결 고리를 제공한다. 또한, 필터 언어의 선택이 문제의 난이도를 조절할 수 있음을 시사하며, 특정 필터(예: 정규 언어, 컨텍스트프리 언어 등)에 대해 복잡도 경계가 어떻게 변하는지에 대한 추가 연구의 가능성을 열어준다. 논문은 감소의 구성 과정을 상세히 기술하고, NL‑완전성, P‑완전성, 그리고 고차원 PH‑완전성에 대한 증명을 단계별로 제시한다. 최종적으로, RR 문제는 복잡도 이론에서 매우 일반적인 완전성 프레임워크를 제공하는 강력한 도구임을 입증한다.