View source for Room square

<!--
r1101401.png
$#A+1 = 50 n = 0
$#C+1 = 50 : ~/encyclopedia/old_files/data/R110/R.1100140 Room square
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A Room square of side  $  n $, 
$  { \mathop{\rm RS} } ( n ) $, 
is an  $  ( n \times n ) $-
array  $  R $
defined on an  $  ( n + 1 ) $-
set  $  V $
with the following properties:

1) each cell of  $  R $
is either empty or contains an unordered pair of distinct elements from  $  V $;

2) each element of  $  V $
occurs precisely once in each row and column of  $  R $;

3) every unordered pair of elements from  $  V $
is in precisely one cell of  $  R $. 
A necessary condition for a Room square of side  $  n $
to exist is that  $  n $
be odd. An example of a Room square of side  $  7 $
is listed below.
<table border="0" cellpadding="0" cellspacing="0" style="background-color:black;"> <tr><td> <table border="0" cellspacing="1" cellpadding="4" style="background-color:black;"> <tbody> <tr> <td colname="1" style="background-color:white;" colspan="1"> $  \infty $
0</td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1">1 5</td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1">4 6</td> <td colname="7" style="background-color:white;" colspan="1">2 3</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1">3 4</td> <td colname="2" style="background-color:white;" colspan="1"> $  \infty $
1</td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1">2 6</td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1">5 0</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1">6 1</td> <td colname="2" style="background-color:white;" colspan="1">4 5</td> <td colname="3" style="background-color:white;" colspan="1"> $  \infty $
2</td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1">3 0</td> <td colname="7" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1">0 2</td> <td colname="3" style="background-color:white;" colspan="1">5 6</td> <td colname="4" style="background-color:white;" colspan="1"> $  \infty $
3</td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1">4 1</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1">5 2</td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1">1 3</td> <td colname="4" style="background-color:white;" colspan="1">6 0</td> <td colname="5" style="background-color:white;" colspan="1"> $  \infty $
4</td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1">6 3</td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1">2 4</td> <td colname="5" style="background-color:white;" colspan="1">0 1</td> <td colname="6" style="background-color:white;" colspan="1"> $  \infty $
5</td> <td colname="7" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="7" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1">0 4</td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1">3 5</td> <td colname="6" style="background-color:white;" colspan="1">1 2</td> <td colname="7" style="background-color:white;" colspan="1"> $  \infty $
6</td> </tr> </tbody> </table>

</td></tr> </table>

Room squares were named after T.G. Room, who published a paper in 1955 in which he constructed a Room square of side  $  7 $
and proved that Room squares of side  $  3 $
and  $  5 $
do not exist. However, Room squares were actually constructed much earlier. In 1850, T.M. Kirkman used a Room square of side  $  7 $
to solve the [[Kirkman schoolgirls problem]] for  $ 15 $
girls, and the first infinite classes of Room squares were constructed by R.R. Anstice in 1852– 1853 [[#References|[a1]]]. Several small Room squares were also constructed by E.C. Howell for use as schedules for duplicate bridge tournaments at the end of the nineteenth century. The existence of Room squares was finally completed in the early 1970s by R.C. Mullin and W.D. Wallis [[#References|[a4]]]: A Room square of side  $  n $
exists if and only if  $  n $
is odd and  $  n \neq 3 $
or  $  5 $. 
The proof uses a number of direct and recursive constructions. An extensive literature on Room squares is available, see [[#References|[a3]]].

One application of Room squares is in the construction of round robin tournaments. A Room square of side  $  n $
can be used to construct a round robin tournament with  $  n + 1 $
teams which has the following properties: every team plays every other team exactly once during the tournament; every team plays in exactly one game in each round; and every team plays at every location exactly once.

A Room square of side  $  n $
is standardized with respect to the element  $  \infty $
if cell  $  ( i,i ) $
contains the pair  $  \{ \infty,i \} $. 
A standardized Room square of side  $  n $
is skew if for every pair of cells  $  ( i,j ) $
and  $  ( j,i ) $(
with  $  i \neq j $) 
exactly one is filled. The existence of skew Room squares has been established [[#References|[a5]]]: There exists a skew Room square of side  $  n $
if and only if  $  n $
is odd and  $  n \neq 3 $
or  $  5 $. 
Skew Room squares have been quite useful in constructions for several other types of combinatorial designs, see [[#References|[a3]]].

Room squares with additional properties have also been studied; these include Room squares with sub-Room squares (incomplete Room squares), maximum empty subarray Room squares, perfect Room squares, and balanced Room squares (complete balanced Howell rotations), see [[#References|[a3]]] for references. For generalizations of Room squares to larger block size and higher dimension, see [[Design with mutually orthogonal resolutions|Design with mutually orthogonal resolutions]].

Room squares are equivalent to several other combinatorial configurations, [[#References|[a2]]]. In particular, the existence of the following designs are equivalent:

a) a Room square of side  $  n $;

b) a Room frame of type  $  1  ^ {n} $;

c) two pairwise orthogonal symmetric Latin squares of order n (see [[Latin square|Latin square]]);

d) a [[Howell design|Howell design]],  $  H ( n,n + 1 ) $;

e) two pairwise orthogonal one-factorizations of  $  K _ {n + 1 }  $(
cf. also [[One-factorization|One-factorization]]);

f) two orthogonal resolutions of an  $  ( n + 1,2,1 ) $-
BIBD (see [[Design with mutually orthogonal resolutions|Design with mutually orthogonal resolutions]]).

In some of the earlier literature, Room squares are also called Room designs.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  I. Anderson,   "Cyclic designs in the 1850s; the work of Rev. R.R. Anstice"  ''Bull. ICA'' , '''15'''  (1995)  pp. 41–46</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.H. Dinitz,   "Room squares"  C.J. Colbourn (ed.)  J.H. Dinitz (ed.) , ''CRC Handbook of Combinatorial Designs'' , CRC  (1996)  pp. 437–442</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J.H. Dinitz,   D.R. Stinson,   "Room squares and related designs"  J.H. Dinitz (ed.)  D.R. Stinson (ed.) , ''Contemporary Design Theory: A Collection of Surveys'' , Wiley  (1992)  pp. 137–204</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R.C. Mullin,   W.D. Wallis,   "The existence of Room squares"  ''Aequat. Math.'' , '''13'''  (1975)  pp. 1–7</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  D.R. Stinson,   "The spectrum of skew Room squares"  ''J. Austral. Math. Soc. A'' , '''31'''  (1981)  pp. 475–480</TD></TR></table>