Académique Documents
Professionnel Documents
Culture Documents
Problema 1 2 3 4 Nota
Puntos 3 8 6 3 20
Resultado
1. (3 puntos) Demuestre que el conjunto {a, b, c, d} con las operaciones suma (+) y producto (·) definidas
por las siguientes tablas es un Álgebra de Boole. (Asuma distributividad).
+ a b c d · a b c d x x
a a b c d a a a a a a
b b b d d b a b a b b
c c d c d c a a c c c
d d d d d d a b c d d
2. Considere las siguientes relaciones R y S, donde cada arco dirigido i → j significa que (i, j) pertenece a
la relación.
a
a
e
g
f b
g
c f d
b
e d c
R S
(a) (2 puntos) Diga cuál de estas relaciones es una relación de equivalencia y cuál es una relación de
orden. Justifique formalmente.
(b) (1 punto) Dibuje el diagrama de Hasse asociado a la relación de orden que usted seleccionó en el
ı́tem (a).
(c) (2 puntos) Sobre el diagrama de Hasse dibujado señale, de existir: maximal(es), minimal(es),
máximo y mı́nimo.
(d) (2 puntos) Considere en el diagrama de Hasse el subconjunto B = {f, g, b} y halle cota(s) supe-
rior(es), inferior(es), supremo e ı́nfimo de B.
(e) (1 punto) ¿Es la relación de orden que usted seleccionó un reticulado? Si No ¿Por qué?.
GDMDII/SemI-2016/Parcial3/23Nov2016
3. Considere los digrafos R y S de la pregunta (2) y responda:
(a) (2 puntos) Responda (Sı́ ó No) cada una de las siguientes preguntas sobre los digrafos R y S:
(b) (2 puntos) Responda (Sı́ ó No) cada una de las siguientes preguntas sobre el digrafo R:
¿Hay en R ... Sı́/No ¿Por qué? Justifique formalmente ó indique uno (si lo hay)
... camino hamiltoniano?
... circuito hamiltoniano?
... camino euleriano?
... circuito euleriano?
(c) (2 puntos) Construya la matriz de adyacencia del digrafo R y calcule la cantidad de caminos de
longitud 3 que hay desde el vértice e hasta el vértice a.
4. (3 puntos) Dadas las siguientes matrices de adyacencia de dos grafos simples isomorfos G y H (ambos
con 6 vértices y 7 arcos). Complete los espacios en blanco en dichas matrices, en el isomorfismo dado y
dibuje los correspondientes grafos.
vi v1 v2 v3 v4 v5 v6
f (vi ) u1 u2 u3
v1 v2 v3 v4 v5 v6 u1 u2 u3 u4 u5 u6
1 1 1 1
1 1 0 0
AG =
AH =
0 1
1 0
1 1 0
0
1 0 0 1
GDMDII/SemI-2016/Parcial3/23Nov2016