Putting Queens in Carry Chains, No̱27

作者: Thomas B. Preußer , Matthias R. Engelhardt

DOI: 10.1007/S11265-016-1176-8

关键词:

摘要: The N-Queens Puzzle is a fascinating combinatorial problem. Up to now, the number of distinct valid placements N non-attacking queens on generalized × chessboard cannot be computed by formula. computation these numbers instead based an exhaustive search whose complexity grows dramatically with problem size N. Solutions counts are currently known for all up 26. parallelization solutions embarrassingly simple. It achieved pre-placing within certain board region. These pre-placements partition space. chosen extent pre-placement allows wide range partitioning granularity. This ease makes great show-off case tremendously parallel approaches and flexible benchmark compute resources. article presents Q27 Project, open-source effort targeting solution count 27-Queens Puzzle. first undertaking pushing frontier that exploits complete symmetry group D4 square. reduces overall computational already eighth in comparison naive exploration whole details coronal enables under this approach. With respect physical implementation computation, it describes hardware structure explores resulting subproblems efficiently exploiting bit-level operations their mapping FPGA devices as well infrastructure organizes contributing distributed computation. performance several platforms evaluated using benchmark, some intriguing observations obtained from available partial presented. Finally, estimate remaining run time expected magnitude final result dared.

参考文章(8)
Tao Zhang, Wei Shu, Min-You Wu, Optimization of N-queens solvers on graphics processors APPT'11 Proceedings of the 9th international conference on Advanced parallel processing technologies. pp. 142- 156 ,(2011) , 10.1007/978-3-642-24151-2_11
Kenji Kise, Hiroki Honda, Toshitsugu Yuba, Takahiro Katagiri, Solving the 24-queens Problem using MPI on a PC Cluster ,(2004)
Adalbert Kerber, Applied finite group actions ,(1999)
Matthias R. Engelhardt, A group-based search for solutions of the n-queens problem Discrete Mathematics. ,vol. 307, pp. 2535- 2551 ,(2007) , 10.1016/J.DISC.2007.01.007
Thomas B. Preusser, Rainer G. Spallek, Mapping basic prefix computations to fast carry-chain structures field-programmable logic and applications. pp. 604- 608 ,(2009) , 10.1109/FPL.2009.5272382
Igor Rivin, Ilan Vardi, Paul Zimmermann, The n-Queens Problem American Mathematical Monthly. ,vol. 101, pp. 629- 639 ,(1994) , 10.1080/00029890.1994.11997004
Jordan Bell, Brett Stevens, A survey of known results and research areas for n-queens Discrete Mathematics. ,vol. 309, pp. 1- 31 ,(2009) , 10.1016/J.DISC.2007.12.043
Oliver Knodel, Rainer G. Spallek, RC3E: Provision and Management of Reconfigurable Hardware Accelerators in a Cloud Environment. arXiv: Distributed, Parallel, and Cluster Computing. ,(2015)