S.E.P.

S.E.S.

D.G.E.S.T.
De Comitancillo

INSTITUTO TECNOLGICO

MATERIA: Estadstica inferencial II

Tema:
Cuadros latinos y cuadros greco-latinos

TITULAR: M.C. Eduardo Gutirrez Bartolo

PRESENTAN: Santiago Casique Yensi Cristell

CARRERA: Ing. en Gestin Empresarial

SEMESTRE: V

GRUPO: C San Pedro Comitancillo Oax. Diciembre de 2012

1. 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. Historia y terminologa El nombre cuadrado latino se origina utiliz caracteres latinos como smbolos. con Leonhard Euler, quien

Un cuadrado latino se dice que est reducido (o "normalizado" o "de forma estandarizada") si la primera fila y la primera columna estn en orden natural. Por ejemplo, el primer cuadrado est reducido, porque la primera fila y la primera columna son 1, 2, 3. Es posible hacer un cuadrado latino permutando (reordenando) las filas y las columnas. Representacin a travs de un arreglo ortogonal Si cada entrada de un cuadrado latino de n n se escribe como una tripleta (f, c, s), donde f es la fila, c la columna y s el smbolo (para nuestro caso un nmero), se obtendrn n2 tripletas, llamado arreglo ortogonal del cuadrado. Por ejemplo, para el primer cuadrado latino de todos estos ejemplos, el arreglo ortogonal ser as: { (1,1,1),(1,2,2),(1,3,3),(2,1,2),(2,2,3),(2,3,1),(3,1,3),(3,2,1),(3,3,2) }, donde, por ejemplo, la tripleta (2,3,1) representa que el valor en la fila 2 columna 3 es 1. La representacin de un cuadrado latino puede escribirse en trminos del arreglo ortogonal, y queda as:

existen n2 tripletas de la forma (f, c, s), donde 1 f, c, s n; todos los pares (f, c) son diferentes, todos los pares (f, s) son diferentes, y todos los pares (c, s) son diferentes.

La representacin por arreglos ortogonales muestra que las filas, columnas y smbolos representan un papel muy similar. 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. El nmero de cuadrados latinos 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! (n-1)! veces el nmero de cuadrados latinos reducidos (secuenciaA000315 en OEIS). El nmero de cuadrados latinos de distintos tamaos n Cuadrados latinos reducidos Todos los cuadrados latinos de tamao n de tamao n 1 2 12 576 161280 812851200 61479419904000

1 1 2 1 3 1 4 4 5 56 6 9408 7 16942080

8 535281401856 9 377597570964258816 1 758072148316013281148928 0 0 1 536393777327737129811967 1 3540771840

108776032459082956800 5524751496156892842531225600 9982437658213039871725064756920320 000 7769668361717701441074443467342306 82311065600000

Para cada n, cada clase isotpica (secuencia A040082 en OEIS) contiene arriba de (n!)3 cuadrados latinos (el nmero exacto varia), y cada clase principal (secuencia A003090 en OEIS) contienen alguna de las 1, 2, 3 o 6 clases isotpicas. Clases equivalentes de cuadrados latinos n 1 2 3 4 5 6 7 8 9 clases principales 1 1 1 2 2 12 147 283657 19270853541 clases isotpicas 1 1 1 2 2 22 564 1676267 115618721533

10 34817397894749939 208904371354363006 Aplicaciones El estadstico ingls Ronald Fisher se vali del uso de los cuadrados latinos para mejorar significativamente los mtodos agrcolas, cuando se hallaba investigando la eficacia de los fertilizantes en el rendimiento de las cosechas. Busc la manera de plantar cosechas en similares condiciones de suelo de modo que la calidad de la tierra no fuese un factor indeseable que influyese en el rendimiento de la cosecha. Si bien la nica manera de asegurarse de tener condiciones idnticas de tierra era utilizar siempre el mismo suelo, en la prctica esto es casi imposible, pues se deberan desenterrar y volver a plantar las cosechas varias veces.[1] Por otra parte, aunque s se pudiera hacer esto ltimo, las condiciones meteorolgicas seran otro factor indeseable. Para evitar esto, por ejemplo en un caso en que se tuviese un campo cuadrado dividido en 16 parcelas, se

puede concebir un cuadrado latino en que la descripcin del campo sea tal que la calidad del suelo vare vertical y horizontalmente. Entonces se aplican al azar los 4 fertilizantes (a, b, c, y d) con la nica condicin de que cada fertilizante aparece una sola vez en cada fila y en cada columna. De esta manera se busca eliminar la variacin de la calidad de tierra. Si hubiese otro factor que pudiese influir en el rendimiento, por ejemplo, el momento del da (A, B, C, D) en que se aplica el tratamiento, entonces puede utilizarse un cuadrado latino ortogonal al anterior donde se identifiquen dichos momentos del da. De esta manera cada pareja momento-fertilizante se aplicar en una nica parcela.[1] As, un plan podra ser:[1] plan, MOMENTO a, A b, B c, C d, D b, C a, D d, A c, B c, D d, C a, B b, A d, B c, A b, D a, C
5

Cuadrados latinos y rompecabezas matemticos El popular rompecabezas Sudoku es un caso especial de cuadrado latino; 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). Para una comparacin con la geometra finita, vase Geometra del cuadrado latino (en ingls).

2. CUADRADO GRECO-LATINO Un cuadrado greco-latino, cuadrado de Euler o cuadrados latinos ortogonales de orden n se denomina, en matemticas, a la disposicin en una cuadrcula cuadradann de los elementos de dos conjuntos S y T, ambos con n elementos, cada celda conteniendo un par ordenado ( s, t), siendo s elemento de S y t de T, de forma que cada elemento de S y cada elemento de T aparezca exactamente una vez en cada fila y en cada columna y que no haya dos celdas conteniendo el mismo par ordenado. La disposicin exclusivamente de los caracteres latinos o de los griegos forma un cuadrado latino. Un cuadrado greco-latino por lo tanto, se puede descomponer en dos cuadrados latinos "ortogonales . Ortogonalidad aqu significa que cada uno de los pares (s, t) del producto cartesiano ST aparece exactamente una vez.
6

Historia Los cuadrados latinos ortogonales eran bien conocidos antes de Euler. Segn lo descrito por Donald Knuth en el Volumen 4 de El Arte de Programar Computadoras, la construccin del conjunto 4x4 fue publicado por Jacques Ozanam en 1725 (en Rcrations mathmatiques et physiques) )en forma de solitario de cartas. El problema consista en colocar los ases, reyes, reinas y jotas de una baraja de cartas estndar, en una rejilla de 4x4 de modo que en cada fila y cada columna aparecen los cuatro palos y las cuatro figuras. Este problema tiene varias soluciones. Una variante comn a este problema era establecer la restriccin adicional de que no se repitiese ningn palo, ni ninguna figura en las diagonales principales. Segn lo descrito por Martin Gardner en Entrenamiento de Gardner [1] y en Nuevos pasatiempos matemticos [2] el nmero de soluciones diferentes a este problema se estim incorrectamente por Rouse Ball en 72, (sin contar giros, ni simetras) y el error se mantuvo durante muchos aos antes de que se demostrara por Kathleen Ollerenshaw que el nmero de soluciones era de 144.

Cada una de las 144 soluciones tiene 8 reflexiones y rotaciones, lo que da un total de 1.152 soluciones. Las 144x8 soluciones se pueden clasificar en las dos clases siguientes:

Solucin

Forma Normal A K Q J Q J A K J Q K A K A J Q A K Q J J Q K A K A J Q Q J A K
7

Solucin #1

Solucin #2

Para cada una de las dos soluciones, se pueden obtener 576 (24 24) soluciones permutando los cuatro palos y los cuatro valores de forma independiente. No permutacin convertir las dos soluciones en los dems El conjunto completo de soluciones se puede comprobar mediante el siguiente esquema: 1. Sin prdida de generalidad, vamos a elegir la carta A en la esquina superior izquierda. 2. Ahora, en la segunda fila, las dos primeras casillas no pueden ser ni as, ni picas, debido a que se repetiran en la misma columna o diagonal. Por lo tanto, en una de las otras dos casillas debe ser haber un as, y en la otra una pica, ya que la carta A tampoco se puede repetir. 3. Si optamos por la celda de la segunda fila, tercera columna para el as, y se propagan las restricciones, tendremos la 1 solucin de las de arriba, salvo permutacin de los palos y valores. 4. Por el contrario, si elegimos la celda (2,3) para la pica, y se propagan las restricciones, obtendremos la 2 solucin, salvo permutacin de los palos y valores. 5. Dado que no existen otras posibilidades para la celda (2,3), el conjunto de soluciones es completo.

Conjetura de Euler Los cuadrados latinos ortogonales fueron estudiados en detalle por Leonhard Euler, que tom para el primer conjunto S = {A, B, C, }, las primeras n maysculas del alfabeto latino, y para el segundo conjunto T = { , , , },las primeras letras n minsculas del alfabeto griego, de ah el nombre cuadrados greco-latinos. En la dcada de 1780, Euler demostr mtodos para construir cuadrados greco-latino, donde n es impar o un mltiplo de 4. Al observar que no es posible construir cuadrados de orden 2 e incapaz de construir un cuadrado de orden 6 (ver problema de los treinta y seis oficiales), conjetur que no existen cuadrados grecolatinos para ningn nmero n 2 (mod 4) o dicho de otra forma que n sea impar de clase par (mltiplo de 2 que no es mltiplo de 4). La inexistencia de cuadrados de orden 6 fue confirmado definitivamente en 1901 por Gaston Tarry [3] [4] a travs de la enumeracin exhaustiva de todas las posibles combinaciones de smbolos. Sin embargo, la solucin a la conjetura de Euler estuvo sin resolverse durante mucho tiempo. Contraejemplos a la conjetura de Euler En 1959, R.C. Bose y S. S. Shrikhande construyeron algunos contraejemplos de orden 22 siguiendo puntos de vista matemticos. Poco ms tarde E. T. Parker encontr un contraejemplo del orden 10 utilizando en la bsqueda un UNIVAC (lo que hace que sea uno de los primeros problemas de combinatoria resueltos con una computadora digital). En 1960, Parker, Bose, y Shrikhande [2] (conocidos como los aguafiestas de Euler) demostraron que la conjetura de Euler es falsa para todo n 10. Por lo tanto, existen cuadrados greco-latinos de lado n para todos los n 3, excepto n = 6.
8

Dos cualesquiera de los siguientes: texto, color de primer plano, color de fondo y tipo de letra forman un par de cuadrados latinos ortogonales:

Fiordo

Jawbox

flemas

cueros

dorado

Dorado

Fiordo

jawbox

flemas

cueros

Cueros

Dorado

fiordo

jawbox

flemas

Flemas

Cueros

dorado

fiordo

jawbox

Jawbox

Flemas

cueros

dorado

fiordo

Aplicaciones Los cuadrados greco-latinos se utilizan en el diseo de experimentos, la programacin de torneos y la construccin de cuadrados mgicos. El escritor francs Georges Perec estructur en 1978 su novela La vida: instrucciones de uso en torno a un cuadrado ortogonal de 10 x 10. Cuadrados latinos mutuamente ortogonales

Los cuadrados latinos ortogonales entre s, surgen en varios problemas. Un conjunto de cuadrados latinos, se llaman mutuamente ortogonales, si para cada par de ellos son ortogonales entre s. El cuadro anterior muestra cuatro cuadrados latinos mutuamente ortogonales de orden 5, que representan, respectivamente:

El texto: fiordo, Jawbox, flemas, cueros, dorado El color de las letras: blanco, rojo, lima, azul y amarillo El color del fondo: negro, azul marrn, azul marino y plateado El tipo de letra: con remates (Georgia / Times Roman), palo seco (Verdana / Helvetica), monoespaciado (Courier New), cursiva (Comic Sans), y de fantasa(Impact).

Nmero de cuadrados latinos mutuamente ortogonales El nmero de cuadrados latinos mutuamente ortogonales que puedan existir para un determinado orden n no es conocido para cualquier n, y es un rea de investigacin en la combinatoria. Se sabe que el nmero de cuadrados latinos mutuamente ortogonales no puede exceder de (n-1) y este lmite superior se alcanza cuando n es una potencia de un nmero primo. El mnimo es conocido por ser 2 para todo n excepto para n = 1, 2 y 6, donde 1. En general el nmero mximo es desconocido para los nmeros compuestos. Los primeros valores a partir de n = 2, 3, 4 [...], 9 son 1, 2, 3, 4, 1, 6, 7, 8, (secuencia A001438 in OEIS). (Sucesin A001438 en OEIS) Se denomina familia completa al conjunto formado por n-1 cuadrados latinos de orden n mutuamente ortogonales. Cuando existe familia completa para un determinado orden n entonces es posible construir un plano proyectivo finito de

orden n y recprocamente si es posible construir un plano proyectivo finito de orden n entonces es posible construir una familia completa de cuadrados latinos mutuamente ortogonales de orden n.[2]

10