제한된 입력에서도 ENS 합성은 여전히 NP‑완전

초록

본 논문은 이벤트 발생 횟수와 상태 차수에 강력한 제한을 가한 선형 전이 시스템(Linear TS)에서도 ENS(Elementary Net System) 합성 문제와 그 하위 문제인 SSP(State Separation Property)·ESSP(Event State Separation Property)의 결정이 모두 NP‑완전임을 증명한다. 특히 k‑fold(각 이벤트가 ≤k번 등장)·g‑grade(각 상태가 ≤g개의 전·후속) 조건 하에서 k≥3 또는 (g≥2 ∧ k≥2)인 경우 복잡도가 유지됨을 보이며, 2‑fold 선형 TS에 대해서는 SSP는 다항시간에 해결 가능함을 제시한다.

상세 분석

논문은 ENS 합성 문제를 TS(Transition System)의 두 핵심 성질인 SSP와 ESSP의 만족 여부로 환원한다. 기존 연구에서 두 성질을 동시에 만족하는지 여부가 NP‑완전함은 알려졌지만, 실제 응용에서는 이벤트가 적게 발생하거나 상태 차수가 낮은 경우가 많아 이 제한이 복잡도 완화를 가져올 수 있을 것이라는 기대가 있었다. 저자들은 이를 검증하기 위해 두 가지 파라미터를 도입한다. 첫 번째는 event manifoldness(k) 로, 하나의 이벤트가 라벨링할 수 있는 최대 엣지 수를 의미한다. 두 번째는 state degree(g) 로, 각 상태가 가질 수 있는 최대 전·후속 수를 의미한다. 이때 k‑fold TS는 모든 이벤트가 ≤k번 등장하고, g‑grade TS는 모든 상태가 ≤g개의 전·후속을 가진다. 선형 TS는 g=1이며, 초기 상태에 전이 전 predecessor가 없는 경우를 말한다.

주요 기술은 다음과 같다.

1. NP‑완전성 증명: 저자들은 cubic monotone one‑in‑three 3‑SAT 문제를 이용해 다섯 단계의 다항식 시간 감소를 구성한다. 먼저 이 SAT 인스턴스를 linear 3‑ESSP 인스턴스로 변환하고, 선형 TS에서는 ESSP가 자동으로 SSP를 보장함을 보인다(Section 4). 이어서 linear 3‑ESSP를 linear 3‑SSP로 변환함으로써, k≥3인 경우 SSP와 ESSP 모두 NP‑완전임을 확립한다.
2. g‑grade와 k‑fold의 결합: 위 결과를 확장해 g‑grade k‑fold TS(g≥2, k≥2)에서도 동일한 복잡도 하강이 일어나지 않음을 보인다. 특히 2‑fold·2‑grade TS에 대해 ESSP ⇒ SSP가 성립하도록 설계된 복잡한 가젯을 구성해, ESSP와 feasibility가 동일 문제가 되도록 만든다(Section 6).
3. 예외적인 경우: 이벤트가 한 번만 발생하는 1‑fold TS는 모든 성질이 트리비얼하게 해결 가능함을 확인한다. 또한 linear 2‑fold TS에 대해서는 SSP를 다항시간 알고리즘(Quadratic)으로 해결할 수 있음을 제시한다(Section 8). 그러나 linear 2‑ESSP와 linear 2‑feasibility는 아직 미해결 상태이며, 저자들은 이 두 문제도 P에 속할 가능성이 높다고 추측한다.
4. Union 기법: 복잡한 가젯을 모듈화하기 위해 union이라는 개념을 도입한다. 각각 독립적인 TS를 합쳐 하나의 큰 TS로 만들면서 SSP와 feasibility는 보존하고, ESSP는 필요에 따라 조정한다. 이 기법은 증명 전반에 걸쳐 가젯을 재사용하고, 증명 구조를 명확히 하는 데 핵심 역할을 한다.
5. 표와 차트: Figure 1은 k와 g에 따른 SSP, ESSP, feasibility의 복잡도 지도를 보여준다. 거의 모든 셀에 NP‑완전(NPC) 표시가 채워져 있으며, 오직 1‑fold·임의 g와 linear 2‑fold SSP만이 P(Trivial/Polynomial)로 남는다.

결과적으로, 이벤트 발생 횟수와 상태 차수에 대한 강력한 제한을 가했음에도 불구하고 ENS 합성 문제는 대부분의 실용적인 서브클래스에서 여전히 어려운 NP‑완전 문제임을 입증한다. 이는 합성 도구 설계 시 사전 검증(quick‑fail)이나 부분적 속성 검사(예: ESSP만)만으로는 일반적인 입력에 대한 효율성을 기대하기 어렵다는 실질적인 교훈을 제공한다.