[논문 리뷰] Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions

Jingwei Chen, Robert C. Holte외 2명|arXiv (Cornell University)|2017. 03. 10.

Metaheuristic Optimization Algorithms Research참고 문헌 12인용 수 4

한 줄 요약

이 논문은 일관된 휴리스틱을 사용할 때, 모든 '확실히 확장된' 상태 쌍을 커버하기 위해 필요한 최소 노드 확장 수의 두 배 이내로 보장하는 전방에서 후방으로의 이중 휴리스틱 탐색 알고리즘인 Near-Optimal Bidirectional Search(NBS)를 소개한다. NBS는 필수 확장을 정점 커버 문제로 모델링하고 효율적인 근사 알고리즘을 사용하여 근사 최적성을 달성하며, 이는 최악의 경우 최적임을 증명하고, 어려운 문제나 휴리스틱이 열악한 문제에서 A*와 다른 이중 탐색 방법보다 뛰어난 성능을 보인다.

ABSTRACT

It is well-known that any admissible unidirectional heuristic search algorithm must expand all states whose $f$-value is smaller than the optimal solution cost when using a consistent heuristic. Such states are called "surely expanded" (s.e.). A recent study characterized s.e. pairs of states for bidirectional search with consistent heuristics: if a pair of states is s.e. then at least one of the two states must be expanded. This paper derives a lower bound, VC, on the minimum number of expansions required to cover all s.e. pairs, and present a new admissible front-to-end bidirectional heuristic search algorithm, Near-Optimal Bidirectional Search (NBS), that is guaranteed to do no more than 2VC expansions. We further prove that no admissible front-to-end algorithm has a worst case better than 2VC. Experimental results show that NBS competes with or outperforms existing bidirectional search algorithms, and often outperforms A* as well.

연구 동기 및 목표

• 노드 확장 수에 대한 충분한 조건은 알려져 있으나, 전방에서 후방으로의 이중 휴리스틱 탐색 알고리즘에서 증명 가능한 최적의 알고리즘이 부족한 문제를 해결하기 위해.
• 모든 타당한 전방에서 후방으로의 이중 탐색에 대해 필요한 노드 확장 수의 이론적 하한을 규명하기 위해.
• 이 하한의 두 배 이내로 확장 수를 보장하는 알고리즘을 설계하기 위해.
• 모든 타당한 전방에서 후방으로의 알고리즘이 최악의 경우 두 배 이내의 성능을 보일 수밖에 없음을 증명하기 위해.
• 다양한 도메인에서 NBS를 A*, BS*, MMe, MM0와 비교하여 실증적으로 검증하고, 일관된 경쟁력 또는 승리함을 입증하기 위해.

제안 방법

• 논문은 이중 탐색에서 '확실히 확장된'(s.e.) 상태 쌍의 그래프 이론적 특성을 유도하여, 이들의 커버리지가 유도된 그래프에서의 정점 커버와 대응됨을 보여준다.
• 이 그래프에서 최소 정점 커버의 크기를 VC로 정의하고, 이는 필수 확장 수에 대한 하한으로서의 역할을 한다.
• NBS는 Papadimitriou와 Steiglitz의 정점 커버 근사 알고리즘의 수정된 버전을 사용하여 확장할 노드를 선택한다.
• 알고리즘은 전방에서 후방으로의 이중 탐색을 수행하며, 확장되는 노드는 항상 계산된 정점 커버의 일부일 때만 허용되어 모든 s.e. 쌍이 커버됨을 보장한다.
• 일관된 휴리스틱을 사용함으로써 타당성을 유지하고, 전면 관리의 신중한 조정을 통해 중복 확장을 방지한다.
• 이론적 분석을 통해 NBS는 최대 VC 노드의 두 배 이내로만 확장되며, 어떤 타당한 전방에서 후방 알고리즘도 최악의 경우 두 배 이내의 확장 수를 보장할 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 전방에서 후방으로의 이중 휴리스틱 탐색에서 모든 '확실히 확장된' 상태 쌍을 커버하기 위해 필요한 이론적 최소 노드 확장 수는 얼마인가?
• RQ2 이론적 최소 확장 수의 두 배 이내로 보장하는 근사 최적의 전방에서 후방 이중 탐색 알고리즘을 설계할 수 있는가?
• RQ3 모든 타당한 전방에서 후방 이중 탐색 알고리즘에 대해 기본적인 최악의 성능 한계가 존재하는가? 만약 존재한다면 그 한계는 무엇인가?
• RQ4 약한 휴리스틱이나 높은 난이도를 가진 문제에서, NBS와 같은 근사 최적 알고리즘의 성능은 A*와 다른 이중 탐색 알고리즘과 비교해 어떻게 되는가?
• RQ5 실제로 f = C* (최적 비용)인 확장이 NBS와 A* 간의 성능 격차에 얼마나 기여하는가?

주요 결과

• NBS는 최소 정점 커버(VC) 크기의 두 배 이내로 노드를 확장함을 보장하며, 이는 필수 확장 수의 이론적 하한이다.
• 모든 타당한 전방에서 후방 이중 탐색 알고리즘은 최악의 경우 VC의 두 배 이내로 확장 수를 보장할 수 없으며, 이는 NBS가 최악의 경우 최적임을 의미한다.
• 특히 하노이의 탑과 팬케이크 퍼즐에서 어려운 문제와 약한 휴리스틱 조건에서 NBS는 A*와 다른 이중 탐색 알고리즘보다 뚜렷이 뛰어난 성능을 보였다.
• 그리드 기반 경로 탐색(예: brc203d 지도)에서는 NBS가 A*와 BS*와 경쟁적으로 작동하지만, 오버헤드로 인해 약 30% 느리다.
• 팬케이크 퍼즐에서 GAP 휴리스틱이 강력한 문제에서는 NBS가 f = C*인 많은 노드를 확장하여 이론적 한계에도 불구하고 확장 수가 높아 보인다.
• brc203d 도메인의 30개의 인스턴스에서 NBS는 다른 알고리즘보다 확장 수 기준으로 두 배 이상 뛰어나며, 이론적 최악의 경우 한계를 초월한 실용적 우수성을 입증했다.