Anda di halaman 1dari 36

Matemtica Discreta

1er. Cuatrimestre 2007

Matemtica Discreta
1 Cuatrimestre 2007
Facultad de Ingeniera
Universidad de Buenos Aires

Matemtica Discreta
1er. Cuatrimestre 2007
PRCTICA N1: Lgica y teora de conjuntos.
EJERCICIO 1: Analice si las siguientes expresiones son proposiciones o no:
a) El sol gira alrededor de la tierra.
b) Existe un nmero racional cuyo cuadrado es igual a dos.
c) Habr vida en Marte?
d) Visite el glaciar Perito Moreno.
e) Suiza es un pas europeo.
f) Ven aqu.
g) x+1=8
h) Hay nmeros enteros que satisfacen x+1=8.
i) Visit el glaciar Perito Moreno.
j) Prolog es un lenguaje declarativo basado en las reglas de la lgica.
EJERCICIO 2:
a) Dado A 1 , 2 , 3 , a , b , c analice el valor de verdad de las siguientes
proposiciones:

ii) 2 A
iii) 4 A
iv) a A
v) 1 A vi) A
vii) 1 , 2 A
b) Sea A [ 2 , 3 , 7 ] = X / X 2 , 3 , 7 (conjunto de partes). Escriba
i) 1 A

el conjunto A por extensin y analice el valor de verdad de las siguientes proposiciones


i) 2 A
v) 1 , 2 A

ii) 2 A
vi) A

iii) 3 , 7 A
vii) A

iv) 2 A
viii) 2 A

EJERCICIO 3: Escriba en lenguaje simblico las siguientes proposiciones


a) Aprobar el examen o ser aplazado.
b) Aprobar el examen o bien ser aplazado
c) Aprobar el examen si y slo si estudia mucho.
d) Ir a lo del mdico aunque me siento bien.
e) No cometi el crimen si no pudo comprar un revolver.
f) Viajar a Jujuy o bien a Salta.
g) Cuando tu cantas me duelen los odos.
h) Si no me llamas entonces no ir.
i) No vino ni llam.
j) Con el dinero del plazo fijo me compar o una heladera o un televisor.
k) Vendr maana salvo que haya paro de trenes.
l) Slo si vienes te enterars de lo ocurrido.
m) Las plantas, como los animales, son seres vivos.
n) Esta planta florecer a menos que haga calor y no la riegues.
EJERCICIO 4: Tengo 3 amigos: Rodrigo, Gonzalo y Fernando. A cada uno de ellos el
pap le dijo:
A Rodrigo: Te llevar al partido si y slo si apruebas Matemtica Discreta
A Gonzalo: Te llevar al partido si apruebas Matemtica Discreta
A Fernando: Te llevar al partido slo si apruebas Matemtica Discreta
Voy al partido y me encuentro con mis tres amigos.
Si sus padres cumplieron con su palabra, puedo saber quienes aprobaron Matemtica
Discreta?
EJERCICIO 5: Indique antecedente y consecuente de las siguiente implicaciones
escribiendo la misma de la forma si p entonces q
1

Matemtica Discreta
1er. Cuatrimestre 2007
a)
b)
c)
d)
e)
f)

Slo si vienes a buscarme te acompaar.


Si vienes a buscarme, te acompaar.
Aprobars el examen si estudias.
Es necesario tener dinero para comprarse un auto.
Es suficiente sentirse mal para no ir a trabajar.
Sers feliz si cantas.

EJERCICIO 6:
a) Justifique si la informacin sobre los valores de verdad de algunas proposiciones que
se dan en cada caso es suficiente o no para determinar el valor de verdad de la
proposicin compuesta indicada:
i) ( p q ) ( p q ) con v( p ) V y v( q ) F
ii) (( p ) ( q )) ( p q ) con v( p ) V
iii) ( p r ) q con v( p ) F

b) Si v (q ) V . qu valores de verdad deben tener las proposiciones p , r y s para


que la siguiente proposicin resulte verdadera?:
(q [((p r ) s ) ( s ( r q ))]

EJERCICIO 7: Pruebe las siguientes equivalencias:


a) ( p q) ( p q)
b) p (q r ) ( p q ) ( p r )
c) p (q r ) ( p q) ( p r )
d) ( p q ) ( p q ) ( p q)
e) ( p q ) ( p q ) ( p q )
EJERCICIO 8: Indique, sin utilizar tabla de verdad, cules de las siguientes formas
proposicionales son tautologas , cules contradicciones y cules contingencia. En tres
de ellas verifique el resultado obtenido efectuando la tabla de verdad correspondiente.
a) [(p q) r] [( p q) r]
b) [ ( p q)] ( p q)

c) [p ( p q)] ( p q)
d) [(q (p p)) (r (p p))] (r q)
e) [(p p) q] [((p p) r) (q s)]
f) (p (q (t r))) ( (p q) (t r))
g) (p (q (t p))) ( p (q t))

EJERCICIO 9: Escriba frmulas equivalentes a las siguientes usando solamente

, y . Simplifique cada frmula obtenida.


a) ((p q) (p)) ( (p q) )
b) ( p q ) ( ( p q ))
c) ( p q ) ( ( p q ))

EJERCICIO 10:
a) Analice si son ambiguas o no las siguientes expresiones:
i) p q r
ii) p q r

Matemtica Discreta
1er. Cuatrimestre 2007
b) Es posible ubicar parntesis en la expresin p q r como para que la misma
resulte equivalente a la expresin de p se deduce q y de q se deduce r ?
c) Determine si la siguiente proposicin es tautolgica:
( p q r) ( p r)

EJERCICIO 11: Se define el conectivo tridico p q, r de la siguiente forma: si


p entonces q ; si no, r (esto es: si p es verdadero el valor de verdad es el de q, si p
es falso el valor de verdad es el de r).
a) Escriba su tabla de verdad
b) Utilizando esta operacin tridica exprese todos los conectivos didicos (puede
hacer uso de las constantes lgicas F y V ).
EJERCICIO 12 (lgicas trivalentes):
a) Si se considera que la evaluacin computacional del valor de verdad de una
proposicin puede conducir a un error o a un resultado incierto, se justifica la existencia
de un valor de verdad intermedio: I (incierto). Considerando estos tres valores de verdad
posibles (V, I, F)
a1) Confeccione las tablas de valores de verdad de los conectivos didicos
considerando estos tres valores de verdad.
a2) Realice la tabla de verdad del conectivo tridico de Mc. Carthy para esta
lgica trivalente, definido como: si p es verdadero, entonces el valor de verdad
es el de q, si p es falso el valor de verdad es el de r y si es incierto, el valor de
verdad es incierto.
b) El lgico polaco Lukasiewicz defini los valores de verdad correspondientes a una
lgica trivalente a travs de las siguientes funciones, identificando V con 1, I con 1/2 y
F con 0:

v ( p ) 1 v ( p )
v( p q) mn.{v( p); v(q)}

v( p q) mx.{v( p); v(q)


v( p q) mn.{1 ; 1 v( p) v(q)}
Confeccione la tabla de verdad de cada uno de los conectivos anteriores.
EJERCICIO 13: Traduzca las siguientes proposiciones a lenguaje de predicados de
primer orden:
a) La ballena no es un mamfero.
b) No todas las aves saben volar.
c) Todo el mundo puede hacer eso.
d) Algunas personas no son calladas.
e) Existe un entero que es mayor que cualquier otro entero.
f) La mariposa slo vuela de da.
g) Algn nieto de Mara estudia matemticas.

Matemtica Discreta
1er. Cuatrimestre 2007
h) Si todos los aviones llegan a Buenos Aires, alguno viene de Mxico.
i) Existe una funcin que es continua pero que no tiene derivada.
j) Los elefantes son ms pesados que los ratones.
k) Excepto los reptiles, a Mara le gustan todos los animales.
l) Todos tienen abuelo pero no todos son abuelos.
m) Slo los perros son ms juguetones que los gatos.
n) Algunas plantas slo tiene flores en primavera y en verano.
o) Algunos libros slo se conseguirn en 2020.
EJERCICIO 14: Sea U x / x es un pas del Mercosur
proposicionales
P(x): x empieza con consonante
Q(x): x termina en vocal
R(x): x limita con Chile.
Halle el valor de verdad de las siguientes proposiciones:

y sean las funciones

a) x U : ( P( x ) Q( x ))
b) x U : ( R( x ) Q( x ))
c) x U : ( R( x ) P( x ))

d) x U : ( P( x ) Q( x ))

EJERCICIO 15: Considere los siguientes funciones proposicionales:


P(x) : x es un cuadriltero
S(x) : x es un cuadrado
Q(x) : x es un rectngulo
T(x) : x es un paralelogramo
R(x) : x es un rombo
Traduzca las siguientes proposiciones:
a) Los rectngulos son cuadrilteros.
b) Si un rectngulo es rombo, entonces es cuadrado.
c) No todo rectngulo es cuadrado.
d) Los cuadrados no son todos rombos.
e) Los rectngulos y los rombos no son todos los paralelogramos.
EJERCICIO 16: Demuestre las siguientes implicaciones indicando el mtodo de
demostracin utilizado (directo, indirecto o por el absurdo):
a)
Si n es un nmero entero entonces n(n-1) es un nmero entero par.
b) Si n es un nmero natural impar entonces n2 es un nmero natural impar.
c) Si n es un nmero entero y n2 es un nmero par entonces n es un nmero par.
d) Si n es un entero divisible por 10, lo es tambin por 5.
e) Si el producto de dos nmeros enteros es impar, cada uno de ellos tambin lo es.
f) Si el cociente entre dos nmeros reales da por resultado 2 entonces el
dividendo o el divisor es un nmero irracional.
g) Si x e y son nmeros reales tales que x y 2 entonces x 1 y 1 .
EJERCICIO 17: Indique cules de los siguientes enunciados corresponden a verdades
matemticas, dentro del conjunto de los nmeros naturales. Justifique sus respuestas.
a) xy ( x+y = y+x)
b) xy ( x+y = 0)
c) xy ( yx) xy ( y x)
d) xy ( x+y = 0)
e) xy ( x+y = 3 0=1)

Matemtica Discreta
1er. Cuatrimestre 2007
f) xy ( x.y = x)
g) xy ( x.y = y)
h) xy (x.y = x+ y)
EJERCICIO 18: Escriba en lenguaje simblico las siguientes proposiciones y analice
su valor de verdad. Considere que el dominio son los nmeros reales.
a) Para cada x , x 2 x
b) Para alguna x , x 2 x
c) Para cada x , si x 1 entonces x 1 1
d) Para cada x , para cada y , si x y entonces x 2 y 2
e) Para cada x , para alguna y , si x y entonces x 2 y 2
f) Para alguna x , para cada y , si x y entonces x 2 y 2
g) Para alguna x , para alguna y , si x y entonces x 2 y 2
EJERCICIO 19: Escriba la negacin de las siguientes proposiciones:
a) xy ((Q(x) P(x,y)) Q(y))
b) xy (Q(x) P(x,y))
c) xy (P(x,y) Q(x))

EJERCICIO 20: Exprese en lenguaje de lgica de predicados de primer orden las


siguientes proposiciones, en el dominio de las personas:
a) Hay polticos y adems hay corruptos.
b) Hay corruptos que son polticos.
c) Todos los polticos son corruptos.
d) Todos son polticos y corruptos.
e) No todos los polticos son corruptos.
f) Todos son polticos y todos son corruptos.
g) Hay polticos o hay corruptos.
h) Hay individuos que son corruptos o son polticos.
i) No todos son polticos.
j) Todos no son polticos.
k) No hay corruptos.
l) Hay polticos.
m) Todos los corruptos son polticos.
n) Todos los que no son polticos no son corruptos.
o) Todos son corruptos si todos son polticos.
EJERCICIO 21: En referencia a las proposiciones del ejercicio anterior:
a)
Demuestre que las proposiciones a) y b) no son equivalentes.
b) Qu diferencias se advierten entre las proposiciones c) y d)?
c) Es la proposicin i) la negacin de la j)? Y la j) de la l)?
d) Reemplace en las siguientes expresiones los signos ??? por
segn corresponda. Justifique cada respuesta.
[x : A( x )]
[x : A( x )]
[(x : A( x )) (x : B ( x ))]

??? x : A( x )
??? x : A( x )

???

x : [ A( x ) B ( x )]

Matemtica Discreta
1er. Cuatrimestre 2007
[(x : A( x )) (x : B ( x ))] ??? x : [ A( x ) B ( x )]
[( x : A( x )) (x : B ( x ))] ??? x : [ A( x ) B ( x )]
[( x : A( x )) (x : B ( x ))]

???

x : [ A( x ) B ( x )]

EJERCICIO 22: Dados los siguientes conjuntos A hallar, si es posible, en cada caso,
5 elementos a que satifagan la proposicin a A :
a) A n N / n es divisible por 5

b) A 2n 1 / n es un nmero primo

15A?

c) A P[ a, b, c, d , e ] a A ?

d) A

1
n

/ n N y es primo

e) A n N / n 1 es primo
f) A x Q / 0 x 1

EJERCICIO 23: Dada la proposicin p : " A " , analice su valor de verdad para
los siguientes conjuntos:

A x R : x

a) A n N : n 2 9
b)

d) A n N : n 2 3

e) A 3n 1 : n N n 6

EJERCICIO 24: Analice la verdad o falsedad de las siguientes afirmaciones:


a) 0 ; 1 (0 ; 1)
e) [0 ; 1] Z
b) (0 ; 1) [0 ; 1]
f) y / 4 pertenecen a 0 ; 1
c) 0 ; 1 [0 ; 1]
g) y / 4 pertenecen a [0;1]
d) 0 ; 1 Z
EJERCICIO 25: Dadas las siguientes definiciones de operaciones entre conjuntos
A B x U : x A x B
A B x U : x A x B
A B x U : x A x B

Unin

A B x U : x A B x A B

A x U : x A

Interseccin
Diferencia
Diferencia simtrica
Complemento

demuestre las siguientes leyes del lgebra de conjuntos:


a) Leyes conmutativas:

b)

c)

A B B A

A B B A

A ( B C ) ( A B) C
Leyes asociativas:
A ( B C ) ( A B) C
A ( B C ) ( A B) ( A C )
Leyes distributivas:
A ( B C ) ( A B) ( A C )
6

Matemtica Discreta
1er. Cuatrimestre 2007

d)

e)

A A A
Leyes de idempotencia:
A A A
A A
A U U

Leyes de identidad:
A
A U A

f) Complementacin doble: A
g)

A A U

A A
A B A B

h) Leyes de De Morgan:

A B A B

EJERCICIO 26: Pruebe que

( A B) A B

cualesquiera sean A, B U .

EJERCICIO 27: Analice el valor de verdad de las siguientes proposiciones. Justifique


cada respuesta.
a) A, B, C U A ( B C ) ( A B ) C
b) A, B U A B A B A B
c) A, B U ( A ) B B
d) A, B U A B A ( B) B
e) A, B U A B A B
f) A, B, C U A B A C B C
EJERCICIO 28: Demuestre que
a) A, B U : A B A A A B
b) A, B ,C U : ( A B B C ) A ( B C )
c) A, B ,C U : ( A C B C ) ( A B) C )
d) A, B U : A B B A
e) A, B U A B A B B
f) A, B U A B A B A

Matemtica Discreta
1er. Cuatrimestre 2007
PRCTICA N2: Induccin matemtica.
EJERCICIO 1: Pruebe que las siguientes igualdades son vlidas n N:
n
n(n 1)
n2
a) 1 2 3 n
k3
n 1 2
e)

2
4
k 1
b) 2 4 6 2n n(n 1)
c) 1 3 5 (2n 1) n
n

d)

k
k 1

f)

n( n 1)(2n 1)
6

2k 1 .3k n 1 .3n1 3

k 1
n

rk

g)

k 0
n

h)

k2

k 1

r n 1 1
si r 1. Qu pasa si r = 1?
r 1

1 (n 1)2 n

k 1

EJERCICIO 2: Demuestre que, n N, resulta verdadero que


a) 10 n 1 10 n 1 es divisible por 3
e) a: (a a 0): (1+a)n 1 + na
b) 8 n 5 n es divisible por 3

f) n2 + 1 n

c) 10 6 n 2 10 3n 1 1 es divisible por 111

g) 2n n2 para n 4

d) x n y n es divisible por x y

h) (a . b)n = an bn

a,b

EJERCICIO 3: Pruebe que la suma de los cubos de tres naturales consecutivos es


mltiplo de 9.
EJERCICIO 4: Decida para qu valores positivos de n son verdaderas cada una de las
siguientes desigualdades y demostrarlo en cada caso:
a) 3n < n2 1

b) 4n < n2 7

EJERCICIO 5: Sabiendo que A B A B , demuestre que si A1, ..............., An son n


subconjuntos cualesquiera de un conjunto U entonces
n

UA
k 1

IA

k 1

EJERCICIO 6: Considere la proposicin p(n): n2 + 5n + 1 es par


a) Demuestre que si p(n) es V, entonces p(n+1) es V nN
b) Para qu valores de n es p(n) efectivamente verdadera? Qu puede concluir?

Matemtica Discreta
1er. Cuatrimestre 2007
PRCTICA N3: Relaciones de recurrencia.
EJERCICIO 1: Una persona invierte $1000 al 12% de inters anual. Sea An el monto
de dinero que posee al cabo de n aos completos, si no ha hecho retiros. Obtenga una
relacin de recurrencia y una condicin inicial para la sucesin A0, A1...
EJERCICIO 2:
a) Si Pn es el nmero de permutaciones de n objetos distintos, establecer una
relacin de recurrencia y una condicin inicial para la sucesin P0, P1.
b) dem para el nmero de subconjuntos de un conjunto de n elementos, Sn.
EJERCICIO 3: Sea d n el nmero de diagonales de un polgono convexo de n
vrtices. Obtenga una relacin de recurrencia para d n en trminos de d n 1 .
EJERCICIO 4: Un robot puede avanzar en pasos de 1 o 2 metros de longitud. Sea Cn
el nmero de modos diferentes en que el robot puede caminar n metros. Encuentre una
relacin de recurrencia para Cn y las correspondientes condiciones iniciales.
EJERCICIO 5: Sea el conjunto ={a,b,c} y sea Sn el nmero de palabras de
longitud n que se pueden formar con los elementos de de modo que no tengan aes
consecutivas (considere que la vaca es una palabra).
a) Calcule S0, S1, S2.
b) Encuentre una frmula recursiva para Sn.
EJERCICIO 6: Resuelva las siguientes ecuaciones de recurrencia homogneas:
a) S 0 1; S n 1 2 S n 0 para n 0
b) S 0 1; S n 1 2 S n 0 para n 1
c) S 0 0; S1 3; S n 2 9 S n 0 para n 0
d) a 0 1, a1 2, a n 4a n 1 4a n 2 para n 2
e) a 0 0, a1 1, a 2 2 y a n a n 1 5a n 2 3a n 3 para n 3
f) S 0 0; S1 1; S n 2 2S n 1 2 S n 0 para n 0
a 0 1, a1 2
g) a n 2na n 1 3n(n 1) a n 2
a 0 1, a1 2
h) a n a n 1 2 a n 2
con
EJERCICIO 7: Sea, para cada n N , el siguiente determinante de nxn

Matemtica Discreta
1er. Cuatrimestre 2007

2 1 0 0 0 ........ 0 0 0 0
1 2 1 0 0 ........ 0 0 0 0
0 1 2 1 0 ........ 0 0 0 0
Dn ...................................................

0 0 0 0 0 ........ 1 2 1 0
0 0 0 0 0 ........ 0 1 2 1
0 0 0 0 0 ........ 0 0 1 2
Encuentre y resuelva una relacin de recurrencia para el valor de Dn.
EJERCICIO 8: Resuelva la relacin de recurrencia hallada en el EJERCICIO 3para
d n , el nmero de diagonales de un polgono de n vrtices.
EJERCICIO 9: Sea a n 1 4 7 ... (3n 1) para n 0 . Halle y resuelva una
ecuacin de recurrencia para a n y pruebe por induccin matemtica que la misma es
correcta.
EJERCICIO 10: Resuelva las siguientes ecuaciones no homogneas:
n 0, a 0 1
a) a n 1 2a n 5
n
b) a n 1 a n 2n 3 5 n 0, a 0 1
2
n 0, a0 3
c) a n 1 a n 3n n
n 0, a 0 1
d) a n 1 2a n 2 n
n
n 0, a 0 0, a1 1
e) a n 2 3a n 1 2a n 3
f) a n 2 4a n 1 4a n 5(2) n n 0, a0 1, a1 2
g)

a n 2 a n sin n2

n 0, a 0 1, a1 1

h) S n 3 3S n 2 3S n 1 S n 3 5n
n
n
i) a n 2 6a n 1 9a n 3(2 ) 7(3 )
j) a n 2na n 1 + (n+1)!, a 0 2
k) 9a n 2 n 2 6a n 1 n 1 a n n 3 n

a 2 n 2 5a 2 n 1 6a 2 n 8n
2
an 0
m) a n 2a n 1 0
l)

n0
n 0 , a 0 1, a1 4 .

con 2 n

n 0 , a0 8

a 0 1, a1 1

, a1 15

a 0 2 (Sugerencia : defina bn log 2 a n )

EJERCICIO 11: Considere la ecuacin de recurrencia definida por


a n 2 a n 1 a n f (n)

a) Demuestre que la diferencia entre dos soluciones de esta ecuacin es solucin de


la ecuacin de recurrencia homognea asociada a ella.
bn ( 2) n n( 2) n n 2 (2) n 1
b) Si a n ( 2) n n( 2) n n 2 ( 2) n 1
y
son dos soluciones de la ecuacin, encuentre y ; f(n) y la solucin general de
esta ecuacin.
10

Matemtica Discreta
1er. Cuatrimestre 2007

EJERCICIO 12:
Determine las constantes b y c si a n c1 c 2 7 n ; n 0 es la
solucin general de la ecuacin a n 2 ba n1 can 0 , con n 0 .
EJERCICIO 13:

Sea la siguiente relacin de recurrencia:


a n 2 a n 1 12a n 2 n
a) Determine de manera que la solucin general del homogneo sea
k1 3 n k 2 (4) n .
b) Para el valor de hallado en el tem anterior, calcule la solucin del no
homogneo.
c) Halle la solucin del no homogneo que verifica a 0 1, a1 2.

EJERCICIO 14: Determine condiciones sobre b y c de manera que cbn sea solucin
no trivial de la ecuacin de recurrencia s n s n 1 2 s n 2 0
EJERCICIO 15: Dada la relacin de recurrencia a n 2 a n 1 a n 2 n ,
determine los valores de y para los cuales la solucin de la ecuacin homognea
resulta de la forma k1 2 n k 2 n 2 n . Calcule la solucin del problema no homogneo para
los valores hallados.
EJERCICIO 16: Sea la siguiente relacin de recurrencia:

a n 2 a n 1 4a n 6n 2

a) Encuentre para que (n 2 n) sea solucin de la ecuacin.


b) Halle la solucin general de la ecuacin.
c) Halle la solucin de la ecuacin que verifica a 0 1, a1 0 .

11

Matemtica Discreta
1er. Cuatrimestre 2007
PRCTICA N4: Relaciones.
R es una relacin en el conjunto A sii R A A
R es reflexiva sii x A : xRx
R es simtrica sii x, y A : ( xRy yRx)
R es antisimtrica sii x, y A : ( xRy yRx x y )
R es transitiva sii x, y, z A : ( xRy yRz xRz )
R es de equivalencia sii es reflexiva, simtrica y transitiva
R es de orden sii es reflexiva, antisimtrica y transitiva

EJERCICIO 1: Dados A = {1,2,3,4}, B = {a,b,c,d,e} y C = {n N0/ n 10}, analice


si las siguientes relaciones son reflexivas, simtricas, antisimtricas y/o transitivas:
a) R = {(1,1),(2,1),(2,3),(4,1),(4,4),(1,4),(3,2),(1,2)} A A
b) R = {(a,b),(a,c),(a,d),(b,c),(b,d),(b,e),(a,e)} B B
c) R = {(1,1),(2,1),(1,2),(2,2),(3,3),(4,4)} A A
d) R = {(x,y) / xy 18 } N N
e) R = {(x,y) /

x y
Z} N N
2

f) R = {(x,y) / x + y = 10} C C
EJERCICIO 2: Determine si las siguientes relaciones son reflexivas, simtricas,
antisimtricas y/o transitivas:
a) En Z: (x,y) R sii x| y (x divide a y o y es mltiplo de x o x es divisor de y)
b) En N: (x,y) R sii x| y
c) En X = {r/r es una recta en el plano}: (r1,r2) R sii

r 1 r2

d) En X = {r/r es una recta en el plano}, (r1,r2) R sii r1 // r2


e) Sea A = {a,b,c}. En X = (A) (conjunto de partes de A) se define la relacin
A1 R A2 sii A1 A2 (relacin de inclusin)
f) En : x R y x2 + y2 1
g) En M2x2 [{0,1}] (matrices de 2 x 2 con x ij {0,1}i,j)
X R Y xii = y ii i = 1,2
h) En M2x2 [{0,1}]

X R Y XY =
0

12

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 3:
a) Complete la siguiente relacin para que resulte de equivalencia. Indique la particin
que define. R = {(1,1),(1,2),(3,2)} A A con A = {1,2,3,4,5}
b) Existe una sola forma de completarla?

EJERCICIO 4: Sean R y S relaciones en un conjunto A.


Analice el valor de verdad de las siguientes proposiciones, justificando su respuesta:
a) Si R y S son reflexivas entonces RS tambin es reflexiva.
b) Si R y S son reflexivas entonces RS tambin es reflexiva.
c) Si R y S son simtricas entonces RS tambin es simtrica.
d) Si R y S son simtricas entonces RS tambin es simtrica.
e) Si R y S son antisimtricas entonces RS tambin es antisimtrica.
f) Si R y S son antisimtricas entonces RS tambin es antisimtrica.
g) Si R y S son transitivas entonces RS tambin es transitiva.
h) Si R y S son transitivas entonces RS tambin es transitiva.
En aquellas proposiciones que resulten verdaderas, analice si es posible cambiar en las
hiptesis y por o sin que se pierda el valor de verdad.

EJERCICIO 5: Sean R y S relaciones definidas en un conjunto A.


Demuestre que
a) R es reflexiva R R-1
b) R es simtrica R = R-1
c) R es simtrica y transitiva R tiene la propiedad (aRb cRb aRc)

EJERCICIO 6: Sean R y S relaciones en un conjunto A.


Determine el valor de verdad de las siguientes proposiciones. Justifique cada respuesta.
a) Si R es antisimtrica y S R entonces S es antisimtrica.
b) Si S es reflexiva y S R entonces R es reflexiva.

13

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 7: Sea R una relacin simtrica y transitiva sobre un conjunto A.
Demuestre que si para todo a en A existe un b en A tal que (a,b) est en R, entonces R
es de equivalencia.

EJERCICIO 8: Dadas las siguientes relaciones, decidir cules son de equivalencia y,


para las que lo sean, definir el conjunto cociente correspondiente:
a)

{(x,y) /

x y
Z} Z Z
3

b) {(1,2),(2,2)} {1,2} {1,2}


c) {(1,2),(2,3),(1,3),(2,1)} {1,2,3} {1,2,3}
d) {(1,2),(4,3),(2,2),(2,1),(3,1)} {1,2,3,4} {1,2,3,4}
e) En S = {1,2,3,4,5,6,7}, R = {(x,y) /

x y
Z} S S
3

EJERCICIO 9: Dada la siguiente relacin de 2 2-{(0,0)}


(x,y) R (u,v) si xv = yu, decidir si es una relacin de equivalencia.

EJERCICIO 10: Dada la siguiente particin P de S = {a,b,c,d,e}:


P = {{a,b },{c},{d,e}}
defina la relacin de equivalencia que ella determina.

EJERCICIO 11: Sean A = {1,2,3,4,5,6,7}, B = {x,y,z} y f: A B la funcin definida


por {(1,x),(2,x),(3,x),(4,y),(5,z),(6,y),(7,z)}.
Pruebe que la relacin definida por: aRb sii f(a) = f(b) es una relacin de equivalencia.
Calcular la clase de cada elemento de A.

EJERCICIO 12: Se define en Z la relacin

mRn m2 = n2.

a) Muestre que es una relacin de equivalencia en Z.


b) Describa las clases de equivalencia. Cuntas hay?

EJERCICIO 13: Se define en N la relacin mRn m2 - n2 es mltiplo de 3


a) Muestre que es una relacin de equivalencia en N.
b) D cuatro elementos en las clases de equivalencia [0] y [1].

14

Matemtica Discreta
1er. Cuatrimestre 2007
c) Hay ms clases de equivalencia?

EJERCICIO 14: En N N se define

(m,n)R(k,l) m + l = n + k

a) Demuestre que es una relacin de equivalencia en N N.


b) Dibuje un esquema de N N que muestre las clases de equivalencia.

EJERCICIO 15: Sea la relacin definida en por xRy x2 + y = x+ y2.


Pruebe que es una relacin de equivalencia, defina las clases y determine cuntas clases
de equivalencia tienen cardinal 1 y cuntas clases de equivalencia tienen cardinal 2.

EJERCICIO 16: Se define en Q la relacin xRy h Z tal que x

3y h
.
3

Pruebe que es una relacin de equivalencia y halle la clase de 2/3.

EJERCICIO 17: Dada en la relacin (x,y)T(w,z) 2x + y = 2w + z


a) Pruebe que es de equivalencia.
b) Determine las clases de equivalencia de: (0,0), (1,0) y (2,3).
c) Halle el conjunto cociente.

EJERCICIO 18: Estudie si la siguiente es una relacin de equivalencia en Z:


En caso afirmativo, halle las clases de equivalencia y el conjunto cociente:
xRy 3 | x2 y2

EJERCICIO 19: En Z , y para

n N fijo, se define la siguiente relacin


a R b sii n | a-b

Se la llama relacin de congruencia mdulo n y a R b se denota a b(n)


a) Probar que es una relacin de equivalencia
b) Hallar el conjunto cociente.
EJERCICIO 20: Verifique que las siguientes relaciones son de orden y determine si
son de orden parcial o total:
a) La inclusin de conjuntos en P(A) (partes de A).
15

Matemtica Discreta
1er. Cuatrimestre 2007
b) La relacin convencional en el conjunto de los nmeros reales.
c) En Dn x N / x es divisor positivo de n : la relacin x R y sii x divide a y
Realice, adems, los diagramas de Hasse correspondientes para n = 2, 12 y 210.
d) La relacin R del tem anterior definida en A = {2, 3 ,6, 7 ,24, 36}.
Realice el diagrama de Hasse correspondiente.

EJERCICIO 21: Complete la siguiente relacin de manera que resulte una relacin de
orden y analice si es orden parcial o total:
R = {(1,1),(1,2),(1,3),(1,4),(4,4)} A A con A = {1,2,3,4}

EJERCICIO 22: Considere la siguiente relacin definida en los nmeros reales:


aRb existe

k N

, k par, tal que b = a + k

a) Demuestre que es una relacin de orden. Es parcial o total?


b) Considere la relacin anterior en el conjunto A = {x/x N0 0 x 10}.
Construya su diagrama de Hasse y determine, si existen:
i) elementos maximales y minimales
ii) cotas superiores, supremo y mximo de B = {2,4,8}
iii) cotas inferiores, nfimo y mnimo de B = {4,5,7}

EJERCICIO 23: En N N se define la siguiente relacin:


(a,b)R(c,d) (a c) (b d)
a) Pruebe que es una relacin de orden.
b) Es un orden total?
c) Grafique (x,y) N N:( 1,3 )R(x,y)
d) Sea A = {(1,1),(1,3),(2,5),(2,3)} N N. Halle los elementos particulares
de este conjunto.
EJERCICIO 24: En N N se define la siguiente relacin:
(a,b)R(c,d) (a c) (d es mltiplo de b)
a) Pruebe que es una relacin de orden.
b) Es un orden total?

16

Matemtica Discreta
1er. Cuatrimestre 2007
c) Para A = {(1,1),(1,3),(2,5),(2,3)}

N N, halle los elementos particulares.

EJERCICIO 25: Se define en N la siguiente relacin:


nRk si y slo si ((n k (n+k) es par) (n es impar k es par))
a) Pruebe que es una relacin de orden total.
b) Si A = {nN: 1 n 20}, confeccione el diagrama de Hasse de la relacin
restringida a A.
c) Encuentre un subconjunto de N que tenga supremo pero no mximo.

EJERCICIO 26: Describa los pares ordenados de la relacin determinada por el


diagrama de Hasse en el conjunto A.
a) A = {1,2,3,4}

b) A = {1,2,3,4}

33
3
1

EJERCICIO 27: Confeccione los diagramas de Hasse correspondientes a las


relaciones de orden que definen los siguientes diagramas:
a)

b)
d

c
c

b
a

EJERCICIO 28: Determine el diagrama de Hasse de las relaciones definidas en


A = {1,2,3,4,5} por las matrices

17

Matemtica Discreta
1er. Cuatrimestre 2007
1

0
M(R1)= 0
0

1
1
0

1
1
1

1
1
1

0
0

0
0

1
0

1
1

0
M(R2)= 0
0

0
1
0

1
1
1

1
1
1

1
1

0
0

0
0

1
0

EJERCICIO 29: Determine la matriz del orden parcial cuyo diagrama de Hasse es
a)

b)

c
a

a
EJERCICIO 30: Para los siguientes diagramas de Hasse encontrar, si existen:
a) todas las cotas superiores de B
b) todas las cotas inferiores de B
c) la mnima cota superior de B
eC

dC

ffC

f
C
d
C

cC
aC

iC

g
C

dC B

cC
bC

eC

BC

d) la mxima cota inferior de B

B
C
e
C

hC

jC

eC

dC
bC

c
C

bC

a
C

aC

fC

gC

BC
b
C

aC

cC

Tratamiento matricial de las relaciones:


Sea R una relacin en un conjunto finito A. La misma puede representarse matricialmente por:
M(R) 0,1

nn

siendo

n A

definida por

1 si ei R e j

aij

0 en caso contrario

Se considera la siguiente relacin de orden entre las matrices booleanas:


CD
sii cij d ij i , j : 1 i , j n
(es decir una matriz es menor que la otra si la mayor tiene al menos los mismos 1 en las mismas
posiciones que la menor)
Sea In la matriz identidad de n x n (1s en la diagonal y 0s fuera de ella). Entonces:
R es REFLEXIVA sii I n M (R )
R es SIMTRICA sii M(R)=M(R)t (matriz traspuesta)
R es ANTISIMTRICA sii M(R).M(R)t I n donde el producto se entiende 18
posicin

Matemtica Discreta
1er. Cuatrimestre 2007

EJERCICIO 31: Analice matricialmente las propiedades de las relaciones del


EJERCICIO 1 que correspondan a conjuntos finitos.

19

Matemtica Discreta
1er. Cuatrimestre 2007
PRCTICA N5: gebras de Boole.
EJERCICIO 1: Simplifique aplicando las propiedades de las lgebras de Boole:
a) a.b a.b.c a.b (a c).(a b)
b) b.( a c) a.c a.a
c) x x. y.z x. y.z w.z w.x x. y
d) d (a b).( a (b.a)) . c (a.(b c)) ( a.b) (a.b.c)
e) (a.b c d ).(c d ).((c d ) n)
f) ( x y z ).x.z
EJERCICIO 2: Compruebe las siguientes igualdades:
a) a.b a.b.c a.b a.c
c)
b) a a.b a
d)

a.b a.c ( a c ).( a b)

a.b a.c b.c a.b a.c

EJERCICIO 3: Analice la validez de las siguientes igualdades en un lgebra de Boole


cualquiera:
a)
b)
c)

a.b.c a.b c
a.b.c a.b a.c a.b.c a b.c
( a.b.c.d ).a.b ( a.b.c.d ).a.b ( a.b.c d ).a.b

EJERCICIO 4: Sea B = {0,1}


a) Verifique que f ( x, y, z ) m(1,3,4,5,6) M (0,2,7) .
b) Generalice el resultado anterior.
EJERCICIO 5:
Dado el siguiente circuito, indique la funcin de salida simplificada:

EJERCICIO 6:
a) Exprese en formas cannicas SP y PS cada una de las funciones
correspondientes a las expresiones del EJERCICIO 1.
b) Realice un circuito con compuertas lgicas para cada caso.
c) En los casos a) y d) realice circuitos en los que se usen slo compuertas NAND.
d) En los casos b) y c) realice circuitos slo con compuertas NOR.
EJERCICIO 7: Marque la nica respuesta correcta.. Justifique su respuesta.
a) La funcin booleana f ( x, y, z, w) xw x.z.( y z ) es equivalente a:
i) x y z y tiene 2 maxitrminos
ii) x y z y tiene 1 maxitrmino
iii) x z w y tiene 2 maxitrminos
iv) x y z y tiene 1 minitrmino
b) x, y , z en un lgebra de Boole cualquiera:
i)
ii) (( x z ). y 0 x.z 0) ( y 0 x z )

x.( y z ) 1 y.z 0

( x 1 y z)

20

Matemtica Discreta
1er. Cuatrimestre 2007
iii) x.( y z ) z.( x y ) ( x y )

iv)

( x y x. y ) ( x y )

EJERCICIO 8: Dadas las funciones booleanas f ( x, y, z ) x x. y x. y.z


y
g ( x, y , z ) ( x y ).( y z ) , determine la validez de las siguientes afirmaciones,
justificando su respuesta:
a) son equivalentes
b) tienen exactamente 3 minitrminos en comn
c) no comparten ningn minitrmino
d) el minitrmino x. y.z forma parte de f y no de g
EJERCICIO 9: Para cada uno de los siguientes problemas:
a) Plantee una funcin booleana que lo modelice.
b) Tabule dicha funcin.
c) Simplifique la funcin propuesta.
Problema 1: Una junta directiva de una empresa est formada por cuatro
miembros, uno de los cuales es el presidente. Las decisiones se toman por mayora
simple y, en caso de empate, decide el voto del presidente. Se desea disear una
mquina con cuatro pulsadores (uno para cada miembro) cuya salida d el
resultado de la votacin.
Problema 2: Se desea un circuito con cuatro entradas que representan los bits
componentes de los nmeros de 0 a 15 expresados en sistema binario y cuya
salida tome el valor 1 si el nmero es mltiplo de 3 y 0 en caso contrario.
Problema 3: Una empresa tiene un detector de llamas (A), un detector de humos
(B) y dos detectores de temperatura (C y D) distribuidos e una sala. El detector de
llamas no da falsos positivos, pero s falsos negativos. Los otros tres detectores
pueden fallar tanto en caso positivo como negativo. Considere que la alarma se
debe confirmar para estos casos si da seal positiva el detector de humos y por lo
menos uno de los de temperatura.
Problema 4: En una casa se desea tener controlado el sistema de calefaccin para
que en ningn momento exceda los 3,7 Kw.
En la casa hay una estufa de 1 Kw. c/u y otras dos de 1,5 Kw. c/u.
i) Busque una funcin que detecte el sobrepaso de 3,7 Kw..
ii) Exprsela como suma de mintrminos.
iii) Simplifquela.
iv) Represente el circuito correspondiente usando slo compuertas NOR
EJERCICIO 10:
a) Existen lgebras de Boole de cardinal 3?
b) Vale la propiedad cancelativa en un lgebra de Boole
Justifique sus respuestas.
EJERCICIO 11:
a) Complete las tablas de suma y producto para construir un lgebra de Boole en
el conjunto B1={a,b,c,d}:
21

Matemtica Discreta
1er. Cuatrimestre 2007
+
a
b
c
d

a
a
b
c
d

b c

. a
a
b
c
d

b c
a

d
a
b
c
d

Justifique los resultados propuestos. Identifique los elementos neutros y los tomos.
b) Si se considera el lgebra de Boole definida en B 2=P[{a,b}] (partes del
conjunto {a,b}) explicite todos los isomorfismos que es posible definir entre B1 y B2.
EJERCICIO 12: Pruebe que en un lgebra de Boole cualquiera las siguientes
proposiciones son verdaderas:
a) x y y x. y x x 0
b) ( w.x w y z z) x. y.z.w y.w

c) x + y = 0 x = y =0
d) x. y = 1 x = y = 1
e) ( x y z y x y z y ) x z
EJERCICIO 13: Resuelva los siguientes sistemas de ecuaciones en un lgebra de
Boole cualquiera:

x. y.w 0

w.( x y z ) 1
x. y x.z y.w

a)

x y x y

b)
c) z w z w
( y z).( x z) 0 x w x w

( x y). y 0

EJERCICIO 14: Sea B el conjunto de todos los divisores positivos de 30. Se definen
en B las operaciones
x + y = mcm(x, y)
x . y = MCD(x, y)
a) Confeccione las tablas correspondientes a cada una de estas operaciones.
b) Cules son los elementos neutros?Cules los complementarios?
c) Verifique que se trata de un lgebra de Boole.
d) Es posible ordenar parcialmente esta lgebra de Boole? Identifique dicha
relacin de orden.
e) Realice el diagrama de Hasse correspondiente.
f) Cules son los tomos de este lgebra de Boole?
EJERCICIO 15: Para el conjunto de todos los divisores positivos de 8 y las mismas
operaciones
x + y = mcm(x, y)
x . y = MCD(x, y)
a) confeccione las tablas correspondientes;
b) Es un lgebra de Boole?. Justifique su respuesta.
c) Saque conclusiones generales

22

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 16: Para el conjunto B=P[{1,2,3}] (partes de {1,2,3}) responda las
preguntas planteadas en el EJERCICIO 14 considerando las operaciones de unin e
interseccin entre conjuntos.
EJERCICIO 17: Pruebe que en toda lgebra de Boole B se verifican las siguientes
implicaciones a, b, c :
a) a b b a
b) a b a.b 0
c) ( a b b c) a.b b.c a.c b
d) ( a b a c ) a b.c
e) ( a c c b) a.b a.b.c b.c a.c 0
f) ( a.b a.b) a b a
g) ( a.b b.c.a ) a b a

h) [ a . b

a c 1] c b

EJERCICIO 18: Sea B un lgebra de Boole de tomos a, b , c, d y e


a) Calcule el cardinal de B
b) Sea x=a+b . Obtenga x como suma de tomos.
c) Pruebe que (a b).(b c d ) b
EJERCICIO 19: Confeccione los diagramas de Hasse correspondientes a las
siguientes lgebras de Boole. Analice cules son isomorfas y escriba los isomorfismos
correspondientes.
a) ([ A] , , , , , A) con A 1 , 2 , 3
b) Divisores de 6 con las operaciones definidas en el EJERCICIO 14
c) Divisores de 30 con las operaciones definidas en el EJERCICIO 14
d) (B 2 ,, . , (0,0), (1,1)) con B 0,1
(a, b) (c, d) (a c, b d)
(a, b).(c, d) (a.c, b.d)
(a, b) (a , b )

EJERCICIO 20: Sea B un lgebra de Boole finita con 2 n elementos. Cuntos


isomorfismos de lgebra de Boole f : B B distintos pueden definirse?
EJERCICIO 21: Sean B1 y B2 dos lgebras de Boole y f : B1 B2 un isomorfismo de
lgebras de Boole. Pruebe que:
a) f (01) = 02
b) f (11) = 12
c) Si x, y B, x 1 y f ( x) 2 f ( y )
d) f ( tomo de B1) = tomo de B2
EJERCICIO 22: Sea B1 el lgebras de Boole de los divisores positivos de 6 y B 2=
a, b, c, d otra lgebra de Boole.
Sea f : B1 B2 un isomorfismo definido por f (2) a, f (3) b, f (6) d
Halle f (1)
a)
Indique los tomos de B2
b)
Calcule a , a.b c.d , c d
c)

23

Matemtica Discreta
1er. Cuatrimestre 2007

EJERCICIO 23: Sea B1 el lgebra de Boole de los divisores positivos de 210


a) Cuntos isomorfismos de lgebra de Boole se pueden definir entre B1 y
B2=P[ a, b, c, d ]?
b) Dado f :B1 B2 un isomorfismo definido por:
f ( 2) a , f (3) b , f (7) d .
calcule las imgenes de 5, 6, 1, 35 y 210 y las preimgenes de

a, b

y a , c, d

24

Matemtica Discreta
1er. Cuatrimestre 2007
PRCTICA N6: Teora de grafos
EJERCICIO 1: Determine el grado de cada vrtice en los siguientes grafos:
4

5
6

5
3

G2

G1
EJERCICIO 2: Determine los grados
siguientes digrafos:

g y g

de cada uno de los vrtices en los

2 en que sea posible, trace un grafo que verifique las


EJERCICIO 3: En los casos
1
condiciones pedidas. En caso de no ser posible, justifique:

a) que tenga exactamente 6 vrtices, cada uno de grado 3;


11

b) que tenga exactamente 5 vrtices, cada uno de grado 3;

c) 3que tenga exactamente 4 vrtices, cada uno de grado 1;

d) que tenga exactamente 6 vrtices y 4 aristas;

4
D2
e) que tenga exactamente
4 vrtices de grados 1, 2, 3 y 4 y 4 aristas;
D

f) que tenga exactamente 4 vrtices de grados 1, 2, 3 y 4;


g) que tenga exactamente 6 vrtices de grados 1, 2, 3, 4, 5 y 5 y sea simple (esto
es: sin lazos ni aristas paralelas);
h) que tenga exactamente 5 vrtices de grados 2, 3, 3, 4 y 4 y sea simple.
EJERCICIO 4: En un departamento donde reina la discordia habitan 25 personas. Es
posible que cada persona se lleve bien exactamente con 5 de las restantes?
EJERCICIO 5: Si G = {V,A, } es un grafo conexo con #A = 17 y grad(v) 3 para
todo v V, cul es el valor mximo que podra tomar #V?. Justifique.
EJERCICIO 6: Sea G = {V,A, } un grafo no dirigido conexo sin lazo 3-regular
(esto es, cada vrtice de G tiene grado 3). Si #A = 2 #V 6 Cunto valen #V y #A?
EJERCICIO 7: Si G es un grafo no dirigido con n vrtices y a aristas, sean
mn gr ( ) y mx gr ( ) . Demuestre que 2a .
V
V
n

25

Matemtica Discreta
1er. Cuatrimestre 2007

EJERCICIO 8: Demuestre que en todo grafo simple de n vrtices siempre existe al


menos un par de vrtices con igual grado (Ayuda: considere el rango de valores que
pueden tomar los grados de los vrtices).
EJERCICIO 9: Un grafo simple de n vrtices en el que cada vrtice es adyacente a
todos los dems se denomina grafo completo de n vrtices y se lo denota K(n).
a) Represente K(2), K(3), K(4) y K(5).
b) Qu grados tienen los vrtices de K(n)?
c) Halle una frmula de recurrencia que relacione a n (el nmero de aristas de
K(n)) con a n 1 (el nmero de aristas de K(n-1)).
d) Encuentre la frmula que permite calcular el nmero de aristas de K(n) en
funcin de n e interprete su significado.
EJERCICIO 10:
Dado un grafo simple G, de n vrtices, se define el grafo G
(complemento de G) como el grafo simple de n vrtices cuyas aristas son las que le
faltan a G para ser K(n).
Determine los complementos de los siguientes grafos:
1
EJERCICIO
11:2

Demuestre que, dado un grafo simple G, o bien es conexo o bien lo es su complemento.


4

3
3

3 puentes de la
EJERCICIO 13: El esquema4 siguiente representa las dos2 islas y los siete
ciudad de Knigsberg (donde puede considerarse que naci la teora de grafos):

Suponga que se

Isla

Isla

Ro
Pregel

derriba el puente que une las dos islas, se construye una isla artificial entre ambas y se
construyen puentes que unen la nueva isla con cada orilla del ro:
a) Pueden recorrerse todos los puentes sin pasar dos veces por ninguno de ellos?
b) Qu ocurre si se construye cualquier nmero de puentes entre la isla central y
las orillas?

26

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 14: Analice si los siguientes grafos y digrafos son eulerianos. En caso
afirmativo, halle el camino o el circuito de Euler correspondiente; en caso negativo,
justifique.
a)

b)

c)

d)

4
6

f)

e)

EJERCICIO 15:
Considere elgrafo completo de n vrtices. Para qu valores de n el
grafo K(n) tiene un circuito de Euler?

EJERCICIO 16: Determine cules de los siguientes grafos contienen circuitos de


Hamilton e indquelos en caso de que existan.
a)

b)
g) a

c)

h)

f
a

g
4

27

Matemtica Discreta
1er. Cuatrimestre 2007

EJERCICIO 17:
a) D un ejemplo de un grafo que tenga un circuito de Euler pero no circuitos de
Hamilton.
b) D un ejemplo de un grafo que tenga un circuito de Euler que sea tambin un circuito
de Hamilton.
c) D un ejemplo de un grafo que tenga un circuito de Euler y un circuito de Hamilton,
diferentes entre s.
EJERCICIO 18: Escriba las matrices de adyacencia, de incidencia y de conexin para
cada uno de los grafos y digrafos del EJERCICIO 14.
EJERCICIO 19: Esquematice los grafos y digrafos representados por cada una de las
siguientes matrices de adyacencia:
1
0

a) 0

1
0

0
1
0
1

1
1
1
1

0
1
0
0

0
0

b) 0

1
0

0
0

1
1
1
1

0
0
1
1

0
0
0
0

0
0

c) 0

0
0

0
1

1
0

0
1
1
1

0
0
1
0

0
0
0
0

0
1

0
1

EJERCICIO 20: Esquematice los grafos y digrafos representados por cada una de las
siguientes matrices de incidencia:
1 0
0 0

a) 1 1

0 1
0 0
0
1
0
0

0
0

1
0
1 1

0
0
0
1
0

0
0
0
0
0

1
0
1
0

0
1
0
1

1
0
0
1

0
0
0
1
0

0
0

1
0

b) 1

0
0

0
0
1
0

0
0
0
1

0
1
0
1

0
0
1
1

0
0

0
0

c)

EJERCICIO 21: Demuestre que si M es la matriz de adyacencia de un grafo G, el


elemento ij de la matriz Mn coincide con la cantidad de caminos de longitud n que
existen entre los vrtices vi y v j en G.
Compruebe, adems, que si la matriz se definiera en forma booleana y el producto Mn se
calcula tambin en forma booleana, el elemento ij de la matriz M n indica la existencia
o no de un camino de longitud n entre los vrtices vi y v j .

28

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 22: Dado el siguiente grafo

a) Cuntos caminos de longitud 3 existen entre los vrtices 1 y 2?


b) Cules son?
EJERCICIO 23: Suponga que un grafo tiene una matriz de adyacencia de la forma

C'

C''

donde los elementos de las submatrices C y C son ceros y los de A y B son unos.
Cmo es el esquema del grafo?
EJERCICIO 24: Analice la misma situacin anterior pero considerando que la matriz
es la de incidencia.
EJERCICIO 25:
a) Cmo es un grafo si alguna fila de su matriz de incidencia est constituida slo por
ceros?
b) Qu indica la cantidad de unos en una fila de la matriz de incidencia de un grafo?
c) Puede ocurrir que alguna columna en una matriz de incidencia est constituida slo
por ceros?
d) Conteste la pregunta a) considerando la matriz de adyacencia.
e) Conteste la pregunta b) considerando la matriz de adyacencia.
f) Conteste la pregunta c) considerando la matriz de adyacencia.
EJERCICIO 26: Clasifique los vrtices de los siguientes grafos en niveles y redibuje
los grafos de acuerdo con los niveles obtenidos:
a)

b)

e
f

29

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 27: Dada la siguiente matriz de incidencia de un grafo G
1
1

0
0

0
1
0
0
0

1
0
1
0
0

1
0
0
1
0

0
1
1
0
0

0
1
0
1
0

0
0
1
0
1

0
0
0

0
1

a)Dibuje el digrafo.
b) Clasifique los vrtices en niveles.
EJERCICIO 28: El siguiente grafo representa la dependencia laboral entre los
empleados de una oficina (es decir: la arista (i,j) indica que i es el jefe de j).
B

Establezca las distintas categoras que existen en ella (niveles) y redibuje el grafo
F
G
E
ponindolo de manifiesto.
EJERCICIO 29: Determine una condicin sobre n para que un grafo simple de n
vrtices pueda ser autocomplementario, vale decir isomorfo a su complemento.
EJERCICIO 30: Analice si los siguientes pares de grafos resultan isomorfos. En caso
positivo, defina el isomorfismo correspondiente; en caso negativo, indique un invariante
que no se conserve:
a)

b)

EJERCICIO 31: Encuentre un camino de s a t, usando el nmero mnimo de aristas.


i)

a
f

ii)

iii)

30

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 32: Dados los siguientes grafos
a) Halle un camino mnimo de s a t.
b) Calcule la distancia de s a cada vrtice.

EJERCICIO 33: Dados los siguientes digrafos


a)Determine si existe o no un camino de longitud mnima.
b)Si existe, hllelo. Si no existe, defina un camino de longitud menor que 100.

EJERCICIO 34: En los siguientes grafos halle el camino ms corto de s a t de modo


que

a)no pase por el vrtice B;


b) no pase ni por B ni por C;
c) no contenga la arista (D, F);
d) pase por C.
EJERCICIO 35: El siguiente esquema representa un mapa de caminos entre las
ciudades A, B, C, D, E, F y G. El nmero asignado a cada ruta representa el tiempo
promedio que se emplea para su recorrido, teniendo en cuenta el estado de la ruta.
Halle la ruta ms rpida de A a G.

31

Matemtica Discreta
1er. Cuatrimestre 2007

EJERCICIO 36: Un camin parte de la ciudad A y debe llegar a la ciudad B sin


realizar ms de cuatro paradas intermedias. en las aristas del esquema el primer nmero
indica la distancia entre ciudades y el segundo la ganacia que se obtiene al transportar
mercderia entre ambas. Si el gasto de combustible es de tres unidades monetarias por
km recorrido, elija un camino entre A y B que maximice las ganacias.

EJERCICIO 37: Un juego consiste en arrojar un dado y, si el nmero obtenido es par,


se arroja dos veces consecutivas una moneda y se anota la cantidad de caras; si el
nmero es impar, se arroja nuevamente el dado y se anota el nmero que sale. Disee
un rbol que muestre todos los resultados que pueden obtenerse.
EJERCICIO 38: Disee un rbol para generar todos los nmeros menores que 10000
cuyas cifras sean todas distintas, pertenezcan al conjunto 1,3,4,6 y no haya dos pares
consecutivas.
EJERCICIO 39: Sean T1 V1 , A1 y T2 V2 , A2 dos rboles tales que # A1 17
y

#V2 2 . #V1 . Determine #V , #V


1

y # A2 .

EJERCICIO 40: Un bosque es un grafo sin ciclos (cuyas componentes conexas


resultan, por lo tanto, rboles)(por qu).
a) Si F1 V1 , A1 es un bosque de siete rboles con # A1 40 . Cunto vale
#V1 ?.
b) Si F2 V2 , A2 es un bosque con # V2 62 y # A2 51 , cuntos rboles lo
forman?
c) Si F V , A es un bosque con v vrtices, a aristas y c componentes conexas,
qu relacin existe entre v, a y c? .
d) Cul es el nmero mnimode aristas que deben aadirse a F para obtener un
rbol?
EJERCICIO 41: D un ejemplo de grafo no dirigido G V , A que verifique
# A # V 1 pero que no sea un rbol.

32

Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 42: Sea G V , A un grafo no dirigido conexo, sin lazos, con
V v1 , v 2 ,..., v n ; n 2; grad(v1) =1 y grad(vi) 2 i 2 . Demuestre que G debe
tener un ciclo.
EJERCICIO 43:
a) Un rbol ternario completo tiene 34 vrtices internos. Cuntas aristas y cuntas
hojas tiene?.
b) Cuntos vrtices internos tiene un rbol pentario completo con 817 hojas?
EJERCICIO 44: Un rbol m-ario completo tiene altura a 2 , h hojas y ba-1 nodos de
ramificacin en el nivel a-1. Compruebe que h m a 1 ( m 1)ba 1 .
EJERCICIO 45: Halle el rbol generador mnimo para cada uno de los siguientes
grafos:

EJERCICIO 46: El siguiente grafo representa el mapa de caminos de tierra que


comunican seis ciudades. El peso de cada arista representa el costo de su pavimentacin
en millones de pesos.
Se desea construir un sistema de carreteras de costo mnimo que comunique todas las
ciudades: qu rutas se debera asfaltar y cul es el costo?
EJERCICIO 47: Dadas las siguientes redes de transporte, completar sus flujos y hallar
los flujos mximos:
i)

6( )

ii)

B
5( )

5( )
F
6( )
4( )
C
iii)

5( )
B

4( )

6( )

C
2( )

2(0)
4()

2()

1( )

B
6(2)

5(3)
5( )
3(2 )

4(0)

3(2)
S
4(3)

5(C)
4(2)

5(3)

3(1)
4( )

4(2)

33

5(2)

Matemtica Discreta
1er. Cuatrimestre 2007

EJERCICIO 48: Obtenga el flujo mximo compatible con cada una de las siguientes
redes y halle, en cada caso, el corte minimal correspondiente:
i)

ii)
A
A

B
3

5
C

5
D

7
F

4
C

3
7

10
C

EJERCICIO 49: Dadas las siguientes matrices de adyacencia y de pesos, determine si


el grafo correspondiente es un red y, en caso afirmativo, halle un flujo mximo:

34

Matemtica Discreta
1er. Cuatrimestre 2007

MA

0
0

0
0

0
0
0
0
0

1
0
1
0
0

0
0
0
0
0

0
0
1
0
0

0
1

0
1

MP

0
0

0
0

0
0
0
0
0

2
0
2
0
0

0
0
0
0
0

0
0
2
0
0

0
0
4

0
4

35

Anda mungkin juga menyukai