Aqu se presentan algunos conceptos sobre la teora de grafos que son necesarios en el resto del libro.

Como ya hemos observado en los captulos anteriores, los grafos son herramientas muy tiles para definir sistemas expertos y otros modelos utilizados en el rea de la inteligencia artificial. Muchos de los resultados tericos de la teora de grafos pueden ser utilizados para analizar diversos aspectos de estos campos.

LAS APLICACIONES MS IMPORTANTES DE LOS GRAFOS SON LAS SIGUIENTES:

RUTAS ENTRE CIUDADES. DETERMINAR TIEMPOS MXIMOS Y MNIMOS EN UN PROCESO. FLUJO Y CONTROL EN UN PROGRAMA.

Grafo:

Para las matemticas y las ciencias de la computacin, un grafo es el principal objeto de estudio de la teora de grafos. De esta forma, un grafo se representa grficamente como un conjunto de puntos (llamados vrtices o nodos), unidos por lneas (aristas). Los grafos permiten estudiar las interrelaciones entre unidades que se encuentran en interaccin. Son diagramas que si se interpretan en forma adecuada proporcionan informacin, como por ejemplo los mapas, diagramas de circuitos o de flujos, entre otros

Un grafo est compuesto por dos conjuntos finitos.

Un conjunto de |A| aristas, Un conjunto de |V| vrtices J es la relacin de incidencia, que asocia a cada elemento de |A| un par de elementos de |V| Se denota G= { A, V, j}

Vrtices: Son los objetos representados por punto dentro del grafo

Aristas: son las lneas que unen dos vrtices

Aristas Adyacentes: dos aristas son adyacentes si convergen sobre el mismo vrtice

Aristas Mltiples o Paralelas: dos aristas son mltiples o paralelas si tienen los mismos vrtices en comn o incidente sobre los mismos vrtices Lazo: es una arista cuyos extremos inciden sobre el mismo vrtice

UNA ARISTA ES INCIDENTE A UN VRTICE SI STA LO UNE A OTRO VRTICE.

La arista a, es Incidente en los Vrtices A Y B.

Vrtice Aislado: Es un vrtice de grado cero

1 b c 4 2

Vrtice Pendiente: Es aquel grafo que contiene slo una arista, es decir tiene grado 1

f c d

Cruce: Son intersecciones de las aristas en puntos diferentes a los vrtices

Grafo Sencillo o Simple: Se dice que un Grafo G es simple si no tiene aristas cclicas y existe una sola arista entre dos vrtices. Tambin puede ser aquel que no contiene lazos, ni aristas paralelas o dirigidas.

c 4 d

b a

Grafo Completo: Un grafo es completo si cada vrtice tiene un grado igual a n-1, donde n es el nmero de vrtice que componen el grafo. Para saber el nmero mximo de aristas que posee un grafo completo se aplica la formula. A=(n*(n-1))/2

Existen dos tipos de grafos los no dirigidos y los dirigidos.

No dirigidos: son aquellos en los cuales los lados no estn orientados (no son flechas). Cada lado se representa entre parntesis, separando sus vrtices por comas, y teniendo en cuenta (vi,vj)=(vj,vi). Figuras 1 y 2. Dirigidos: son aquellos en los cuales los lados estn orientados (flechas). Cada lado se representa entre ngulos, separando sus vrtices por comas y teniendo en cuenta <vi ,vj>=<Vj ,vi>. En grafos dirigidos, para cada lado <a,b>, a, el cual es el vrtice origen, se conoce como la cola del lado y b, el cual es el vrtice destino, se conoce como cabeza del lado. Figura 3

Grafo no Simple: Grafo no dirigido que tiene lados paralelos y lazos.

e1 v1 v2 e3 v3 e5

e1 y e2 : aristas paralelas
e3 y e4 : aristas paralelas e5 : lazo

e2

e4

Grado o Valencia de un Vrtice: Es el nmero de aristas que inciden sobre un vrtice

1 b
j e f 4 h i

3 d g 5

G(1)=6

g(2)=3 g(3)=3 g(4)=3

g(5)=3

Grado Regular: Un grafo G simple, se dice que es K-regular, si todo vrtice de G incide exactamente K-aristas, donde K es una constante.
Es decir, tiene igual nmero de arista en todos sus vrtices.
1 b c

d
e 2 4 a

f 3

CICLO DE EULER
Recorrer todas las aristas del grafo sin repetirlas.
a

a, b, c, d, e, d, f, e, c, a
b c

Ciclo de Euler
d e a b c

Encuentre el ciclo de Euler en el siguiente Grafo:

f

e i

g j

CICLO DE HAMILTON
Recorrer todos los vrtices del grafo sin repetirlos, excepto el V0 y Vn que son el mismo.
a b c

a, e, b, g, c, h, j, f, i, d, a
d e f g h

Ciclo de Hamilton
i j a b

Encuentre el ciclo de Hamilton en el siguiente Grafo:

Una matriz de adyacencia es aquella que muestra de la forma mas rustica cmo est compuesto un grafo, esto es que dnde se coloque un uno se representa como una arista que una los dos nodos y con cero donde no hay unin.

Nota: Se puede obtener el Grafo a partir de la matriz de Adyacencia.

GRAFOS DIRIGIDOS Y NO DIRIGIDOS

INTRODUCCION
Los grafos son estructuras de datos Representan relaciones entre objetos

Dado un escenario donde ciertos objetos se relacionan, se puede modela el grafo y luego aplicar algoritmos para resolver diversos problemas

Relaciones arbitrarias, es decir No jerrquicas

Impresora
PC1

Son aplicables en

Qumica Geografa Ing. Elctrica e Industrial, etc. Modelado de Redes

De alcantarillado Elctricas Etc.

Modem

Servidor

PC2

DEFINICION

Un grafo G = (V,A)
Representan los objetos

V, el conjunto de vrtices o nodos A, el conjunto de arcos

Representan las relaciones
V = {1, 4, 5, 7, 9}
A= {(1,4), (5,1), (7,9), (7,5), (4,9), (4,1), (1,5), (9,7), (5, 7), (9,4)}

1 5

TIPOS DE GRAFOS
C E

F D
V = {C, D, E, F, H} A= {(C,D), (D,F), (E,H), (H,E), (E,C)}

Grafos dirigidos
Si los pares de nodos que forman arcos Son ordenados. Ej.: (u->v)
1 4

Grafos no dirigidos

5 7
9

Si los pares de nodos de los arcos No son ordenados Ej.: u-v

Grafo del ejemplo anterior

GRAFOS TRIANGULADOS
Los grafos triangulados son un tipo especial de grafos no dirigidos que tienen muchas aplicaciones practicas interesantes en varios campos.

Un grafo no dirigido se denomina triangulado, o cordal, si cada bucle de longitud mayor o igual que cuatro contiene al menos una cuerda. Si un grafo no es triangulado, es posible convertirlo en triangulado aadiendo cuerdas que dividan los bucles. Este proceso se denomina rellenado o triangulacin Es importante destacar que triangular un grafo no consiste en dividirlo en tringulos.