cp's OEIS Frontend

The three sequences A054500/A054501/A054502 are used to classify solutions to the problem of "Nonattacking queens on a 2n+1 X 2n+1 toroidal board" by their symmetry; solutions are considered equivalent iff they differ only by rotation, reflection or torus shift.

For brevity, let i(n) = A054500(n) (indicator sequence), m(n) = A054501(n) (multiplicity) and c(n) = A054502(n) (count).

i(n) = k means that there are solutions for the k X k board and that m(n) and c(n) refer to it. There are c(n) inequivalent solutions which may be extended to m(n) different representations each (i.e., m(n) permutations).

This gives two formulas: A007705(n) = Sum (c(k) * m(k)), A053994(n) = Sum (c(k)), where the sum is taken over all k for which i(k) = 2n+1, for both formulas. Note that m(n) is always a divisor of 8 * i(n)^2.

In this sequence two n-queens solutions p and q are considered equivalent iff there are natural numbers x and y such that, for all k from {0, ..., n-1}, q (k + x mod n) = p (k) + y mod n, or q is a rotation or a reflection of such a q.

In other words, besides rotations and reflections, also torus shifts are allowed. The sequence reduces the objects of A002562 and via that of A000170. The reduction of A000170 to this sequence is exactly the same as from A007705 to A053994 for torus queens; however, a solution for torus queens remains always a solution after a shift while a normal queens solutions does so only sometimes.

Note that the equivalence classes of this sequence are a subset of A006841. Moreover they are a subset of A062167.

Two n-queens solutions p and q are considered similar iff there is a factor f, 0 < f < n, satisfying gcd (f,n) = 1, such that for all k from {0, ..., n-1} q (k * f mod n) = p (k) * f mod n or q is a rotation, a reflection or a shift of such a q. In other words, also expansions are allowed which move the queen at (k, p(k)) to (f * k mod n, f * p(k) mod n).

The sequence reduces exactly the objects of A053994 and, via that sequence, these of A007705.

The chessboard is an n X n standard chessboard whose left and right edges are twisted connected.