OFFSET
0,5
COMMENTS
For n > 3, a(n) is the number of maximum independent vertex sets in the n X n queen graph. - Eric W. Weisstein, Jun 20 2017
Number of nodes on level n of the backtrack tree for the n queens problem (a(n) = A319284(n, n)). - Peter Luschny, Sep 18 2018
Number of permutations of [1...n] such that |p(j)-p(i)| != j-i for i<j. - Xiangyu Chen, Dec 24 2020
M. Simkin shows that the number of ways to place n mutually nonattacking queens on an n X n chessboard is ((1 +/- o(1))*n*exp(-c))^n, where c = 1.942 +/- 0.003. These are approximately (0.143*n)^n configurations. - Peter Luschny, Oct 07 2021
REFERENCES
M. Gardner, The Unexpected Hanging, pp. 190-2, Simon & Shuster NY 1969
Jieh Hsiang, Yuh-Pyng Shieh and Yao-Chiang Chen, The cyclic complete mappings counting problems, in Problems and Problem Sets for ATP, volume 02-10 of DIKU technical reports, G. Sutcliffe, J. Pelletier and C. Suttner, eds., 2002.
D. E. Knuth, The Art of Computer Programming, Volume 4, Pre-fascicle 5B, Introduction to Backtracking, 7.2.2. Backtrack programming. 2018.
Massimo Nocentini, "An algebraic and combinatorial study of some infinite sequences of numbers supported by symbolic and logic computation", PhD Thesis, University of Florence, 2019. See Ex. 67.
W. W. Rouse Ball and H. S. M. Coxeter, Mathematical Recreations and Essays, 13th ed., New York, Dover, 1987, pp. 166-172 (The Eight Queens Problem).
M. A. Sainte-Laguë, Les Réseaux (ou Graphes), Mémorial des Sciences Mathématiques, Fasc. 18, Gauthier-Villars, Paris, 1926, p. 47.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
R. J. Walker, An enumerative technique for a class of combinatorial problems, pp. 91-94 of Proc. Sympos. Applied Math., vol. 10, Amer. Math. Soc., 1960.
M. B. Wells, Elements of Combinatorial Computing. Pergamon, Oxford, 1971, p. 238.
LINKS
Jordan Bell and Brett Stevens, A survey of known results and research areas for n-queens, Discrete Mathematics, Volume 309, Issue 1, Jan 06 2009, Pages 1-31.
D. Bill, Durango Bill's The N-Queens Problem
J. R. Bitner and E. M. Reingold, Backtrack programming techniques, Commun. ACM, 18 (1975), 651-656.
J. R. Bitner and E. M. Reingold, Backtrack programming techniques, Commun. ACM, 18 (1975), 651-656. [Annotated scanned copy]
Candida Bowtell and Peter Keevash, The n-queens problem, arXiv:2109.08083 [math.CO] 2021.
P. Capstick and K. McCann, The problem of the n queens, apparently unpublished, no date (circa 1990?) [Scanned copy]
V. Chvatal, All solutions to the problem of eight queens
V. Chvatal, All solutions to the problem of eight queens [Cached copy, pdf format, with permission]
Gheorghe Coserea, Solutions for n=8.
Gheorghe Coserea, Solutions for n=9.
Gheorghe Coserea, MiniZinc model for generating solutions.
Matteo Fischetti and Domenico Salvagnin, Chasing First Queens by Integer Programming, 2018.
Matteo Fischetti and Domenico Salvagnin, Finding First and Most-Beautiful Queens by Integer Programming, arXiv:1907.08246 [cs.DS], 2019.
J. Freeman, A neural network solution to the n-queens problem, The Mathematica J., 3 (No. 3, 1993), 52-56.
Ian P. Gent, Christopher Jefferson and Peter Nightingale, Complexity of n-Queens Completion, Journal of Artificial Intelligence Research 59 (2017), see p 816.
Eric Grigoryan, Investigation of the Regularities in the Formation of Solutions n-Queens Problem, Modeling of Artificial Intelligence, 2018, 5(1), 3-21.
E. Grigoryan, Linear algorithm for solution n-Queens Completion problem, arXiv:1912.05935 [cs.AI], 2019.
James Grime and Brady Haran, The 8 Queen Problem, Numberphile video (2015).
Michael Han, Tanya Khovanova, Ella Kim, Evin Liang, Miriam Lubashev, Oleg Polin, Vaibhav Rastogi, Benjamin Taycher, Ada Tsui and Cindy Wei, Fun with Latin Squares, arXiv:2109.01530 [math.HO], 2021.
Kenji Kise, Takahiro Katagiri, Hiroki Honda and Toshitsugu Yuba, Solving the 24-queens Problem using MPI on a PC Cluster, Technical Report UEC-IS-2004-6, Graduate School of Information Systems, The University of Electro-Communications (2004).
D. E. Knuth, Donald Knuth's 24th Annual Christmas Lecture: Dancing Links, Stanfordonline, Video published on YouTube, Dec 12, 2018.
W. Kosters, n-Queens bibliography
Vaclav Kotesovec, Non-attacking chess pieces, Sixth edition, 795 pages, Feb 02 2013 (minor update Mar 29 2016).
Zur Luria, New bounds on the number of n-queens configurations, arXiv:1705.05225 [math.CO], 2017.
Zur Luria, Michael Simkin, A lower bound for the n-queens problem, arXiv:2105.11431 [math.CO], 2021.
E. Masehian, H. Akbaripour and N. Mohabbati-Kalejahi, Solving the n Queens Problem using a Tuned Hybrid Imperialist Competitive Algorithm, 2013.
E. Masehian, H. Akbaripour and N. Mohabbati-Kalejahi, Landscape analysis and efficient metaheuristics for solving the n-queens problem, Computational Optimization and Applications, 2013; DOI 10.1007/s10589-013-9578-z.
Nasrin Mohabbati-Kalejahi, Hossein Akbaripour and Ellips Masehian, Basic and Hybrid Imperialist Competitive Algorithms for Solving the Non-attacking and Non-dominating n -Queens Problems, Studies in Computational Intelligence Volume 577, 2015, pp 79-96. DOI 10.1007/978-3-319-11271-8_6.
Ralph Morrison and Noah Speeter, The Gonality of Queen's Graphs, arXiv:2312.04686 [math.CO], 2023.
Parth Nobel, Akshay Agrawal and Stephen Boyd, Computing tighter bounds on the n-queens constant via Newton’s method, arXiv:2112.03336 [math.CO], 2021.
J. Pope and D. Sonnier, A linear solution to the n-Queens problem using vector spaces, Journal of Computing Sciences in Colleges, Volume 29 Issue 5, May 2014 Pages 77-83.
T. B. Preußer and M. R. Engelhardt, Putting Queens in Carry Chains, No. 27, Journal of Signal Processing Systems, Volume 88, Issue 2, August 2017. (The title refers to the fact that the article discusses the case n = 27.)
Thomas B. Preußer, Bernd Nägel and Rainer G. Spallek, Putting Queens in Carry Chains, Slides, HIPEAC WRC'09.
E. M. Reingold, Letter to N. J. A. Sloane, Dec 27 1973
I. Rivin, I. Vardi and P. Zimmermann, The n-queens problem, Amer. Math. Monthly, 101 (1994), 629-639.
Werner Florian Samayoa, Maria Liz Crespo, Sergio Carrato, Agustin Silva, and Andres Cicuttin, HyperFPGA: An Experimental Testbed for Heterogeneous Supercomputing, 2023.
Michael Simkin, The number of n-queens configurations, arXiv:2107.13460 [math.CO], 2021.
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel and Sarfraz Khurshid, A Study of Symmetry Breaking Predicates and Model Counting, National University of Singapore (2020).
Eric Weisstein's World of Mathematics, Maximum Independent Vertex Set
Eric Weisstein's World of Mathematics, Queen Graph
Eric Weisstein's World of Mathematics, Queens Problem
M. B. Wells, Elements of Combinatorial Computing, Pergamon, Oxford, 1971. [Annotated scanned copy of pages 237-240]
WikiMili, Eight queens puzzle, (2019).
Wikipedia, Eight Queens Puzzle
Cheng Zhang and Jianpeng Ma, Counting Solutions for the N-queens and Latin Square Problems by Efficient Monte Carlo Simulations, arXiv:0808.4003 [cond-mat.stat-mech], 2008.
FORMULA
Strong conjecture: there is a constant c around 2.54 such that a(n) is asymptotic to n!/c^n; weak conjecture: lim_{n -> infinity} (1/n) * log(n!/a(n)) = constant = 0.90.... - Benoit Cloitre, Nov 10 2002
Lim_{n->infinity} a(n)^(1/n)/n = exp(-A359441) = 0.1431301... [Simkin 2021]. - Vaclav Kotesovec, Jan 01 2023
EXAMPLE
a(2) = a(3) = 0, since on 2 X 2 and 3 X 3 chessboards there are no solutions.
.
a(4) = 2:
+---------+ +---------+
| . . Q . | | . Q . . |
| Q . . . | | . . . Q |
| . . . Q | | Q . . . |
| . Q . . | | . . Q . |
+---------+ +---------+
a(5) = 10:
+-----------+ +-----------+ +-----------+ +-----------+ +-----------+
| . . . Q . | | . . Q . . | | . . . . Q | | . . . Q . | | . . . . Q |
| . Q . . . | | . . . . Q | | . . Q . . | | Q . . . . | | . Q . . . |
| . . . . Q | | . Q . . . | | Q . . . . | | . . Q . . | | . . . Q . |
| . . Q . . | | . . . Q . | | . . . Q . | | . . . . Q | | Q . . . . |
| Q . . . . | | Q . . . . | | . Q . . . | | . Q . . . | | . . Q . . |
+-----------+ +-----------+ +-----------+ +-----------+ +-----------+
+-----------+ +-----------+ +-----------+ +-----------+ +-----------+
| Q . . . . | | . Q . . . | | Q . . . . | | . . Q . . | | . Q . . . |
| . . . Q . | | . . . . Q | | . . Q . . | | Q . . . . | | . . . Q . |
| . Q . . . | | . . Q . . | | . . . . Q | | . . . Q . | | Q . . . . |
| . . . . Q | | Q . . . . | | . Q . . . | | . Q . . . | | . . Q . . |
| . . Q . . | | . . . Q . | | . . . Q . | | . . . . Q | | . . . . Q |
+-----------+ +-----------+ +-----------+ +-----------+ +-----------+
a(6) = 4:
+-------------+ +-------------+ +-------------+ +-------------+
| . . . . Q . | | . . . Q . . | | . . Q . . . | | . Q . . . . |
| . . Q . . . | | Q . . . . . | | . . . . . Q | | . . . Q . . |
| Q . . . . . | | . . . . Q . | | . Q . . . . | | . . . . . Q |
| . . . . . Q | | . Q . . . . | | . . . . Q . | | Q . . . . . |
| . . . Q . . | | . . . . . Q | | Q . . . . . | | . . Q . . . |
| . Q . . . . | | . . Q . . . | | . . . Q . . | | . . . . Q . |
+-------------+ +-------------+ +-------------+ +-------------+
- Hugo Pfoertner, Mar 17 2019
CROSSREFS
Main diagonal of A348129.
KEYWORD
nonn,hard,nice
AUTHOR
EXTENSIONS
Terms for n=21-23 computed by Sylvain PION (Sylvain.Pion(AT)sophia.inria.fr) and Joel-Yann FOURRE (Joel-Yann.Fourre(AT)ens.fr).
a(24) from Kenji KISE (kis(AT)is.uec.ac.jp), Sep 01 2004
a(25) from Objectweb ProActive INRIA Team (proactive(AT)objectweb.org), Jun 11 2005 [Communicated by Alexandre Di Costanzo (Alexandre.Di_Costanzo(AT)sophia.inria.fr)]. This calculation took about 53 years of CPU time.
a(25) has been confirmed by the NTU 25Queen Project at National Taiwan University and Ming Chuan University, led by Yuh-Pyng (Arping) Shieh, Jul 26 2005. This computation took 26613 days CPU time.
The NQueens-at-Home web site gives a different value for a(24), 226732487925864. Thanks to Goran Fagerstrom for pointing this out. I do not know which value is correct. I have therefore created a new entry, A140393, which gives the NQueens-at-home version of the sequence. - N. J. A. Sloane, Jun 18 2008
It now appears that this sequence (A000170) is correct and A140393 is wrong. - N. J. A. Sloane, Nov 08 2008
Added a(26) as calculated by Queens(AT)TUD [http://queens.inf.tu-dresden.de/]. - Thomas B. Preußer, Jul 11 2009
Added a(27) as calculated by the Q27 Project [https://github.com/preusser/q27]. - Thomas B. Preußer, Sep 23 2016
a(0) = 1 prepended by Joerg Arndt, Sep 16 2018
STATUS
approved