Introduccin a la teora de grafos

GRAFOS
Un grafo es un conjunto de puntos (vrtices) en el espacio, que estn conectados por un conjunto de lneas (aristas). Otros conceptos bsicos son:

Dos vrtices son adyacentes si comparten la misma arista. Los extremos de una arista son los vrtices que comparte dicha arista. Un grafo se dice que es finito si su nmero de vrtices es finito.

Representacin grfica de un grafo Dado un grafo G = (V, E) donde V representacin grfica de G.

= {a, b, c, d, e} y E = {ab, bc, be, cd, de, ad}, constryase una

a /\ / \ b /-------\--------/ e \ \ / \ \/ \------c d
Debido a lo dificultoso de realizar dibujos mediante el lenguaje HTML, he propuesto este ejemplo para que en los ejemplos sucesivos, se haga una representacin grfica de un grafo uniendo los vrtices con las aristas dadas, tal y como se ha hecho en el dibujo.

Clases de grafos
Un multigrafo es un grafo con varias aristas entre dos vrtices. Un pseudografo es un grafo en el que hay aristas (lazos) que tienen el mismo extremo. Un digrafo es un grafo donde a cada arista se le indica un sentido mediante una flecha. Los multidigrafos o pseudomultidigrafos son combinaciones de los anteriores.

Identificacin de grafos

a) V

= {a, b, c, d} y E = {aa, ab, bc, cd, dd} Representa un pseudografo b) V = {a, b, c, d, e, f} y E = {b->a, b->c, c->d, d->e, e->f} Representa un digrafo c) V = {a, b, c, d} y E = {ab, 2*bc, cd, 2*da} Representa un multigrafo d) V = {a, b, c, d, e, f} y E = {ab, bc, cd, de, ef, fa, b->f, f->d} No representa un grafo

Teoremas
Dos grafos son isomorfos si tienen el mismo nmero de vrtices y aristas y, stas se corresponden con los mismos extremos. El grado del vrtice de un grafo (gr) es el nmero de aristas que tienen por extremo dicho vrtice. Si dos grafos son isomorfos, los vrtices que se corresponden tienen el mismo grado. Primer Teorema de la Teora de Grafos: todo grafo contiene un nmero par o cero de vrtices de grado impar.

Un subgrafo es un grafo que est contenido dentro de otro grafo y que se obtiene elimando algunas aristas y vrtices del grafo principal. Un grafo es regular si todos sus vrtices tienen el mismo grado k (k-regular). Un grafo es completo si cada par de vrtices son los extremos de una arista. Dos grafos completos con el mismo nmero de vrtices son isomorfos.

Subgrafos de un grafo Hallar todos los subgrafos del grafo:

a / \ / \ / \ ---------b c
Se realiza la lista de subgrafos del grafo de la figura por orden creciente al nmero de aristas (CV es el conjunto vaco): 1. Subgrafos con cero aristas: 1.1. Con un vrtice: grafo 1.1.1.: ({a}, CV) grafo 1.1.2.: ({b}, CV) grafo 1.1.3.: ({c}, CV) 1.2. Con dos vrtices: grafo 1.2.1.: ({a, b}, CV) grafo 1.2.2.: ({b, c}, CV) grafo 1.2.3.: ({a, c}, CV) 1.3. Con tres vrtices: grafo 1.3.1.: ({a, b, c}, CV) 2. Subgrafos con una arista: 2.1. Con dos vrtices: grafo 2.1.1.: ({a, b}, {ab}) grafo 2.1.2.: ({b, c}, {bc}) grafo 2.1.3.: ({a, c}, {ac}) 2.2. Con tres vrtices: grafo 2.2.1.: ({a, b, c}, {ab}) grafo 2.2.2.: ({a, b, c}, {bc}) grafo 2.2.3.: ({a, b, c}, {ac}) 3. Subgrafos con dos aristas: 3.1. Con tres vrtices: grafo 3.1.1.: ({a, b, c}, {ab, bc}) grafo 3.1.2.: ({a, b, c}, {ab, ac}) grafo 3.1.3.: ({a, b, c}, {ac, bc}) 4. Subgrafos con tres aristas: 4.1. Con tres vrtices: grafo 4.1.1.: ({a, b, c}, {ab, bc, ac})

CAMINOS
Un camino en un grafo es una sucesin finita en la que aparecen alternadamente vrtices y aristas de dicho grafo. Otras definiciones bsicas son:

Los extremos son los vrtices inicial y final del camino. La longitud de un camino es el nmero de aristas que contiene. Un camino es cerrado si sus extremos coinciden. Un camino es simple si en la sucesin de vrtices no hay ninguno repetido. Un ciclo es un camino cerrado donde los nicos vrtices repetidos son el primero y el ltimo. Un circuito es un camino cerrado que no repite aristas. Si en un grafo existe un camino que conecta dos vrtices distintos, entonces existe un camino simple con extremos en dichos vtices. Un grafo es conexo si para cada par de vrtices, existe un camino con extremos en dichos vrtices.

Caminos en un grafo Sea un grafo con V

= {a, b, c, d, e, f, g} y E = {ab, bc, cd, da, ca, ce, ef, fg, ge, ga}. g

a b c d

f e

Encontrar dentro del grafo (basta enumerar los vrtices):

Un camino que conecta b y f:

(b, a, g, f) Un camino simple de longitud 5 entre b y f: (b, a, d, c, e, f) Un camino de longitud 6 entre b y f: (b, a, d, c, e, g, f) Un camino cerrado con origen en f de longitud 6: (f, g, a, b, c, e, f) Un ciclo de longitud 3, otro de longitud 4 y otro de longitud 6: (b, a, c, b) - (a, c, e, g, a) - (f, g, a, b, c, e, f) Un circuito de longitud 9: (a, b, c, d, a, g, f, e, c, a)

Tipos de caminos
Camino euleriano: es un camino o circuito que contiene todas las aristas apareciendo cada una de ellas exactamente una vez. Un grafo que admite dicho circuito se denomina grafo euleriano, y sus vrtices o tienen grado par o dos de los vrtices tienen grado impar. Camino hamiltoniano: es un camino simple que contiene todos los vrtices apareciendo cada uno de ellos exactamente una vez. Un ciclo que a su vez es un camino hamiltoniano se denomina ciclo hamiltoniano, y un grafo que contiene un ciclo hamiltoniano se denomina grafo hamiltoniano.

Caminos eulerianos Dibujar un camino euleriano para el siguiente grafo:

a b f c d e

(c, b, f, c, d, f, e, b, a, e, d)

EXPLORACION
Los grafos son utilizados con frecuencia para representar vas y redes de comunicacin. Aqu se ofrece una forma matricial de representar un grafo. Se denomina matriz de adyacencia a una matriz cuyas entradas son unos y ceros siguiendo una ley: a cada emtrada mij le corresponde la arista dada por vivj. Segn sea grafo o digrafo ser: GRAFO DIGRAFO =================================================================== mij = 1 si vivj forma arista mij = 1 si vivj forma arista y orientacin = vi -> vj mij = 0 si vivj no forma arista mij = 0 si vivj no forma arista y orientacin = vj -> vi

Teoremas
Dos grafos con la misma matriz de adyacencia son isomorfos. Un rbol es un grafo conexo sin ciclos. Un grafo es un rbol si y slo si cada dos vrtices distintos se conectan por un nico camino simple. Un grafo es etiquetado si sus aristas tienen asignado un nmero. Se llama distancia de un grafo etiquetado a la longitud mnima del camino entre dos vrtices dados. Matriz de adyacencia de un grafo Con los siguientes vrtices:

1 2 3

4 23, 34, 45, 51, 13, 35}

Hallar la matriz de adyacencia del grafo {12,

|0 |1 |1 |0 |1

1 0 1 0 0

1 1 0 1 1

0 0 1 0 1

0| 0| 1| 1| 0| 2->3, 3->4, 4->5,5->1, 1->3, 5->3}

Hallar la matriz de adyacencia del digrafo {1->2,

|0 |0 |0 |0 |1

1 0 0 0 0

1 1 0 0 1

0 0 1 0 0

0| 0| 0| 1| 0|

Algoritmo de Dijkstra
Es un algoritmo que sirve para hallar la distancia ms corta entre dos vrtices de un digrafo. Sus reglas bsicas son: Se toma el vrtice inicial y se comprueba todas las direcciones posibles de salida. Se elige entre todos los vrtices el de la distancia mnima y se accede a l.

Desde el siguiente vrtice se efecta el mismo paso hasta llegar al vrtice final. El algoritmo recorre todos los caminos posibles hasta tener la distancia mnima entre ambos vrtices.

Hallar el camino ms corto Calcular la distancia desde el vrtice s hasta el vrtice t aplicando el Algoritmo de Dijkstra en el siguiente grafo etiquetado:

a s c

b t d sc=15, ac=6, ab=9, cd=7, cb=14, bd=10, bt=28, dt=36) a, b, t) donde d(s, t) = 55

Distancias: (sa=18,

El camino ms corto ser (s,

MAPAS
Definiciones
Un grafo se dice que es plano si admite una representacin grfica en el plano de modo que cada arista corta nicamente a otra arista en un vrtice que sea extremo de ambas. Una representacin de un grafo con estas condiciones se dice que es un mapa. Un mapa es conexo si el grafo que representa es conexo. Las regiones son las divisiones en varias partes de un plano. El grado de una regin es la longitud del camino que la bordea. La suma de los grados de las regiones de un mapa es igual al doble del nmero de aristas del grafo que representa.

Frmula de Euler
Sea M un mapa conexo con #R (nmero de regiones) que representa al grafo G con #V (nmero de vrtices) y con #E (nmero de aristas), entonces:

#V - #E + #R = 2 Teoremas
Si un grafo es plano conexo con #V

> 2, entonces #E <= 3#V - 6. Si en un grafo plano conexo con #V > 2, no existe ningn subgrafo isomorfo k3-regular, entonces #E <= 2#V - 4.
Dos regiones son adyacentes si los caminos que las bordean tienen alguna arista en comn. Una coloracin es una aplicacin de tal manera que dos vrtices contiguos no puedan tener el mismo color. Todo grafo plano admite una coloracin con cuatro colores. Un grafo es bipartito si existe una coloracin con slo dos colores, o si y slo si no tiene ciclos con longitud impar.

Ultima actualizacin: 3 de septiembre de 1997