Anlisis Combinatorio

Unidad 1 Actividad 2

PRINCIPIO DE CAJAS
24 de julio de 2015
Autor: Laura Pontn

Anlisis Combinatorio
Unidad 1 Actividad 2
Cules son las situaciones donde se utiliza el Principio de cajas? Menciona tres ejemplos
en los que se aplique el Principio de cajas.
Si tenemos n+1 objetos en n casillas, entonces al menos una casilla tiene ms de un objeto . En 1834
Johann Dirichlet fue el primero en formalizar este principio, utilizndolo para probar resultados fuertes
acerca de ecuaciones diofantinas o diofnticas .
Aplicaciones
Principalmente en Teora de nmeros, Computacin, por ejemplo en situaciones donde por el
almacenamiento, las colisiones son inevitables en una tabla hash (1) porque el nmero de posibles
valores que pueden tomar los elementos de un vector exceden a menudo el nmero de sus ndices.
Ejemplos
1. Cualquier subconjunto de tamao 6 del conjunto A={1,2,3,4,5,6,7,8,9} debe contener
dos elementos cuya suma es 10.
Los pares de elementos de A que suman 10 son: {1,9}, {2,8}, {3,7} y {4,6}. Estos son los nidos. Las
palomas son los 6 nmeros del subconjunto. Cada nmero va al "nido" correspondiente, por ejemplo, el
1 va a {1,9}, el 2 va al {2,8}, y as. Como 6 > 4, hay al menos dos nmeros que van al mismo nido, es
decir, hay dos nmeros que suman 10. (Si uno de los nmeros es el 5, no lo consideramos, de todas
maneras hay 5 palomas y 4 nidos.)
1

2 8 37

{1,9}, {2,8}, {3,7} y {4,6}

2. que en una reunin hay n personas y nos preguntamos por el nmero de personas que
conoce cada una. Convenimos que si una persona conoce a otra, esta tambin conoce a
la primera; y que nadie se conoce a s mismo.
Anlisis Combinatorio | 24/07/2015

Probar que hay al menos dos personas que tienen el mismo nmero de conocidos.

Sea X = {x1 , . . . , xn } al conjunto de personas; cada una de ellas tendr un cierto nmero de conocidos,
y este nmero estar en el conjunto Y = {0, . . . , n 1}.
Construimos la aplicacin
f : X Y
xj 1 f(xj ) = #{conocidos de xj }.

Aparentemente, no podemos aplicar el principio del palomar, porque X e Y tienen el mismo nmero de
elementos, n. Pero se ver que, en realidad, la aplicacin f nunca puede cubrir totalmente a Y. Hay
dos posibilidades que se pueden diferenciar:
a)

Supongamos que existe una persona x con f (x) = 0 (es decir, que no conoce a nadie). Entonces
f no puede tomar el valor n1 (si existiera una persona que conociera a todas, debera
conocer tambin a x). as que f toma valores en el conjunto {0, 1, . . . , n-2}, el cual tiene n
1 elementos.
Si se aplica el principio del palomar, concluimos que, en este caso, al menos dos personas tienen
el mismo nmero de conocidos.

b)

Si no existe esa persona que no conoce a nadie, entonces f no toma el valor 0, y

terminamos aplicando de nuevo el principio del palomar.

3. Cuntos nmeros que sean cuadrados perfectos (es decir, que sean el resultado de
elevar al cuadrado un entero) necesito como mnimo, para garantizar que hay al menos
dos de ellos cuya diferencia es mltiplo de 5?
Se divide un nmero entero cualquiera entre 5, y es obtener un cociente entero c, y un resto r que
puede tomar valores 0, 1, 2, 3 o 4, pudiendo escribir el nmero como 5c+r. Si elevo al cuadrado,
obtengo 5(5c2+2cr)+r2. Como r2 puede tomar valores 0, 1, 4, 9, o 16, el resto al dividir (5c+r)2 entre 5 slo puede
ser igual a 0 (si r=0), 1 (si r=1 o 4) o 4 (si r=2 o 3).

La diferencia entre dos nmeros es mltiplo de 5, si y slo si tienen el mismo resto al dividir entre
5, es decir, lo que me piden es que garantice que hay al menos dos elementos en un mismo
perfecto. El principio del palomar me garantiza que eso es cierto en cuanto hay 4 elementos distintos, y
si tengo como mximo 3 elementos, puedo distribuirlos hasta tener como mucho uno en cada conjunto
(por ejemplo 1, 4 y 25). Luego tomando 4 cuadrados perfectos, puedo garantizar que la diferencia
entre dos de ellos va a ser mltiplo de 5, pero no con menos.

Anlisis Combinatorio | 24/07/2015

conjunto, de entre tres conjuntos posibles de restos al dividir por 5 que puede tener un cuadrado

(1) Una tabla hash, matriz asociativa, mapa hash, tabla de dispersin o tabla fragmentada es una
estructura de datos que asocia llaves o claves con valores. La operacin principal que soporta de manera eficiente es la
bsqueda: permite el acceso a los elementos (telfono y direccin, por ejemplo) almacenados a partir de una clave
generada (usando el nombre o nmero de cuenta, por ejemplo). Funciona transformando la clave con una funcin hash
en un hash, un nmero que identifica la posicin (casilla o cubeta) donde la tabla hash localiza el valor deseado.

(Wikipedia)
(2) Se denomina algoritmo de compresin sin prdida a cualquier procedimiento de codificacin que tenga como objetivo
representar cierta cantidad de informacin utilizando u ocupando un espacio menor, siendo posible una reconstruccin
exacta de los datos originales. Es utilizada para comprimir archivos o informacin que contienen datos que no pueden
ser degradados o perdidos, como pueden ser documentos de texto, imgenes y sonido.
Bibliografa

https://www.uam.es/personal_pdi/ciencias/gallardo/capitulo5.pdf
http://es.wikipedia.org/wiki/Principio_del_palomar
http://matematica.50webs.com/principio-del-palomar.html

Anlisis Combinatorio | 24/07/2015

http://www.matem.unam.mx/actividades/seminarios/ellibro/actividades/aplicaciones-hermosas-delprincipio-de-las-casillas-parte-1