계획 수정의 위상 전이와 확정적 계획

초록

본 논문은 확정적(conformant) 계획 문제에서 계획 수정(plan modification)의 성공 여부가 연산자 수와 명제 수의 비율, 즉 밀도에 따라 급격히 변하는 위상 전이 현상을 실험과 이론으로 분석한다. 연산자 수가 일정 임계값 이하이면 거의 모든 문제에서 기존 계획을 수정해 해결할 수 없으며, 임계값을 초과하면 대부분의 문제에서 수정만으로 해결이 가능함을 보인다. 실험 결과는 밀도에 대한 명확한 임계값을 제시한다.

상세 분석

이 연구는 확정적 계획 문제에서 기존에 구한 계획을 부분적으로 수정하는 것이 전체 계획을 새로 탐색하는 것보다 효율적일 수 있다는 가정에 착안한다. 저자들은 먼저 연산자(액션)와 명제(플루언트)의 수를 변수로 설정하고, 연산자 밀도 = 연산자 수 ÷ 명제 수라는 지표를 도입한다. 이론적 분석에서는 연산자 밀도가 낮을 때 가능한 상태 전이의 조합이 제한되어, 기존 계획에 작은 변화를 가해도 목표 상태에 도달할 확률이 급격히 감소한다는 점을 수학적으로 증명한다. 반대로 밀도가 높아지면 상태 공간이 풍부해져, 작은 수정만으로도 목표에 도달할 경로가 다수 존재하게 된다. 실험에서는 무작위로 생성한 다양한 규모의 확정적 계획 인스턴스를 사용해, 연산자 수가 0.2 ~ 0.3 정도의 임계값을 중심으로 성공률이 급격히 전이하는 현상을 관찰했다. 특히, 연산자 수가 명제 수의 30 % 이하일 때는 수정 성공률이 5 % 미만에 머물렀으나, 30 %를 초과하면 90 % 이상으로 상승한다. 이러한 결과는 “위상 전이(phase transition)”라는 용어로 설명되며, 복잡도 이론에서 알려진 SAT 문제의 전이 현상과 유사한 패턴을 보인다. 논문은 또한 밀도 임계값이 문제의 구조적 특성(예: 연산자 전제 조건의 평균 길이)과 상관관계가 있음을 제시하고, 이를 통해 계획 수정 알고리즘의 적용 가능성을 사전에 예측할 수 있는 실용적 가이드라인을 제공한다.