Escolar Documentos
Profissional Documentos
Cultura Documentos
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:
i) 1 A
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 el
conjunto A por extensin y analice el valor de verdad de las siguientes proposiciones
i) { 2 } A
ii) 2 A
iii) { 3 , 7 } A
iv) { 2 } A
v) {1 , 2} A
vi) A
vii) 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?
Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 5: Indique antecedente y consecuente de las siguiente implicaciones
escribiendo la misma de la forma si p entonces q
a) Slo si vienes a buscarme te acompaar.
b) Si vienes a buscarme, te acompaar.
c) Aprobars el examen si estudias.
d) Es necesario tener dinero para comprarse un auto.
e) Es suficiente sentirse mal para no ir a trabajar.
f) 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 ))
Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 10:
a) Analice si son ambiguas o no las siguientes expresiones:
i) p q r
ii) p q r
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.
Matemtica Discreta
1er. Cuatrimestre 2007
f) La mariposa slo vuela de da.
g) Algn nieto de Mara estudia matemticas.
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} y sean las funciones
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:
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)
Matemtica Discreta
1er. Cuatrimestre 2007
c)
d)
e)
f)
g)
h)
xy ( y>x) xy ( y< x)
xy ( x+y = 0)
xy ( x+y = 3 0=1)
xy ( x.y = x)
xy ( x.y = y)
xy (x.y = x+ y)
Matemtica Discreta
1er. Cuatrimestre 2007
[x : A( x )] ???
[x : A( x )] ???
[(x : A( x )) (x : B( x ))] ???
[(x : A( x )) (x : B( x ))] ???
[(x : A( x )) (x : B( x ))] ???
[(x : A( x )) (x : B( x ))] ???
x : A( x )
x : A( x )
x : [ A( x ) B( x )]
x : [ A( x ) B( x )]
x : [ A( 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 :
d) A = 1n / n N y es primo
a) A = {n N / n es divisible por 5}
EJERCICIO 23: Dada la proposicin p : " A " , analice su valor de verdad para los
siguientes conjuntos:
d) A = n N : n 2 = 3
a) A = n N : n 2 = 9
{
b) A = {x R : x
}
= 2}
e) A = {3n + 1 : n N n 6}
A = {x U : x A}
Complemento
Matemtica Discreta
1er. Cuatrimestre 2007
A = A
A U = U
e) Leyes de identidad:
A =
A U = A
f) Complementacin doble: A = A
A A = U
g)
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 =
(
e) k 3 =
n + 1)2
2
4
k =1
b) 2 + 4 + 6 + + 2n = n(n + 1)
n
f) (2k 1).3 k = (n 1).3 n+1 + 3
2
c) 1 + 3 + 5 + + (2n 1) = n
k =1
d)
k
k =1
n(n + 1)(2n + 1)
6
g)
rk =
k =0
n
k2
h)
k 1
r n +1 1
si r 1. Qu pasa si r = 1?
r 1
= 1 + (n 1)2 n
k =1
f) n2 + 1 n
g) 2n n2 para n 4
d) x n y n es divisible por x y
h) (a . b)n = an bn
a,b
b) 4n < n2 7
k =1
k =1
U Ak =
IA
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 2 S n +1 + 2 S n = 0 para n 0
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
a 0 = 1, a1 = 2
Matemtica Discreta
1er. Cuatrimestre 2007
n 0, a 0 = 1
n 0, a 0 = 3
n 0, a 0 = 1
e) a n + 2 + 3a n +1 + 2a n = 3
f) a n + 2 + 4a n +1 + 4a n = 5(2)
g)
an+2 an =
n 0, a 0 = 0, a1 = 1
n 0, a 0 = 1, a1 = 2
sin ( n2 ) n 0, a 0 = 1, a1 = 1
h) S n +3 3S n + 2 + 3S n +1 S n = 3 + 5n
i)
j)
a n + 2 6a n +1 + 9a n = 3(2 n ) + 7(3 n )
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
l)
a 2 n + 2 5a 2 n +1 + 6a 2 n = 8n
m) a 2 n 2a n 1 = 0
an 0
n0
n 0 , a 0 = 1, a1 = 4 .
con 2 n
n 0 , a0 = 8
a 0 = 1, a1 = 1
, a1 = 15
10
Matemtica Discreta
1er. Cuatrimestre 2007
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
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
r1 r2
h) En M2x2 [{0,1}] X R Y XY =
0 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?
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.
x y
3
Z} Z Z
x y
3
Z} S S
mRn m2 = n2.
14
Matemtica Discreta
1er. Cuatrimestre 2007
(m,n)R(k,l) m + l = n + k
3y + h
.
3
15
Matemtica Discreta
1er. Cuatrimestre 2007
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}
16
Matemtica Discreta
1er. Cuatrimestre 2007
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.
b) A = {1,2,3,4}
33
1
3
b)
d
c
c
b
a
0
M(R1)= 0
1 1 1 1
1 1 1 1
0 1 1 1
0 0 1 1
0 0 0 1
0
M(R2)= 0
0
1
0
0
0
1
1
1
0
0
1
1
1
1
0
1
1
17
Matemtica Discreta
1er. Cuatrimestre 2007
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
h
i
B
f
B
c
c
b
B
nn
ij
si ei R e j
en caso contrario
18
Matemtica Discreta
1er. Cuatrimestre 2007
PRCTICA N5: gebras de Boole.
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
19
Matemtica Discreta
1er. Cuatrimestre 2007
b) x, y, z en un lgebra de Boole cualquiera:
i) [x.( y + z ) = 1 y.z = 0] ( x = 1 y = z ) ii) (( x + z ). y = 0 x.z = 0) ( y = 0 x = z )
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.
Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 11:
a) Complete las tablas
el conjunto B1={a,b,c,d}:
+
a
b
c
d
b c
d
. a
a
b
c
d
b c
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 B2=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:
w.( x + y + z ) = 1
x + y = x + y
( x + y ). y = 0
b)
c) z + w = z + w
a) x. y + x.z = y.w
( y + z ).( x + z ) = 0
x. y.w = 0
x + w = x + w
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
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 c
a + c = 1] c b
Matemtica Discreta
1er. Cuatrimestre 2007
a) Halle f (1)
b) Indique los tomos de B2
c) Calcule a , a.b + c.d , c + d
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 }
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
2
1
11
3
5
D2
D1
EJERCICIO 3: En los casos en que sea posible, trace un grafo que verifique las
condiciones pedidas. En caso de no ser posible, justifique:
a) que tenga exactamente 6 vrtices, cada uno de grado 3;
b) que tenga exactamente 5 vrtices, cada uno de grado 3;
c) que tenga exactamente 4 vrtices, cada uno de grado 1;
d) que tenga exactamente 6 vrtices y 4 aristas;
e) que tenga exactamente 4 vrtices de grados 1, 2, 3 y 4 y 4 aristas;
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?
Matemtica Discreta
1er. Cuatrimestre 2007
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
2a
= mn{gr ( )} y = mx{gr ( )}. Demuestre que
.
V
V
n
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:
2
3
4
EJERCICIO 11:
Demuestre que, dado un grafo simple G, o bien es conexo o bien lo es su complemento.
Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 13: El esquema siguiente representa las dos islas y los siete puentes de la
ciudad de Knigsberg (donde puede considerarse que naci la teora de grafos):
Isla
Isla
Ro
Pregel
Suponga que se 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?
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)
3
4
c)
1
d)
4
6
f)
e)
1
Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 15: Considere el grafo 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)
a
c)
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 0 1 0
0 1 0 1
1 1 1 1
0 1 0 0
1 1 0 0
0
0
b) 0
1
0
0
0
1
1
1 1 0 0
1
1
1
1
0
0
0
1
0
0
0
0
0
0
c) 0
0
0
1 1 0 0
0 0 0 0
1 0 0 1
1 1 0 0
1 0 0 1
Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 20: Esquematice los grafos y digrafos representados por cada una de las
siguientes matrices de incidencia:
1
0
a) 1
0
0
0 1 2 0 2
0 0 0 1 0
1 0 0 0 0
1 0 0 1 0
0 1 0 0 0
1
0
b) 1
0
0
1
0
0
1
0
1
0
0
0
1
0
0
0
1
1
0
0
1
0
1
2
0
0
0
0
0
0
0
0
1
0
0
0 1 1
c) 0
0 1 0
0
0
0
0
0 1
1 1 1
1
0
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?
Matemtica Discreta
1er. Cuatrimestre 2007
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
0 1 0 0 1 1 0 0
0 1 0 1
0 1
0
0
0
0
0 1 0 1
0 1
0 0
0
0
0 1 1
0
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
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.
10
Matemtica Discreta
1er. Cuatrimestre 2007
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)
ii)
iii)
11
Matemtica Discreta
1er. Cuatrimestre 2007
12
Matemtica Discreta
1er. Cuatrimestre 2007
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.
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:
13
Matemtica Discreta
1er. Cuatrimestre 2007
EJERCICIO 47: Dadas las siguientes redes de transporte, completar sus flujos y hallar
los flujos mximos:
i)
ii)
6( )
A
5( )
5( )
F
6( )
iii)
4(3)
4()
D
5(3)
5( )
5( )
4( )
6( )
1( )
2()
C
2(0)
3(2 )
6(2)
5( )
5(3)
C
3(2)
S
4( )
4(0)
4(2)
3(1)
2( )
4( )
4(2)
5(2)
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
6
5
2
4
4
5
14
Matemtica Discreta
1er. Cuatrimestre 2007
A
2
4
3
7
10
D
E
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:
0
0
0
MA =
0
0
1
0
0
0
0
0
0
1
0
1
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
1
0
0
0
MP =
0
0
3
0
0
0
0
0
0
2
0
2
0
0
5
0
0
0
0
0
0
0
0
2
0
0
0
0
4
0
4
15