계획 문제의 파라미터화 복잡도와 커널 한계 완전 분류

초록

본 논문은 계획 문제에서 행위의 전제조건이 없고 사후조건이 최대 e 개인 경우를 파라미터 k(계획 길이)로 분석한다. e ≤ 2이면 고정‑파라미터 트랙터블(FPT)임을 보이고, e ≥ 3이면 W

상세 분석

이 연구는 계획 문제의 파라미터화 복잡도 분석을 한 단계 진전시킨다. 기본 모델은 전통적인 STRIPS 형태의 프로포지셔널 플래닝이며, 여기서 행위(action)는 전제조건(precondition)과 사후조건(postcondition) 두 집합으로 정의된다. 논문은 전제조건이 전혀 없는, 즉 모든 행위가 언제든 적용 가능하고, 사후조건의 수가 제한된 경우에 초점을 맞춘다. 파라미터는 목표 상태에 도달하기 위한 최소 행위 수, 즉 계획 길이 k이다.

먼저 e ≤ 2인 경우를 다룰 때, 저자들은 각 행위가 최대 두 개의 원자적 효과만을 생성한다는 점을 활용한다. 이때 목표 상태를 달성하기 위해 필요한 행위들의 조합을 그래프 형태로 모델링하고, 이를 “제한된 Steiner Tree” 문제로 변환한다. 구체적으로, 목표 변수들을 터미널 노드로, 행위들을 에지로, 사후조건을 연결 관계로 표현한다. Guo et al. (2007)이 제시한 FPT 알고리즘은 파라미터 k와 e에 대한 함수 형태의 복잡도 O(2^{O(k)}·poly(n))을 제공한다. 따라서 e ≤ 2인 경우는 FPT임을 증명한다.

반면 e ≥ 3인 경우, 저자들은 W