Aristas Son las lneas con las que se unen las aristas de un grafo y con la que se construyen tambin

caminos. 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.
y

Aristas Adyacentes: Se dice que dos aristas son adyacentes si convergen 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 punto.

y y

Vrtices Son los puntos o nodos con los que est 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.
y

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.

y y

Representacin de caminos Camino: Un camino en un grafo es una secuencia de nodos del grafo tales que cada pareja consecutiva est conectada por un arco. Camino simple: Es un camino en el que cada nodo ocurre una sola vez en la secuencia. Es un camino que no repite vrtices. Un ciclo es un camino cerrado donde los nicos vrtices repetidos son el primero y el ltimo.

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. Teoremas de grafos

Dos grafos son isomorfos si tienen el mismo nmero de vrtices y aristas y, estas 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 esta contenido dentro de otro grafo y que se obtiene eliminando 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. Los puentes de Knigsberg Knigsberg (actualmente Kaliningrado, Rusia) era una ciudad de Prusia del siglo XVIII. El problema que nos ocupa tiene como protagonista a un ro, el ro Pregel, que cruzaba la ciudad, a dos islas que se encontraban en el mismo y a siete puentes que comunicaban las dos partes de la ciudad con las mismas. Concretamente la situacin era como se describe en la imagen ( y son las dos partes de la ciudad y y las dos islas):

El problema consista en comenzar en un punto, pasar por los siete puentes sin repetir ninguno y volver al punto de partida. Antes de seguir leyendo podis intentarlo vosotros mismos, aunque os recomiendo que no le dediquis demasiado tiempo. Resolucin del problema Para empezar, quin resolvi el problema? Pues como ya sabis los que conocais el problema y como habris intuido los que no lo conocais fue Leonhard Euler quien dio solucin a este asunto. La idea genial de Euler fue representar la ciudad de Knigsberg como un grafo en el que las cuatro partes de la misma eran los vrtices y los siete puentes eran las aristas:

Por tanto el problema de los puentes de Knigsberg pasa a ser un problema de teora de grafos cuya solucin public Euler en su artculo Solucin de un problema relativo a la geometra de posicin. Segn las definiciones que hemos visto en el punto anterior lo que queremos saber es si este grafo en euleriano, es decir, si contiene un circuito euleriano (es decir, un camino que contiene a todas las aristas del grafo sin que ninguna se repita y que comienza y termina en el mismo vrtice). Vamos a demostrar el siguiente resultado: Teorema:

Un grafo es euleriano y sin vrtices aislados vrtices es par. Demostracin:



es conexo y el grado de todos sus

Si es euleriano entonces contiene un circuito euleriano y como no tiene vrtices aislados entonces cualquier par de vrtice y estn conectados por la parte del circuito que va de a . Por tanto es conexo. Por otra parte, como es euleriano contiene un circuito euleriano, es decir, un camino simple y cerrado que contiene a todas las aristas. Por tanto por cada arista que llegue a un vrtice debe haber otra que salga del mismo y en consecuencia el grado de cada vrtice es un nmero par. Partimos de que es conexo y todos sus vrtices tienen grado par. Si el nmero de aristas de es 1 2 el resultado es inmediato. Procedemos por induccin: supongamos que tiene aristas y que el resultado es cierto para los grafos que cumplan las condiciones y tengan menos de aristas. Usando que todo grafo en el que todos sus vrtices tienen grado mayor o igual que dos posee un circuito (por qu?) tenemos que el nuestro contiene un circuito, digamos . Si contiene todas las aristas de , entonces es un circuito euleriano y hemos terminado. En caso contrario sea el grafo obtenido al suprimir de las aristas de y suprimir despus los vrtices que han quedado aislados. Puede que el grafo haya quedado dividido en subgrafos no conectados entre s; cada uno de ellos es una componente conexa de . Por haber eliminado las aristas de un circuito todos los vrtices de tiene grado par. Por la hiptesis de induccin, cada componente conexa de contiene un circuito euleriano. Como en cada componente conexa debe haber al menos un vrtice de podemos obtener un circuito euleriano en (que es lo que queramos conseguir) del siguiente modo: Partimos de un vrtice cualquiera de (que recordemos que no era un circuito euleriano). Recorremos hasta llegar a un vrtice de una componente conexa de . Recorremos esta componente conexa a travs del circuito euleriano que hemos visto que debe contener y continuamos recorriendo hasta que nos encontremos con un vrtice de otra de las componentes conexas, realizando entonces la misma operacin. Repetimos el procedimiento hasta llegar al vrtice de partida, obteniendo as un circuito euleriano.

c.q.d. Observemos ahora el grafo que habamos obtenido de la ciudad de Knigsberg y calculemos el grado de todos sus vrtices. Hay tres vrtices con grado y un vrtice con grado . Es decir, no

hay ninguno con grado par. Por tanto, segn el teorema anterior, este grafo no contiene un circuito euleriano, esto es, no podemos comenzar en un punto de la ciudad y recorrer cada uno de los puentes slo una vez y terminar en el punto de partida.