Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search

作者: Marco Lippi , Marco Ernandes , Ariel Felner

DOI: 10.3233/AIC-160704

关键词: Integer (computer science)Mathematical optimizationDimension (graph theory)Computer scienceBidirectional searchPermutationSortingIncremental heuristic searchSearch treeLimit (mathematics)

摘要: In this paper we consider several variants of the problem sorting integer permutations with a minimum number moves, task many potential applications ranging from computational biology to logistics. Each is formulated as heuristic search problem, where different induce sets allowed moves within tree. Due intrinsic nature category problems, which in cases present very large branching factor, classic unidirectional algorithms such A∗ and IDA∗ quickly become inefficient or even infeasible dimension grows. Therefore, more sophisticated are needed. To aim, propose combine two recent paradigms have been employed difficult problems showing good performance: enhanced partial expansion (EPE) efficient single-frontier bidirectional (eSBS). We new class combining benefits EPE eSBS, named Single-frontier Bidirectional Search Enhanced Partial Expansion (eSBS-EPE). then an experimental evaluation that shows eSBS-EPE effective approach for family often outperforming previous methods on large-size instances. With were able push limit solve largest size instances some domains (the pancake burnt puzzles). This novel paradigm hence provides promising framework also other domains.

参考文章(41)
Richard E. Korf, Iterative-deepening-A: an optimal admissible tree search international joint conference on artificial intelligence. pp. 1034- 1036 ,(1985)
Robert C. Holte, István T. Hernádvölgyi, A space-time tradeoff for memory-based heuristics national conference on artificial intelligence. pp. 704- 709 ,(1999)
H. Kaindl, G. Kainz, Bidirectional heuristic search reconsidered Journal of Artificial Intelligence Research. ,vol. 7, pp. 283- 317 ,(1997) , 10.1613/JAIR.460
Koorush Ziarati, Morteza Keshtkaran, Roohollah Taghizadeh, A Novel Technique for Compressing Pattern Databases in the Pancake Sorting Problems annual symposium on combinatorial search. ,(2011)
K. Qiu, H. Meijer, S. G. Akl, Parallel Routing and Sorting of the Pancake Network ICCI '91 Proceedings of the International Conference on Computing and Information: Advances in Computing and Information. pp. 360- 371 ,(1991) , 10.1007/3-540-54029-6_184
Nathan Sturtevant, Ariel Felner, Carsten Moldenhauer, Jonathan Schaeffer, Single-frontier bidirectional search national conference on artificial intelligence. pp. 59- 64 ,(2010)
Takayuki Yoshizumi, Teruhisa Miura, Toru Ishida, A* with Partial Expansion for Large Branching Factor Problems national conference on artificial intelligence. pp. 923- 929 ,(2000)
Richard E Korf, Joseph K Barker, Limitations of front-to-end bidirectional heuristic search national conference on artificial intelligence. pp. 1086- 1092 ,(2015)
Andrew Solomon, Paul Sutcliffe, Raymond Lister, Sorting Circular Permutations by Reversal workshop on algorithms and data structures. pp. 319- 328 ,(2003) , 10.1007/978-3-540-45078-8_28