Pontificia Universidad Católica de Chile

Facultad de Matemáticas
Departamento de Matemática
Profesor: Héctor Pastén – Ayudante: Alejandra Schild

Introducción a la Combinatoria - MAT1314

Solución 9
19 de mayo de 2023

Problema 1. Encuentre el número de cuadrados latinos de 4 × 4.

Solución. Sea L4 el conjunto de cuadrados latinos de 4 × 4, y sea N4 el número de cuadrados

latinos normalizados de 4 × 4, es decir, cuadrados latinos cuya primera fila y columna están en
orden creciente. Podemos chequear manualmente que N4 tiene exactamente cuatro elementos:

1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
2 1 4 3 2 1 4 3 2 3 4 1 2 4 1 3
.
3 4 1 2 3 4 2 1 3 4 1 2 3 1 4 2
4 3 2 1 4 3 1 2 4 1 2 3 4 3 2 1

Ahora sea I4 el conjunto de cuadrados latinos cuya primera fila está en orden creciente. Definimos
G : I4 → N4 como la función que permuta la segunda, tercera y cuarta fila de un elemento de
I4 de modo que el cuadrado latino quede normalizado. Notemos que cada elemento de N4 tiene
exactamente 3! = 6 preimágenes bajo G, por lo que |I4 | = 6 ·|N4 | = 24. Ahora sea F : L4 → I4 la
función que permuta las filas de un cuadrado latino de modo que la primera fila quede en orden
creciente. Como cada elemento de I4 tiene exactamente 4! = 24 preimágenes bajo F , concluimos
que |L4 | = 24 ·|I4 | = 576.

Problema 2. ¿De cuántas maneras podemos ubicar k torres de ajedrez en un tablero de m × n

de modo que cada par de ellas estén en filas y columnas distintas?

Solución. Primero notemos que si k > mı́n (m, n), entonces la respuesta es claramente 0. Tenemos
que elegir
k filas

distintas y k columnas distintas en las que colocaremos las torres. Podemos hacer
esto de m n
k k formas. Ahora el problema se reduce a contar de cuántas formas podemos colocar k
torres de ajedrez en un tablero de k ×k de modo que no hayan dos que se ataquen. Notemos que hay
una correspondencia uno-a-uno entre estos arreglos y las permutaciones σ : {1, . . . , k} → {1, . . . , k}
que consiste en colocar, para cada i ∈
{1,
. . . , k}, una torre en la i-ésima fila y σ (i)-ésima columna.
Luego la solución del problema es m n
k k k!.

1
 Problema 3. En un tablero de 2n × 2n hay ubicadas 2n2 fichas, de modo que en cada fila y
en cada columna hay exactamente n fichas. Demuestre que existe un subconjunto de 2n fichas
de modo que cualquier fila y cualquier columna tenga a exactamente una de ellas.

Solución. Consideramos un grafo bipartito con conjunto de vértices {1, . . . , 2n} ⊔ {1, . . . , 2n} y
establecemos que existe una arista entre i y j si hay una ficha en la fila i y la columna j. Queremos
un emparejamiento que agote al conjunto de filas (y por lo tanto también de las columnas). Debemos
verificar que se cumpla la condición
 de Hall. Sea X ⊆ {1, . . . , 2n} un subconjunto de k ≥ 1 filas.
Debemos mostrar que Γ (X) ≥ k, es decir, que hay por lo menos k columnas que contienen al
 
menos una ficha que está en una fila de X. Tenemos dos casos:

El primer caso es que k > n. Entonces Γ (X) = {1, . . . , 2n}, ya que cada columna tiene 2n
casillas y exactamente n de ellas tienen una ficha, por lo que al menos una de ellas debe estar
en una de las k > n casillas que corresponden a una fila de X.

El segundo caso es que k ≤ n. Notemos que cualquier fila de X tiene n fichas, por lo que
Γ (X) ≥ n, y por transitividad concluimos que Γ (X) ≥ k.

Luego podemos aplicar el Teorema de Hall y concluir lo que queremos.

Problema 4. 2n equipos se enfrentan en un torneo que dura 2n − 1 dı́as. En cada dı́a, se

dividen los equipos en n parejas y estas se enfrentan entre sı́, resultando en n ganadores y n
perdedores. Al finalizar el torneo, cada par de equipos se enfrentó entre sı́ exactamente una vez.
Demuestre que es posible elegir un equipo ganador cada dı́a sin repetir.

Solución. Consideramos un grafo bipartito con conjunto de vértices {1, . . . , 2n − 1} ⊔ {1, . . . , 2n}
y establecemos que existe una arista entre i y j si el equipo j ganó el dı́a i. Queremos un
emparejamiento que agote al conjunto de dı́as. Debemos verificar que se cumpla la condición de Hall.
Supongamos por contradicción que existe un conjunto de dı́as X ⊆ {1, . . . , 2n − 1} con |X| = k ≥ 1
y tal que Γ (X) < k, es decir, que entre esos k dı́as hubo menos de k equipos que ganaron por lo
menos una vez. En ese caso, existe al menos un equipo, llamémoslo L, que perdió en cada uno de
esos k dı́as. Como el equipo L jugó cada dı́a con un equipo diferente, hay por lo menos k equipos
que le ganaron a L durante esos k dı́as, absurdo. Luego se cumple la condición de Hall y podemos
usar el teorema para concluir lo que queremos.