Sesión 1.

9 - Matemática para
Computación (CS8140)

Prof. Jorge Tipe

16 de mayo de 2022
CS8140 Matemática para Computación Prof. Jorge Tipe

2
CS8140 Matemática para Computación Prof. Jorge Tipe

Contenido

Principio de las Casillas

Versión principal
Versión general
Problemas adicionales

3
CS8140 Matemática para Computación Prof. Jorge Tipe

Objetivo
Unidad 1

⌅ Definir y aplicar el Principio de las casillas en la resolución de problemas.

4
 141
CS8140 Matemática para Computación
Cumple para obj y K casillas Prof. Jorge Tipe
.

Principio de las Casillas Ahora tenemos K -12 objetos K-11 en

Principio de la Dirichlet . Casillas

HI
.

U - w
1ª
a
2ª lkt 1)
-
-
-

Principio de las casillas (Versión principal)≤

1
Si tenemos n + 1 objetos que van a ser repartidos en n casillas (casilleros, cajas, etc),
se cumple que alguna casilla tendrá 2 o más objetos.
-

existe una casilla Tendrá

que .
. .

existe por lo menos

que Tendrá
una casilla .

* Pigeonhde principe (en

inglés)
5
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Demostración

6
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Demostración
Procedemos por contradicción.
Si ocurre lo contrario, cada casilla tendrı́a  1 objeto (es decir, 0 o 1 ). Como son n
/
casillas, entonces en total habra  n objetos, lo cual es una contradicción.
Por lo tanto, existe una casilla que tiene dos o más
ms objetos.
na

7
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Ejemplos

Ejemplos
⌅ En una reunión hay 13 personas, entonces podemos asegurar que hay dos
personas que nacieron el mismo mes.

8
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Ejemplos

Ejemplos
⌅ En una reunión hay 13 personas, entonces podemos asegurar que hay dos
personas que nacieron el mismo mes.
⌅ En un cajón hay muchas medias de colores blanco, negro y azul. Si sacamos 4
medias, aseguramos que entre ellas hay al menos dos del mismo color.

9
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Ejemplos

Ejemplos
⌅ En una reunión hay 13 personas, entonces podemos asegurar que hay dos
personas que nacieron el mismo mes.
* ¥ Una - - •

¥
⌅ En un cajón hay muchas medias de colores blanco, negro y azul. Si sacamos 4
medias, aseguramos que entre ellas hay al menos dos del mismo color.
⌅ Si tenemos 11 enteros positivos, entonces hay dos de ellos que tienen el mismo
dı́gito final.
-4.4 . -
Ya

10
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Ejemplos

Ejemplos
⌅ En una reunión hay 13 personas, entonces podemos asegurar que hay dos
personas que nacieron el mismo mes.
⌅ En un cajón hay muchas medias de colores blanco, negro y azul. Si sacamos 4
medias, aseguramos que entre ellas hay al menos dos del mismo color.
⌅ Si tenemos 11 enteros positivos, entonces hay dos de ellos que tienen el mismo
dı́gito final.
⌅ Si tenemos tres enteros positivos, demuestre que la suma de dos de ellos es par.

U U
pares impares 11
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Ejemplos

Ejemplo
En un grupo de 10 personas se cumple que cada una se llama Alicia, Bernardo o
Carlos, además, el primer apellido de cada uno es Rojas, Pérez o Sarmiento. Demuestre
que al menos dos personas tienen el mismo nombre y el mismo primer apellido.

U U U
Alicia
U U U U U U
Rojas Alicia Pérez Alicia Sarmiento

12
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Ejemplos

Ejemplo
En un grupo de 20 personas se cumple que algunos de ellos se conocen (si A conoce a
B entonces B conoce a A). Demuestre que existen dos personas que tienen el mismo
número de conocidos.

UWYYO 1 .
. .
Ya
Caso 1 : si una la casilla del O la casilla
persona cae en

del 19 estaría vacía ( las 20

personas se reparten
en 19 Casillas )
caso 2 : si la casilla del O está vacía . .
.
13
 ④ ≤⊕
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Versión general

lo mismo

Versión general
Si tenemos n(k 1) + 1 objetos que van a ser repartidos en n casillas, se cumple que
alguna casilla tendrá k o más objetos.

Demostración .
Por contradicción :

# objetos ≤ nlk 1)
¥-1 ¥ ¥ ¥,
-

, ,
. .

Y-%EE.si .
14
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Versión general

Ejemplos
⌅ En una reunión hay 25 personas, entonces con seguridad hay tres personas que
nacieron el mismo mes.

15
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Versión general

Ejemplos
⌅ En una reunión hay 25 personas, entonces con seguridad hay tres personas que
nacieron el mismo mes.
⌅ En una reunión hay 109 personas, entonces con seguridad hay diez personas que
nacieron el mismo mes.

16
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Versión general

Ejemplos
⌅ En una reunión hay 25 personas, entonces con seguridad hay tres personas que
nacieron el mismo mes.
⌅ En una reunión hay 109 personas, entonces con seguridad hay diez personas que
nacieron el mismo mes.
⌅ Si tenemos 41 enteros positivos, con seguridad hay 5 de ellos que tienen el
mismo dı́gito final.
10 K -5
-

n
-
-

17
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Problemas adicionales

Problemas
⌅ Determine cuántas personas debe haber como mı́nimo en una reunión para
asegurar que hay dos personas del mismo sexo que nacieron el mismo mes.

19
CS8140 Matemática para Computación Prof. Jorge Tipe

Principio de las Casillas

Problemas adicionales

Problemas
⌅ Determine cuántas personas debe haber como mı́nimo en una reunión para
asegurar que hay dos personas del mismo sexo que nacieron el mismo mes.
⌅ Sea X = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}. Un programa escoge al azar un
subconjunto de tres elementos de X . Determine cuántas veces como mı́nimo hay
que correr ese programa para asegurar que al menos dos de los subconjuntos
obtenidos tengan el mismo menor elemento.

20