info prev up next book cdrom email home

Array

An array is a ``list of lists'' with the length of each level of list the same. The size (sometimes called the ``shape'') of a $d$-dimensional array is then indicated as \(\underbrace{m\times n\times \cdots\times p}_d\). The most common type of array encountered is the 2-D $m\times n$ rectangular array having $m$ columns and $n$ rows. If $m=n$, a square array results. Sometimes, the order of the elements in an array is significant (as in a Matrix), whereas at other times, arrays which are equivalent modulo reflections (and rotations, in the case of a square array) are considered identical (as in a Magic Square or Prime Array).


In order to exhaustively list the number of distinct arrays of a given shape with each element being one of $k$ possible choices, the naive algorithm of running through each case and checking to see whether it's equivalent to an earlier one is already just about as efficient as can be. The running time must be at least the number of answers, and this is so close to $k^{mn\cdots p}$ that the difference isn't significant.


However, finding the number of possible arrays of a given shape is much easier, and an exact formula can be obtained using the Polya Enumeration Theorem. For the simple case of an $m\times n$ array, even this proves unnecessary since there are only a few possible symmetry types, allowing the possibilities to be counted explicitly. For example, consider the case of $m$ and $n$ Even and distinct, so only reflections need be included. To take a specific case, let $m = 6$ and $n=4$ so the array looks like

\begin{displaymath}
\matrix{
a & b & c & \vert & d & e & f\cr
g & h & i & \vert ...
... & o & \vert & p & q & r\cr
s & t & u & \vert & v & w & x,\cr}
\end{displaymath}

where each $a$, $b$, ..., $x$ can take a value from 1 to $k$. The total number of possible arrangements is $k^{24}$ ($k^{mn}$ in general). The number of arrangements which are equivalent to their left-right mirror images is $k^{12}$ (in general, $k^{mn/2}$), as is the number equal to their up-down mirror images, or their rotations through 180°. There are also $k^6$ arrangements (in general, $k^{mn/4}$) with full symmetry.


In general, it is therefore true that

\begin{displaymath}
\cases{
k^{mn/4} & with full symmetry\cr
k^{mn/2}-k^{mn/4}...
...k^{mn/2}-k^{mn/4} & with {\it only} $180^\circ$\ rotation,\cr}
\end{displaymath}

so there are

\begin{displaymath}
k^{mn} - 3k^{mn/2} + 2k^{mn/4}
\end{displaymath}

arrangements with no symmetry. Now dividing by the number of images of each type, the result, for $m\not=n$ with $m, n$ Even, is
$\displaystyle N(m,n,k)$ $\textstyle =$ $\displaystyle {\textstyle{1\over 4}}k^{mn} + ({\textstyle{1\over 2}})(3)(k^{mn/2}-k^{mn/4})$  
  $\textstyle \phantom{=}$ $\displaystyle + {\textstyle{1\over 4}}(k^{mn}-3k^{mn/2} + 2k^{mn/4})$  
  $\textstyle =$ $\displaystyle {\textstyle{1\over 4}}k^{mn} + {\textstyle{3\over 4}}k^{mn/2} + {\textstyle{1\over 2}}k^{mn/4}.$  

The number is therefore of order ${\mathcal O}(k^{mn}/4)$, with ``correction'' terms of much smaller order.

See also Antimagic Square, Euler Square, Kirkman's Schoolgirl Problem, Latin Rectangle, Latin Square, Magic Square, Matrix, Mrs. Perkins' Quilt, Multiplication Table, Orthogonal Array, Perfect Square, Prime Array, Quotient-Difference Table, Room Square, Stolarsky Array, Truth Table, Wythoff Array



info prev up next book cdrom email home

© 1996-9 Eric W. Weisstein
1999-05-25