The Structure of Reduced Sudoku Grids and the Sudoku Symmetry Group

A Sudoku grid is a constrained Latin square. In this paper a reduced Sudoku grid is described, the properties of which differ, through necessity, from that of a reduced Latin square. The Sudoku symmetry group is presented and applied to determine a mathematical relationship between the number of reduced Sudoku grids and the total number of Sudoku grids for any size. This relationship simplifies the enumeration of Sudoku grids and an example of the use of this method is given.


Introduction
A Sudoku grid, S x,y , is a n × n array subdivided into n minigrids of size x × y where n xy .S x,y consists of y bands, each composed of x horizontally consecutive minigrids, and x stacks, each composed of y vertically consecutive minigrids.Each x × y minigrid possesses x subrows, or tiers and y subcolumns, or pillars.The values 1, . . ., n are contained within the array in such a way that each value occurs exactly once in every row, column, and minigrid.The discussion that follows requires analysis of the enumeration of Sudoku grids and therefore the following notation is required: S x,y n is the number of ways of arranging the values in S x,y .
A Sudoku grid is a constrained Latin square.The calculation of the number of Latin squares, of some dimension, is greatly simplified by only counting those Latin squares which are in reduced form.A Latin square, or rectangle, is reduced if the values in the first row and column are in the natural order 1 .There are far fewer reduced Latin squares than Latin squares, and there exists a mathematical relationship allowing a direct calculation of the number of the latter from the number of the former.If the first row and first column of International Journal of Combinatorics a Sudoku grid are in the natural order there is no longer a direct mathematical relationship between the number of these and the number of Sudoku grids.Therefore reduced Sudoku grids, defined in this paper, have different properties to reduced Latin squares.
In 2-5 the number of reduced Latin squares for sizes 8 to 11 is calculated.In a recent article, Stones 6 surveys some well-known and some more recent formulae for Latin rectangles, their usefulness, and means to obtain approximate numbers.If l k, n is the number of reduced Latin rectangles of size k × n then the total number of Latin rectangles, L k, n , 1 is as follows: A similar relationship is developed here between the total number of Sudoku grids and the number of reduced Sudoku grids.Such relationships have previously been given for "NRC-Sudoku" 7 and "2-Quasi-Magic Sudoku" 8 where the focus is the symmetry groups for these structures; symmetry groups have been defined for S 3,2 9 , S 3,3 10 , and the symmetry group of S n,n is given in this paper.

The Sudoku Symmetry Group
The Sudoku symmetry group, S, containing symmetry operations applicable to S x,y consists of all homomorphisms of the structure of a Sudoku grid.An element of the symmetry group when applied to a Sudoku grid preserves the underlying structure of that grid including the relationship between the values while permuting the values contained within the grid.An element of the symmetry group α operating on a Sudoku grid s is written α s .
For the symmetry group, identity i is defined as i s s.For any element α in the symmetry group, if α s s then the Sudoku grid s is said to be "fixed" by the symmetry operation α.For two Sudoku grids s 1 and s 2 , and two elements of the symmetry group α and β, if α s 1 β s 2 then s 1 and s 2 are said to be isomorphic.
Definition 2.1.The symmetry group, S, for a Sudoku grid is formed by the permutations in Table 1.
By Definition 2.1 the Sudoku symmetry group S consists of all permutation operations listed in Table 1 and any combination thereof.Each permutation operation is given in general and the order of each gives the total number of such operations.The cardinality of the Sudoku symmetry group is given by the product of the orders of each permutation operation: 2.1

Reductions
The properties of a reduced Sudoku grid are given in Definition 3.1 and a direct mathematical relationship is given between the number of ways of arranging the values in a Sudoku grid and the number of ways of arranging the values in a reduced Sudoku grid, in Theorem 3.2.
The reduced Sudoku properties are used in Section 4 to enable the simplification of the calculation of the number of ways of arranging the values in a Sudoku grid.ii for each minigrid S x,y 1,b , for b 2, . . ., x, the values in S x,y 1,b 1,j for j 1, . . ., y are increasing; iii for each minigrid S x,y a,1 , for a 2, . . ., y, the values in S x,y a,1 i,1 for i 1, . . ., x are increasing; An example reduced Sudoku grid is given in Figure 1 a , and an isomorphic Sudoku grid that can be formed from it by permuting the values 1, 9, 2, 5, 8 3, 7, 6 4 and permuting the rows and columns is given in Figure 1 b .Theorem 3.2.If s x,y n is the number of reduced Sudoku grids of size n × n with minigrids of size x × y (where n xy) then S x,y n is given by the following: S x,y n n − 1 !x! y y! x s x,y n .

3.1
Proof.Let a set X contain all reduced Sudoku grids.There exists an x, y ∈ S such that x S y T for S, T ∈ X. Hence a count of the number of possible isomorphisms by applying the symmetry operations in S will be larger than the number of distinct isomorphisms.The permutations in Table 2 contain all symmetry operations of S, and form the group R, and is such that if p S r T for S, T ∈ X then x y and S T for p, r ∈ R. The cardinality of R is given by the product of the order of the permutation operations in Table 2, and thus gives the number of isomorphic Sudoku grids which may be formed from a given reduced Sudoku grid.Thus the total number of Sudoku grids may be calculated from the total number of reduced Sudoku grids using the following:

Example of the Enumeration Technique
Let a 4 × 4 Sudoku grid be in reduced form such that: the values in S 2,2 1,1 are in canonical form, the values in S 2,2 1,2 1,j for j 1, 2 are increasing; the values in S 2,2 2,1 i,1 for i 1, 2 are increasing note that the remaining two properties of reduced Sudoku grids are not needed for S 2,2 since there are only two bands and two stacks .A partially filled reduced Sudoku grid is given in Figure 2 containing only those values which are prearranged by the grid being in reduced form .
Consider the minigrid S 2,2 1,2 ; the values 1 and 2 must be contained in the second tier and there are two ways of arranging these values.Consider the minigrid S 2,2 2,1 ; the values 1 and 3 must be contained in the second pillar and there are two ways of arranging these values.Four S 2,2 grids are formed and are given in Figure 3.In Figures 3 a , 3 b , and 3 c there is one way of arranging the values in S 2,2 2,2 and in Figure 3 d there are no valid ways of arranging the values in S 2,2 2,2 ; therefore s 2,2 4 3.The enumeration of the number of S 2,2 grids has been greatly simplified by only calculating the number of reduced Sudoku grids.Using 3.1 in Theorem 3.2 the total number of 4 × 4 grids can be calculated such that s 2,2 4 288.

Comparison of the Number of Known and Reduced Sudoku Grids
Exact values for S   and Silver 11 .Currently no other results are available in the academic or nonpeer-reviewed literature.Known numbers of Sudoku grids, S x,y 1,x n , for some values of x and y are extended using Theorem 3.2 to produce a comparison of s x,y n and S x,y n ; these are shown in Table 3.
The link between Latin squares and reduced Latin squares has been employed to great advantage, especially within the field of enumerative combinatorics.Here we have introduced a reduced Sudoku grid which likewise simplifies the enumeration of Sudoku grids.It can be seen from Table 3 that there are far fewer reduced Sudoku grids than their regular counterparts and in Section 3 the mathematical link between them is demonstrated.

Figure 1 :
Figure 1: An example Sudoku grid in reduced form and a sudoku grid isomorphic to it.

Figure 3 :
Figure 3: Four arrangements of the values in the partially filled reduced S 2,2 .

Table 1 :
Permutation operations generating S. Definition 3.1.A reduced Sudoku grid, s x,y , is a Sudoku grid, S x,y , having the following properties: i the values in S x,y 1,1 are in canonical form, S x,y 1,1 i,j i − 1 y j;

Table 2 :
Permutation operations used to form isomorphic Sudoku grids.
x,y n are known for x ≤ 3 and y ≤ 4. All results were calculated computationally and appeared around late 2005 on the Sudoku Players Forum 11 , except for S 3,3 9 which appeared in 12 in January 2006.All results have been confirmed computationally by other contributors to the forum.S 2,2 4 is attributed to many different authors, S 2,3 6 , S 2,5 10 , and S 2,6 12 are attributed to Pettersen 11 .The number S 2,4 8 was calculated by Russel 11 , S 3,3 9 by Felgenhauer and Jarvis 12 , and S 3,4 12 by Pettersen

Table 3 :
Comparison of S x,y n and s x,y n .