Ingeniera de Sistemas y Computacin

UNDAC

TEORIA DE GRAFOS
1. DEFINICIONES BSICAS
Un grafo G es un par (V,E) donde V es un conjunto (llamado conjunto de vrtices) y E un subconjunto de VxV (conjunto de aristas). Grficamente representaremos los vrtices por puntos y las aristas por lneas que los unen. Un vrtice puede tener 0 o ms aristas, pero toda arista debe unir exactamente 2 vrtices. Llamaremos orden de un grafo a su nmero de vrtices, |V|. Si |V| es finito se dice que el grafo es finito. En este curso estudiaremos los grafos finitos. Tambin supondremos, a no ser que se diga lo contrario, que entre dos vrtices hay, como mucho, una arista y que toda arista une dos vrtices distintos. Ademas en la presente secion se tratara el caso de grafos NO DIRIGIDOS. Aristas Si la arista carece de direccin se denota indistintamente {a,b} o {b,a}, siendo a y b los vrtices que une. Si {a,b} es una arista, a los vrtices a y b se les llama sus extremos. Vrtices Dos vrtices v, w se dice que son adyacentes si {v,w}A (o sea, si existe una arista entre ellos) Llamaremos grado de un vrtice al nmero de aristas de las que es extremo. Se dice que un vrtice es par o impar segn lo sea su grado. Caminos Sean x, y V, se dice que hay un camino en G de x a y si existe una sucesin finita no vaca de aristas {x,v1}, {v1,v2},..., {vn,y}. En este caso x e y se llaman los extremos del camino El nmero de aristas del camino se llama la longitud del camino. Si los vrtices no se repiten el camino se dice propio o simple. Si hay un camino no simple entre 2 vrtices, tambin habr un camino simple entre ellos.

camino cerrado.

Cuando los dos extremos de un camino son iguales, el camino se llama circuito o

Llamaremos ciclo a un circuito simple

Teora de la computacin Sesin 1-2

Ingeniera de Sistemas y Computacin

UNDAC

Un vrtice a se dice accesible desde el vrtice b si existe un camino entre ellos. Todo vrtice es accesible respecto a si mismo

Ejemplos de Grafos

1.- Grafo regular: Aquel con el mismo grado en todos los vrtices. Si ese grado es k lo llamaremos k-regular. Por ejemplo, el primero de los siguientes grafos es 3-regular, el segundo es 2-regular y el tercero no es regular

2.- Grafo bipartito: Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos de modo que no haya adyacencias entre vrtices pertenecientes al mismo conjunto Ejemplo.- de los dos grafos siguientes el primero es bipartito y el segundo no lo es

3.- Grafo completo: Aquel con una arista entre cada par de vrtices. Un grafo completo con n vrtices se denota Kn. A continuacin pueden verse los dibujos de K3, K4, K5 y K6

Todo grafo completo es regular porque cada vrtice tiene grado |V|-1 al estar conectado con todos los otros vrtices. Un grafo regular no tiene por qu ser completo.

Teora de la computacin Sesin 1-2

Ingeniera de Sistemas y Computacin

UNDAC

4.- Un grafo bipartido regular se denota Km,n donde m, n es el grado de cada conjunto disjunto de vrtices. A continuacin ponemos los dibujos de K1,2, K3,3, y K2,5

Proposicin.- La suma de los grados de los vrtices es igual al doble del nmero de aristas Demostracin Al realizar la suma de los grados de todos los vrtices, como cada arista tiene 2 extremos se cuenta exactamente 2 veces. Por tanto la suma de los grados de los vrtices es igual al doble del nmero de aristas

2. MATRIZ DE ADYACENCIA DE UN GRAFO Sea G un grafo de orden n. Llamaremos matriz de DG\DFHQFLD de G a la matriz nxn que llamaremos A = (aij) donde aij = 1 si {i,j}A, es decir si el Vi esta conectado directamente con Vj y aij = 0 en otro caso. La matriz de adyacencia siempre es simtrica porque aij = aji

Ejemplo:

v1 v2 v3 v4 v5

v1 0 1 1 0 0

v2 v3 v4 v5 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 1 0 0

v1

v2

v3 v5

v4

Definicin.- Un grafo G se dice conexo si cada par de vrtices est unido al menos por un camino.

3. GRAFOS EULERIANOS Y HAMILTONIANOS

Grafos eulerianos Llamaremos camino euleriano a un camino que contiene a todas las aristas del grafo, apareciendo cada una exactamente una vez. Un ciclo euleriano es un camino euleriano que comienza y acaba en el mismo vrtice.

Teora de la computacin Sesin 1-2

Ingeniera de Sistemas y Computacin

UNDAC

Definicin.- Un grafo que admite un ciclo euleriano diremos que es un grafo euleriano. Ejemplo: 1) 8 6 1 5 4 2 3

El primero no tiene ciclos ni caminos euleriano, El segundo tiene ciclo euleriano

Teorema.- Un grafo conexo G=(V,A) es euleriano todo vrtice tiene grado par. Proposicin.- Un grafo conexo tiene un camino abierto euleriano tiene exactamente dos vrtices de grado impar. Demostracin Aadimos un nuevo vrtice junto con dos aristas que lo unan a los dos vrtices que tenan grado impar. Ahora estos vrtices, al haberles aadido una arista a cada uno, tienen grado par y el nuevo vrtice tiene grado 2, por tanto, todos los vrtices son de grado par. Por el teorema anterior, tendremos un ciclo euleriano. Si en dicho ciclo quitamos ahora el vrtice y las dos aristas que habamos aadido, obtendremos un camino abierto que contiene exactamente una vez a cada arista de nuestro grafo original. Caminos hamiltonianos

Un camino hamiltoniano es un camino que recorre todos los vrtices de un grafo sin

pasar dos veces por el mismo vrtice. Si el camino es cerrado se dice un ciclo hamiltoniano

Un grafo G se dice hamiltoniano si tiene un ciclo hamiltoniano.

Nota.- A diferencia de los grafos eulerianos, no hay una caracterizacin de cuando un grafo tiene un ciclo o un camino hamiltoniano Teorema.- Si un grafo es conexo con |V|3 y para cada par de vrtices la suma de sus grados es mayor o igual que el nmero de vrtices entonces es hamiltoniano.

Teora de la computacin Sesin 1-2