모노이드 프루베니 문제의 NP 난이도 결과

초록

**
이 논문은 정규식 E가 주어졌을 때, 그 Kleene 스타 E*가 공집합이 아닌 여집합(즉, 거의 전부를 포함하지 않음)인지 판별하는 문제가 NP‑hard임을 증명한다. 이를 위해 3‑SAT과 같은 전형적인 NP‑완전 문제로부터 다항식 시간 환원을 구성하고, 정규식의 구조가 언어의 코-유한성(co‑finiteness)과 어떻게 연결되는지를 상세히 분석한다.

**

상세 분석

**
논문은 먼저 “모노이드 프루베니 문제”라는 전통적인 정수론적 질문을 일반화하여, 자유 모노이드 위의 유한 생성 집합 S에 대해 S* 가 전체 모노이드를 거의 전부 덮는지(코‑유한) 여부를 묻는 형태로 정의한다. 여기서 핵심은 S* 가 코‑유한이면, 즉 Σ* \ S* 가 유한 집합이면, 모든 충분히 긴 문자열이 S* 에 속한다는 의미이다. 저자들은 이 질문을 정규식 E 에 대해 E* 의 코‑유한성을 판별하는 문제와 동일시한다.

NP‑hardness 증명은 전형적인 SAT‑to‑REGEX 환원 방식을 채택한다. 구체적으로, 임의의 3‑SAT 인스턴스 Φ 를 입력으로 받아, 변수와 절을 각각 문자열 블록으로 인코딩한 정규식 E_Φ 를 만든다. 각 변수 x_i 는 두 개의 선택적 서브패턴(‘0’과 ‘1’)을 통해 진리값을 선택하도록 설계되고, 각 절은 해당 변수들의 선택이 최소 하나의 리터럴을 만족시키는 경우에만 전체 패턴에 포함될 수 있도록 구성된다. 이렇게 구성된 E_Φ 의 Kleene 스타 (E_Φ)* 는 모든 가능한 변수 할당을 표현하지만, 특정 할당이 절을 위반하면 해당 할당에 대응하는 문자열이 (E_Φ)* 에 포함되지 않는다.

핵심 관찰은 “Φ가 만족가능하면 (E_Φ)* 는 거의 전부를 포함하지 않는다(코‑유한하지 않다)”이며, 반대로 “Φ가 불만족이면 (E_Φ)* 는 코‑유한한다”는 점이다. 즉, (E_Φ)* 가 코‑유한하지 않은지를 판별하는 문제는 Φ의 만족 가능성을 바로 판별하는 문제와 동치가 된다. 이 환원은 다항식 시간에 수행되며, 정규식의 크기도 |Φ| 에 비례한다. 따라서 코‑유한성 판별 문제가 NP‑hard임을 증명한다.

추가적으로 논문은 이 결과가 기존에 알려진 PSPACE‑complete인 정규식 포함 문제와는 다른 복잡도 구역에 위치함을 강조한다. 코‑유한성은 언어의 무한성 여부와는 별개로, 언어가 “거의 전부”를 포함하는지를 판단하는 미묘한 특성이므로, 기존 자동이론 기법으로는 쉽게 해결되지 않는다. 저자들은 또한 E* 가 코‑유한인지 여부를 결정하는 알고리즘이 존재한다면, 그 알고리즘이 다항식 시간 내에 동작할 경우 P=NP 가 성립한다는 함의를 제시한다.

마지막으로, 논문은 몇 가지 변형 문제—예를 들어, E 가 DFA 혹은 NFA로 주어졌을 때, 혹은 E* 가 아닌 E⁺ 에 대해 코‑유한성을 묻는 경우—에 대해서도 동일한 환원 기법을 적용할 수 있음을 보이며, 이러한 변형들 역시 NP‑hard임을 간단히 언급한다.

**