EL PRINCIPIO DE INCLUSIN Y EXCLUSIN

Ahora regresaremos al tema de conteo, analizando el principio de inclusin y exclusin.

Extendiendo las ideas de los problemas de conteo sobre los diagramas de Venn del captulo 3,este principio
nos ayudar a establecer la frmula que conjeturamos en la seccin 5.3 para el numero de funciones
sobreyectivas f: AB, donde A, B son conjuntos finitos (no vacos). Otras aplicaciones de este principio
demostrarn su naturaleza verstil en la matemtica combinatoria como un mtodo indirecto para los
problemas de conteo que surgen en muchas situaciones muy diferentes.
8.1
El principio de inclusin y exclusin
En esta seccin desarrollaremos algo de notacin para enunciar nuestro nuevo principio de conteo. Despus
estableceremos el principio mediante un argumento combinatorio.
Los ejemplos mostrarn la forma en que se aplica dicho principio.
Sea S un conjunto tal que |S|=N y sean c
1
c
2,
.,c
t
una coleccin de condiciones o propiedades satisfechas por
alguno, o todos, los elementos de S. Algunos elementos de S podran satisfacer ms de una de las
condiciones, mientras que otros podran no satisfacer ninguna. Para todo 1 i t, N (c
i
) denota el nmero
de S que satisfacen la condicin c
i
.

(Los elementos de S se cuentan solamente cuando satisfacen la condicin de c
i
y tambin cuando satisfacen
c
j
y otras condiciones c
j
, para j i) Para cualesquiera i,j e ,1,2,3,.t-, tales que i j , N(c
i
c
j
) denotar el
nmero de elementos de S que satisfacen ambas condiciones c
i
,c
j
y tal vez otras ms. [N (c
i
c
j
) no cuenta los
elementos de S que slo satisfacen c
i
,c
j
.+ Continuando de esta forma, si 1 i, j, k t son tres enteros
distintos, entonces N (c
i
c
j
c
k
) denota el nmero de elementos de S que satisfacen, tal vez entre otras, cada
una de las condiciones c
i
c
j
y c
k
.
Para cada 1 i t, ( )
i
c N = N N(c
i
) denota el nmero de elementos de S que no satisfacen la condicin c
i
.
Si 1 i , j t, con i j, ( )
j i
c c N denota el nmero de elementos de S que no satisfacen alguna de las
condiciones c
i
c
j
[Esto no es lo mismo que ( )
j i
c c N .]
Del diagrama de Venn de la figura 8.1, vemos que si N(c
i
) denota el nmero de elementos del crculo del
lado izquierdo y N (c
j
)denota el nmero de elementos del crculo del lado derecho, entonces N (c
i
c
j
) es el
nmero de elementos en el solapamiento, mientras que N cuenta los elementos que quedan fuera de
la unin de estos crculos. 2 2
En consecuencia, de la figura8.1, ( )
j i
c c N = N [N(c
i
) +N(c
j
)] +N(c
i
c
j
), donde se suma el ltimo trmino
debido a que fue eliminado dos veces en el termino [N(c
i
+ N(c
j
)].
De manera anloga, de la figura 8.2 obtenemos que:

( ) ( ) ( ) ( ) | | ( ) ( ) ( ) | | ( )
k j i k j k i j i k j i
k j i c c c N c c N c c N c c N c N c N c N N c c c N + + + + + =
.
A partir del patrn sugerido en estos dos casos, establecemos el siguiente teorema.
TEOREMA 8.1 El principio de inclusin y exclusin. Consideremos un conjunto S tal que | S | = N y las
condiciones c
i,
1 i t satisfechas por algunos de los elementos de S. El nmero de elementos de S que no
satisfacen ninguna de las condiciones c
i
, 1 i t, se denota con ( ) t 3 2 1 c c c c N N = donde
( ) ( ) ( ) ( ) | |
( ) ( ) ( ) ( ) ( ) | |
( ) ( ) ( ) ( ) ( ) | |
( ) ( )
t 3 2 1
t
t 1 t 2 t 4 3 1 t 2 1 4 2 1 3 2 1
t 1 t 3 2 t 1 3 1 2 1
t 3 2 1
c c c c N 1
c c c N NC c c c N c c c N c c c N c c c N
c c N c c N c c N c c N c c N
c N c N c N c N N N

+ +
+ + + + + + +
+ + + + + + +
+ + + + =

(1)
o
( ) ( ) ( ) ( ) ( )
t 3 2 1
t
t k j i 1
k j i
t j i 1
j i
t i 1
i
c c c c N 1 c c c N c c N c N N N + + + =

s < < s s < s s s


(2)

Demostracin: Aunque este resultado puede establecerse mediante induccin en r, daremos aqu un
argumento combinatorio.
Para cada x S, mostramos que x contribuye con el mismo nmero, 0 o 1, a cada lado de la ecuacin (2).
fig 8.1 y fig 8.2















Si x no satisface ninguna de las condiciones, entonces x se cuenta una vez en y una vez en N, pero no se
cuenta en los dems trminos de la ecuacin (2). En consecuencia, x contribuye con 1 a cada lado de la
ecuacin.
La otra posibilidad es que x satisfaga exactamente r de las condiciones, donde t r 1 s s . En este caso, x no
contribuye a
___
N . Pero, en el lado derecho de la ecuacin (2), x se cuenta

1) una vez en N


2) r veces en ( )

s s t i 1
i
C N (Una vez por cada una de las r condiciones.)
3)
|
|
.
|

\
|
2
r
veces en ( )

s < s t j i 1
j i
c c N (una vez por cada par de condiciones elegidas de las r
que satisface.)
4)
|
|
.
|

\
|
3
r
veces en ( )

s < s t j i 1
k j i
c c c N (Por qu?)
(r+1)

|
|
.
|

\
|
r
r
=1 vez en ( )

t 2 1
i i i
c c c N donde la suma se toma sobre todas las
selecciones de tamao r de las t condiciones.


En consecuencia, en el lado derecho de la ecuacin (2), x se cuenta
( ) ( ) | | veces 0 0 1 1
r
r
1
3
r
2
r
r 1
r r r
= = + =
|
|
.
|

\
|
+ +
|
|
.
|

\
|

|
|
.
|

\
|
+


por el teorema del binomio. Por lo tanto, los dos lados de la ecuacin (2) cuentan los mismos elementos de
S y se verifica la igualdad
Un corolario inmediato de este principio es el siguiente:


COROLARIO 8.1 Segn las hiptesis del teorema 8.1, el nmero de elementos de S que satisfacen al menos
una de las condiciones c
i
, donde 1 i t, est dado por N (c
1
c
2
c
3.
c
t
)= N N .
Antes de resolver algunos ejemplos, analizaremos una notacin adicional para simplificar el
enunciado del teorema 8.1. Escribimos
S
0
= N,
S
1
= [N(c
1
) + N (c
2
)+.. +N (c
t
)],
S
2
=[ N(c
1
c
2
) + N (c
1
c
3
)+.. +N (c
1
c
t
) + N (c
2
c
3
)+.+N(c
t-1
c
t
)],
Y en general
( ) t k 1 , c c c N S
k 2 1
i i i k
s s =

,

donde la suma se toma sobre todas las selecciones de tamao k de la coleccin de I condiciones. Por lo
tanto, S
k
tiene
|
|
.
|

\
|
k
t
sumandos en ella.
Ahora veremos cmo se aplica este principio para resolver algunos problemas de conteo.
Ejemplo 8.1 Determinaremos el nmero de enteros positivos n tales que 100 n 1 s s y n no es divisible
entre 2, 3 o 5.
En este caso, S = {1, 2, 3.100) y N = 100. Para n S, n satisface
a) la condicin c
1
, si n es divisible entre 2,
b) la condicin c
2
si n es divisible entre 3 y
c) la condicin c
3
si n es divisible entre 5.

Entonces, la respuesta de este problema es ( ) 3 2 1 c c c N .
Como ya conocemos la funcin PISO, usamos la notacin

r para denotar el mximo entero menor o igual
que r, para cualquier nmero real r. Esta funcin es til en este problema, ya que vemos que

N(c
1
) = |_100/2_| = 50 *puesto que los 50(= |_100/2_| ) enteros positivos 2, 4, 6, 8,..
98 (= 2 * 49), 100(= 2 * 50) son divisibles entre 2];
N(c
2
) = |_100/3 _| = |_ 33 1/3 _| = 33 [puesto que los 33(= |_100/3 _|) enteros positivos 3,6,9, 12,..., 96 (=
3 32), 99(= 3 * 33) son divisibles entre 3+;
N (c
3
) = |_100/5 _| = 20;
N (c
1
c
2
) = |_100/6 _| = 16 [puesto que hay 16 (= |_100/6_|) elementos en S que son divisibles entre 2 y 3, y
por tanto divisibles entre mcm (2, 3) = 2 * 3 = 6];

N (c
1
,c
3
) = |_100/10 _| = 10; (divisible entre 2 y 5)
N(c
2
c
3
) = |_100/15_| = 6; (divisible entre 3 y 5)
y, N(c
1
c
2
c
3
) = |_100/30_| = 3. (divisible entre 2, 3 y 5)

Si aplicamos el principio de inclusin y exclusin, tenemos que

( ) 3 2 1 c c c N = S
0
S
1
+ S
2
- S
3
= N - [N(c
1
) + N(c
2
) + N(c
3
)]
+ [N(c
1
, c
2
) + N(c
1
, c
3
) + N(c
2
C
3
)] - N(c
1
, c
2
c
3
)
= 100-[50 + 33+ 20]+ [16 +10+ 6]-3 = 26

(Estos 26 nmeros son 1,7,11,13,17,19,23,29,31,37,41,43,47,49,53,59,61,67,71, 73, 77, 79, 83, 89, 91 y 97.)
EJEMPLO 8.2. En el captulo 1 encontraremos el nmero de soluciones no negativas de la
Ecuacin x
1
+ x
2
+ x
3
+ x
4
= 18. Responderemos ahora la misma pregunta con la restriccin
adicional x
1
7, para todo 1 i 4.
S es el conjunto de soluciones de x
1
+ x
2
+ x
3
+ x
4
= 18, con 0 x, para todo
1 i 4.
As,
|
|
.
|

\
|
=
|
|
.
|

\
|
=
|
|
.
|

\
| +
= =
3
21
18
21
18
1 18 4
N S

Decimos que una solucin x
1
, x
2
, x
3
, x
4
, satisface la condicin c
i
donde 1 i 4, si x
i
>7 o (x
i
8). La respuesta
al problema es entonces ( ) 4 3 2 1 c c c c N .
Por simetra, N(c
1
) = N(c
2
) = N(c
3
) = N(c
4
). Para calcular N(c
1
), consideramos las soluciones enteras de x
1
+ x
2

+ x
3
+ x
4
= 10, donde cada x
i
0 para toda 1 i 4. Entonces sumamos 8 al valor de x
1
, y obtenemos las
soluciones de x
1
+ x
2
+ x
3
+ x
4
= 10 que satisfacen la condicin c
1
. Por lo tanto, N(c
i
) =
|
|
.
|

\
|
=
|
|
.
|

\
| +
10
13
10
1 10 4
para todo 1 i 4, y S
1
=
|
|
.
|

\
|
|
|
.
|

\
|
10
13
1
4

Del mismo modo, N(c
1
c
2
) es el nmero de soluciones enteras de x
1
+ x
2
+ x
3
+ x
4
= 2, donde x
i
0, para todo
1 i 4. As, N(c
1
c
2
) =
|
|
.
|

\
|
=
|
|
.
|

\
| +
2
5
2
1 2 4
y S
2
=
|
|
.
|

\
|
|
|
.
|

\
|
2
5
2
4

Como N(c
i
c
j
c
k
)= 0 para cualquier seleccin de las tres condiciones y N(c
1
c
2
c
3
c
4
) = 0, tenemos que

( ) 4 3 2 1 c c c c N = N S
1
+ S
2
S
3
+ S
4
= 246 0 0
2
5
2
4
10
13
1
4
18
21
= +
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
|
|
.
|

\
|

|
|
.
|

\
|
.
As, de las 1330 soluciones enteras no negativas de x
1
+ x
2
+ x
3
+ x
4
= 18, slo 246 de ellas satisfacen x
i
7
para todo 1 i 4.

Nuestro siguiente ejemplo establece la frmula que conjeturamos anteriormente para contar las funciones
sobreyectivas.


Ejemplo 8.3
Para conjuntos finitos A B, tales que | A | = m n = |B|, sean A = { a
1
a
2


.a
m
}

B= {b
1
, b
2
b
n
} y S el conjunto de todas las funciones f: A B. Entonces N = \ S | = n
m
.
Para todo 1 i n, sea c
i
la condicin sobre S tal que una funcin f: A B satisface c
i
si b
i
no est en la
imagen de f. (Observe la diferencia entre c
i
en este caso y c
i
en los ejemplos 8.1 y 8.2.) Entonces ( ) i c N es
el nmero de funciones en S que tienen b
i
en su imagen y ( ) n 2 1 c c c N cuenta el nmero de funciones
sobre f: A B.
Para cualquier 1 i n, N(c
i
) = (n 1)
m
, ya que cualquier elemento de B, excepto b
i
, puede usarse como
segunda componente de un par ordenado para una funcin f: A B, cuya imagen no incluye b
i
. De la misma
forma, para cualquier 1 i < j n, existen (n 2)
m
funciones f: A B cuya imagen no contiene b
i
ni b
j
. De
estas observaciones obtenemos que S
1
= [N(c
1
) + N(c
2
) + + N(c
n
)] = n(n 1)
m
=
|
|
.
|

\
|
1
n
(n l)
m
y S
2
= [N(c
1
c
2
) +
N(c
1
c
3
) + + N(c
1
c
n
)+N(c
2
c
3
) +..+N (c
2
c
n
)+ N(c
n-1
c
n
)] =
|
|
.
|

\
|
2
n
(n2)
m
. En general, para todo 1 k n,
( ) ( )
m
n i i i 1
i i i k
i n
k
n
c c c N S
k 2 1
k 2 1

|
|
.
|

\
|
= =

s < < < s

El principio de inclusin y exclusin implica que el nmero de funciones sobre de A a B es
( ) n 2 1 c c c N = N S
1
+ S
2
S
3
+ +(1)
n
S
n
= n
m

|
|
.
|

\
|
1
n
(n-1)
m
+
|
|
.
|

\
|
2
n
(n-2)
m

|
|
.
|

\
|
3
n
(n-3)
m
++ (1)
n
(n-n)
m
( ) ( )

=

|
|
.
|

\
|
=
n
0 i
m i
i n
i
n
1

( ) n 2 1 c c c N = ( ) ( )

=

|
|
.
|

\
|

n
0 i
m i
i n
i n
n
1
Antes de terminar de analizar este ejemplo, notemos que

( ) ( )

=

|
|
.
|

\
|

n
0 i
m i
i n
i n
n
1


Tambin puede evaluarse en el caso m < n. Adems, para m< n, la expresin
( ) n 2 1 c c c N
Sigue contando el nmero de funciones f: A B, tales que |A|= m ,|B| = n y cada elemento de B est en la
imagen de f. Pero ahora este nmero es 0.
Por ejemplo, supongamos que m = 3 < 7 = n. Entonces ( ) 7 4 3 2 1 c c c c c N cuenta el nmero de funciones
sobre f: AB para | A | = 3 y |B| =7. Sabemos que este nmero es 0, y tambin encontramos que

( ) ( )

=

|
|
.
|

\
|

7
0 i
3 i
i 7
i 7
7
1 =
3 3 3 3 3 3 3 3
0
0
7
1
1
7
2
2
7
3
3
7
4
4
7
5
5
7
6
6
7
7
7
7
|
|
.
|

\
|

|
|
.
|

\
|
+
|
|
.
|

\
|

|
|
.
|

\
|
+
|
|
.
|

\
|

|
|
.
|

\
|
+
|
|
.
|

\
|

|
|
.
|

\
|

= 343 1512 + 2625 2240 + 945 168 + 7 0 = 0.

Por lo tanto, para cualquier m, n Z si m < n, entonces

( ) ( )

=

|
|
.
|

\
|

n
0 i
m i
i n
i n
n
1

= 0
Resolveremos ahora un problema similar a los del captulo 3, relacionado con los diagramas de Venn.
EJEMPLO 8.4 De cuntas formas pueden permutarse las 26 letras del alfabeto de tal manera que ninguno
de los patrones sea car, dog, pun, o byte?
Sea S el conjunto de todas las permutaciones de 26 letras. Entonces |S| =26!. Para todo 1
4, una permutacin de S satisface la condicin c
i
si la permutacin contiene car, dog, pun o
byte, respectivamente.
Para calcular N(c
i
), por ejemplo, contamos el nmero de formas en que pueden permutarse
los 24 smbolos car, b, d, e, f,..., p, q, s, t,..., x,y, z. As, N(c
1
) = 24! y de una manera similar
obtenemos
N(c
2
) = N(c
3
) = 24!, mientras que N(c
4
) = 23!

Para N(c
1
c
2
), trabajamos con los 22 smbolos car, dog, b, e, f,h,i,..., m, n, p. q, s, t,
x, y, z, que pueden permutarse de 22! formas. De aqu obtenemos que N(c
1
c
2
) = 22! y con otros clculos
semejantes obtenemos
N(c
1
c
3
) = N(c
2
c
3
) = 22!, N(c
i
c
4
) = 21!, i 4.

Adems,
N(c
1
,c
2
c
3
) = 20!, N(c
i
c
j
c
4
) = 19! , l i < j 3,
N(c
1
,c
2
c
3
c
4
)= 17!


As, el nmero de permutaciones de 5 que no contienen ninguno de los patrones dados es ( ) 4 3 2 1 c c c c N =
26! [3(24!) + 23!] + [3(22!) + 3(21)!] [20!) + 3(19)!] + 17!.
Nuestro siguiente ejemplo trata un problema de teora de nmeros.
EJEMPLO 8.5 Para n Z
+
. n 2, sea ( ) n u el nmero de enteros positivos m, tales que 1 m < n y mcd (m ,
n) = 1. esto es m, n son primos relativos. Esta funcin es la funcin phi de Euler y surge en varias situaciones
del lgebra abstracta relacionadas con la enumeracin. Encontramos que ( ) 2 u = 1, ( ) 3 u = 2, ( ) 4 u = 2,
( ) 5 u = 4 y ( ) 6 u = 2. Para cualquier primo p, ( ) 1 p p = u . Queremos obtener una frmula para (n)
relacionada con n para no tener que hacer una comparacin caso por caso para todo m, 1 m < n, con el
entero n.
La deduccin de nuestra frmula usar el principio de inclusin y exclusin, como en el ejemplo 8.1.
Procedemos como sigue: para n 2, usamos el teorema fundamental de la aritmtica y escribimos p
e1
1
,
p
e2
2
p
et
t,
donde p
1,
,p
2
,.p
t
son primos distintos y e
i
1, para todo 1 i t. Consideremos el caso en que T =
4. Esto ser suficiente para demostrar la idea general.
Si S =,1, 2,3,4.n ), tenemos N= |S| y para todo 1 4, decimos que K S
satisface la condicin c
i
si k es divisible entre p
i
. Para 1 k < n, mcd(k, n) = 1 si k no es divisible entre
cualquiera de los primos p
i
, donde 1 i 4. Por lo tanto (n) = ( ) 4 3 2 1 c c c c N .
Para todo 1 i 4, tenemos N(c
i
) = n/p
i ;
N(c
1
C
J
)= n/(p
i
p
j
), para todo 1 i <j 4.
Tambin, N(c
i
c
j
c
l
) = n/( p
i
p
j
p
l
) , para todos 1 i< j < l 4, y N(c
1
c
2
c
3
c
4
) =n / (p
1
p
2
p
3
p
4
) As
(n) =S
0
S
1
+ S
2
S
3
+ S
4


4 3 2 1 4 3 2 3 2 1 4 3 3 1 2 1 4 1
p p p p
n
p p p
n
p p p
n
p p
n
p p
n
p p
n
p
n
p
n
n (n) +
(

+ +
(

+ + + +
(

+ + = u


(

+
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+ + + +
|
|
.
|

\
|
+ + = u
4 3 2 1 4 3 2 3 2 1 4 3 3 1 2 1 4 1
p p p p
1
p p p
1
p p p
1
p p
1
p p
1
p p
1
p
1
p
1
1 n (n)

( )
( ) ( )
(

+ + + + + + + + +
+ + + +
= u
1 p p p p p p p p p p p p p p p p
p p p p p p p p p p p p p p p p
p p p p
n
(n)
1 2 3 4 2 1 3 1 4 1 3 2 4 2 4 3
3 2 1 4 2 1 4 3 1 4 3 2 4 3 2 1
4 3 2 1


( ) ( )( )( )( ) | | 1 p 1 p 1 p 1 p
p p p p
n
n
4 3 2 1
4 3 2 1
= u
( )
[
=
|
|
.
|

\
|
=
(

|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
= u
4
1 i i 4
4
3
3
2
2
1
1
p
1
1 n
p
1 p
p
1 p
p
1 p
p
1 p
n n

Program EulerPhiFunction (input,output);

Var
i,j,k,n,phi,originalvalue: integer;
Begin
Write ( ' El valor de n es ' );
Read (n); phi : = n;
originalvalue := n;
If n Mod 2 = 0 then
Begin
Phi : = phi Div 2;
While n Mod 2 = 0 do
n : = n Div 2
End;
If n Mod 3 = 0 then
Begin
phi : = (phi * 2) Div 3;
While n Mod 3 = 0 do
n ;= n Div 3
End;
i := 5;
While n >= 5 do
Begin
j := 1;
Repeat
J :- J + 1;
k : = i Mod j
Until (k = 0) or (j = trun c (sqrt(i )));
If (k < > 0) and (n Mod i = 0) then
Begin
phi := (phi * (i - 1)) Div i;
While n Mod i = 0 do
n : = n Div i
End;
i : = i + 2
End;
Write (' Para n= ', originalvalue :.0, ' existen ', phi:0);
Writeln(' nmeros menores que ', originalvalue:0);
Writel(' y primos relativos a l.')
End.

El valor de n es 131
Para n = 131 existen 130 nmeros menores que 131
Y primos relativos a l.
El valor de n es 31500
Para n = 31500 existen 7200 nmeros menores que 31500
y primos relativos a l.
El valor de n es 198000
Para n = 198000 existen 48000 nmeros menores que 198000
y primos relativos a l.
Fig 8.3


En general, ( )
[ |
.
|

\
|
|
.
|

\
|
= u
n p
p
1
1 n n . donde el producto se toma sobre todos los primos p que dividen
a n. Cuando n = p, un primo, ( ) ( ) 1 p
p
1
1 p p n =
(

|
.
|

\
|
= u = u , como observamos antes. Para n =
23,100 encontramos que
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 4800
11
1
1
7
1
1
5
1
1
3
1
1
2
1
1 100 23 11 7 5 3 2 100 23
2 2
= = u = u
El programa en Pascal de la figura 8.3 evala ( ) n u para n 3. En este caso, usamos la estructura de control
Repeat-Until para determinar si el entero i es un primo. La condicin
j = trunc ( sqrt (i) )
para terminar la ejecucin de este ciclo se sigue del resultado del ejemplo 4.28.
Usamos este programa para encontrar ( ) n u

en los casos n = 131, n = 31,500 y n = 198,000.
La funcin phi de Euler tiene muchas propiedades interesantes, algunas de las cuales sern analizadas en los
ejercicios de esta seccin y en los ejercicios complementarios.
Nuestro ejemplo final retoma la teora de grafos que estudiaremos posteriormente.
Ejemplo 8.6 En cierta regin hay cinco villas. Un ingeniero tiene que disear un sistema de carreteras de dos
sentidos de modo que al terminar el sistema, ninguna villa quede aislada. De cuntas formas puede
hacerlo?
Si llamamos a las villas a, b, c, d y e, buscamos el nmero de grafos no dirigidos sin lazos sobre estos
vrtices, de modo que no haya vrtices aislados. En consecuencia, queremos contar situaciones como las
que se ilustran en las partes (a) y (b) de la figura 8.4, pero no como la que se muestra en la parte (c).













Figura 8.4
Sea S el conjunto de grafos no dirigidos sin lazos G sobre V= {a, b, c, d, e}. Entonces |s| = 2' pues hay
|
|
.
|

\
|
2
5
=10 carreteras posibles de dos sentidos entre estas cinco villas y cada carretera puede incluirse o excluirse.
Para cada 1 i 5, sea c
i
la condicin de que un sistema de estas carreteras asle las villas a, b, c, d y e,
respectivamente. Entonces la respuesta al problema es ( ) 5 4 3 2 1 c c c c c N
Para la condicin c
i
, la villa a est aislada, por lo que tenemos que analizar las seis aristas
(carreteras) {b,c} {b, d), {b, e}, {c, d), (c, e}, (d, e). Tenemos dos opciones para cada arista (a saber, poner la
arista en el grafo o dejarla fuera), por lo que N(c
1
) = 2
6
. Por simetra, N(c
i
) = 2
6
para todo 2 i 5, y S
1
=
|
|
.
|

\
|
2
5
2
6
.
Cuando se aislan las villas a y b, cada una de las aristas {c, d}, {d, e), {c, e} puede ponerse o no en el grafo.
Esto produce 2
3
posibilidades, por lo que N (c
1
c
2
)= 2
3
y S
2
=
|
|
.
|

\
|
2
5
2
3


Usamos argumentos similares para obtener N (c
1
c
2
c
3
) = 2
1
y S
3
=
|
|
.
|

\
|
3
5
2
l
; N(c
1
c
2
c
3
c
4
) =2
o
y
S
4
=
|
|
.
|

\
|
4
5
2; y N(c
1
c
2
c
3
c
4
c
5
) = 2
0
y S
5
=
|
|
.
|

\
|
5
5
2.
En consecuencia ( ) 768 2
4
5
2
3
5
2
2
5
2
1
5
2 c c c c c N
0 1 3 6 10
5 4 3 2 1 =
|
|
.
|

\
|
+
|
|
.
|

\
|

|
|
.
|

\
|
+
|
|
.
|

\
|
= .
EJERCICIOS 8.1
1) Determine el nmero de enteros positivos n, 1 < n < 2000, tales que
a) no son divisibles entre 2, 3 ni 5. b) no son divisibles entre 2, 3, 5 ni 7.
c) no son divisibles entre 2,3 ni 5, pero s son divisibles entre 7.

2) Determine el nmero de soluciones enteras de x
1
+ x
2
+ x
3
+x
4
= 19, si
a) 0 < x
i
para todo 1 i 4 b) 0 x
i
< 8 para todo 1 i 4
c) 0 x
1
5, 0 X
2
6, 3 x
3
7, 3 x
4
8

3) De cuntas formas se pueden colocar todas las letras de la palabra INFORMATION de tal manera que
ningn par de letras consecutivas aparezca ms de una vez? [Aqu queremos contar disposiciones
como lNNOOFRMTA y FORTMAIINON pero no INFORINMOTA (donde "IN" aparece dos veces) o
NORTFNOIAMI (donde "NO" aparece dos veces).]

4) Determine el nmero de soluciones enteras de x
1
+ x
2
+ x
3
+x
4
= 19 donde -5 x
i
10 para todo 1 i 4

5) Encuentre el nmero de enteros positivos x tales que X < 9,999,999 y la suma de los dgitos de x sea
igual a 31.

6) El profesor Ballesteros acaba de escribir el examen final para su curso de matemticas avanzabas para
ingeniera. Este examen tiene 12 preguntas, que en total valen 200 puntos. De cuntas maneras
puede asignar el profesor Ballesteros los 200 puntos si (a) cada pregunta debe valer al menos 10, pero
no ms de 25 puntos?, (b) cada pregunta debe valer al menos 10, pero no ms de 25 puntos y el valor
de los puntos para cada pregunta debe ser mltiplo de 5?

7) En su tienda de flores, Margarita desea colocar 15 plantas diferentes en cinco anaqueles del escaparate.
De cuntas formas puede colocarlas de tal manera que cada anaquel tenga al menos una planta, pero
no ms de cuatro?

8) De cuntas formas puede seleccionar Camilo nueve canicas de una bolsa con doce (idnticas excepto
por el color), donde tres son rojas, tres azules, tres blancas y tres verdes?

9) Encuentre el nmero de permutaciones de a, b, c...., x. y, z, de modo que no aparezcan los patrones
spin, gome, path o net. (Se consideran aqu las 26 letras del alfabeto)

10) Responda la pregunta del ejemplo 8.6 para el caso de seis villas.

11) Si se tiran ocho dados distintos, cul es la probabilidad de que aparezcan seis nmeros distintos?

12) Cuntos nmeros de la seguridad social (secuencias de nueve dgitos) tienen al menos una vez cada
uno de los dgitos 1, 3 y 7?

13) De cuntas formas se pueden colocar tres x, tres y y tres z de modo que no aparezca la misma letra
tres veces consecutivas?

14) El municipio de Frostburg tiene a su cargo cuatro tropas de scouts, cada una con 20 nios. Si el jefe de
tropa selecciona 50 de estos nios para representar a su municipio en la reunin de scouts del estado,
cul es la probabilidad de que su seleccin incluya al menos un nio de cada una de las cuatro tropas?

15) Si Zacaras tira un dado cinco veces, cul es la probabilidad de que la suma de sus cinco tiradas sea
20?

16) En un curso de matemticas de 12 semanas, Soledad encontr a siete de sus amigas del colegio.
Durante el curso, ella encontr a cada amiga 35 veces durante la comida, a cada par de ellas 16 veces, a
cada terna ocho veces, a cada cuaterna cuatro veces, a cada conjunto de cinco dos veces, y a cada
conjunto de seis una vez, pero nunca a las siete al mismo tiempo. Si comi durante los 84 das del curso,
comi alguna vez sola?
17) Calcule ( ) n u para n igual a (a)51; (b)420; (c) 12300.

18) Calcule ( ) n u para n igual a (a) 5186; (b) 5187; (c) 5188.

19) Sea n E Z
+
(a) Determine ( )
n
2 u . (b) Determine ( ) p 2
n
u , donde p es un primo impar.

20)Para cules e n Z
+
es ( ) n u impar?

21) Cuntos enteros positivos n menores que 6000 (a) satisfacen mcd(n, 6000) = 1? (b) comparten un
divisor primo con 6000?

22) Si m, neZ
+
, demuestre que ( ) ( ) n n n
1 m m
u = u

.

23) Encuentre tres valores para n e Z
+
tales que ( ) 16 n = u .

24) Para qu enteros positivos n ocurre que (n).es una potencia de 2?

25) Para qu enteros positivos n ocurre que 4 divide a ( ) n u ?

26) Extienda el programa de la figura 8.3 de tal manera que funcione para el caso n = 2 y que imprima un
resultado gramaticalmente correcto.

27) Para el programa de la figura 8.3, cul es el propsito de los tres ciclos While de dos lneas? Por qu
i se incrementa en 2 (y no en 1) en la lnea i: = i + 2? (Se observa alguna diferencia si i se incrementa en
1?)