Diseo experimental con bloques al azar y diseos factoriales.

Tema 5.4 Diseo de cuadrados latinos

Cuadrado Latino
Un cuadrado latino es una matriz de nn elementos en la que cada casilla est ocupada por uno de los n smbolos de tal modo que cada uno de ellos aparece exactamente una vez en cada columna y en cada fila. Las siguientes matrices son cuadrados latinos:

 Los cuadrados latinos se dan como una tabla de multiplicar (tabla Cayley) de quasigrupos, los cuales se aplican en el diseo de experimentos.

Clases equivalentes de cuadrados latinos

Muchas operaciones sobre un cuadrado latino produce otro cuadrado latino (por ejemplo, alternar filas). Si permutamos las filas, permutamos las columnas, y permutamos los smbolos de un cuadrado latino obtenemos un nuevo cuadrado latino que decimos que es isotpico del primero. El isotopismo es una relacin de equivalencia; basndose en esto, se dice que todos los cuadrados latinos estn divididos en subgrupos, llamados clases isotpicas; segn esto, dos cuadrados de la misma clase se dice que son isotpicos, y dos de clases diferentes son no isotpicos.

 Otro tipo de operacin puede explicarse fcilmente usando la representacin de estos por arreglos ortogonales. Si se reorganizan consciente y sistemticamente los tres elementos de cada tripleta (f, c, s) por (c, f, s), lo cual corresponde a una transposicin del cuadrado (reflejado en la diagonal principal), o es posible reemplazar cada tripleta (f, c, s) por (c, s, f), lo que es una operacin ms complicada. Todas juntas dan 6 posibilidades, incluida la de no hacer nada, lo que da 6 cuadrados latinos llamados conjugados del cuadrado original.

 Finalmente, es posible combinar estas dos operaciones equivalentes: dos cuadrados latinos son paratpicos si uno de ellos es conjugado del otro. Esto es nuevamente una relacin de equivalencia, con la clase de equivalencia principal llamada clase principal, especies o clase paratpica. Cada clase contiene 6 clases isotpicas.

 No se conoce una frmula para el clculo fcil del nmero de cuadrados latinos de n n son para n=1,2,...,n. Los lmites superiores e inferiores ms exactos conocidos para n ms grande estn demasiado separados. Aqu se dispone de todos los valores exactos conocidos. Es posible notar que los nmeros crecen exageradamente rpido. Para cada n, el nmero de cuadrados latinos disponibles (secuencia A002860 en OEIS ) es n! (n1)! veces el nmero de cuadrados latinos reducidos (secuencia A000315 en OEIS).

 El popular rompecabezas Sudoku es un caso especial de cuadrado latinos; toda solucin de un Sudoku es un cuadrado latino. Un Sudoku impone una restriccin adicional a los subgrupos de 33, estos slo deben contener los dgitos del 1 al 9 (en la versin estndar). El rompecabezas conocido como Diamante 16 (Diamond 16 Puzzle) ilustra un concepto generalizado de la ortogonalidad de los cuadrados latinos: el cuadrado ortogonal ([1], 1976) o "Matrices ortogonales"-- ortogonal en el sentido combinatorio y no en un sentido algebraico-lineal (A. E. Brouwer, 1991).