[논문 리뷰] An NP-hardness Result on the Monoid Frobenius Problem

Zhi Xu, Jeffrey Shallit|ArXiv.org|2008. 05. 27.

semigroups and automata theory참고 문헌 4인용 수 4

한 줄 요약

이 논문은 정규 표현식 $E^*$가 생성하는 언어가 코유한성(co-finite, 즉 모든 충분히 긴 문자열을 포함함)인지 여부를 판단하는 것이, 입력이 정규 표현식을 통해 압축된 형태로 주어져도 NP-난이도임을 증명한다. 이 결과는 3SAT에서 다항시간 환원을 통해 확립되며, 3CNF 공식의 만족 가능성과 $E^*$가 코유한성이 아님과 동치임을 보이며, 문제는 PSPACE에 속함도 함께 증명된다.

ABSTRACT

The following problem is NP-hard: given a regular expression $E$, decide if $E^*$ is not co-finite.

연구 동기 및 목표

• 정규 표현식을 통해 압축된 형태로 주어진 단어 집합에 대해, 모노이드 프로베누스 문제의 계산 복잡도를 조사하는 것.
• 정규 표현식 $E$가 생성하는 언어 $E^*$가 알파벳 상의 모든 충분히 긴 문자열을 포함하는지, 즉 코유한성인지 여부를 판단하는 것.
• 입력이 정규 표현식인 조건 하에 $E^*$가 코유한성이 아님을 판단하는 문제의 NP-난이도를 확립하는 것.
• 문제가 PSPACE에 속해 있음을 보여주어, 압축된 모노이드 프로베누스 문제의 복잡도 분류를 완성하는 것.

제안 방법

• 3SAT 인스턴스에서 스타-free 정규 표현식 $E$를 구성하여, $Σ = \{T, F\}$ 상에서 문장들을 문자열로 인코딩하고, 각 문장은 리터럴의 논리합(disjunction)에 대응한다.
• $E = E' + E''(T+F)$로 정의하며, 여기서 $E'$는 문장을 인코딩하고, $E'' = (T+F)^n$은 모든 가능한 변수 할당을 나타낸다.
• 레미마 3을 사용하여, $E^*$가 코유한성이 아님은 $E' \neq E''$와 동치이며, 이는 정확히 3SAT 인스턴스가 만족 가능할 때 성립함을 보인다.
• 3SAT에서 $E^*$가 코유한성인지 여부를 판단하는 결정 문제로의 다항시간 환원을 구축하여, NP-난이도를 증명한다.
• 정규 표현식 $E$에서 $t$가 $E$의 길이라면, 크기가 $O(t+1)$인 NFA를 구성하여 $E^*$를 시뮬레이션한다.
• Savitch의 정리를 사용하여, $n = 2^{t+1}$일 때 $[n, 2n)$ 범위의 길이를 가진 기각된 단어의 존재성을 다항 공간을 사용해 상태 간 도달 가능성을 추적함으로써 검증함으로써 문제의 PSPACE 소속성을 보인다.

실험 결과

연구 질문

• RQ1 입력이 정규 표현식인 경우, $E^*$가 코유한성인지 여부를 판단하는 문제는 NP-난이도인가?

주요 결과

• 입력이 이진 알파벳 상의 정규 표현식이고 언어가 정확히 두 개의 길이를 가진 단어로만 구성되어 있어도, $E^*$가 코유한성인지 여부를 판단하는 문제는 NP-난이도이다.
• 3SAT에서의 다항시간 환원을 통해 NP-난이도가 증명되며, 3SAT 인스턴스가 만족 가능할 때 정확히 $E^*$가 코유한성이 아님을 보인다.
• 기각된 단어의 길이가 $[n, 2n)$ 범위에 있고 $n = 2^{t+1}$일 때 존재성을 다항 공간으로 검증할 수 있으므로, 문제는 PSPACE에 포함된다.
• 이 결과는 입력이 압축된 형태일지라도 모노이드 프로베누스 문제가 NP-난이도임을 시사한다.
• 문제의 증명은 다음 사실에 기반한다: 만약 $S^*$가 코유한성이고 $S \to Σ^n \cup \u03A3^{n+1}$이며 $\gcd(n,n+1)=1$이면 $\Sigma^n \subseteq S$이지만, $E' \neq E''$일 때는 이 성립하지 않으며, 이는 만족 가능한 3SAT에 대응한다.
• 문제는 스타-free 정규 표현식으로 제한되거나 언어가 정확히 두 개의 길이를 가진 단어로만 구성되어 있어도 여전히 NP-난이도이다.