You are on page 1of 6

Matemtica Discreta, curso 20132014

Ejercicios Tema 3.

Relaciones y grafos

Objetivos: Al terminar el tema el alumno debe ser capaz de


1. Reconocer las relaciones en un conjunto y las relaciones de equivalencia. 2. Reconocer las relaciones de orden y sus elementos caractersticos. 3. Dibujar el diagrama de Hasse de conjuntos ordenados nitos. 4. Identicar los elementos distinguidos en un conjunto ordenado. 5. Reconocer los elementos caractersticos de un grafo. 6. Deducir propiedades de un grafo a partir de su matriz de adyacencia. 7. Detectar en un grafo los puntos corte y las aristas de separacin. 8. Reconocer si un grafo es euleriano o hamiltoniano. 9. Describir condiciones necesarias o sucientes para decidir si un grafo es euleriano o hamiltoniano. 10. Aplicar el algoritmo de Fleury para construir recorridos eulerianos. 11. Reconocer si un grafo es un rbol. 12. Aplicar el algoritmo de Prim para construir un rbol generador de peso mnimo de un grafo ponderado.

Matemtica Discreta. rea de lgebra Universidade da Corua

Ejercicios: Relaciones
1. Sea A = {1, 2, 3, 4} y R la relacin denida para a, b A por: aRb si y slo si a < b + 2. (a) Escribe los pares que forman la relacin R y estudia sus propiedades. (b) Calcula la relacin recproca R1 = {(a, b) tales que (b, a) R}. (c) Calcula la relacin complementaria Rc = {(a, b) tales que (a, b) / R}. 2. Estudia las siguientes relaciones binarias denidas en el conjunto Z: (a) x R y xy > 0. (b) x R y xy 0.

Matemtica Discreta. rea de lgebra Universidade da Corua

3. Sea R la relacin en el conjunto A = N N, denida por (x, y )R(z, t) si, y slo si, x + t = y + z . (a) Prueba que es una relacin de equivalencia. (b) Calcula la clase de equivalencia de (0, 0). 4. Prueba que la siguiente relacin R denida en A = {1, 2, 3, 4, 5} es de equivalencia y calcula las clases de equivalencia R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3, 1), (2, 3), (3, 3), (4, 4), (3, 2), (5, 5)}. 5. Sean A = {1, 2, 3} y B = {2, 3} A. Se considera en P (A) la relacin R denida por: dados X, Y P (A), X RY X B = Y B

Demuestra que R es una relacin de equivalencia y calcula el conjunto cociente P (A)/R. 6. En el conjunto N se dene la relacin R dada por: a R b [n N tal que an = b]. Demuestra que R es una relacin de orden. Es de orden total? Razona tu respuesta.

7. Sean A el conjunto de los enteros positivos divisores de 48 y R la relacin en A: aRb b es un mltiplo de a. (a) Representar el diagrama de Hasse de R en A. (b) Halla los elementos destacados de B en los siguientes casos: i) B = {4, 6, 24}. ii) B = {3, 6, 12, 8, 16}.

8. Considera A = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60} y la relacin

Matemtica Discreta. rea de lgebra Universidade da Corua

xRy x es divisor de y. (a) Dibuja el diagrama de Hasse del conjunto A para la relacin R. (b) Halla los elementos maximales, minimales y cotas de B = {3, 4, 5, 6, 30} en A. 9. La gura representa el diagrama de Hasse para un conjunto ordenado A. 10 9 7 8 4 2 5 3 6 13 11 12

1 Para B = {4, 5, 6, 7, 8} A, razona si las siguientes armaciones son verdaderas o falsas: (a) 7 es maximal de B y 12 es cota superior de B en A. (b) 5 es maximal de B y 1 un mnimo de A. (c) 5 es minimal de B y 10 maximal de A. (d) 1 es cota inferior de B en A y 1 es un mnimo de A. 10. Sea X un conjunto no vaco, (N, ) el conjunto de los nmeros naturales con el orden usual y f : X N una aplicacin. Se dene en X la relacin xRy f (x) f (y ). Demuestra que :

(a) la relacin R no es necesariamente una relacin de orden. (b) R es una relacin de orden si la aplicacin f es inyectiva.

Grafos
1. Indica cules de los grafos siguientes puede ser un subgrafo de G. Etiquetar los vrtices de los grafos como se desee.

Matemtica Discreta. rea de lgebra Universidade da Corua

v3 v5 v1 G D

v4 v2 A E

2. Consideremos el siguiente grafo: (a) Qu aristas inciden en f ? (b) Qu vrtices son adyacentes a d?
a c b d f e h g

(c) Calcula el grado de cada uno de los vrtices y la matriz de adyacencia. (d) Es un grafo conexo? (e) Posee alguna arista de separacin? (f) Posee algn punto de corte? (g) Es euleriano? Por qu? Busca un camino euleriano en el grafo.

0 2 3. Si la matriz de adyacencia del grafo G es A = 1 1 (a) Calcula el grado de cada uno de sus vrtices. (b) Dibuja el grafo G.

2 0 1 1

1 1 1 0

1 1 0 0

Matemtica Discreta. rea de lgebra Universidade da Corua

0 1 4. Consideremos G el grafo con matriz de adyacencia A = 1 0 (a) Calcula los caminos de longitud 3 desde v1 a v2 . (b) Justica, a partir de A, si G es o no conexo. 5. Consideremos el grafo: b a h c i d e j f

1 0 0 1

1 0 0 1

0 1 1 0

Es euleriano? Justica la respuesta y en caso de ser armativa, obtn un circuito euleriano. 6. Consideremos el grafo: a b

c d

f e

g h

Es hamiltoniano? Por qu? En caso armativao, calcula un camino hamiltoniano.

7. Aplicando el algoritmo de Prim, obtener un rbol generador del grafo siguiente: b a h c i d e j f g

Matemtica Discreta. rea de lgebra Universidade da Corua

8. Aplica el algoritmo de Prim para determinar un rbol generador mnimo para el grafo b 4 5 a c
2 3 3 8 4 5 6 2 4 3

d
6

e
3

f
4

i 2 h 9. Se dice que un grafo simple es completo si cada dos vrtices son adyacentes. Calcula el nmero de aristas que tiene un grafo completo de orden n. 10. Utilizando el ejercicio anterior, justica si es posible construir un grafo con n vrtices, n 1, y 2n aristas. 11. Se dice que un grafo simple es r-regular si todos los vrtices tienen el mismo grado r. Calcula el nmero de aristas que tiene un grafo 4-regular de 12 vrtices. 12. Sea G = (V, E ) un rbol que tiene 10 vrtices de grado 5, 8 vrtices de grado 4, 12 vrtices de grado 3, 10 vrtices de grado 2 y el resto de vrtices de grado 1. Halla el nmero de vrtices de grado 1 que tiene G. 13. Sea G = (V, E ) un grafo simple de 10 vrtices donde el grado de cada vrtice es al menos 6 y el nmero de aristas es mltiplo de 13. Demuestra que G es conexo y halla el nmero de aristas de G. Sabiendo que G es euleriano, halla el nmero de vrtices de grado 6. 14. Sea G = (V, E ) un rbol con p vrtices de grado 1 y q vrtices de grado 4 y ningn otro vrtice. Halla la ecuacin que indique la relacin entre p y q .

You might also like