연속 도달성 문제, 무순서 데이터 페트리망에서 다항시간 해결

초록

무순서 데이터 페트리망(UDPN)의 연속(유리수) 도달성 문제를 다항시간 안에 해결하는 알고리즘을 제시한다. 핵심은 연속 도달이 가능하면 데이터값을 다항적으로 제한할 수 있다는 정리와, 이를 이용해 선형 방정식·히스토그램 기반 압축 기법으로 문제를 풀어 PTIME‑complete임을 보인 것이다.

상세 분석

본 논문은 무순서 데이터 페트리망(UDPN)이라는 토큰이 무한 도메인의 데이터값을 가지고 동등·비동등 검사를 수행할 수 있는 확장 모델에 대해 연속 도달성(continuous reachability) 문제를 다루었다. 연속 도달성은 토큰을 정수가 아닌 양의 유리수(ℚ⁺) 단위로 나누어 사용할 수 있게 함으로써 전통적인 도달성 문제의 상향근사(over‑approximation) 역할을 한다. 기존 연구에서는 UDPN의 정수·자연수 도달성은 아직 결정되지 않았으며, 연속 도달성조차도 복잡도가 높을 것으로 예상되었다.

논문의 핵심 기여는 두 가지 정리이다. 첫 번째 정리(Theorem 1)는 “연속 도달이 가능하면, 그 실행 경로에 사용되는 데이터값의 종류는 초기·목표 마킹에 등장하는 데이터값의 합집합 크기에 전이별 변수 개수의 최댓값을 더한 것보다 하나 더 큰 정도로 제한될 수 있다”는 구체적인 상한을 제공한다. 즉,
|dval(ρ)| ≤ |dval(i) ∪ dval(f)| + 1 + maxₜ|vars(t)|
를 만족하는 연속 실행 ρ가 항상 존재한다. 이 결과는 데이터값을 무한히 탐색할 필요가 없으며, 실행을 다항적으로 압축할 수 있음을 의미한다.

두 번째 정리(Theorem 2)는 위의 상한을 활용해 연속 도달성 문제를 선형 방정식 시스템으로 변환하고, 히스토그램 기법을 통해 방정식의 크기를 지수적으로 늘리지 않고도 다항시간에 해결할 수 있음을 보인다. 구체적으로, 전이의 흐름 함수 F와 변수 집합을 이용해 상태 방정식 Δ(ρ)=f−i 를 ℚ⁺‑해로 표현하고, 히스토그램을 사용해 데이터값 별 토큰 흐름을 압축한다. 압축 과정에서 발생할 수 있는 허위 해를 제거하기 위해 전이를 변형(transform)한 뒤 히스토그램을 적용하는 두 단계 절차를 설계하였다.

복잡도 측면에서, 연속 도달성 문제는 이미 일반 페트리망에서 PTIME‑complete임이 알려져 있다. 논문은 UDPN에서도 동일한 복잡도 등급을 유지함을 증명한다. 즉, 데이터 확장이 있더라도 연속 의미론을 도입하면 문제의 난이도가 크게 증가하지 않는다.

기술적 핵심은 (1) 데이터값 사용을 다항적으로 제한하는 조합론적 논증, (2) 선형 방정식·함축(implication) 형태로 연속 실행을 기술, (3) 히스토그램 기반 압축을 통해 방정식 시스템을 다항 크기로 유지, (4) 전이 변형을 통해 허위 해를 배제하는 검증 절차이다. 이러한 절차는 기존의 비데이터 페트리망 연속 도달성 알고리즘