Anlisis Combinatorio

Unidad 2 Actividad 2

PRINCIPIO DE INCLUSIN-EXCLUSIN
17 de agosto de 2015
Autor: Laura Pontn Becerril

Anlisis Combinatorio
Unidad 2 Actividad 2
1. Encontrar el nmero de soluciones enteras para la ecuacin
+ + + =
, .
En la introduccin a esta asignatura, vemos que hay tres aspectos a discutir: la existencia, la
tcnica de contar a emplear y si es la nica o la mejor.
La existencia:
Existir: x1 + x2 + x3 + x4 = 19
si 5 xi 2, 1 i 4
La tcnica de contar a emplear: usaremos la tcnica de inclusin-exclusin
Es la nica o la mejor: ser la mejor y nica tcnica de inclusin-exclusin para este
problema?
La pregunta clave es: es posible hallar tres enteros en [-5,2] que sumados resulten 19?
Dentro de la observacin, el numero entero mayor comprendido para 5 xi 2 es el
nmero 2. As que si todas las xi tiene valor de 2, o sea:
x1 = 2 x2 = 2 x3 = 2 x4 = 2
El mximo valor obtenido ser 8, entonces:
x1 + x2 + x3 + x4 = 19
si 5 xi 2, 1 i 4
No existe.

Anlisis Combinatorio | 17/08/2015

Si es la mejor, pero no, tal vez, la nica, pues el mundo de las matemticas es infinito y
puede haber infinito nmero de tcnicas de resolucin de dicho tipo de problema.
En caso particular, pues por una intuicin racional, podemos establecer que no habr
soluciones, pero es menester demostrar esto:

Buscaremos al nmero de elementos de S que no satisfacen la condicin:

( )
Que es la cantidad de elementos que no cumplen ninguna de las dos condiciones:

Teniendo en cuanta que las extensiones de esta notacin para tres o ms condiciones
tambin son inmediatas:
( )
Se calculan el nmero de soluciones no negativas para:
2
Entonces: la condicin como aquellas que cumplen que
> 3
Que es la aplicacin de la tcnica de inclusin-exclusin.

Para:
x1 + x2 + x3 + x4 = 19
Todas las posibles soluciones positivas son:
(

19 + 4 1
) = 1540
19

Ahora, modificando la ecuacin principal:

x1 + x2 + x3 + x4 = 19
Para:
(1 )
La cantidad de soluciones que tiene
Le sumamos 3 a x1 , pues satisface las condiciones de 1 .
(x1 + 3) + x2 + x3 + x4 = 19
Donde:
x1 + x2 + x3 + x4 = 19 6
Y queda como:
x1 + x2 + x3 + x4 = 16
Y como:
1 = 2 = 3 = 4
Entonces:
(1 ) = (2 ) = (3 ) = (4 )
Podemos calcular solo una vez: (1 ):
Para:
x1 + x2 + x3 + x4 = 16
16 + 4 1
(1 ) = (
) = 969
16
De manera similar, tenemos que:
(1 2 ) = (1 3 ) = (1 4 ) = (2 3 ) = (2 4 )+= (3 4 )

x1 + x2 + x3 + x4 = 19
Sumamos 3 a x1 y x2 , pues satisface las condiciones de 1 2 .
(x1 + 3) + (x2 + 3) + x3 + x4 = 19
Entonces:
x1 + x2 + x3 + x4 = 19 6
x1 + x2 + x3 + x4 = 13
Entonces basta con calcular una de ellas:
13 + 4 1
(1 2 ) = (
) = 560
13
Y tambin tenemos que:

Anlisis Combinatorio | 17/08/2015

Ahora para:

(1 2 3 ) = (1 2 4 ) = (1 3 4 ) = (2 3 4 )
Ahora para:
x1 + x2 + x3 + x4 = 19
Sumamos 3 a x1 , x2 y x3 , pues satisface las condiciones de 1 2 3 .
(x1 + 3) + (x2 + 3) + (x3 + 3) + x4 = 19
Entonces:
x1 + x2 + x3 + x4 = 19 9
x1 + x2 + x3 + x4 = 10
Entonces, basta con calcular:
10 + 4 1
(1 2 3 ) = (
) = 286
10
Solo falta calcular (1 2 3 4 )
Ahora para:
x1 + x2 + x3 + x4 = 19
Sumamos 3 a x1 , x2 , x3 y x4 pues satisface las condiciones de 1 2 3 4 .
(x1 + 3) + (x2 + 3) + (x3 + 3) + (x4 + 3) = 19
Entonces:
x1 + x2 + x3 + x4 = 19 12
x1 + x2 + x3 + x4 = 7
Y falta calicular el elemento:(1 2 3 4 )
7+41
(1 2 3 4 ) = (
) = 120
7
Entonces, aplicamos el teorema de inclusin-exclusin para = 4
= (1 2 3 4 ) =

( ) + ( )
14

14

( ) + (1 2 3 4 )

14

Donde:
= (1 2 3 4 ) = {(1 , 2 , 3, 4 ) 5 3 , = 1,2,3,4 }
Entonces, por el principio de inclusin-exclusin
Anlisis Combinatorio | 17/08/2015

|| = || | | + |( )| |( )| + |(1 2 3 4 )|
=1

Usando la notacin del material de estudio del pdf:

|| = (1 2 3 4 ) =
[(1 ) + (2 ) + (3 ) + (4 )]
+ [(1 2 ) + (1 3 ) + (1 4 ) + (2 3 ) + (2 4 ) + (3 4 )] [(1 2 3 )
+ (1 2 4 ) + (1 3 4 ) + (2 3 4 )] + (1 2 3 4 )
Sustituyendo:
|| = 1540 4(969) + 6(560) 4(286) + 120 = 0

Conclusin:
No hay ninguna solucin entera a la suma de cuatro nmeros menores o iguales a 2 que
sumen 19.

2. El profesor Grimaldi escribi un examen para su curso de matemticas para

ingeniera. El examen tiene doce preguntas que en total valen 200 puntos. De
cuntas formas se pueden asignar el profesor los 200 puntos si cada pregunta
debe valer al menos 10 puntos pero no ms de 25?
Planteando una ecuacin para las 12 preguntas, son 12 variables:
La condicin: si cada pregunta debe valer al menos 10 puntos pero no ms de 25:
Tenemos que:
10 25
Entonces la ecuacin ser:
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 200
Por lgica, replanteamos la situacin del problema:
10 25
Entonces:
10 10 10 25 10
Con lo que queda:
0 10 15
Ahora, la ecuacin queda como:
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 + 12(10) = 200
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 200 120
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 80
Primero contemos todas las posibles soluciones enteras

Se calculan el nmero de soluciones no negativas para:

15
Entonces: la condicin como aquellas que cumplen que
> 16
Como:
1 = 2 = 3 = = 11 = 12
Calculamos:
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 80 16 = 64
64 + 12 1
(1 ) = (
) = 4898229264825
64
En efecto son 12 elementos, porque: 121 = 12

Anlisis Combinatorio | 17/08/2015

80 + 12 1
(
) = 47325339895743
80

Como: 1 2 = 1 3 = = 11 12
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 80 2(16) = 48
48 + 12 1
(1 2 ) = (
) = 279871768995
48
Son 66 elementos, 12 combinaciones de 2, porque: 122 = 66

Como: 1 2 3 = 1 2 4 = = 10 11 12
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 80 3(16) = 32
32 + 12 1
(1 2 3 ) = (
) = 5752004349
32
Son 220 elementos, 12combinaciones de 3, porque 123 = 220

Como 1 2 3 4 = 1 2 3 4 = = 9 10 11 12
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 80 4(16) = 16
16 + 12 1
(1 2 3 4 ) = (
) = 13037895
16
Son 495 elementos, 12 combinaciones de 4, porque 124 = 495

Como 1 2 3 4 5 = 1 2 3 4 6 = = 8 9 10 11 12
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 80 5(16) = 0
0 + 12 1
(1 2 3 4 5 ) = (
)=1
0
Son 792 elementos, 12combinaciones de 5, porque 125 = 792
Para:
(1 2 3 4 5 6 ), (1 2 3 4 5 6 7 ), , (1 2 3 4 5 6 7 8 9 10 11 12 )
Las combinaciones daran cero, porque:

Anlisis Combinatorio | 17/08/2015

1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 = 16 .

Seran las al menos una negativa.

Aplicando el principio de inclusin-exclusin:
Tenemos que:
|| = (1 2 3 4 5 6 7 8 9
10
11 )
12 =
|| = 47325339895743 12(4898229264825) + 66(279871768995) 220(5752004349)
+ 495(13037895) 792(1)

Solucin:
El profesor Grimaldi pueden asignar los 200 puntos Hay en total: 5752928368266
combinaciones.

3. En una florera se deben acomodar quince macetas con flores diferentes en un

escaparate de cinco anaqueles De cuntas formas pueden colocarse para que
cada anaquel tenga al menos una maceta pero no ms de cuatro?
Se establece la ecuacin:
1 + 2 + 3 + 4 + 5 = 15
Para:
1 4
Realizamos la operacin: (de manera anloga que el problema anterior):
1 1 1 4 1
Por lo tanto:
(1 + 1) + (2 + 1) + (3 + 1) + (4 + 1) + (5 + 1) = 15
1 + 2 + 3 + 4 + 5 = 15 5
1 + 2 + 3 + 4 + 5 = 10
La ecuacin se transforma como:
1 + 2 + 3 + 4 + 5 = 10
Para:
0 1 3
De manera anloga a los problemas anteriores:
Se calculan el nmero de soluciones no negativas para:
3
Entonces: la condicin como aquellas que cumplen que
> 4

Para:
1 + 2 + 3 + 4 + 5 = 10
10 + 5 1
(
) = 1001
10
Para los valores:
1 + 2 + 3 + 4 + 5 = 10 4 = 6
Como 1 = 2 = 3 = 4 = 5
Tenemos que:

Anlisis Combinatorio | 17/08/2015

Contando el total de combinaciones enteras:

6+51
(1 ) = (
) = 210
6
Son 5 elementos, porque son 5 combinaciones de 1: 51 = 5
Para los valores:
1 + 2 + 3 + 4 + 5 = 10 2(4) = 2
Como: 1 2 = 1 3 = = 4 5
Tenemos que:
2+51
(1 2 ) = (
) = 15
2
Son 10 elementos, porque 5 combinaciones de 2: 52 = 10
Para los dems valores:
1 + 2 + 3 + 4 + 5 = 10 3(4) = 2
Ya no hay valores que se requieren, pues al menos uno de las soluciones es negativa y por
lgica del problema y de las leyes, no aplican valores negativos
Aplicando el principio de inclusin-exclusin:
|| = (1 2 3 4 5 ) = 1001 5(210) + 10(15) = 101
Solucin:
De 101 formas pueden colocarse las macetas para que cada anaquel tenga al menos una
de ellas pero no ms de cuatro.

4. Encontrar el nmero de permutaciones de las 26 letras del alfabeto de modo

que no aparezcan los patrones pino, mega, rato ten.
Para el alfabeto:

Anlisis Combinatorio | 17/08/2015

, , , , , , , , , , , , , , , , , , , , , , , , ,

= 26 !
Tomando para: : Aquella que contiene pino, mega, rato o ten respectivamente
1 =

2 =

3 =

4 =

Para 1 :
, , , , , , , , , , , , , , , , , , , , , ,
Para 2 :
, , , , , , , , , , , , , , , , , , , , , ,
Para 3 :
, , , , , , , , , , , , , , , , , , , , , ,
Para 4 :
, , , , , , , , , , , , , , , , , , , , , , ,

Entonces:
(1 ) = 23!
(2 ) = 23!
(3 ) = 23!
(4 ) = 24!
Tomando para: : Aquella que contiene permutado: pino, mega, rato o ten
respectivamente
1 2 =
1 3 =
1 4 =
2 3 =
2 4 =
3 4 =
Para 1 2 :
, , , , , , , , , , , , , , , , , , ,
Para 1 3 :
, , , , , , , , , , , , , , , , , , , ,
Observacin: pino y rato tienen en comn la o
Para 1 4 :
, , , , , , , , , , , , , , , , , , , , ,
Observacin: pino y ten tienen en comn la letra n
Para 2 3 :
, , , , , , , , , , , , , , , , , , , ,
Observacin: mega y rato tienen en comn la letra a
Para 2 4 :
, , , , , , , , , , , , , , , , , , , , ,

Para 3 4 :
, , , , , , , , , , , , , , , , , , , , ,
Observacin: rato y ten tienen en comn la letra t
Entonces:
(1 2 ) = 20!
(1 3 ) =
(1 4 ) =
(2 3 ) =
(2 4 ) =

Anlisis Combinatorio | 17/08/2015

Observacin: mega y ten tienen en comn la letra e

(3 4 ) =
De manera anloga:
Tomando para: : Aquella que contiene permutado: pino, mega, rato o ten
respectivamente
1 2 3 =
Observacin: se repite la letra o y la a.
2 3 4 =
Observacin: se repite la letra a y la t.
1 2 4 =
Observacin: se repiten letras.
1 3 4 =
Observacin: se repiten letras.
Entonces de manera anloga:
(1 2 3 ) =
(2 3 4 ) =
(1 2 4 ) =
(1 3 4 ) =
Anlogamente, tomando para:
(1 2 3 4 ) =
Aplicando el teorema de exclusin-inclusin:
|| = (1 2 3 4 ) = 26! (23! + 23! + 23! + 24!) + 20!
Solucin: El nmero de permutaciones de las 26 letras del alfabeto de modo que no
aparezcan los patrones pino, mega, rato ten es de:
26! (23! + 23! + 23! + 24!) + 20!
5. De cuntas formas se pueden colocar los enteros del 1 al 10 en una lnea de
modo que ningn entero par quede en su posicin natural?
Para:
{1,2,3,4,5,6,7,8,9,10}
Existen 10! permutaciones.

Anlisis Combinatorio | 17/08/2015

Tomando en cuenta en principio de los desordenes:

Hay 5 enteros pares del 1 al 10:

{2,4,6,8,10}
Colocando el primer nmero par, existen:
9!
Existen 5C1=5 de estas permutaciones
Colocando dos nmeros pares, existen:
8!

Existen 5C2=10 de estas permutaciones

Colocando tres nmeros pares existen:
7!
Existen 5C3=10 de estas permutaciones
Colocando cuatro nmeros pares, exiten:
6!
Existen 5C4=5 de estas permutaciones
Colocando los 5 nmeros pares, existen:
5!,
Existe 5C5=1 de estas permutaciones.
Aplicando el principio de inclusin-exclusin
|| = 10! [5(9!)] + [10(8!)] [10(7!)] + [5(6!)] [5!]
Solucin:
Existen:
10! [5(9!)] + [10(8!)] [10(7!)] + [5(6!)] [5!]
Formas que pueden colocar los enteros del 1 al 10 en una lnea de modo que ningn entero
par quede en su posicin natural.

6. Sea = {, , , }. Una funcin : tiene un punto fijo si para algn ,

() = . Cuntas funciones inyectivas : tienen al menos un punto fijo?
Una funcin inyectiva cumple que:

(1 ) = (2 ) 1 = 2
Tomando en cuenta los puntos que coinciden en las funciones inyectivas:
Existen:
7 valores: con 0 puntos:
7! Funciones biyectivas
Con un solo punto tenemos
(7-1) valores, entonces: 6! Funciones inyectivas y hay 7C1=7 funciones
Con dos puntos
(7-2) valores, entonces: 5! Funciones inyectivas y hay 7C2=21 funciones
Con tres puntos
(7-3) valores, entonces: 4! Funciones inyectivas y hay 7C3=35 funciones

Anlisis Combinatorio | 17/08/2015

1 2 (1 ) (2 )

10

Con cuatro puntos

(7-4) valores, entonces: 3! Funciones inyectivas y hay 7C4=35 funciones
Con cinco puntos
(7-5) valores, entonces: 2! Funciones inyectivas y hay 7C5= 21 funciones
Con seis puntos
(7-6) valores, entonces: 1! Funciones inyectivas y hay 7C6=7 funciones
Todos los puntos
(7-7) valores, entonces: 0! Funciones inyectivas y hay 7C7=1 funciones.
Calculando para las funciones que al menos tienen un punto fijo:
7 = (1 2 3 4 5 6 7 )
Entonces:
7 = 7(6!) (21)(5!) + (35)(4!) 35(3!) + 21(2!) 7(1!) + (1)(0!)
|| = 3186
Solucin:
Las funciones inyectivas f: A A tienen al menos un punto fijo son 3186.

7. De cuntas formas se puede disear un cdigo secreto asignando a cada letra

del alfabeto una letra diferente que la represente?
Este problema podemos resolverlo mediante el concepto de desrdenes.

Para el alfabeto:

Anlisis Combinatorio | 17/08/2015

, , , , , , , , , , , , , , , , , , , , , , , , ,

11

Tiene en total 26!

Podemos contar los desrdenes usando el principio de inclusin-exclusin. Supongamos por
ejemplo que queremos contar los desrdenes de los nmeros 1,2,3,,26.
Para cada:
1 26
Decimos que una ordenacin de los nmeros 1,2,3, 26 satisface la condicin si el entero
est en el lugar -simo.
Denotaremos por 26 al nmero de desrdenes de los nmeros 1,2,3, 26. Observemos
que:
26 = (1 2 3 )
26
Entonces, haciendo el conteo:

 = 26!
= (1 ) = 25!
= (1 2 ) = 24!
= (1 2 3 ) = 23!
= (1 2 3 4 ) = 22!
= (1 2 3 4 5 ) = 21!

26
( ) ,
1
26
( ) ,
2
26
( ) ,
3
26
( ) ,
4
26
( ) ,
5

(1 2 3 )
26 = 0!

26
( )
26

Entonces, aplicando el teorema de inclusin-exclusin:

26
26
26
26
26
26
26 = 26! [25! ( )] + [24! ( )] [23! ( )] + + [2! ( )] [1! ( )] + [0! ( )]
1
2
3
24
25
26
Simplificaremos esta expresin, factorizando un 26! del lado derecho de la igualdad, pero
antes, recordemos:

26

26
26
26
26
26
26
23! ( )
1! ( )
0! ( )
25! ( )
24! ( )
2! ( )
3
25
1
2
24
= 26! {1 [
]+[
][
] ++ [
][
] + [ 26 ]}
26!
26!
26!
26!
26!
26!

Con lo que obtenemos:

26 = 26! {1 1 +

1 1 1 1
1
1
+ + +
}
2! 3! 4! 5!
9! 10!

Entonces:
26 26! ( 1 )
Solucin:

Anlisis Combinatorio | 17/08/2015

Entonces:

12

Existen 26! ( 1 ) formas que se puede disear un cdigo secreto asignando a cada letra del
alfabeto una letra diferente que la represente.

8. Diez mujeres asisten a un desayuno de negocios. Al entrar, cada una deja en el

guardarropa su abrigo y sus portafolios. Al salir, cada una recibe un abrigo y
una bolsa al azar.
(a) de cuntas formas se pueden distribuir abrigos y portafolios de manera
que ninguna de ellas reciba alguna de sus pertenencias?
Analizando, solo una de las pertenencias ser 10!, paro como son 2 pertenecias, una ser el
abrigo, y la otra ser uno portafolio, entonces:
10 = (1 2 3 )
10
Para las dos prendas:
(10!)(10!)
Y el conteo ir disminuyendo solo un concepto:
Entonces, haciendo el conteo:
= (10!)(10!)
= (1 ) = (10!)(9!)

10
( ) ,
1

= (1 2 ) = (10!)(8!)
= (1 2 3 ) = (10!)(7!)

Anlisis Combinatorio | 17/08/2015

= (1 2 3 4 ) = (10!)(6!)

13

10
) ,
2

10
( ) ,
3
10
( ) ,
4

= (1 2 3 4 5 ) = (10!)(5!)

10
( ) ,
5

= (1 2 3 6 ) = (10!)(4!)

10
) ,
6

= (1 2 3 7 ) = (10!)(3!)

10
) ,
7

= (1 2 3 8 ) = (10!)(2!)

10
) ,
8

= (1 2 3 9 ) = (10!)(1!)

10
) ,
9

 = (1 2 3 4 10 ) = (10!)(0!)

10
( ) ,
10

Entonces, aplicando el teorema de inclusin-exclusin:

10 = (1 2 3 )
10
10 = (10!)(10!) ((10!)(9!))(10) + ((10!)(8!))(45) ((10!)(7!))(120) + ((10!)(6!))(210)
((10!)(5!)) (252) + ((10!)(4!))(210) ((10!)(3!))(120) + ((10!)(2!))(45)
((10! )(1!))(10) + (10! 0!)

10 = 4844306476800
Solucin:
Existen 4844306476800 formas se pueden distribuir abrigos y portafolios de manera que
ninguna de ellas reciba alguna de sus pertenencias.
(b) de cuntas formas se pueden distribuir abrigos y portafolios de manera
que ninguna de ellas reciba sus dos pertenencias?
Ahora, aqu, van a la par el abrigo y el portafolio que no es de ellas.
Entonces, para:
10 = (1 2 3 4 5 6 7 8 9 )
10
El conteo ir a la par:
(10!)(10!), (9!)(9!), (8!)(8!), , (1!)(1!), (0!)(0!)
Basta con modificar el clculo del inciso anterior:

10

10 = (1 2 3 )
10
= (10!)(10!) ((9!)(9!))(10) + ((8!)(8!))(45) ((7!)(7!))(120) + ((6!)(6!))(210)
((5!)(5!)) (252) + ((4!)(4!))(210) ((3!)(3!))(120) + ((2!)(2!))(45)

10 = 11921584264011
Solucin:
Existen 11921584264011 formas se pueden distribuir abrigos y portafolios de manera que
ninguna de ellas reciba sus dos pertenencias.

Conclusin final:

Anlisis Combinatorio | 17/08/2015

((1! )(1!))(10) + (0! 0!)

14

El uso de herramientas ms sofisticadas de conteo, permite resolver problemas y

situaciones matemticas en las cuales, los mtodos elementales y bsicos del conteo,
seran muy engorrosos, tediosos y muy difciles.
Con estas herramientas, se simplifica y se organiza ms detalladamente la informacin y la
lgica del poder de la teora de conjuntos, hace su labor para poder llegar a teoremas y
principios tan tiles y tan avanzados, como el principio de inclusin-exclusin, y el teorema
del desorden.

Anlisis Combinatorio | 17/08/2015

Adems, de las tcnicas de conteo nuevas comprendidas en esta unidad, se llega al usar
conceptos tan bsicos y tan avanzados, como las teoras de Morgan, y los principios de las
propiedades de los polinomios y algunos fundamentos de clculo, como las series de Taylor.

15