Out-of-Core Parallel Frontier Search with MapReduce

Applying the MapReduce programming paradigm to frontier search yields simple yet efficient parallel implementations of heuristic search algorithms. We present parallel implementations of Breadth-First Frontier Search (BFFS) and Breadth-First Iterative-Deepening A* (BF-IDA*). Both scale well on high-performance systems and clusters. Using the N-puzzle as an application domain, we found that the scalability of BFFS and BF-IDA* is limited only by the performance of the I/O system. We generated the complete search space of the 15-puzzle (≈10 trillion states) with BFFS on 128 processors in 66 hours. Our results do not only confirm that the longest solution requires 80 moves [10], but also show how the utility of the Manhattan Distance and Linear Conflicts heuristics deteriorates in hard problems. Single random instances of the 15-puzzle can be solved in just a few seconds with our parallel BF-IDA*. Using 128 processors, the hardest 15-puzzle problem took seven seconds to solve, while hard random instances of the 24-puzzle still take more than a day of computing time.

[1]  Richard E. Korf,et al.  A Divide and Conquer Bidirectional Search: First Results , 1999, IJCAI.

[2]  Richard E. Korf,et al.  Frontier search , 2005, JACM.

[3]  Peter Sanders,et al.  : Standard Template Library for XXL Data Sets , 2005, ESA.

[4]  Richard E. Korf,et al.  Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[5]  Jonathan Schaeffer,et al.  Searching with Pattern Databases , 1996, Canadian Conference on AI.

[6]  Günther Palm,et al.  KI 2004: Advances in Artificial Intelligence , 2004, Lecture Notes in Computer Science.

[7]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[8]  Moti Yung,et al.  Criticizing solutions to relaxed models yields powerful admissible heuristics , 1992, Inf. Sci..

[9]  Eric A. Hansen,et al.  Breadth-first heuristic search , 2004, Artif. Intell..

[10]  E. KorfRichard Depth-first iterative-deepening: an optimal admissible tree search , 1985 .

[11]  Richard E. Korf,et al.  Linear-time disk-based implicit graph search , 2008, JACM.

[12]  Richard E. Korf,et al.  Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment , 2000, AAAI/IAAI.

[13]  Richard E. Korf,et al.  Large-Scale Parallel Breadth-First Search , 2005, AAAI.

[14]  Alexander Reinefeld,et al.  AIDA Asynchronous Parallel IDA , 2006 .

[15]  Eric A. Hansen,et al.  Structured Duplicate Detection in External-Memory Graph Search , 2004, AAAI.

[16]  Jonathan Schaeffer,et al.  Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search , 1999, IEEE Trans. Parallel Distributed Syst..

[17]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..