TEORA DE GRAFOS En matemticas y ciencias de la computacin, un grafo (del griego grafos: dibujo, imagen) o grfica es el principal objeto de estudio

de la teora de grafos. Informalmente, un grafo es un conjunto de objetos llamados vrtices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto. Tpicamente, un grafo se representa grficamente como un conjunto de puntos (vrtices o nodos) unidos por lneas (aristas). Desde un punto de vista prctico, los grafos permiten estudiar las interrelaciones entre unidades que interactan unas con otras. Por ejemplo, una red de computadoras puede representarse y estudiarse mediante un grafo, en el cual los vrtices representan terminales y las aristas representan conexiones (las cuales, a su vez, pueden ser cables o conexiones inalmbricas). Prcticamente cualquier problema puede representarse mediante un grafo, y su estudio trasciende a las diversas reas de las ciencias exactas y las ciencias sociales. 6.1 ELEMETOS Y CARACTERSTICAS DE LOS GRAFOS El trabajo de Leonard Euler, en 1736, sobre el problema de los puentes de Knigsberg es considerado el primer resultado de la teora de grafos. Tambin se considera uno de los primeros resultados topolgicos en geometra (que no depende de ninguna medida). Este ejemplo ilustra la profunda relacin entre la teora de grafos y la topologa.

En 1845 Gustav Kirchhoff public sus leyes de los circuitos para calcular el voltaje y la

corriente en los circuitos elctricos. En 1852 Francis Guthrie plante el problema de los cuatro colores que plantea si es posible, utilizando solamente cuatro colores, colorear cualquier mapa de pases de tal forma que dos pases vecinos nunca tengan el mismo color. Este problema, que no fue resuelto hasta un siglo despus por Kenneth Appel y Wolfgang Haken, puede ser considerado como el nacimiento de la teora de grafos. Al tratar de resolverlo, los matemticos definieron trminos y conceptos tericos fundamentales de los grafos. En matemticas y en ciencias de la computacin, la teora de grafos (tambin llamada teora de las grficas) estudia las propiedades de los grafos (tambin llamadas grficas). Un grafo es un conjunto, no vaco, de objetos llamados vrtices (o nodos) y una seleccin de pares de vrtices, llamados aristas (edges en ingls) que pueden ser orientados o no. Definicin de grafo Un grafo G (x, E) consta de un conjunto de elementos x, denominados nodos o vrtices, y un listado de parejas de vrtices E que expresa las relaciones entre dichos elementos. Si no se considera el orden de los vrtices en cada pareja, dichos pares se denominan aristas, y decimos que el grafo es no orientado. Si se consideran las relaciones, el par de aristas se llama arco y el grafo es orientado. Un grafo no orientado puede siempre convertirse en orientado, expresando la doble relacin entre los vrtices. Nodo El nodo es la unidad sobre la que se construye el rbol y puede tener cero o ms nodos hijos conectados a otros

Aristas Son las lneas con las que se unen las aristas de un grafo y con la que se construyen tambin caminos. Aristas Adyacentes: Se dice que dos aristas son adyacentes si coinciden en el mismo vrtice.

Aristas Paralelas: Se dice que dos aristas son paralelas si vrtice inicial y el final son el mismo. Aristas Cclicas: Arista que parte de un vrtice para entrar en el mismo. Cruce: Son dos aristas que cruzan en un puntos. Vrtices: Son los puntos o nodos con los que esta conformado un grafo. 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. Vrtices Adyacentes: si tenemos un par de vrtices de un grafo (U, V) y si tenemos un arista que los une, entonces U y V son vrtices adyacentes y se dice que U es el vrtice inicial y V el vrtice adyacente. Vrtice Aislado: Es un vrtice de grado cero. Vrtice Terminal: Es un vrtice de grado 1 Camino Cuando no termina en un mismo punto CARACTERIZACIN DE GRAFOS Grafos Simples Un grafo es simple si a lo ms slo 1 arista une dos vrtices cualesquiera. Esto es equivalente a decir que una arista cualquiera es el nico que une dos vrtices especficos. Un grafo que no es simple se denomina complejo. Grafos Conexos Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible desde a hacia b. Un grafo es fuertemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo.

Es posible determinar si un grafo es conexo usando un algoritmo Bsqueda en anchura (BFS) o Bsqueda en profundidad (DFS). En trminos matemticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer en base a l una relacin de equivalencia para sus vrtices, la cual lleva a una particin de stos en "componentes (fuertemente) conexas", es decir, porciones del grafo, que son (fuertemente) conexas cuando se consideran como grafos aislados. Esta propiedad es importante para muchas demostraciones en teora de grafos. GRAFOS COMPLETOS Un grafo simple es completo si existen aristas uniendo todos los pares posibles de vrtices. Es decir, todo par de vrtices (a, b) debe tener una arista e que los une. El conjunto de los grafos completos es denominado usualmente, siendo el grafo completo de n vrtices. Un Kn, es decir, grafo completo de n vrtices tiene exactamente aristas. La representacin grfica de los Kn como los vrtices de un polgono regular da cuenta de su peculiar estructura. GRAFOS BIPARTITOS Un grafo G es bipartito si puede expresarse como (es decir, la unin de dos grupos de vrtices), bajo las siguientes condiciones: * V1 y V2 son disjuntos y no vacos. * Cada arista de A une un vrtice de V1 con uno de V2. * No existen aristas uniendo dos elementos de V1; anlogamente para V2. Bajo estas condiciones, el grafo se considera bipartito, y puede describirse informalmente como el grafo que une o relaciona dos conjuntos de elementos diferentes, como aquellos resultantes de los ejercicios y puzzles en los que debe unirse un elemento de la columna A con un elemento de la columna B. GRAFOS PONDERADOS En muchos casos, es preciso atribuir a cada arista un nmero especfico, llamado valuacin, ponderacin o coste segn el contexto, y se obtiene as un grafo valuado. Formalmente, es un grafo con una funcin v: A R+.

Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre s por carreteras; su inters previsible ser minimizar la distancia recorrida (o el tiempo, si se pueden prever atascos). El grafo correspondiente tendr como vrtices las ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas. Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima, pero s para los caminos desde a hasta b, sin ms condicin. 6.1.1 COMPONENTES DE UN GRAFO (VERTICES, ARISTAS, LAZOS, VALENCIA) Vrtice (teora de grafos) En teora de grafos, un vrtice o nodo es la unidad fundamental de la que estn formados los grafos. Un grafo no dirigido est formado por un conjunto de vrtices y un conjunto de aristas (pares no ordenados de vrtices), mientras que un grafo dirigido est compuesto por un conjunto de vrtices y un conjunto de arcos (pares ordenados de vrtices). En este contexto, los vrtices son tratados como objetos indivisibles y sin propiedades, aunque puedan tener una estructura adicional dependiendo de la aplicacin por la cual se usa el grafo; por ejemplo, una red semntica es un grafo en donde los vrtices representan conceptos o clases de objetos. Los dos vrtices que conforman una arista se llaman puntos finales y esa arista se dice que es incidente a los vrtices. Un vrtice w es adyacente a otro vrtice v si el grafo contiene una arista (v,w) que los une. La vecindad de un vrtice v es un grafo inducido del grafo, formado por todos los vrtices adyacentes a v. Vrtices y grados El grado de un vrtice en un grafo es el nmero de aristas incidentes a l. Un vrtice aislado es un vrtice con grado cero; esto es, un vrtice que no es punto final de ninguna arista. Un vrtice hoja es un vrtice con grafo uno. En un grafo dirigido, se puede distinguir entre grado de salida (outdegree, nmero de aristas que salen del vrtice) y grado de entrada (indegree, nmero de aristas que llegan al vrtice); un vrtice fuente es un vrtice con grado de entrada cero, mientras que un vrtice hundido es un vrtice con grado de salida cero. Conexiones de vrtices Un vrtice de corte es un vrtice que al removerlo desconecta al grafo restante. Un conjunto independiente es un conjunto de vrtices tal que ninguno es adyacente a otro, y una cobertura de vrtices es un conjunto de vrtices que incluye los puntos finales de cada arista en un grafo.

Arista (teora de grafos) En teora de grafos las aristas, junto con los vrtices, forman los elementos principales con los que trabaja esta disciplina, siendo consideradas las aristas las uniones entre nodos o vrtices (vase la primera figura). Usualmente las aristas denotan relaciones entre los vrtices (vecindad, herencia, orden, etc.) y, como ejemplo, se usan para delimitar regiones en un plano a partir de una nube de puntos (que seran los nodos). Aristas dirigidas y no dirigidas En algunos casos es necesario asignar un sentido a las aristas, por ejemplo, si se quiere representar la red de las calles de una ciudad con sus direcciones nicas. El conjunto de aristas ser ahora un subconjunto de todos los posibles pares ordenados de vrtices, con (a, b) (b, a). Los grafos que contienen aristas dirigidas se denominan grafos orientados. Las aristas no orientadas se consideran bidireccionales para efectos prcticos (equivale a decir que existen dos aristas orientadas entre los nodos, cada una en un sentido). En el grafo anterior se ha utilizado una arista que tiene sus dos extremos idnticos: es un lazo (o bucle), y aparece tambin una arista bidireccional, y corresponde a dos aristas orientadas. Aqu V = { a, b, c, d, e }, y A = { (a, c), (d, a), (d, e), (a, e), (b, e), (c, a), (c, c), (d, b) }. Se considera la caracterstica de grado (positivo o negativo) de un vrtice v (y se indica como (v)), como la cantidad de aristas que llegan o salen de l; para el caso de grafos no orientados, el grado de un vrtice es simplemente la cantidad de aristas incidentes a este vrtice. Por ejemplo, el grado positivo (salidas) de d es 3, mientras que el grado negativo (llegadas) de d es 0. Segn la terminologa seguida en algunos problemas clsicos de Investigacin Operativa (p.ej.: el Problema del flujo mximo), a un vrtice del que slo salen aristas se le denomina fuente (en el ejemplo anterior, el vrtice d); tiene grado negativo 0. Por el contrario, a aquellos en los que slo entran aristas se les denomina pozo o sumidero (en el caso anterior, el vrtice e); tiene grado positivo 0. Subgrafo Un subgrafo de un grafo G es un grafo cuyos conjuntos de vrtices y aristas son subconjuntos de los de G. Se dice que un grafo G contiene a otro grafo H si algn subgrafo

de G es H o es isomorfo a H (dependiendo de las necesidades de la situacin). El subgrafo inducido de G es un subgrafo G de G tal que contiene todas las aristas adyacentes al subconjunto de vrtices de G. VERTICES En teora de grafos, un vrtice o nodo es la unidad fundamental de la que estn formados los grafos. Un grafo no dirigido est formado por un conjunto de vrtices y un conjunto de aristas (pares no ordenados de vrtices), mientras que un grafo dirigido est compuesto por un conjunto de vrtices y un conjunto de arcos (pares ordenados de vrtices). En este contexto, los vrtices son tratados como objetos indivisibles y sin propiedades, aunque puedan tener una estructura adicional dependiendo de la aplicacin por la cual se usa el grafo; por ejemplo, una red semntica es un grafo en donde los vrtices representan conceptos o clases de objetos. Los dos vrtices que conforman una arista se llaman puntos finales ("endpoints", en ingls), y esa arista se dice que es incidente a los vrtices. Un vrtice w es adyacente a otro vrtice v si el grafo contiene una arista (v,w) que los une. La vecindad de un vrtice v es un grafo inducido del grafo, formado por todos los vrtices adyacentes a v. Vrtices y grados El grado de un vrtice en un grafo es el nmero de aristas incidentes a l. Un vrtice aislado es un vrtice con grado cero; esto es, un vrtice que no es punto final de ninguna arista. Un vrtice hoja es un vrtice con grado uno. En un grafo dirigido, se puede distinguir entre grado de salida ("outdegree", nmero de aristas que salen del vrtice) y grado de entrada ("indegree", nmero de aristas que llegan al vrtice); un vrtice fuente es un vrtice con grado de entrada cero, mientras que un vrtice hundido es un vrtice con grado de salida cero. Conexiones de vrtices Un vrtice de corte es un vrtice que al removerlo desconecta al grafo restante. Un conjunto independiente es un conjunto de vrtices tal que ninguno es adyacente a otro, y una cobertura de vrtices es un conjunto de vrtices que incluye los puntos finales de cada arista en un grafo. Vrtices etiquetados En el contexto de enumeracin e isomorfismo de grafos, es importante distinguir entre

vrtices etiquetados y vrtices no etiquetados. Los vrtices etiquetados son aquellos que estn asociados con informacin extra mediante etiquetas, que los hace distinguibles entre s; dos grafos son isomorfos slo si existe una correspondencia entre sus pares de vrtices con igual etiqueta. Un vrtice no etiquetado es uno que puede ser sustituido por cualquier otro vrtice basado slo en sus adyacencias en el grafo, y no en informacin adicional a ste. Vecindad de un vrtice La vecindad de un vrtice x, denotado como esta dado por todos los vrtices adyacentes a x. 6.1.2 TIPOS DE GRAFOS (SIMPLES, COMPLETOS, DIPARTIDOS, PLANOS, CONEXOS, PONDERADOS) GRAFOS SIMPLES Un grafo simple G = (V,E) consta de un conjunto no vaco de Vrtices V, y E, un conjunto de parejas no ordenadas de elementos distintos de V llamadas aristas. Figura: ejemplo de un grafo simple E = {{ Jamund, Cali}, {Yumbo, Cali}, {Yumbo, Palmira}, . . .} GRAFOS COMPLETOS En teora de grafos, un grafo completo es un grafo simple donde cada par de vrtices est conectado por una arista. Un grafo completo de n vrtices tiene n(n 1) / 2 aristas, y se nota Kn. Es un grafo regular con todos sus vrtices de grado n 1. Ningn grafo completo tiene lazos y est conectado totalmente, por ende, la nica forma de hacer disconexo el grafo con una eliminacin de vrtices es aplicarla a todos. El teorema de Kuratowski dice que un grafo planar no puede contener K5 ( el grafo bipartito completo K3,3) y todo Kn incluye a Kn 1, entonces ningn grafo completo Kn con es planar. Ejemplos: Los grafos completos de 1 a 12 vrtices son los siguientes:

* K1:0 * K2:1 * K3:3 * K4:6 * K5:10 * K6:15 * K7:21 * K8:28 * K9:36 * K10:45 * K11:55 * K12:66 GRAFOS DIPARTIDOS Un Grafo bipartito se denomina en Teora de grafos a un grafo cuyos vrtices se pueden separar en dos conjuntos disjuntos V1 y V2 y las aristas siempre unen vrtices de un conjunto con vrtices de otro: * * * no existe ninguna arista e = x1,x2 ni e = y1,y2 Siendo V el conjunto que contiene todos los vrtices del grafo. Los grafos bipartitos suelen representarse

1 2 3 4 5

Denunciar |

grficamente con dos columnas (o filas) de vrtices y las aristas uniendo vrtices de columnas (o filas) diferentes. Los dos conjuntos U y V pueden ser pensados como un coloreo del grafo con dos colores: si pintamos los vrtices en U de azul y los vrtices deV de verde obtenemos un grafo de dos colores donde cada arista tiene un vrtice azul y el otro verde. Por otro lado, si un grfico no tiene la propiedad de que se puede colorear con dos colores no es bipartito. Un grafo bipartito suele con la particin de los vrtices en U y V suele denotarse G = (U, V, E). Si |U| =|V|, esto es, si los dos subconjuntos tiene la misma cantidad de elementos, decimos que el grafo bipartito G es balanceado. Ejemplos * Todo grafo sin ciclos con cantidad de nodos impar es bipartito. Como consecuencia de esto: * Todo rbol es bipartito. * Los grafos cclicos con un nmero par de vrtices son bipartitos. * Todo grafo planar donde todas las caras tienen un nmero par de aristas es bipartito. GRAFOS PLANOS Definicin y ejemplos

En teora de grafos, un grafo plano (o planar segn referencias) es un grafo que puede ser dibujado en el plano sin que ninguna arista se interseque (una definicin ms formal puede ser que este grafo pueda ser "embebido" en un plano). Un grafo no es plano si no puede ser dibujado sobre un plano sin que sus aristas se intersequen. Los grafos K5 y el K3,3 son los grafos no planos minimales,

lo cual nos permitirn caracterizar el resto de los grafos no planos. Teorema de Kuratowski El matemtico polaco Kazimierz Kuratowski encontr una caracterizacin de los grafos planos, conocida como el teorema de Kuratowski: Un grafo es plano si y solo si no contiene un subgrafo que es una subdivisin elemental de K5 (el grafo completo de 5 vrtices) o K3,3 (el grafo bipartito completo de 6 vrtices). Una subdivisin elemental de un grafo resulta de insertar vrtices en las aristas (por ejemplo, cambiando por ). Una formulacin equivalente a este teorema es: Un grafo es plano s y solo s no contiene ningn subgrafo homeomorfo a K5 K3,3. Otros criterios para determinar si un grafo es plano En la prctica, es difcil usar el teorema de Kuratowski para decidir rpidamente si un grafo es plano. Sin embargo, existe un algoritmo rpido para este problema: dado un grafo de n vrtices y e el nmero de aristas, es posible determinar en tiempo O(n) (lineal) si el grafo es plano o no, utilizando los dos teoremas siguientes: Teorema 1. Si n 3 entonces e 3n - 6 Teorema 2. Si n > 3 y no existen ciclos de longitud 3, entonces e 2n - 4 El grafo K3,3, por ejemplo, tiene 6 vrtices, 9 aristas y ningn ciclo de longitud 3. Por el teorema 2, no puede ser plano. Ntese que estos teoremas estn construidos con una implicacin unidireccional (si), y no bicondicional (si y solo si) y por tanto, solamente pueden ser usados para probar que el grafo no es plano, pero no que sea plano. Si ambos teoremas fallan, deben usarse otros mtodos. Frmula de Euler

La frmula de Euler enuncia que si un grafo conexo, plano es dibujado sobre un plano sin interseccin de aristas, y siendo v el nmero de vrtices, e el de aristas y f la cantidad de caras (regiones conectadas por aristas, incluyendo la regin externa e infinita), entonces: v e + f = 2, Por ejemplo, la Caracterstica de Euler es 2. De manera ms ilustrativa, en los ejemplos anteriores, en el primer grafo plano tenemos: v=6, e=7 y f=3. Si el segundo grafo se redibuja sin las intersecciones de aristas, tenemos v=4, e=6 y f=4. La frmula de Euler se puede probar de la siguiente manera: si el grafo no es un rbol, entonces se elimina una arista que completa un ciclo. Esto disminuye el valor de e y f en uno, dejando v e + f constante. Reptase hasta llegar a un rbol. Los rboles tienen v = e + 1 y f = 1, verificando la frmula v - e + f = 2. En un grafo simple, conexo y plano, cualquier regin (posiblemente exceptuando la exterior) est conectada por al menos tres aristas y cada arista toca como muchas dos regiones. Usando la frmula de Euler, se puede demostrar que estos grafos son escasos en el sentido que e 3v - 6 si v 3. Se le dice plano mxima al grafo que es plano pero al agregarle cualquier arista dejase de serlo. Todas las regiones (incluso la externa) estn conectadas por tres aristas, explicando la definicin alternativa de triangular para este tipo de grafos. Si un grafo triangular tiene v vrtices con v > 2, entonces tiene exactamente 3v - 6 aristas y 2v - 4 regiones. Ntese que la frmula de Euler tambin es vlida para poliedros simples. No es una casualidad: cada poliedro simple se puede ver como un grafo plano y conexo usando los vrtices del poliedro como vrtices del grafo, y las aristas del poliedro como aristas del grafo. Las caras o regiones del grafo plano resultante corresponden a las caras del poliedro. Por ejemplo, el segundo grafo plano del ejemplo corresponde a un tetraedro. Alternativamente, no todos los grafos planos y simples corresponden a un poliedro (los rboles, por ejemplo). Un teorema de Ernst Steinitz dice que los grafos planos formados a partir de poliedros convexos son precisamente los grafos planos simples y triangulares. GRAFOS CONEXOS Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible desde a hacia b.

Un grafo es doblemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo. Es posible determinar si un grafo es conexo usando un algoritmo Bsqueda en anchura (BFS) o Bsqueda en profundidad (DFS). En trminos matemticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer con base en l una relacin de equivalencia para sus vrtices, la cual lleva a una particin de stos en "componentes (fuertemente) conexas", es decir, porciones del grafo, que son (fuertemente) conexas cuando se consideran como grafos aislados. Esta propiedad es importante para muchas demostraciones En teora de grafos. En teora de grafos, un grafo G se dice conexo, si para cualquier par de vrtices a y b en G, existe al menos una trayectoria (una sucesin de vrtices adyacentes que no repita vrtices) de a a b. Definiciones Relacionadas Un grafo dirigido tal que para cualesquiera dos vrtices a y b existe un camino dirigido de ida y de regreso se dice grafo fuertemente conexo. Un conjunto de corte de vrtices U en un grafo G, es un conjunto de vrtices de G, tal que G-U no es conexo o trivial. Similarmente, un conjunto de corte de aristas F es un conjunto de aristas tal que G-F no es conexo. Solucin Computacional El problema computacional de determinar si un grafo es conexo, puede ser resuelto con algunos algoritmos como el MFMC (max-flow, min-cut). Algoritmo Ejemplo de algoritmo iterativo implementado en C++ para determinar si un grafo es conexo utilizando bsqueda en profundidad, donde _n es la cantidad de vrtices y _graph denota la matriz de adyacencia bool Graph::is_connected() { if( _n <= 1 ) return true;

vector<bool> visit(_n); vector<bool>::iterator iter; for(iter=visit.begin();iter!= visit.end();iter++) *iter=false; set<int> forvisit; set<int>::iterator actual; forvisit.insert(0); while( !forvisit.empty() ) { actual = (forvisit.begin()); if( visit[*actual] == false ) { for(int i=0;i<_n;i++) { if( _graph[*actual][i] == 1 && !visit[i]) forvisit.insert(i); } } visit[*actual]= true; forvisit.erase(actual); } bool result; for(iter=visit.begin();iter!= visit.end();iter++) result = result && *iter; return result; } GRAFOS PONDERADOS En muchos casos, es preciso atribuir a cada arista un nmero especfico, llamado valuacin, ponderacin o coste segn el contexto, y se obtiene as un grafo valuado. Formalmente, es un grafo con una funcin v: A R+. Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre s por carreteras; su inters previsible ser minimizar la distancia recorrida (o el tiempo, si se pueden prever atascos). El grafo correspondiente tendr como vrtices las ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas.

Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima, pero s para los caminos desde a hasta b, sin ms condicin. Entradas correspondientes a la etiqueta 'grafos ponderados'. En esta clase hemos dado a toda prisa el ltimo tema que nos va a entrar a examen. * Un grafo simple dirigido diremos que es grafo ponderado si tiene asociado una funcin W: A > R llamada funcin de ponderacin. La imagen de cada arco determinada por los vrtices Vi y Vj la llamaremos peso del arco y lo denotaremos por Wij. * Sea G un grafo ponderado finito, llamaremos matriz de peso del grafo G a la siguiente matriz de orden nxn: W=[Aij] / Aij = { Wij si (Vi, Vj) pertenecen a A; { infinito si (Vi, Vj) no pertenecen a A; * En un grafo ponderado llamamos peso de un camino a la suma de los pesos de los arcos que lo forman. * En un grafo ponderado llamamos camino ms corto entre dos vrtices al camino de peso mnimo entre dichos vrtices. * En un grafo ponderado llamamos camino ms largo (o crtico) entre dos vrtices al camino de peso mximo entre dichos vrtices. CAMINOS MS CORTOS Suponemos que: * los pesos asociados a los arcos son todos no negativos. * el grafo es dirigido. * los vrtices estn numerados de 1 a n, de forma que Wij representa el peso del arco (i,j) y que el vrtice 1 es el origen del camino. Adems, Uj denotar el peso del camino ms corto de 1 a j. Teorema: Sea 1, ., k, .., j un

camino ms corto entre los vrtices 1 y j de un grafo ponderado G. Entonces las secciones de este camino 1, .., k, .., j son los caminos ms cortos entre los vrtices respectivos. Corolario: Supongamos que en un grafo ponderado tenemos un camino ms corto entre los vrtices 1 y j. Sea k el vrtice inmediatamente anterior a j en este camino. Entonces la seccin de este camino desde 1 a k es el camino ms corto entre estos dos vrtices. Adems: Uj= Uk + Wkj Ecuaciones de Bellman U1 = 0 Uj = min{Uk + Wkj}

j = 2, ., n

(siendo k diferente de j)

GRAFOS ACCLICOS. MTODO DEL CAMINO CRTICO Teorema: Un grafo dirigido no tiene circuitos si y slo si existe una numeracin de los vrtices para la que se cumple que si (i,j) es un arco del grafo entonces i < j. Con esta numeracin, las ecuaciones de Bellman quedan as: U1 = 0 Uj = min[Uk + Wkj} 6.2 j = 2, . , n (siendo k < j)

REPRESENTACIN DE LOS GRAFOS

Hay diversas formas de representar los grafos, y la ms conveniente depende de la aplicacin que tengamos en mente. Una de las formas es listar los nodos que son adyacentes a cada nodo. Esto se denomina la lista de adyacencia del grafo. Otra forma es representar la adyacencia por medio de una matriz, denominada la matriz de adyacencia. Representacin de grafos. Matriz de incidencia. Matriz de adyacencia. Dado un grafo G = (V, E) con n vrtices {v1, ..., vn} su matriz de adyacencia es la matriz de orden nn, A(G)=(aij) donde aij es el nmero de aristas que unen los vrtices vi y vj. Ejemplo 1.4.2.

La matriz de adyacencia de un grafo es simtrica. Si un vrtice es aislado entonces la correspondiente fila (columna) esta compuesta slo por ceros. Si el grafo es simple entonces la matriz de adyacencia contiene solo ceros y unos (matriz binaria) y la diagonal esta compuesta slo por ceros. Dado un grafo simple G = (V, E) con n=|V| vrtices {v1,..., vn} y m=|E| aristas {e1, ..., em}, su matriz de incidencia es la matriz de orden nxm, B(G)=(bij), donde bij=1 si vi es incidente con ej y bij=0 en caso contrario. Ejemplo 1.4.4. La matriz de incidencia slo contiene ceros y unos (matriz binaria). Como cada arista incide exactamente en dos vrtices, cada columna tiene exactamente dos unos. El nmero de unos que aparece en cada fila es igual al grado del vrtice correspondiente. Una fila compuesta slo por ceros corresponde a un vrtice aislado. Dado un grafo dirigido o dgrafo D = (V, E) con n vrtices {v1, ..., vn} su matriz de adyacencia es la matriz de orden nn, A(D)=(aij) donde aij es el nmero de arcos que tienen a vi como extremo inicial y a vj como extremo final. Ejemplo 1.4.6. La matriz de adyacencia de un dgrafo no es simtrica. Es una matriz binaria. El nmero de unos que aparecen en una fila es igual al grado de salida del correspondiente vrtice y el nmero