체인 인과 그래프에서 변수 도메인 5인 경우 계획 문제는 NP 하드

초록

이 논문은 단항 연산자와 방향성 경로 인과 그래프를 갖는 Cₙ 클래스의 계획 문제를 연구한다. 변수 도메인 크기가 5 이하일 때도, 특히 Cₙ⁵에서는 계획 존재 여부가 CNF‑SAT으로부터의 다항식 환원에 의해 NP‑하드임을 증명한다. 이는 Cₙ²는 다항식 시간에 해결 가능하다는 기존 결과와 대비되어, k=3,4 경우만 남은 복잡도 격차를 크게 좁힌다.

상세 요약

본 논문은 인공지능 계획 분야에서 가장 단순한 인과 그래프 형태인 ‘체인(연속 경로)’ 구조를 가진 문제들의 복잡성을 정밀히 분석한다. Cₙ 클래스는 모든 연산자가 단항이며, 변수 간 의존 관계가 일렬로 연결된 방향성 그래프(즉, v₁→v₂→…→vₙ)로 표현된다. 이러한 구조는 전통적으로 문제를 분할 정복하거나 동적 계획법을 적용하기에 유리한 것으로 여겨졌지만, 저자들은 도메인 크기 제한이 있더라도 근본적인 계산 난이도가 사라지지 않음을 보인다.

핵심 기여는 k≥5인 경우, 즉 각 상태 변수의 값이 최대 5가지로 제한될 때도 ‘플랜 존재 여부’ 문제가 NP‑하드임을 증명한 점이다. 이를 위해 저자들은 CNF‑SAT의 인스턴스를 Cₙ⁵ 인스턴스로 변환하는 다항식 시간 환원을 설계한다. 변환 과정은 크게 두 부분으로 나뉜다. 첫째, SAT 변수 각각을 하나의 연속된 변수 구간에 매핑하고, 각 구간에 5개의 도메인 값을 할당한다. 여기서 ‘true’, ‘false’, ‘중립’, ‘클라우즈’, ‘완료’와 같은 의미를 부여해 변수의 할당과 연산 적용을 정확히 제어한다. 둘째, 각 절을 검증하는 ‘절 게이트’가 별도의 변수 구간에 배치되며, 해당 구간은 연결된 변수 구간들의 값에 따라 전이될 수 있다. 절 게이트는 최소 하나의 리터럴이 true일 때만 목표 상태에 도달하도록 설계되어, 전체 플랜이 존재하려면 원래 SAT 공식이 만족 가능해야 함을 보장한다.

특히, 도메인 크기 5가 왜 최소 필요조건인지에 대한 논증이 흥미롭다. 도메인 4 이하에서는 변수와 절을 동시에 표현할 충분한 상태 공간을 만들 수 없으며, 이는 기존에 알려진 Cₙ²(도메인 2) 가 다항식 시간에 해결 가능한 이유와 일맥상통한다. 저자들은 도메인 5를 이용해 ‘중립’ 상태를 도입함으로써 연산 순서를 강제하고, 불필요한 사이클을 방지한다. 이러한 설계는 연산이 단항이라는 제약 하에서도 복잡한 논리 구조를 구현할 수 있음을 보여준다.

결과적으로, Cₙ⁵는 SAT와 동등한 계산 난이도를 가지며, 따라서 P≠NP 가정 하에 다항식 시간 알고리즘이 존재하지 않는다. 이는 Cₙᵏ 클래스의 복잡도 구분을 k=3,4 로 좁히는 중요한 진전이며, 향후 연구는 이 두 경우에 대한 정확한 복잡도(예: NP‑완전, PSPACE‑완전 등)를 규명해야 함을 암시한다. 또한, 플래너 설계 시 인과 그래프가 단순하더라도 변수 도메인 크기에 따른 알고리즘 선택이 필수적임을 강조한다.