Matemtica Discreta

1 Cuatrimestre 2007
Facultad de Ingeniera
Universidad de Buenos Aires
Matemtica Discreta
1er Cuatrimestre 2007
!"#C$ICA %&1' ()gica * teora de con+untos
,-,"CICI. 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 a!u.
g) x"#$%
h) Hay nmeros enteros !ue satis&acen x"#$%.
i) Visit' el glaciar Perito Moreno.
j) Prolog es un lengua(e declarativo basado en las reglas de la l)gica.
,-,"CICI. 2'
a/ Dado
{ } c b a * , , , 3 , 2 , 1
analice el valor de verdad de las siguientes
proposiciones:
{ } { } { } * * * * a * * * 2 , 1 vii) vi) 1 v) iv) 4 iii) 2 ii) 1 i)
0/ ea *
! { } " , 3 , 2
# $
{ } { } " , 3 , 2 % + +
&conjunto de partes). 'scriba
el conjunto A por extensi(n ) analice el valor de verdad de las siguientes proposiciones
{ } { } { }
{ } { } { } * * * *
* * * *


2 viii) vii) vi) 2 , 1 v)
2 iv) " , 3 iii) 2 ii) 2 i)

,-,"CICI. 1' 'scriba en lenguaje si*b(lico las siguientes proposiciones
a) *probar el examen o ser aplazado.
b, *probar el examen o bien ser aplazado
c) *probar el examen si y s)lo si estudia muc-o.
d) .r' a lo del m'dico aun!ue me siento bien.
e) /o cometi) el crimen si no pudo comprar un revolver.
f) Via(ar' a 0u(uy o bien a Salta.
g) 1uando tu cantas me duelen los odos.
h) Si no me llamas entonces no ir'.
i) /o vino ni llam).
j) 1on el dinero del plazo &i(o me compar' o una -eladera o un televisor.
+) Vendr' ma2ana salvo !ue -aya paro de trenes.
l) S)lo si vienes te enterars de lo ocurrido.
*) 3as plantas4 como los animales4 son seres vivos.
n) Esta planta &lorecer a menos !ue -aga calor y no la riegues.
,-,"CICI. 2' ,engo 3 a*igos: -odrigo, .on/alo ) 0ernando. A cada uno de ellos el
pap1 le dijo:
A -odrigo: 5 6e llevar' al partido si y s)lo si apruebas Matemtica 7iscreta8
A .on/alo: 5 6e llevar' al partido si apruebas Matemtica 7iscreta8
A 0ernando: 5 6e llevar' al partido s)lo si apruebas Matemtica 7iscreta8
2o) al partido ) *e encuentro con *is tres a*igos.
i sus padres cu*plieron con su palabra, 3puedo saber 4uienes aprobaron 5ate*1tica
Discreta6
,-,"CICI. 3' 7ndi4ue antecedente ) consecuente de las siguiente i*plicaciones
escribiendo la *is*a de la for*a 5si p entonces !8
2
Matemtica Discreta
1er Cuatrimestre 2007
a) S)lo si vienes a buscarme te acompa2ar'.
b) Si vienes a buscarme4 te acompa2ar'.
c) *probars el examen si estudias.
d) Es necesario tener dinero para comprarse un auto.
e) Es su&iciente sentirse mal para no ir a traba(ar.
f) Sers &eliz si cantas.
,-,"CICI. 4'
a/ 8ustifi4ue si la infor*aci(n sobre los valores de verdad de algunas proposiciones 4ue
se dan en cada caso es suficiente o no para deter*inar el valor de verdad de la
proposici(n co*puesta indicada:
9 , p : v ! r p
V , p : v , ! p : ,, ! : , p ::
9 , ! : v , p : v , ! p : , ! p :



con ) & iii)
con ii)
) 2 con i)
0/ i
V ! v ) &
. 34u9 valores de verdad deben tener las proposiciones
s r 4 p )
para
4ue la siguiente proposici(n resulte verdadera6:
))# & & ) ) !&& & ! r s s r p !

,-,"CICI. 7' :ruebe las siguientes e4uivalencias:
a)
) & ) & ! p ! p
b)
) & ) & ) & r p ! p r ! p
c)
) & ) & ) & r p ! p r ! p
d)
) & ) & ) & ! p ! p ! p
e)
) & ) & ) & ! p ! p ! p
,-,"CICI. 5' 7ndi4ue, sin utili/ar tabla de verdad, cu1les de las siguientes for*as
proposicionales son tautolog;as , cu1les contradicciones ) cu1les contingencia. 'n tres
de ellas verifi4ue el resultado obtenido efectuando la tabla de verdad correspondiente.
t,, :! p : p,,, :t :! :p
r,, :t !, :p : r,,, :t :! :p
s,; :! r, p, <::p !; p, <:p
!, :r p,,; :p :r p,, :p <:!
!, p : !,; p : <p
!, p : !,; p : <
r; !, p <: r; !, <:p







g)
f)
e)
d)
c)
b)
a)
,-,"CICI. 6' 'scriba f(r*ulas e4uivalentes a las siguientes usando sola*ente
) 4
. i*plifi4ue cada f(r*ula obtenida.
,, ! p : : , ! p :
,, ! p : : , ! p :
, !, :p : p,, : !, ::p



c)
b)
a)
,-,"CICI. 10'
a/ Analice si son a*biguas o no las siguientes expresiones:
i)
r ! p
ii)
r ! p
3
Matemtica Discreta
1er Cuatrimestre 2007
0/ 3's posible ubicar par9ntesis en la expresi(n
r ! p
co*o para 4ue la *is*a
resulte e4uivalente a la expresi(n < de
p
se deduce
!
) de
!
se deduce r =6
c/ Deter*ine si la siguiente proposici(n es tautol(gica:
) & ) & r p r ! p
,-,"CICI. 11' e define el conectivo tri1dico
r ! p ,
de la siguiente for*a: 5si
p
entonces
!
= si no4 r 8 &esto es: si p es verdadero el valor de verdad es el de 4, si p
es falso el valor de verdad es el de r).
a/ 'scriba su tabla de verdad
0/ >tili/ando esta operaci(n tri1dica exprese todos los conectivos di1dicos &puede
hacer uso de las constantes l(gicas 9 ) V ).
,-,"CICI. 12 &l(gicas trivalentes):
a/ i se considera 4ue la evaluaci(n co*putacional del valor de verdad de una
proposici(n puede conducir a un error o a un resultado incierto, se justifica la existencia
de un valor de verdad inter*edio: . &incierto). ?onsiderando estos tres valores de verdad
posibles &V, ., 9)
a
1
/ ?onfeccione las tablas de valores de verdad de los conectivos di1dicos
considerando estos tres valores de verdad.
a
2
/ -ealice la tabla de verdad del conectivo tri1dico de 5c. ?arth) para esta
l(gica trivalente, definido co*o: 5si p es verdadero4 entonces el valor de verdad
es el de !4 si p es &also el valor de verdad es el de r y si es incierto4 el valor de
verdad es incierto8>
0/ 'l l(gico polaco @u+asieAic/ defini( los valores de verdad correspondientes a una
l(gica trivalente a trav9s de las siguientes funciones, identificando V con 1, . con 1%2 )
9 con B:
)C & ) & 1 D 1 .E ) &
) & )D & .E ) &
)C & )D & .E ) &
) & 1 ) &
! v p v mn ! p v
! v p v mx ! p v
! v p v mn ! p v
p v p v
+



?onfeccione la tabla de verdad de cada uno de los conectivos anteriores.
,-,"CICI. 11' ,radu/ca las siguientes proposiciones a lenguaje de predicados de
pri*er orden:
a) 3a ballena no es un mam&ero>
b) /o todas las aves saben volar>
c) 6odo el mundo puede -acer eso>
d) *lgunas personas no son calladas>
e) Existe un entero !ue es mayor !ue cual!uier otro entero>
f) 3a mariposa s)lo vuela de da>
g) *lgn nieto de Mara estudia matemticas>
4
Matemtica Discreta
1er Cuatrimestre 2007
h) Si todos los aviones llegan a ?uenos *ires4 alguno viene de M'xico>
i) Existe una &unci)n !ue es continua pero !ue no tiene derivada>
j) 3os ele&antes son ms pesados !ue los ratones>
+) Excepto los reptiles4 a Mara le gustan todos los animales>
l) 6odos tienen abuelo pero no todos son abuelos>
*) S)lo los perros son ms (uguetones !ue los gatos>
n) *lgunas plantas s)lo tiene &lores en primavera y en verano>
o) *lgunos libros s)lo se conseguirn en @A@A>
,-,"CICI. 12' ea
{ } 5ercosur del pa;s un es % x x B
) sean las funciones
proposicionales :&x): <x e*pie/a con consonante=
F&x): <x ter*ina en vocal=
-&x): <x li*ita con ?hile=.
Galle el valor de verdad de las siguientes proposiciones:
,, x : C , x : P : D B x
,, x : P , x : E : D B x
,, x : C , x : E : D B x
,, x : C , x : P : D B x




d)
c)
b)
a)
,-,"CICI. 13' ?onsidere los siguientes funciones proposicionales:
:&x) : = x es un cuadril1tero= &x) : <x es un cuadrado=
F&x) : <x es un rect1ngulo= ,&x) : <x es un paralelogra*o=
-&x) : <x es un ro*bo=
,radu/ca las siguientes proposiciones:
a) 3os rectngulos son cuadrilteros.
b) Si un rectngulo es rombo4 entonces es cuadrado.
c) /o todo rectngulo es cuadrado.
d) 3os cuadrados no son todos rombos.
e) 3os rectngulos y los rombos no son todos los paralelogramos.
,-,"CICI. 14' De*uestre las siguientes i*plicaciones indicando el *9todo de
de*ostraci(n utili/ado &directo, indirecto o por el absurdo):
a) Si n es un nmero entero entonces n:nF#, es un nmero entero par.
b) Si n es un nmero natural impar entonces n
@
es un nmero natural impar.
c) Si n es un nmero entero y n
@
es un nmero par entonces n es un nmero par.
d) Si n es un entero divisible por #A4 lo es tambi'n por G.
e) Si el producto de dos nmeros enteros es impar4 cada uno de ellos tambi'n 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 !ue
2 + y x
entonces
1 1 y x
.
,-,"CICI. 17' 7ndi4ue cu1les de los siguientes enunciados corresponden a verdades
*ate*1ticas, dentro del conjunto de los nH*eros naturales. 8ustifi4ue sus respuestas.
a) xy : x"y $ y"x,
b) xy : x"y $ A,
c) xy : y>x, xy : y< x,
d) xy : x"y $ A,
e) xy : x"y $ H A$#,
I
Matemtica Discreta
1er Cuatrimestre 2007
f) xy : x>y $ x,
g) xy : x>y $ y,
h) xy :x>y $ x" y,
,-,"CICI. 15' 'scriba en lenguaje si*b(lico las siguientes proposiciones ) analice
su valor de verdad. ?onsidere 4ue el do*inio son los nH*eros reales.
a) :ara cada
x x x >
2
,
b) :ara alguna
x x x >
2
,
c) :ara cada
1 si , > x x
entonces 1 1 > + x
d) :ara cada
x
, para cada
y
, si
y x <
entonces
2 2
y x <
e) :ara cada
x
, para alguna
y
, si
y x <
entonces
2 2
y x <
f) :ara alguna
x
, para cada
y
, si
y x <
entonces
2 2
y x <
g) :ara alguna
x
, para alguna
y
, si
y x <
entonces
2 2
y x <
,-,"CICI. 16D 'scriba la negaci(n de las siguientes proposiciones:
C:x,, y :P:x4y, x
P:x4y,, y :C:x, x
C:y,, P:x4y,, y ::C:x, x



c)
b)
a)
,-,"CICI. 20' 'xprese en lenguaje de l(gica de predicados de pri*er orden las
siguientes proposiciones, en el do*inio de las personas:
a) Hay polticos y adems -ay corruptos>
b) Hay corruptos !ue son polticos>
c) 6odos los polticos son corruptos>
d) 6odos son polticos y corruptos>
e) /o todos los polticos son corruptos>
f) 6odos son polticos y todos son corruptos>
g) Hay polticos o -ay corruptos>
h) Hay individuos !ue son corruptos o son polticos>
i) /o todos son polticos>
j) 6odos no son polticos>
+) /o -ay corruptos>
l) Hay polticos>
*) 6odos los corruptos son polticos>
n) 6odos los !ue no son polticos no son corruptos>
o) 6odos son corruptos si todos son polticos>
,-,"CICI. 21' 'n referencia a las proposiciones del ejercicio anterior:
a) De*uestre 4ue las proposiciones a) ) b) no son e4uivalentes.
b) 3Fu9 diferencias se advierten entre las proposiciones c) ) d)6
c) 3's la proposici(n i) la negaci(n de la j)6 3J la j) de la l)6
d) -ee*place en las siguientes expresiones los signos
363636
por
( 4

segHn corresponda. 8ustifi4ue cada respuesta.
)# & : ! x * x 363636 ) & : x * x
)# & : ! x * x 363636 ) & : x * x
)# & ) & ! : 363636 ))# & : & )) & : !& x ? x * x x ? x x * x
K
Matemtica Discreta
1er Cuatrimestre 2007
)# & ) & ! : 363636 ))# & : & )) & : !& x ? x * x x ? x x * x
)# & ) & ! : 363636 ))# & : & )) & : !& x ? x * x x ? x x * x
)# & ) & ! : 363636 ))# & : & )) & : !& x ? x * x x ? x x * x
,-,"CICI. 22' Dados los siguientes conjuntos * hallar, si es posible, en cada caso,
I ele*entos
a
4ue satifagan la proposici(n < * a 7'
{ }
{ }
{ } 6 3 # , , , , ! c)
pri*o nH*ero un es % 1 2 b)
I por divisible es % a)
* a e d c b a P *
n n *
n / n *

+

31IA6
{ }
{ }
{ } 1 B f)
pri*o es 1 e)
pri*o es ) d)
1
< <
+

x I C x *
n I / n *
/ n I *
n
,-,"CICI. 21' Dada la proposici(n
J * J D p
, analice su valor de verdad para
los siguientes conjuntos:
{ } L a)
2
n D / n * { } 3 d)
2
n D / n *
{ } 2 b)
2
x D E x *
{ } K 1 3 e) + n / n D n *
,-,"CICI. 22' Analice la verdad o falsedad de las siguientes afir*aciones:
a)
{ } ) 1 D B & 1 D B
e)
K # 1 D B !
b)
# 1 D B ! ) 1 D B &
f) M ) 4 % pertenecen a
{ } 1 D B
c)
{ } # 1 D B ! 1 D B
g) M ) 4 % pertenecen a
# 1 D B !
d)
{ } K 1 D B
,-,"CICI. 23' Dadas las siguientes definiciones de operaciones entre conjuntos
{ }
{ }
{ }
{ }
{ } o ?o*ple*ent : A
si*9trica Diferencia :
iferencia :
(n 7ntersecci :
>ni(n :
* x B x
? * x ? * x B x ? *
7 ? x * x B x ? *
? x * x B x ? *
? x * x B x ? *





de*uestre las siguientes le)es del 1lgebra de conjuntos:
a) @e)es con*utativas:

'

* ? ? *
* ? ? *
b) @e)es asociativas:

'

1 ? * 1 ? *
1 ? * 1 ? *
) & ) &
) & ) &
c) @e)es distributivas:

'

) & ) & ) &
) & ) & ) &
1 * ? * 1 ? *
1 * ? * 1 ? *
"
Matemtica Discreta
1er Cuatrimestre 2007
d) @e)es de ide*potencia:

'

* * *
* * *
e) @e)es de identidad:

'

* B *
*
B B *
* *

f) ?o*ple*entaci(n doble:
* *
g)

'

* *
B * *
h) @e)es de De 5organ:

'

? * ? *
? * ? *
,-,"CICI. 24' :ruebe 4ue ? * ? * ) & cuales4uiera sean
B ? 4 *
.
,-,"CICI. 27' Analice el valor de verdad de las siguientes proposiciones. 8ustifi4ue
cada respuesta.
a)
1 ? * 1 ? * B 1 ? * ) & ) & , ,
b)
? * ? * ? * B ? * ,
c)
? ? * B ? * ) & ,
d)
? ? * ? * B ? * ) & ,
e)
? * ? * B ? * ,
f)
B 1 ? * , , 1 ? 1 * ? *
,-,"CICI. 25' De*uestre 4ue
a)
? * * * ? * D B ? 4 *
b)
D B 1 4 ? 4 *

) & ) & 1 ? * 1 ? ? *
c)
D B 1 4 ? 4 *

) ) & ) & 1 ? * 1 ? 1 *
d)
D B ? 4 *
* ? ? *
e)
B ? * , ? ? * ? *
f)
B ? * , * ? * ? *
N
Matemtica Discreta
1er Cuatrimestre 2007
!"#C$ICA %&2' Inducci)n matemtica
,-,"CICI. 1' :ruebe 4ue las siguientes igualdades son v1lidas n %:
a)
2
) 1 &
3 2 1
+
+ + + +
n n
n
b)
) 1 & 2 K 4 2 + + + + + n n n
c)
2
) 1 2 & I 3 1 n n + + + +
d)
K
) 1 2 )& 1 &
1
2
+ +

n n n
L
n
L
e)
( )
2
2
1
3
1
4
+

n
n
L
n
L
f)
( ) ( ) 3 3 1 3 1 2
1
1
+
+

n L
n
L
> n > L
g)
1
1
1
B

r
r
r
n n
L
L
si r 1. 3Fu9 pasa si r $ 16
h)
n
n
L
L
n L 2 ) 1 & 1 2
1
1
+

,-,"CICI. 2' De*uestre 4ue, n %, resulta verdadero 4ue

a) 1 1B 1B
1
+ +
+ n n
es divisible por 3 e) a: &a a B): &1Oa)
n
1 O na
b)
n n
I N es divisible por 3 f) n
2
O 1 n
c) 1 1B 1B
1 3 2 K
+ +
+ + n n
es divisible por 111 g) 2
n
n
2
para n 4
d)
n n
y x es divisible por x M y h) &a > b)
n
$ a
n
b
n
a4b
,-,"CICI. 1' :ruebe 4ue la su*a de los cubos de tres naturales consecutivos es
*Hltiplo de L.
,-,"CICI. 2' Decida para 4u9 valores positivos de n son verdaderas cada una de las
siguientes desigualdades ) de*ostrarlo en cada caso:
a) 3n P n
2
Q 1 b) 4n P n
2
Q "
,-,"CICI. 3' abiendo 4ue ? * ? * , de*uestre 4ue si *
#
, ..............., *
n
son n
subconjuntos cuales4uiera de un conjunto B entonces
I U
n
L
L
n
L
L
* *
1 1

,-,"CICI. 4' ?onsidere la proposici(n p&n): <n

2
O In O 1 es par=
a) De*uestre 4ue si p&n) es V, entonces p&n"1) es V n%
b) 3:ara 4u9 valores de n es p&n) efectiva*ente verdadera6 3Fu9 puede concluir6
L
Matemtica Discreta
1er Cuatrimestre 2007
!"#C$ICA %&1' "elaciones de recurrencia
,-,"CICI. 1' >na persona invierte R1BBB al 12S de inter9s anual. ea *
n
el *onto
de dinero 4ue posee al cabo de n aTos co*pletos, si no ha hecho retiros. Ubtenga una
relaci(n de recurrencia ) una condici(n inicial para la sucesi(n *
B
, *
1
...
,-,"CICI. 2'
a) i P
n
es el nH*ero de per*utaciones de n objetos distintos, establecer una
relaci(n de recurrencia ) una condici(n inicial para la sucesi(n P
B
, P
1
.
b) Vde* para el nH*ero de subconjuntos de un conjunto de n ele*entos, S
n
.
,-,"CICI. 1' ea
n
d
el nH*ero de diagonales de un pol;gono convexo de n
v9rtices. Ubtenga una relaci(n de recurrencia para
n
d
en t9r*inos de
1 n
d
.
,-,"CICI. 2' >n robot puede avan/ar en pasos de 1 o 2 *etros de longitud. ea 1
n
el nH*ero de *odos diferentes en 4ue el robot puede ca*inar n *etros. 'ncuentre una
relaci(n de recurrencia para 1
n
) las correspondientes condiciones iniciales.
,-,"CICI. 3' ea el conjunto $Ea,b,cC ) sea S
n
el nH*ero de <palabras= de
longitud n 4ue se pueden for*ar con los ele*entos de de *odo 4ue no tengan <aes=
consecutivas &considere 4ue la vac;a es una palabra).
a) ?alcule S
B
, S
1
, S
2
.
b) 'ncuentre una f(r*ula recursiva para S
n
.
,-,"CICI. 4' -esuelva las siguientes ecuaciones de recurrencia ho*og9neas:
a)
B 2 D 1
1 B
+
+ n n
S S S
para B n
b)
B 2 D 1
1 B
+
n n
S S S
para 1 n
c)
B L D 3 D B
2 1 B

+ n n
S S S S
para B n
d)
2 1 1 B
4 4 , 2 , 1


n n n
a a a a a
para n 2
e)
2 , 1 , B
2 1 B
a a a
)
3 2 1
3 I

+
n n n n
a a a a
para n 3
f)
B 2 2 D 1 D B
1 2 1 B
+
+ + n n n
S S S S S
para B n
g)
2 1
) 1 & 3 2

+
n n n
a n n na a

2 , 1
1 B
a a
h)
2 1
2

+
n n n
a a a
con
2 , 1
1 B
a a
,-,"CICI. 7' ea, para cada / n , el siguiente deter*inante de nxn
1B
Matemtica Discreta
1er Cuatrimestre 2007
2 1 B B
1 2 1 B
B 1 2 1
........
........
........
B B B B B
B B B B B
B B B B B
. .......... .......... .......... .......... ..........
B B B B
B B B B
B B B B
........
........
........
B 1 2 1 B
B B 1 2 1
B B B 1 2

n
7 .
'ncuentre ) resuelva una relaci(n de recurrencia para el valor de 7
n
.
,-,"CICI. 5' -esuelva la relaci(n de recurrencia hallada en el ,-,"CICI. 18para
n
d
, el nH*ero de diagonales de un pol;gono de n v9rtices.
,-,"CICI. 6' ea
) 1 3 & ... " 4 1 + + + + + n a
n
para B n . Galle ) resuelva una
ecuaci(n de recurrencia para
n
a
) pruebe por inducci(n *ate*1tica 4ue la *is*a es
correcta.
,-,"CICI. 10' -esuelva las siguientes ecuaciones no ho*og9neas:
a)
I 2
1

+ n n
a a 1 , B
B
a n
b)
n
n n
n a a I 3 2
1
+ +
+
1 , B
B
a n
c)
n n a a
n n

+
2
1
3 3 , B
B
a n
d)
n
n n
a a 2 2
1

+
1 , B
B
a n
e)
n
n n n
a a a 3 2 3
1 2
+ +
+ +
1 , B , B
1 B
a a n
f)
n
n n n
a a a ) 2 & I 4 4
1 2
+ +
+ +

2 , 1 , B
1 B
a a n
g) ( )
2 2
sin
n
n n
a a
+
1 , 1 , B
1 B
a a n
h)
n S S S S
n n n n
I 3 3 3
1 2 3
+ +
+ + +
B n
i)
) 3 & " ) 2 & 3 L K
1 2
n n
n n n
a a a + +
+ +
B n ,
4 , 1
1 B
a a
.
j)
1
2

n n
na a
O &nO1)W,
2
B
a
+)
n
n
n
n
n
n
n
a a a 3 K L 1
1
2
2
+ +

con n 2 )
1 , 1
1 B
a a
l)
n a a a n n n N K I
2
1
2
2
2
+ + +
B n , 1I , N
1 B
a a
*) B 2
1
2

n
n a a
B
n
a

) log defina : ugerencia & 2
2 B n n
a b a
,-,"CICI. 11' ?onsidere la ecuaci(n de recurrencia definida por
) &
1 2
n & a a a
n n n
+ +
+ +

a) De*uestre 4ue la diferencia entre dos soluciones de esta ecuaci(n es soluci(n de
la ecuaci(n de recurrencia ho*og9nea asociada a ella.
b) i
1 2
) 2 & ) 2 & ) 2 &

+
n n n
n
n n a
)
1 2
) 2 & ) 2 & ) 2 &


n n n
n
n n b

son dos soluciones de la ecuaci(n, encuentre ) D &:n, ) la soluci(n general de
esta ecuaci(n.
11
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 12' Deter*ine las constantes b ) c si
B D "
2 1
+ n c c a
n
n
es la
soluci(n general de la ecuaci(n
B
1 2
+ +
+ + n n n
ca ba a
, con B n .
,-,"CICI. 11' ea la siguiente relaci(n de recurrencia:
n
n n n
a a a 2 12
1 2
+
+ +

a) Deter*ine de *anera 4ue la soluci(n general del ho*og9neo sea
. ) 4 & 3
2 1
n n
L L +
b) :ara el valor de hallado en el ;te* anterior, calcule la soluci(n del no
ho*og9neo.
c) Galle la soluci(n del no ho*og9neo 4ue verifica
. 2 , 1
1 B
a a
,-,"CICI. 12' Deter*ine condiciones sobre b ) c de *anera 4ue cb
n
sea soluci(n
no trivial de la ecuaci(n de recurrencia
B 2
2 1

n n n
s s s
,-,"CICI. 13' Dada la relaci(n de recurrencia
n
n n n
a a a 2
1 2
+ +
+ +

,
deter*ine los valores de ) para los cuales la soluci(n de la ecuaci(n ho*og9nea
resulta de la for*a . 2 2
2 1
n n
n L L + ?alcule la soluci(n del proble*a no ho*og9neo
para los valores hallados.
,-,"CICI. 14' ea la siguiente relaci(n de recurrencia:
2 K 4
1 2
+ + +
+ +
n a a a
n n n

a) 'ncuentre para 4ue ) &
2
n n sea soluci(n de la ecuaci(n.
b) Galle la soluci(n general de la ecuaci(n.
c) Galle la soluci(n de la ecuaci(n 4ue verifica
B , 1
1 B
a a
.
12
Matemtica Discreta
1er Cuatrimestre 2007
!"#C$ICA %&2' "elaciones
,-,"CICI. 1' Dados * $ E1,2,3,4C, ? $ Ea4b4c4d4eC ) 1 $ En /
B
% n 1BC, analice
si las siguientes relaciones son reflexivas, si*9tricas, antisi*9tricas )%o transitivas:
a) " $ E&1,1),&2,1),&2,3),&4,1),&4,4),&1,4),&3,2),&1,2)C * *
b) " $ E&a4b),&a4c),&a4d),&b4c),&b4d),&b4e),&a4e)C ? ?
c) " $ E&1,1),&2,1),&1,2),&2,2),&3,3),&4,4)C * *
d) " $ E&x4y) % xy 1N C / /
e) " $ E&x4y) %
2
y x
KC / /
f) " $ E&x4y) % x " y $ 1BC 1 1
,-,"CICI. 2' Deter*ine si las siguientes relaciones son reflexivas, si*9tricas,
antisi*9tricas )%o transitivas:
a) 'n 9: &x4y) " sii xN y &<x divide a y= o <y es *Hltiplo de x= o <x es divisor de y=)
b) 'n %: &x4y) " sii xN y
c) 'n : $ Er%r es una recta en el planoC: &r
1
,r
2
) " sii r
1
r
2
d) 'n : $ Er%r es una recta en el planoC, &r
1
,r
2
) " sii r
1
%% r
2
e) ea * $ Ea4b4cC. 'n X $ &A) &conjunto de partes de *) se define la relaci(n
A
1
" A
2
sii A
1
A
2
&relaci(n de inclusi(n)
f) 'n : x " y x
2
O y
2
1
g) 'n 5
2x2
!EB,1C# &*atrices de 2 x 2 con x
ij
Y EB,1Ci,j)
X " J x
ii
$ y
ii
i $ 1,2
h) 'n 5
2x2
!EB,1C# X " J XJ $

,
_

B B
B B

13
" es una relacin en el conjunto A sii "

AA
" es reflexiva sii xEx * x :
" es simtrica sii
) & : , yEx xEy * y x
" es antisimtrica sii
) & : , y x yEx xEy * y x
" es transitiva sii
) & : , , xEz yEz xEy * z y x
" es de equivalencia sii es reflexiva, simtrica y transitiva
" es de orden sii es reflexiva, antisimtrica y transitiva
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 1'
a/ ?o*plete la siguiente relaci(n para 4ue resulte de e4uivalencia. 7ndi4ue la partici(n
4ue define. " $ E&1,1),&1,2),&3,2)C * * con * $ E1,2,3,4,IC
b) 3'xiste una sola for*a de co*pletarla6
,-,"CICI. 2' ean " ) ; relaciones en un conjunto *.
Analice el valor de verdad de las siguientes proposiciones, justificando su respuesta:
a) i " ) S son reflexivas entonces "; ta*bi9n es reflexiva.
b) i " ) ; son reflexivas entonces "; ta*bi9n es reflexiva.
c) i " ) ; son si*9tricas entonces "; ta*bi9n es si*9trica.
d) i " ) ; son si*9tricas entonces "; ta*bi9n es si*9trica.
e) i " ) ; son antisi*9tricas entonces "; ta*bi9n es antisi*9trica.
f) i " ) ; son antisi*9tricas entonces "; ta*bi9n es antisi*9trica.
g) i " ) ; son transitivas entonces "; ta*bi9n es transitiva.
h) i " ) ; son transitivas entonces "; ta*bi9n es transitiva.
'n a4uellas proposiciones 4ue resulten verdaderas, analice si es posible ca*biar en las
hip(tesis * por o sin 4ue se pierda el valor de verdad.
,-,"CICI. 3' ean " ) ; relaciones definidas en un conjunto *.
De*uestre 4ue
a) " es reflexiva " "
<1

b) " es si*9trica " $ "
<1
c) " es si*9trica ) transitiva " tiene la propiedad &a"b c"b a"c)
,-,"CICI. 4' ean " ) ; relaciones en un conjunto *.
Deter*ine el valor de verdad de las siguientes proposiciones. 8ustifi4ue cada respuesta.
a) i " es antisi*9trica ) ; " entonces es antisi*9trica.
b) i ; es reflexiva ) ; " entonces " es reflexiva.
14
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 7' ea " una relaci(n si*9trica ) transitiva sobre un conjunto *.
De*uestre 4ue si para todo a en * existe un b en * tal 4ue &a4b) est1 en ", entonces "
es de e4uivalencia.
,-,"CICI. 5' Dadas las siguientes relaciones, decidir cu1les son de e4uivalencia ),
para las 4ue lo sean, definir el conjunto cociente correspondiente:
a) E&x4y) %
3
y x
KC K K
b) E&1,2),&2,2)C E1,2C E1,2C
c) E&1,2),&2,3),&1,3),&2,1)C E1,2,3C E1,2,3C
d) E&1,2),&4,3),&2,2),&2,1),&3,1)C E1,2,3,4C E1,2,3,4C
e) 'n S $ E1,2,3,4,I,K,"C, " $ E&x4y) %
3
y x
KC S S
,-,"CICI. 6' Dada la siguiente relaci(n de
2

2
ZE&B,B)C
&x4y) " &u4v) si xv $ yu, decidir si es una relaci(n de e4uivalencia.
,-,"CICI. 10' Dada la siguiente partici(n P de S $ Ea,b,c,d,eC:
P $ EEa,b C,EcC,Ed,eCC
defina la relaci(n de e4uivalencia 4ue ella deter*ina.
,-,"CICI. 11' ean * $ E1,2,3,4,I,K,"C, ? $ Ex4y4zC ) &: * ? la funci(n definida
por E&1,x),&2,x),&3,x),&4,y),&I,z),&K,y),&",z)C.
:ruebe 4ue la relaci(n definida por: a"b sii &&a) $ &&b) es una relaci(n de e4uivalencia.
?alcular la clase de cada ele*ento de *.
,-,"CICI. 12' e define en 9 la relaci(n m"n m
2
$ n
2
.
a) 5uestre 4ue es una relaci(n de e4uivalencia en 9.
b) Describa las clases de e4uivalencia. 3?u1ntas ha)6
,-,"CICI. 11' e define en % la relaci(n m"n m
2
Z n
2
es *Hltiplo de 3
a) 5uestre 4ue es una relaci(n de e4uivalencia en %.
b) D9 cuatro ele*entos en las clases de e4uivalencia !B# ) !1#.
1I
Matemtica Discreta
1er Cuatrimestre 2007
c) 3Ga) *1s clases de e4uivalencia6
,-,"CICI. 12' 'n % % se define &m4n)"&L4l) m O l $ n " L
a) De*uestre 4ue es una relaci(n de e4uivalencia en % %.
b) Dibuje un es4ue*a de % % 4ue *uestre las clases de e4uivalencia.
,-,"CICI. 13' ea la relaci(n definida en por x"y x
2
O y $ xO y
2
.
:ruebe 4ue es una relaci(n de e4uivalencia, defina las clases ) deter*ine cu1ntas clases
de e4uivalencia tienen cardinal 1 ) cu1ntas clases de e4uivalencia tienen cardinal 2.
,-,"CICI. 14' e define en = la relaci(n x"y - 9 tal 4ue
.
3
3 - y
x
+

:ruebe 4ue es una relaci(n de e4uivalencia ) halle la clase de 2%3.
,-,"CICI. 17' Dada en la relaci(n &x4y)T&O4z) |2x O y|$|2O O z|
a) :ruebe 4ue es de e4uivalencia.
b) Deter*ine las clases de e4uivalencia de: &B,B), &1,B) ) &2,3).
c) Galle el conjunto cociente.
,-,"CICI. 15: 'studie si la siguiente es una relaci(n de e4uivalencia en 9:
'n caso afir*ativo, halle las clases de e4uivalencia ) el conjunto cociente:
x"y 3 [ x
2
Q y
2
,-,"CICI. 16: 'n 9 , ) para
n
% fijo, se define la siguiente relaci(n
a " b sii n [ aZb
e la lla*a relaci)n de congruencia m)dulo n ) a " b se denota a b&n)
a) :robar 4ue es una relaci(n de e4uivalencia
b) Gallar el conjunto cociente.
,-,"CICI. 20: 2erifi4ue 4ue las siguientes relaciones son de orden ) deter*ine si
son de orden parcial o total:
a) @a inclusi(n de conjuntos en P&*) &partes de *).
1K
Matemtica Discreta
1er Cuatrimestre 2007
b) @a relaci(n convencional en el conjunto de los nH*eros reales.
c) 'n
{ } n x I / x 7
n
de positivo divisor es
: la relaci(n x " y sii x divide a y
-ealice, ade*1s, los diagra*as de Gasse correspondientes para n $ 2, 12 ) 21B.
d) @a relaci(n " del ;te* anterior definida en * $ E2, 3 ,K, " ,24, 3KC.
-ealice el diagra*a de Gasse correspondiente.
,-,"CICI. 21' ?o*plete la siguiente relaci(n de *anera 4ue resulte una relaci(n de
orden ) analice si es orden parcial o total:
" $ E&1,1),&1,2),&1,3),&1,4),&4,4)C * * con * $ E1,2,3,4C
,-,"CICI. 22' ?onsidere la siguiente relaci(n definida en los nH*eros reales:
a"b existe
L
%
0
, L par, tal 4ue b $ a " L
a) De*uestre 4ue es una relaci(n de orden. 3's parcial o total6
b) ?onsidere la relaci(n anterior en el conjunto * $ ExIx %
0
B x 1BC.
?onstru)a su diagra*a de Gasse ) deter*ine, si existen:
i) ele*entos *axi*ales ) *ini*ales
ii) cotas superiores, supre*o ) *1xi*o de \ $ E2,4,NC
iii) cotas inferiores, ;nfi*o ) *;ni*o de \ $ E4,I,"C
,-,"CICI. 21' 'n % % se define la siguiente relaci(n:
&a4b)"&c,d) &a c) &b d)
a) :ruebe 4ue es una relaci(n de orden.
b) 3's un orden total6
c) .rafi4ue
{ } :x4y, , 4 D: :x4y, " % % 3 1
d) ea * $ E&1,1),&1,3),&2,I),&2,3)C % %. Galle los ele*entos particulares
de este conjunto.
,-,"CICI. 22' 'n % % se define la siguiente relaci(n:
&a4b)"&c,d) &a c) &d es *Hltiplo de b)
a) :ruebe 4ue es una relaci(n de orden.
b) 3's un orden total6
1"
Matemtica Discreta
1er Cuatrimestre 2007
c) :ara * $ E&1,1),&1,3),&2,I),&2,3)C % %, halle los ele*entos particulares.
,-,"CICI. 23' e define en % la siguiente relaci(n:
n"L si ) s(lo si &&n L &n"L) es par) &n es i*par L es par))
a) :ruebe 4ue es una relaci(n de orden total.
b) i * $ En%: 1 n 2BC, confeccione el diagra*a de Gasse de la relaci(n
restringida a *.
c) 'ncuentre un subconjunto de % 4ue tenga supre*o pero no *1xi*o.
,-,"CICI. 24' Describa los pares ordenados de la relaci(n deter*inada por el
diagra*a de Gasse en el conjunto A.
a) A $ E1,2,3,4C b) A $ E1,2,3,4C
,-,"CICI. 27' ?onfeccione los diagra*as de Gasse correspondientes a las
relaciones de orden 4ue definen los siguientes diagra*as:
a) b)
,-,"CICI. 25' Deter*ine el diagra*a de Gasse de las relaciones definidas en
* $ E1,2,3,4,IC por las *atrices
1N
4
3
2 1
4
3
3
3
1
2
d
c
b
a a
b
c d
Matemtica Discreta
1er Cuatrimestre 2007
5&"
1
)$

,
_

1 B B B B
1 1 B B B
1 1 1 B B
1 1 1 1 B
1 1 1 1 1
5&"
2
)$

,
_

1 B B B B
B 1 B B B
1 1 1 B B
1 1 1 1 B
1 1 1 B 1
,-,"CICI. 26' Deter*ine la *atri/ del orden parcial cu)o diagra*a de Gasse es
,-,"CICI. 10' :ara los siguientes diagra*as de Gasse encontrar, si existen:
a) todas las cotas superiores de \ b) todas las cotas inferiores de \
c) la *;ni*a cota superior de \ d) la *1xi*a cota inferior de \
1L
$ratamiento matricial de las relaciones'
ea " una relaci(n en un conjunto finito *. @a *is*a puede representarse *atricial*ente por:
5&") { }
n n
1 B, siendo
* n
definida por

'

contrario caso en
e e si
a
( i
i(
B
1 "
e considera la siguiente relaci(n de orden entre las *atrices booleanas:
7 1 sii i( i(
d c

n ( i ( i , : , 1
&es decir una *atri/ es *enor 4ue la otra si la *a)or tiene al *enos los *is*os 1 en las *is*as
posiciones 4ue la *enor)
ea .
n
la *atri/ identidad de n x n &1]s en la diagonal ) B]s fuera de ella). 'ntonces:
" es ",F(,:I>A sii
) & 5 R
n
.
" es ;IM?$"ICA sii 5&")$5&")
t
&*atri/ traspuesta)
" es A%$I;IM?$"ICA sii 5&").5&")
t
n
.
donde el producto se entiende posici(n
c b d a)
a
e
b
a
d e
c
b)
e?
d?
c?
a?
b?
\?
e?
ff?
d?
c?
a?
b?
\
f?
h?
j? i?
e?
b?
c? a?
\?
d?
g?
g
?
f
?
e
?
d
?
c
?
b
?
a
?
\
?
i
h
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 11' Analice *atricial*ente las propiedades de las relaciones del
,-,"CICI. 1 4ue correspondan a conjuntos finitos.
2B
Matemtica Discreta
1er Cuatrimestre 2007
!"#C$ICA %&3' #ge0ras de Boole
,-,"CICI. 1: i*plifi4ue aplicando las propiedades de las 1lgebras de \oole:
a)
) ).& & . . . . b a c a b a c b a b a + + + + +

b)
a a c a c a b . . ) .& + + +
c)
y x x O z O z y x z y x x . . . . . . . + + + + +
d)
) . . & ) . & )) .& & . )) . & ).& & c b a b a c b a c a b a b a d + + + + + + +
e)
) ) ).&& ).& . & n d c d c d c b a + + + + +
f)
z x z y x . ). & + +
,-,"CICI. 2' ?o*pruebe las siguientes igualdades:
a) c a b a c b a b a . . . . . + +
b) a b a a + .
c)
) ).& & . . b a c a c a b a + + +
d) c a b a c b c a b a . . . . . + + +
,-,"CICI. 1' Analice la valide/ de las siguientes igualdades en un 1lgebra de \oole
cual4uiera:
a) c b a c b a + . . .
b) c b a c b a c a b a c b a . . . . . . . + + + +
c) b a d c b a b a d c b a b a d c b a . ). . . & . ). . . . & . ). . . . & + +
,-,"CICI. 2' ea \ $ EB,1C
a) 2erifi4ue 4ue
) " , 2 , B & ) K , I , 4 , 3 , 1 & ) , , & M m z y x &
.
b) .eneralice el resultado anterior.
,-,"CICI. 3'
Dado el siguiente circuito, indi4ue la funci(n de salida si*plificada:
,-,"CICI. 4'
a) 'xprese en for*as can(nicas : ) : cada una de las funciones
correspondientes a las expresiones del ,-,"CICI. 1.
b) -ealice un circuito con co*puertas l(gicas para cada caso.
c) 'n los casos a) ) d) realice circuitos en los 4ue se usen s(lo co*puertas ^A^D.
d) 'n los casos b) ) c) realice circuitos s(lo con co*puertas ^U-.
,-,"CICI. 7' 5ar4ue la Hnica respuesta correcta.. 8ustifi4ue su respuesta.
a) @a funci(n booleana ) & . . ) , , , & z y z x xO O z y x & + + es e4uivalente a:
i)
z y x + +
) tiene 2 *axit9r*inos ii)
z y x + +
) tiene 1 *axit9r*ino
iii) O z x + + ) tiene 2 *axit9r*inos iv)
z y x + +
) tiene 1 *init9r*ino
b)
z y x , ,
en un 1lgebra de \oole cual4uiera:
i)
[ ] ) 1 & B . 1 ) .& z y x z y z y x +
ii) ) B & ) B . B ). & & z x y z x y z x +
21
Matemtica Discreta
1er Cuatrimestre 2007
iii)
[ ] ) & ) .& ) .& y x y x z z y x + + iv)
) & ) . & y x y x y x +
,-,"CICI. 5: Dadas las funciones booleanas
z y x y x x z y x & . . . ) , , & + +
)
) ).& & ) , , & z y y x z y x g + +
, deter*ine la valide/ de las siguientes afir*aciones,
justificando su respuesta:
a) son e4uivalentes
b) tienen exacta*ente 3 *init9r*inos en co*Hn
c) no co*parten ningHn *init9r*ino
d) el *init9r*ino
z y x . .
for*a parte de
&
) no de
g
,-,"CICI. 6' :ara cada uno de los siguientes proble*as:
a) :lantee una funci(n booleana 4ue lo *odelice.
b) ,abule dicha funci(n.
c) i*plifi4ue la funci(n propuesta.
Problema #D >na junta directiva de una e*presa est1 for*ada por cuatro
*ie*bros, uno de los cuales es el presidente. @as decisiones se to*an por
*a)or;a si*ple ), en caso de e*pate, decide el voto del presidente. e desea
diseTar una *14uina con cuatro pulsadores &uno para cada *ie*bro) cu)a salida
d9 el resultado de la votaci(n.
Problema @D e desea un circuito con cuatro entradas 4ue representan los bits
co*ponentes de los nH*eros de B a 1I expresados en siste*a binario ) cu)a
salida to*e el valor 1 si el nH*ero es *Hltiplo de 3 ) B en caso contrario.
Problema HD >na e*presa tiene un detector de lla*as &A), un detector de hu*os
&\) ) dos detectores de te*peratura &? ) D) distribuidos e una sala. 'l detector de
lla*as no da falsos positivos, pero s; falsos negativos. @os otros tres detectores
pueden fallar tanto en caso positivo co*o negativo. ?onsidere 4ue la alar*a se
debe confir*ar para estos casos si da seTal positiva el detector de hu*os ) por lo
*enos uno de los de te*peratura.
Problema PD 'n una casa se desea tener controlado el siste*a de calefacci(n para
4ue en ningHn *o*ento exceda los 3," _A.
'n la casa ha) una estufa de 1 _A. c%u ) otras dos de 1,I _A. c%u.
i) \us4ue una funci(n 4ue detecte el sobrepaso de 3," _A..
ii) 'xpr9sela co*o su*a de *int9r*inos.
iii) i*plif;4uela.
iv) -epresente el circuito correspondiente usando s(lo co*puertas ^U-
,-,"CICI. 10'
a) 3 'xisten 1lgebras de \oole de cardinal 36
b) 32ale la propiedad cancelativa en un 1lgebra de \oole
8ustifi4ue sus respuestas.
,-,"CICI. 11'
a) ?o*plete las tablas de su*a ) producto para construir un 1lgebra de \oole en
el conjunto \
1
$Ea,b,c,dC:
22
Matemtica Discreta
1er Cuatrimestre 2007
O a 0 c d a 0 c d
a a a a
b b d b b
c c c a c
d d d d
8ustifi4ue los resultados propuestos. 7dentifi4ue los ele*entos neutros ) los 1to*os.
b) i se considera el 1lgebra de \oole definida en \
2
$:!Ea,bC# &partes del
con(unto Ea,bC) explicite todos los iso*orfis*os 4ue es posible definir entre \
1
) \
2
.
,-,"CICI. 12: :ruebe 4ue en un 1lgebra de \oole cual4uiera las siguientes
proposiciones son verdaderas:
a) B . + x x y x y y x
b) O y O z y x z z y O x O . . . . ) . & +
c) x " y $ B x $ y $B
d) x> y $ 1 x $ y $ 1
e) z x y z y x y z y x + + + + ) &
,-,"CICI. 11' -esuelva los siguientes siste*as de ecuaciones en un 1lgebra de
\oole cual4uiera:
a)

'

B . .
. . .
1 ) .&

+
+ +
O y x
O y z x y x
z y x O
b)

'

+ +
+
B ) ).& &
B ). &
z x z y
y y x
c)

'

+ +
+ +
+ +
O x O x
O z O z
y x y x
,-,"CICI. 12' ea \ el conjunto de todos los divisores positivos de 3B. e definen
en \ las operaciones
x " y $ *c*&x4 y)
x > y $ 5?D&x4 y)
a) ?onfeccione las tablas correspondientes a cada una de estas operaciones.
b) 3?u1les son los ele*entos neutros63?u1les los co*ple*entarios6
c) 2erifi4ue 4ue se trata de un 1lgebra de \oole.
d) 3's posible ordenar parcial*ente esta 1lgebra de \oole6 7dentifi4ue dicha
relaci(n de orden.
e) -ealice el diagra*a de Gasse correspondiente.
f) 3?u1les son los 1to*os de este 1lgebra de \oole6
,-,"CICI. 13' :ara el conjunto de todos los divisores positivos de N ) las *is*as
operaciones x " y $ *c*&x4 y)
x > y $ 5?D&x4 y)
a) confeccione las tablas correspondientesD
b) 3's un 1lgebra de \oole6. 8ustifi4ue su respuesta.
c) a4ue conclusiones generales
23
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 14' :ara el conjunto \$:!E1,2,3C# &partes de E1,2,3C) responda las
preguntas planteadas en el ,-,"CICI. 12 considerando las operaciones de uni(n e
intersecci(n entre conjuntos.
,-,"CICI. 17' :ruebe 4ue en toda 1lgebra de \oole \ se verifican las siguientes
i*plicaciones
c b a , ,
:
a b a a c b b a
a b a b a b a
c a c b c b a b a b c c a
c b a c a b a
b c a c b b a c b b a
b a b a
a b b a
+
+
+ + +

+ +


) . . . & g)
) . . & f)
B . . . . . ) & e)
. ) & d)
. . . ) & c)
B . b)
a)
h) !
b c c a c b a + # 1 .
,-,"CICI. 15' ea \ un 1lgebra de \oole de 1to*os a4 b , c4 d ) e
a) ?alcule el cardinal de \
b) ea x$a"b . Ubtenga x co*o su*a de 1to*os.
c) :ruebe 4ue
b d c b b a + + + ) ).& &
,-,"CICI. 16' ?onfeccione los diagra*as de Gasse correspondientes a las
siguientes 1lgebras de \oole. Analice cu1les son iso*orfas ) escriba los iso*orfis*os
correspondientes.
{ }
{ }

) b , a & b) &a,
d) . b c, . &a d) &c, . b) &a,
d) b c, &a d) &c, b) &a,
B,1 \ con &1,1)) &B,B), , . , , &\ d)
el en definidas s operacione las con 3B de Divisores c)
el en definidas s operacione las con K de Divisores b)
3 , 2 , 1 con ) , , , , , # ! & a)
2

+ + +
+

12 ,-,"CICI.
12 ,-,"CICI.
* * *
,-,"CICI. 20' ea \ un 1lgebra de \oole finita con 2
n
ele*entos. 3?u1ntos
iso*orfis*os de 1lgebra de \oole & : \

\ distintos pueden definirse6

,-,"CICI. 21' ean \
1
) \
2
dos 1lgebras de \oole ) & : \
1

\
2
un iso*orfis*o de
1lgebras de \oole. :ruebe 4ue:
a) & &B
1
) $ B
2
b) & &1
1
) $ 1
2
c) i
) & ) & , \ ,
2 1
y & x & y x y x
d) & & 1to*o de \
1
) $ 1to*o de \
2
,-,"CICI. 22' ea \
1
el 1lgebras de \oole de los divisores positivos de K ) \
2
$
{ } d c b a , , , otra 1lgebra de \oole.
ea & : \
1

\
2
un iso*orfis*o definido por
d & b & a & ) K & , ) 3 & , ) 2 &
a) Galle
) 1 & &
b) 7ndi4ue los 1to*os de \
2
c) ?alcule
d c d c b a a + + , . . ,
24
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 21' ea \
1
el 1lgebra de \oole de los divisores positivos de 21B
a) 3 ?u1ntos iso*orfis*os de 1lgebra de \oole se pueden definir entre \
1
)
\
2
$:!
{ } d c b a , , ,
#6
b) Dado & :\
1

\
2
un iso*orfis*o definido por:
{ } { } { } d & b & a & ) " & , ) 3 & , ) 2 & .
calcule las i*1genes de I, K, 1, 3I ) 21B ) las prei*1genes de
{ } { } d c a b a , , ) ,
2I
Matemtica Discreta
1er Cuatrimestre 2007
!"#C$ICA %&4' $eora de gra@os
,-,"CICI. 1' Deter*ine el grado de cada v9rtice en los siguientes grafos:
,-,"CICI. 2' Deter*ine los grados
+
g g ) de cada uno de los v9rtices en los
siguientes digrafos:
,-,"CICI. 1' 'n los casos en 4ue sea posible, trace un grafo 4ue verifi4ue las
condiciones pedidas. 'n caso de no ser posible, justifi4ue:
a) 4ue tenga exacta*ente K v9rtices, cada uno de grado 3D
b) 4ue tenga exacta*ente I v9rtices, cada uno de grado 3D
c) 4ue tenga exacta*ente 4 v9rtices, cada uno de grado 1D
d) 4ue tenga exacta*ente K v9rtices ) 4 aristasD
e) 4ue tenga exacta*ente 4 v9rtices de grados 1, 2, 3 ) 4 ) 4 aristasD
f) 4ue tenga exacta*ente 4 v9rtices de grados 1, 2, 3 ) 4D
g) 4ue tenga exacta*ente K v9rtices de grados 1, 2, 3, 4, I ) I ) sea si*ple &esto
es: sin la/os ni aristas paralelas)D
h) 4ue tenga exacta*ente I v9rtices de grados 2, 3, 3, 4 ) 4 ) sea si*ple.
,-,"CICI. 2' 'n un departa*ento donde reina la discordia habitan 2I personas. 3's
posible 4ue cada persona se lleve bien exacta*ente con I de las restantes6
,-,"CICI. 3' i Q $ E>,A,

C es un grafo conexo con `A $ 1" ) grad:v, 3 para

todo v >, 3cu1l es el valor *1xi*o 4ue podr;a to*ar `>6. 8ustifi4ue.
,-,"CICI. 4' ea Q $ E>,A,

C un grafo no dirigido conexo sin la/o 3Fregular

&esto es, cada v9rtice de Q tiene grado 3). i `A $ 2 `> Q K 3?u1nto valen `> ) `A6
,-,"CICI. 7' i . es un grafo no dirigido con n v9rtices ) a aristas, sean
{ } ) & *;n

gr
V

)
{ } ) & *1x

gr
V

. De*uestre 4ue

n
a 2

.
.
2
K
2K
2
1
1
3
2
I
D
1
D
2
K
1
aI
3
2
I
2
.
1
4
1
4
3
3
1
4
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 5' De*uestre 4ue en todo grafo si*ple de n v9rtices sie*pre existe al
*enos un par de v9rtices con igual grado &A)uda: considere el rango de valores 4ue
pueden to*ar los grados de los v9rtices).
,-,"CICI. 6' >n grafo si*ple de n v9rtices en el 4ue cada v9rtice es ad)acente a
todos los de*1s se deno*ina gra&o completo de n v'rtices ) se lo denota R&n,.
a) -epresente R&2)4 R&3)4 R&4) ) R&I).
b) 3Fu9 grados tienen los v9rtices de R&n)6
c) Galle una f(r*ula de recurrencia 4ue relacione
n
a
&el nH*ero de aristas de
R&n)) con
1 n
a
&el nH*ero de aristas de R&nZ1)).
d) 'ncuentre la f(r*ula 4ue per*ite calcular el nH*ero de aristas de R&n) en
funci(n de n e interprete su significado.
,-,"CICI. 10' Dado un grafo si*ple Q, de n v9rtices, se define el grafo Q
&complemento de Q) co*o el grafo si*ple de n v9rtices cu)as aristas son las 4ue <le
faltan a Q para ser R&n)=.
Deter*ine los co*ple*entos de los siguientes grafos:
,-,"CICI. 11'
De*uestre 4ue, dado un grafo si*ple Q, o bien es conexo o bien lo es su co*ple*ento.
,-,"CICI. 11' 'l es4ue*a siguiente representa las dos islas ) los siete puentes de la
ciudad de _bnigsberg &donde puede considerarse 4ue <naci(= la teor;a de grafos):
uponga 4ue se
derriba el puente 4ue une las dos islas, se constru)e una isla artificial entre a*bas ) se
constru)en puentes 4ue unen la nueva isla con cada orilla del r;o:
a) 3:ueden recorrerse todos los puentes sin pasar dos veces por ninguno de ellos6
b) 3Fu9 ocurre si se constru)e cual4uier nH*ero de puentes entre la isla central )
las orillas6
7sla
7sla
-;o
:regel
2"
1 1
1
2
3
2
3
2 3
4
4
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 12' Analice si los siguientes grafos ) digrafos son eulerianos. 'n caso
afir*ativo, halle el ca*ino o el circuito de 'uler correspondienteD en caso negativo,
justifi4ue.
,-,"CICI. 13' ?onsidere el grafo co*pleto de n v9rtices. 3:ara 4u9 valores de n el
grafo R&n) tiene un circuito de 'uler6
,-,"CICI. 14' Deter*ine cu1les de los siguientes grafos contienen circuitos de
Ga*ilton e ind;4uelos en caso de 4ue existan.
a) b)
c)
2N
Sd c S
b
a
a
S
Se
S
&
S
g
c
S
S
e
S
&
S
g
b
S
S
d
a
S
a
a
c
a
b
a
g
a

a
-
da
&
a
ea
a
(
a
i
a)
1
a 4
b)
1 a
3a
a
I
a K
a
2
a a 3 a 2
a I 4 a
h)
g)
1 a

a 2
c)
1a
Ka
I a
a 3
a 4
2
a
a
4
a 3 I a
c
d d
c
3
a

a 2

a I
d) 1a a 2
Ia a 3
a
4
e
e

4 a
e)
1a e
2
a e a 3
4a a I
a
K
a
"
c
c
f
f
d
d

1 a
f)
1 a
a 2
a 4 3 a
I a
a K
e
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 17'
a) D9 un eje*plo de un grafo 4ue tenga un circuito de 'uler pero no circuitos de
Ga*ilton.
b) D9 un eje*plo de un grafo 4ue tenga un circuito de 'uler 4ue sea ta*bi9n un circuito
de Ga*ilton.
c) D9 un eje*plo de un grafo 4ue tenga un circuito de 'uler ) un circuito de Ga*ilton,
diferentes entre s;.
,-,"CICI. 15' 'scriba las *atrices de ad)acencia, de incidencia ) de conexi(n para
cada uno de los grafos ) digrafos del ,-,"CICI. 12.
,-,"CICI. 16' 's4ue*atice los grafos ) digrafos representados por cada una de las
siguientes *atrices de ad)acencia:
a)
1
1
1
1
1
1
]
1

B B 1 1 B
B B 1 B 1
1 1 1 1 B
1 B 1 B B
B 1 B B 1
b)
1
1
1
1
1
1
]
1

B B 1 1 B
1 B 1 1 1
1 B B 1 B
B B B 1 B
B B B 1 B
c)
1
1
1
1
1
1
]
1

1 B B 1 B
B B 1 1 B
1 B B 1 B
B B B B B
B B 1 1 B
,-,"CICI. 20' 's4ue*atice los grafos ) digrafos representados por cada una de las
siguientes *atrices de incidencia:
a)
1
1
1
1
1
1
]
1

B B B 1 B B
B 1 B B 1 B
B B B B 1 1
B 1 B B B B
2 B 2 1 B 1
b)
1
1
1
1
1
1
]
1

B 1 1 1 B B
B 1 B B 1 B
B B 1 B B 1
B B B B B B
2 B B 1 1 1
c)
1
1
1
1
1
1
]
1

t
B 1 1 1 1
B B B 1 B
B B 1 B B
1 1 B B B
B B B B 1
,-,"CICI. 21' De*uestre 4ue si M es la *atri/ de ad)acencia de un grafo Q, el
ele*ento i( de la *atri/ M
n
coincide con la cantidad de ca*inos de longitud n 4ue
existen entre los v9rtices ( i
v v )
en Q.
?o*pruebe, ade*1s, 4ue si la *atri/ se definiera en for*a booleana ) el producto M
n
se
calcula ta*bi9n en for*a booleana, el ele*ento i( de la *atri/
n
M
indica la existencia
o no de un ca*ino de longitud n entre los v9rtices ( i
v v )
.
2L
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 22' Dado el siguiente grafo
a) 3?u1ntos ca*inos de longitud 3 existen entre los v9rtices 1 ) 26
b) 3?u1les son6
,-,"CICI. 21' uponga 4ue un grafo tiene una *atri/ de ad)acencia de la for*a
1
1
1
]
1

g g
g
? 1
1 *
donde los ele*entos de las sub*atrices 1T ) 1TT son ceros ) los de A ) \ son unos.
3?(*o es el es4ue*a del grafo6
,-,"CICI. 22' Analice la *is*a situaci(n anterior pero considerando 4ue la *atri/
es la de incidencia.
,-,"CICI. 23'
a) ?(*o es un grafo si alguna fila de su *atri/ de incidencia est1 constituida s(lo por
ceros6
b) 3Fu9 indica la cantidad de unos en una fila de la *atri/ de incidencia de un grafo6
c) 3:uede ocurrir 4ue alguna colu*na en una *atri/ de incidencia est9 constituida s(lo
por ceros6
d) ?onteste la pregunta a) considerando la *atri/ de ad)acencia.
e) ?onteste la pregunta b) considerando la *atri/ de ad)acencia.
f) ?onteste la pregunta c) considerando la *atri/ de ad)acencia.
,-,"CICI. 24' ?lasifi4ue los v9rtices de los siguientes grafos en niveles ) redibuje
los grafos de acuerdo con los niveles obtenidos:
a) b)
3B
d
a
c
a
e
a
a
a
b
a
-a
aa
ba
ga
&a
ca
a d
aa
b
a
c
a
da
a e
a
d
&a
U
ea
V
V
W
X
U
@
X
X
U
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 27' Dada la siguiente *atri/ de incidencia de un grafo Q
1
1
1
1
1
1
1
1
]
1

1 1 B B B B B B
1 B 1 B 1 B B B
B 1 B 1 B 1 B B
B B 1 1 B B 1 B
B B B B 1 1 B 1
B B B B B B 1 1
a)Dibuje el digrafo.
b) ?lasifi4ue los v9rtices en niveles.
,-,"CICI. 25' 'l siguiente grafo representa la dependencia laboral entre los
e*pleados de una oficina &es decir: la arista &i4() indica 4ue i es el jefe de ().
'stable/ca las distintas categor;as 4ue existen en ella &niveles) ) redibuje el grafo
poni9ndolo de *anifiesto.
,-,"CICI. 26' Deter*ine una condici(n sobre n para 4ue un grafo si*ple de n
v9rtices pueda ser autocomplementario, vale decir iso*orfo a su co*ple*ento.
,-,"CICI. 10' Analice si los siguientes pares de grafos resultan iso*orfos. 'n caso
positivo, defina el iso*orfis*o correspondienteD en caso negativo, indi4ue un invariante
4ue no se conserve:
a) b)
,-,"CICI. 11' 'ncuentre un ca*ino de s a t, usando el nH*ero *;ni*o de aristas.
i) ii) iii)
31
1
a
a 2
a
3
" a
a
4
a
K
a
I
a
a
a b
a
c
g a
a
d
a
&
a
e
b
a
a c
a
a
a d
a
&
a
e
2
a
a 3
1
a
a 4
a
K
a
I
S e
a S
sS
b S
S c
aS
Sd
S
e
S
&
t S
S b
dS
aS
s S
cS
t S
S s cS
S d aS
S t bS
B
a
C
a
D
a
* a
a
,
a
A
a
F
e e
c
d
f f
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 12' Dados los siguientes grafos
a) Galle un ca*ino *;ni*o de s a t.
b) ?alcule la distancia de s a cada v9rtice.
,-,"CICI. 11' Dados los siguientes digrafos
a)Deter*ine si existe o no un ca*ino de longitud *;ni*a.
b)i existe, h1llelo. i no existe, defina un ca*ino de longitud *enor 4ue Q1BB.
,-,"CICI. 12' 'n los siguientes grafos halle el ca*ino *1s corto de s a t de *odo
4ue
a)no pase por el v9rtice ?D
b) no pase ni por ? ni por 1D
c) no contenga la arista &7, 9)D
d) pase por 1.
,-,"CICI. 13' 'l siguiente es4ue*a representa un *apa de ca*inos entre las
ciudades *, ?, 1, 7, E, 9 ) Q. 'l nH*ero asignado a cada ruta representa el tie*po
pro*edio 4ue se e*plea para su recorrido, teniendo en cuenta el estado de la ruta.
Galle la ruta *1s r1pida de * a Q.
32
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 14' >n ca*i(n parte de la ciudad * ) debe llegar a la ciudad ? sin
reali/ar *1s de cuatro paradas inter*edias. en las aristas del es4ue*a el pri*er nH*ero
indica la distancia entre ciudades ) el segundo la ganacia 4ue se obtiene al transportar
*ercderTia entre a*bas. i el gasto de co*bustible es de tres unidades *onetarias por
+* recorrido, elija un ca*ino entre * ) ? 4ue *axi*ice las ganacias.
,-,"CICI. 17' >n juego consiste en arrojar un dado ), si el nH*ero obtenido es par,
se arroja dos veces consecutivas una *oneda ) se anota la cantidad de carasD si el
nH*ero es i*par, se arroja nueva*ente el dado ) se anota el nH*ero 4ue sale. DiseTe
un 1rbol 4ue *uestre todos los resultados 4ue pueden obtenerse.
,-,"CICI. 15' DiseTe un 1rbol para generar todos los nH*eros *enores 4ue 1BBBB
cu)as cifras sean todas distintas, pertene/can al conjunto
{ } K , 4 , 3 , 1
) no ha)a dos pares
consecutivas.
,-,"CICI. 16' ean ( )
1 1 1
, * V 6 ) ( )
2 2 2
, * V 6 dos 1rboles tales 4ue
1" `
1
*

)
1 2
` . 2 ` V V
. Deter*ine
1
`V
,
2
`V
)
2
` *
.
,-,"CICI. 20' >n bos!ue es un grafo sin ciclos &cu)as co*ponentes conexas
resultan, por lo tanto, 1rboles)&3por 4u9).
a) i ( )
1 1 1
, * V 9 es un bos4ue de siete 1rboles con
4B `
1
*
. 3?u1nto vale
1
`V
6.
b) i ( )
2 2 2
, * V 9 es un bos4ue con
K2 `
2
V
)
I1 `
2
*
, 3cu1ntos 1rboles lo
for*an6
c) i
( ) * V 9 ,
es un bos4ue con v v9rtices, a aristas ) c co*ponentes conexas,
34u9 relaci(n existe entre v, a ) c6 .
d) 3?u1l es el nH*ero *;ni*ode aristas 4ue deben aTadirse a 9 para obtener un
1rbol6
,-,"CICI. 21' D9 un eje*plo de grafo no dirigido
( ) * V Q ,
4ue verifi4ue
1 ` ` V * pero 4ue no sea un 1rbol.
33
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 22' ea
( ) * V Q ,
un grafo no dirigido conexo, sin la/os, con
{ } D 2 D ,..., ,
2 1
n v v v V
n
grad&v
1
) $1 ) grad&v
i
) 2 2 i . De*uestre 4ue Q
debe tener un ciclo.
,-,"CICI. 21'
a) >n 1rbol ternario co*pleto tiene 34 v9rtices internos. 3?u1ntas aristas ) cu1ntas
hojas tiene6.
b) 3?u1ntos v9rtices internos tiene un 1rbol pentario co*pleto con N1" hojas6
,-,"CICI. 22' >n 1rbol mZario co*pleto tiene altura a 2 , - hojas ) b
aF1
nodos de
ra*ificaci(n en el nivel aZ1. ?o*pruebe 4ue ) 1 &
1
1

+
a
a
b m m - >
,-,"CICI. 23' Galle el 1rbol generador *;ni*o para cada uno de los siguientes
grafos:
,-,"CICI. 24' 'l siguiente grafo representa el *apa de ca*inos de tierra 4ue
co*unican seis ciudades. 'l peso de cada arista representa el costo de su pavi*entaci(n
en *illones de pesos.
e desea construir un siste*a de carreteras de costo *;ni*o 4ue co*uni4ue todas las
ciudades: 34u9 rutas se deber;a asfaltar ) cu1l es el costo6
,-,"CICI. 27' Dadas las siguientes redes de transporte, co*pletar sus flujos ) hallar
los flujos *1xi*os:
i) ii)
iii/
34
0
3&2 )
I& )
K& )
I& )
I&3) 4& )
A \
?
D

K& )
A

I&3)
D
?
K&2)
4 & )
3&2)
2 & )
2&B)
I& )
0
4& )

A
\
?
D 0
I& )
4&3)
1& )
4&2)
K& )
2& )
3&1)
4& )
I&2)
4&2)
I& )
\ 4&B)
Matemtica Discreta
1er Cuatrimestre 2007
,-,"CICI. 25' Ubtenga el flujo *1xi*o co*patible con cada una de las siguientes
redes ) halle, en cada caso, el corte *ini*al correspondiente:
i) ii)
,-,"CICI. 26' Dadas las siguientes *atrices de ad)acencia ) de pesos, deter*ine si
el grafo correspondiente es un red ), en caso afir*ativo, halle un flujo *1xi*o:
3I
4

A
\
2
3
2
4
4
I
A \
?
D

2
0
I
D
?
K
4
3
2
2
I
0
A B
;
C
D
F
5
1
5
1
2
2
1
2
3
7
2
7
10
Matemtica Discreta
1er Cuatrimestre 2007
1
1
1
1
1
1
1
1
]
1

B B B B B B
1 B B B B B
B 1 B 1 B B
1 B B B B B
B B B 1 B B
B B 1 B 1 B
*
M

1
1
1
1
1
1
1
1
]
1

B B B B B B
4 B B B B B
B 2 B 2 B B
4 B B B B B
B B B 2 B B
B B I B 3 B
P
M
3K