1.

Moverse por un grafo. Conexin o

La estructura de un grafo, como puntos conectados, sugiere recorridos o desplazamientos por l. Es decir, e en un grafo podemos partir de un vrtice y recorrer aristas hasta llegar a otro vrtive. As e e : Denicin 10.- Sea G = (V, A) un grafo (no dirigido simple). Llamaremos trayectoria en G a una o sucesin de vrtices, x1 x2 xp1 xp tales que {xi , xi+1 } A, para cada i = 1, 2, . . . , p 1. o e Diremos que la trayectoria conecta o une el vrtice x1 y el vrtice xp , y del nmero de aristas e e u recorridas, p 1, diremos que es la longitud de la trayectoria. Si x1 = xp se dice que la trayectoria es cerrada. No hemos puesto ninguna restriccin al recorrido de la trayectoria (salvo que use aristas del grafo), o podr amos deambular por el grafo recorriendo siempre las mismas aristas y pasando por los mismos vrtices. e Es usual distinguir otros dos tipos de trayectorias. Denicin 11.- Llamaremos cola a una trayectoria que recorre aristas distintas y camino a una trayeco toria sin vrtices repetidos (luego tampoco aristas). e De una cola cerrada se dice que es un circuito y de un camino cerrado que es un ciclo. Nota: Las denominaciones de trayectoria, cola, circuito y camino dieren de unos autores a otros, mientras que la de ciclo es ms comn; en cualquier caso, y como ya comentamos, conviene comprobar cmo a u o denomina cada autor estos elementos. Los caminos y ciclos son elementos imprescindibles en la teor de grafos tambin en la parte que a a e nosotros nos ocupa. Las siguientes deniciones establecen unas tipolog de grafos muy importantes: as Denicin 12.- Diremos que un grafo es ac o clico si no tiene ciclos.

Aunque no todas las trayectorias son caminos, el siguiente resultado nos asegura que siempre podremos disponer de uno si es necesario (y explica el parntesis en la denicin de conexin). e o o Proposicin 14.- Cada trayectoria que une dos vrtices distintos contiene un camino que une esos mismos o e vrtices. e Demostracin: o Sea T una trayectoria que une el vrtice vr y el vrtice vs . Si T no es un camino, repite vrtices. e e e Cuando recorremos T , si pasamos por un vrtice vi y este nos aparece ms adelante en la trayectoria, nos e a encontramos en el mismo punto que la primera vez que pasamos por l, luego si eliminamos el paseo e intermedio seguimos teniendo una trayectoria que une el vrtice vr y el vrtice vs . Si repetimos el proceso e e hasta que no queden vrtices repetidos tenemos el camino postulado. e De igual manera se tiene que: Proposicin 15.- Cada circuito que empieza y acaba en un vrtice vr contiene un ciclo que empieza y o e acaba en ese vrtice vr . e (El resultado es por supuesto vlido para cada vrtice de un circuito.) a e

ww w.

Si el grafo no es conexo, est formado por varios trozos que s son conexos. De cada uno de estos a trozos se dice que es una componente conexa del grafo. En otras palabras, un grafo es conexo si desde un vrtice se puede ir a todos los dems. Si el grafo no es conexo un vrtice slo est conectado con los e a e o a de su misma componente conexa.

at

em

Denicin 13.- Un grafo es conexo si todo par de vrtices est unido por una trayectoria (por un o e a camino).

at

ic

a1

.c

om

1.2.1

Trayectorias y conexin en un digrafo o

Para los grafos dirigidos, las trayectorias, colas, caminos, circuitos y ciclos, se denen de forma anloga. La a diferencia estriba en que los arcos slo se pueden recorrer en un sentido, por lo que las trayectorias (colas, o ciclos, etc.) son siempre trayectorias dirigidas que se recorren en el sentido que indica la echa. Denicin 16.- Sea D = (V, A) un digrafo. Llamaremos trayectoria (dirigida) en D a una sucesin de o o vrtices, x1 x2 xp1 xp tales que (xi , xi+1 ) A, para cada i = 1, 2, . . . , p 1. e Diremos que la trayectoria conecta o une el vrtice x1 con el vrtice xp , y del nmero de arcos e e u recorridos, p 1, diremos que es la longitud de la trayectoria. Si x1 = xp se dice que la trayectoria es cerrada. Llamaremos cola a una trayectoria con todos los arcos distintos y circuito a una cola cerrada. Llamaremos camino a una trayectoria sin vrtices repetidos y ciclo a un camino cerrado. e Todas las deniciones y resultados vistos en el apartado anterior (aciclicidad, matrices y su signicado, etc.) tienen su anlogo para digrafos sin ms que tener en cuenta que todos los elementos han de ser dirigidos; a a todas excepto una: la denicin de conexo. o Denicin 17.- Sea D un digrafo. Se llama grafo no dirigido subyacente a D , al grafo que se obtiene o sustituyendo cada arco (x, y) por la arista {x, y} (si aparecen (x, y) e (y, x) se sustituyen ambos por una sla arista). o

a1

Denicin 18.- Un digrafo es conexo si su grafo subyacente es conexo. o

.c
v1

(a) Dibujar T sobre el grafo como una l nea continua.

(c) Es T un camino?, y una cola? (d) Buscar un camino de v2 a v7 , qu longitud tiene? Hay algn camino de v2 a v7 que pase e u por todos los dems vrtices? a e Por qu no hay un camino de longitud 1 de v2 a v7 ? Por qu no puede haber un camino de e e longitud 7? (e) Cuntos caminos hay de v2 a v7 ? a (f) Buscar un ciclo de v2 a v2 de longitud 4. Introducir en el ordenador la trayectoria como un vector T y la matriz de adyacencia M. [i] Calcular a partir de T la longitud de la trayectoria T . Es cerrada? [ii] Idear una manera de comprobar que el segundo, quinto y sptimo arcos recorridos en T son e tambin arcos de D . e [iii] Implementar la idea de 2.1[ii] en un bucle for que compruebe que T es una trayectoria vlida a (es decir, que cada arco de T es un arco de D ). [iv] Programar el mismo algoritmo, pero en un bucle while. [v] Construir una matriz que nos indique qu arcos recorre T y cuantas veces cada uno de ellos. e Cmo la formar o amos mediante un algoritmo? [vi] Como comprobar si T es un camino? Y una cola? as Cambia la manera de comprobarlo si T fuera una trayectoria cerrada?

ww w.

at

em

(b) Comprobar que T es una trayectoria vlida. Cul a a es su longitud? Es cerrada?

at

ic

2.1 Considerar en el digrafo D de la derecha, la trayectoria de v2 a v7 , T = v2 v1 v3 v2 v5 v4 v6 v5 v3 v4 v6 v7 .

om

v2 v4 v6 ' Es s s T d d s T d d d s d d d d d d d ds d s ' dc s v3 v5 v7