STRIPS 1 1 복잡도에 대한 새로운 탐구와 리터럴 그래프 접근

초록

본 논문은 단일 전제와 단일 효과만을 갖는 STRIPS 1 1 문제의 복잡성을 조사한다. Bylander의 PSPACE‑완전 결과와 NP‑hardness는 알려졌지만, NP‑완전 여부는 미확인 상태이다. 저자들은 작은 인스턴스에 SAT Solver를 적용하고, 리터럴 그래프와 Petri Net 변환을 도입하여 최단 계획 길이가 지수적으로 증가하지 않음을 실험·이론적으로 뒷받침한다. 또한 하이퍼큐브와 스네이크‑인‑더‑박스 문제와의 연관성을 분석한다.

상세 분석

논문은 먼저 Bylander(1994)의 결과를 재조명한다. Bylander는 전제와 효과가 각각 두 개 이하인 STRIPS ep (e ≤ 2, p ≤ 2)에서 계획 존재 문제가 PSPACE‑complete임을 증명했으며, 전제·효과가 각각 하나인 STRIPS 1 1에 대해서는 NP‑hard만 알려졌다. 이 공백을 메우기 위해 저자들은 세 가지 접근을 제시한다. 첫째, 작은 변수 수(n = 5, 6, 7)에 대해 SAT 인코딩을 수행하고, kissat을 이용해 최장 최단 경로 길이를 정확히 계산하였다. n = 5에서는 30개의 상태(29개의 액션), n = 6에서는 40개의 상태(39개의 액션)만이 최적임을 증명했으며, 이는 2ⁿ보다 현저히 작다. 둘째, “리터럴 그래프”라는 새로운 구조를 정의한다. 변수마다 두 개의 상이한 전제를 갖는 액션을 최소 두 개씩 배치하면, 그래프 Qₙ(p)에서 각 변수 좌표에 최소 2ⁿ⁻³개의 양방향 간선이 존재한다는 Lemma 1·2를 도출한다. 이는 그래프가 고도로 연결되어 있어 긴 비순환 경로가 생성되기 어려움을 시사한다. 셋째, 이러한 그래프를 Petri Net으로 변환해 안전성(safety)과 보존(conservativity)을 보장하는 변환 스킴을 제시한다. 변환된 Petri Net은 각 액션을 트랜지션으로, 리터럴을 플레이스로 매핑해, 플래너가 생성할 수 있는 경로가 결국 유한하고, 특히 지수적 길이의 “스네이크”와는 구조적으로 차별화됨을 보인다.

하이퍼큐브 관점에서도 중요한 통찰을 제공한다. STRIPS 1 1 액션은 n‑차원 하이퍼큐브 Qₙ의 한 변을 따라 이동하며, 전제는 출발 정점의 n개의 리터럴 중 하나, 효과는 도착 정점의 해당 비트만을 뒤바꾼다. 저자들은 각 액션이 2ⁿ⁻²개의 방향성 있는 하이퍼에지를 커버한다는 사실을 이용해, 전체 액션 집합이 4n²개의 경우만 존재함을 보여준다(Θ(n²)). 따라서 가능한 경로 수는 2ⁿ에 비해 극히 제한적이며, 이는 “스네이크‑인‑더‑박스” 문제에서 알려진 지수적 최장 경로와는 근본적으로 다른 제한을 만든다.

마지막으로, 실험적 결과와 수학적 추론을 종합해 STRIPS 1 1의 최단 계획 길이는 다항식(특히 Θ(n²))에 상한이 존재한다는 강력한 가설을 제시한다. 아직 완전한 NP‑완전성 증명은 부족하지만, 현재까지의 증거는 PSPACE‑hardness보다 낮은 복잡도 영역에 머무를 가능성을 크게 높인다.