skip to main content
10.1145/2790282.2790289acmconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
research-article

GPU-acceleration of optimal permutation-puzzle solving

Authors Info & Claims
Published:10 July 2015Publication History

ABSTRACT

We first investigate parallelization of Rubik's cube optimal solver, especially for acceleration by GPU. To examine its efficacy, we implement a simple solver based on Korf's algorithm, with which CPU and GPU collaborate in IDA* algorithm and a large number of GPU cores are utilized for speedup instead of a huge distance table used for pruning. Empirical studies succeeded to attain sufficient speedup by GPU-acceleration.

There are many other similar puzzles of so-called permutation puzzles. The puzzle solving, i.e., restoring the original ordered state from a scrambled one is equivalent to the path-finding in the Cayley graph of the permutation group. We generalize the method used for Rubik's cube to much smaller problems, and examine its efficacy. The focus of our research interest is how efficient the parallel path-finding can be and whether the use of a large number of cores substitutes for a large distance table used for pruning, in general.

References

  1. God's number is 20. http://cube20.org/.Google ScholarGoogle Scholar
  2. A. H. Frey, Jr. and D. Singmaster. Handbook of Cubik Math. Lutterworth Press, 2010.Google ScholarGoogle Scholar
  3. R. Inam. A* algorithm for multicore graphics processors. Master's thesis, Chalmers University of Technology, 2010.Google ScholarGoogle Scholar
  4. D. Joyner. Adventures in Group Theory. Johns Hopkins University Press, 2nd edition, 2008.Google ScholarGoogle Scholar
  5. H. Kociemba. The two-phase algorithm. http://kociemba.org/twophase.htm.Google ScholarGoogle Scholar
  6. R. E. Korf. Depth-first iterative-deepening: An optimal admissible tree search. Artificial Intelligence, 27:97--109, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. R. E. Korf. Finding optimal solutions to Rubik's cube using pattern databases. In Proceedings of National Conference on Artificial Intelligence: AAAI-97, pages 700--705, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. D. Kunkle and C. Cooperman. Twenty-six moves suffice for Rubik's cube. In Proc. ISSAC'07, pages 235--242. ACM Press, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. B. Mahafzah. Parallel multithreaded IDA* heuristic search: algorithm design and performance evalution. International Journal of Parallel Emergent and Distributed Systems, 26(1):61--82, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. M. Reid. Optimal Rubik's cube solver. http://www.cflmath.com/Rubik/optimal_solver.html, 2006.Google ScholarGoogle Scholar
  11. A. Reinefeld and V. Schnecke. AIDA* -- asynchronous parallel IDA*. In Proc. 10th Canadian Conf. on AI: AI'94, pages 295--302, 1994.Google ScholarGoogle Scholar
  12. T. Rokicki, H. Kociemba, M. Davidson, and J. Dethridge. The diameter of the Rubik's cube group is twenty. SIAM Journal of Discrete Mathematics, 27(2):1082--1105, 2013.Google ScholarGoogle ScholarCross RefCross Ref
  13. J. Scherphuis. Jaap's Puzzle Page. http://www.jaapsch.net/puzzles/.Google ScholarGoogle Scholar
  14. Y. Zhou and J. Zeng. Massively parallel A* search on a GPU. In Proceedings of the 29th AAAI Conference on Artifitial Intelligence, pages 1248--1254, 2015.Google ScholarGoogle Scholar

Index Terms

  1. GPU-acceleration of optimal permutation-puzzle solving

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            PASCO '15: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation
            July 2015
            256 pages
            ISBN:9781450335997
            DOI:10.1145/2790282

            Copyright © 2015 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 10 July 2015

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • research-article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader