[논문 리뷰] Rational Deployment of Multiple Heuristics in IDA*

David Tolpin, Oded Betzalel외 2명|arXiv (Cornell University)|2014. 11. 24.

Robotic Path Planning Algorithms참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유비추론 기반 예측 실수 기준에 따라 IDA* 탐색 중 비용이 많이 드는 휴리스틱을 동적으로 계산할지 여부를 결정하는 메타이성적 접근인 유비추론 지연 IDA* (RLIDA*)를 제안한다. 휴리스틱을 지연 평가하고 유익한 경우에만 고비용 평가를 생략함으로써, 표준 IDA*와 지연 IDA*보다 더 빠른 탐색 시간을 달성하며, 이동 타일 퍼즐과 컨테이너 재정렬 문제에서 모두 뛰어난 성능을 보인다.

ABSTRACT

Recent advances in metareasoning for search has shown its usefulness in improving numerous search algorithms. This paper applies rational metareasoning to IDA* when several admissible heuristics are available. The obvious basic approach of taking the maximum of the heuristics is improved upon by lazy evaluation of the heuristics, resulting in a variant known as Lazy IDA*. We introduce a rational version of lazy IDA* that decides whether to compute the more expensive heuristics or to bypass it, based on a myopic expected regret estimate. Empirical evaluation in several domains supports the theoretical results, and shows that rational lazy IDA* is a state-of-the-art heuristic combination method.

연구 동기 및 목표

• 여러 개의 정합성 휴리스틱이 존재할 때, 특히 일부가 계산적으로 비용이 많이 드는 경우 IDA*의 효율성을 향상시키는 것.
• 표준 IDA*에서 모든 노드에 대해 모든 휴리스틱을 계산하는 데 발생하는 높은 오버헤드를 해결하는 것. 이는 지침 향상에도 불구하고 탐색 속도 저하를 초래할 수 있다.
• 실행 시간에 따라 보조 휴리스틱을 계산할지 여부를 기대 실수 기준으로 결정하는 합리적인 메타이성 프레임워크를 개발하는 것.
• 최적성은 유지하면서도 총 탐색 시간 측면에서 기존 방법(예: 표준 IDA*와 지연 IDA*)을 능가하는 것.
• 이동 타일 퍼즐과 컨테이너 재정렬 문제와 같은 도메인에서 실험적으로 방법을 평가하는 것.

제안 방법

• 지연 IDA*를 제안한다. 이는 휴리스틱을 한 개씩 평가하며, h₁(n)이 컷오프를 일으키지 않으면서만 h₂(n)를 계산한다.
• 유비추론 지연 IDA* (RLIDA*)를 도입한다. 이는 보다 근시안적인 기대 실수 기준을 사용하여 h₂(n)를 계산할지 또는 즉시 노드를 확장할지 결정한다.
• h₂(n)를 생략했을 경우의 기대 실수를 기반으로 한 결정 규칙을 사용하여, 계산 비용과 f-값 추정 향상의 이점 사이의 균형을 이룬다.
• h₂(n)가 컷오프를 일으킬 가능성에 대한 확률적 추정치 p_h를 사용하여, h₂를 계산할지 여부를 합리적으로 결정한다.
• 깊이 우선, 반복적 심화 프레임워크를 적용하여 선형 공간 복잡도와 최적 해 보장 유지.
• h₁이 자식 노드를 모두 잘라내지 않는다는 가정을 위반하는 경우에도 적용 가능하도록 프레임워크를 확장하나, 이는 보조적 고려사항으로 간주된다.

실험 결과

연구 질문

• RQ1 합리적인 메타이성적 접근이 해법 품질을 훼손하지 않으면서도 IDA*에서 휴리스틱 계산에 소요되는 시간을 줄일 수 있는가?
• RQ2 여러 개의 정합성 휴리스틱이 존재할 때, 휴리스틱의 지연 평가가 오버헤드를 얼마나 효과적으로 줄일 수 있는가?
• RQ3 근시안적인 기대 실수 기준이 비용이 많이 드는 휴리스틱 평가를 선택적으로 생략함으로써 탐색 효율성을 얼마나 향상시킬 수 있는가?
• RQ4 다양한 문제 도메인에서 RLIDA*는 표준 IDA*와 지연 IDA*에 비해 실행 시간과 노드 확장 수 측면에서 어떻게 비교되는가?
• RQ5 h₁이 자식 노드를 모두 잘라내지 않는다는 가정을 위반할 경우, RLIDA*의 성능에 어떤 영향을 미치는가?

주요 결과

• 이동 타일 퍼즐과 컨테이너 재정렬 문제에서 RLIDA*는 IDA*, 지연 IDA*, 표준 IDA* 중에서 가장 우수한 전반적인 성능을 달성한다.
• 실험 결과, RLIDA*는 비용이 많이 드는 휴리스틱의 불필요한 계산을 피름으로써 총 탐색 시간을 크게 단축시킨다.
• 일부 도메인에서는 h₂ 평가 수를 최대 40%까지 줄였으며, 노드 확장 수는 최소한의 증가만을 보였다.
• 타일 퍼즐에서 약 40%의 노드에서 h₁이 자식 노드를 잘라내지 않는다는 가정을 위반함에도 불구하고, RLIDA*는 대부분의 잠재적 속도 향상을 달성했다.
• 컨테이너 재정렬 문제에서는 가정 위반이 60%의 노드에서 발생했으나, RLIDA*와 완전한 정보를 가진 이상적인 상황 사이에 여전히 격차가 존재하여 향후 개선 여지가 있음을 시사한다.
• 비현실적인 완전 정보 기반 기준은 성능 향상의 상한선을 제공하며, RLIDA*는 이 이론적 최대치의 상당 부분을 달성했다.