리셋·셋으로 뒤흔든 플립플롭 넷 합성 복잡도

초록

본 논문은 nop와 swap을 기본으로 하면서 res, set, used, free 중 최소 하나씩을 추가한 9가지 Boolean Petri Net 유형에 대해 합성 가능성(Feasibility) 문제를 조사한다. 기존에 다항시간으로 해결되던 flip‑flop 파생망에 res와 set을 도입하면, 입력 제한이 낮은 상태 그래프에서도 NP‑complete임을 증명한다.

상세 분석

논문은 Boolean Petri Net을 정의하는 8가지 기본 인터랙션(nop, inp, out, set, res, swap, used, free) 중에서 어떤 조합을 허용하느냐에 따라 네트 유형 τ가 결정된다는 점을 출발점으로 삼는다. 기존 연구에서는 {nop, swap}에 inp·out·used·free 중 임의의 부분집합을 더한 경우, 즉 flip‑flop 파생망(τ={nop, inp, out, swap}∪ω, ω⊆{used,free})에 대해 합성 가능성 문제가 다항시간에 해결됨을 보여왔다. 그러나 이 논문은 inp·out을 각각 res·set으로 교체하고, 동시에 used·free 중 최소 하나를 포함하는 경우를 고려한다. 구체적으로 τ={nop, swap}∪ω이며 ω⊆{res, set, used, free}이고 ω∩{res, set}≠∅, ω∩{used, free}≠∅인 9가지 유형을 대상으로 한다.

주요 기술은 두 단계의 NP‑hardness 증명이다. 첫 번째 단계에서는 Cubic Monotone One‑In‑Three 3‑SAT 문제를 이용해 τ‑ESSP(이벤트 상태 분리 성질)와 τ‑SSP(상태 분리 성질)를 동시에 만족하도록 설계된 전이 시스템 A(φ)를 구성한다. 여기서 각 변수와 절은 특정 상태와 이벤트로 매핑되며, res·set 인터랙션은 변수의 “true”와 “false”를 강제하는 역할을 한다. 두 번째 단계에서는 g‑grade 제한(g≥2)을 도입해, 모든 상태가 최대 g개의 입·출 차이를 갖는 제한된 그래프에서도 동일한 구조를 유지함을 보인다. 즉, 입력 그래프의 차수가 작아도 NP‑hardness가 사라지지 않는다.

또한 논문은 τ와 τ̃이 isomorphic(예: set↔res, used↔free, nop↔nop, swap↔swap)인 경우, τ‑ESSP와 τ̃‑ESSP가 동등함을 보이는 Lemma 1을 활용한다. 이를 통해 9가지 유형 중 절반만 직접 증명하고, 나머지는 동형성을 이용해 복제한다. 결과적으로 τ={nop, set, swap}∪ω(ω⊆{used,free}, ω≠∅)와 τ={nop, res, swap}∪ω(ω⊆{used,free}, ω≠∅) 모두에 대해 Feasibility가 NP‑complete임을 확립한다.

이러한 결과는 res와 set 인터랙션이 inp·out보다 표현력이 훨씬 강함을 시사한다. 특히, res·set은 토큰을 강제로 0 혹은 1로 고정할 수 있어, 논리 회로의 리터럴을 직접 구현하는 것이 가능해진다. 따라서 기존 flip‑flop 네트가 다항시간에 해결되던 이유는 swap이 토큰을 단순히 반전시키는 수준에 머물렀기 때문이며, res·set이 추가되면 논리식의 만족 여부를 직접 인코딩하게 되어 NP‑hard 문제가 자연스럽게 발생한다.

마지막으로, 논문은 복잡도 표(Table 1)를 업데이트하여 기존 7가지 NP‑complete 유형에 9가지 새로운 유형을 추가한다. 이는 Boolean Petri Net 합성 연구에서 “어떤 인터랙션이 문제를 어려워지게 하는가”라는 질문에 명확한 답을 제공한다.