Qu es un grafo?

Es una terna G = (V,A,j ), en donde V y A son conjuntos finitos, y j es una aplicacin que hace corresponder a cada elemento de A un par de elementos de V. Los elementos de V y de A se llaman, respectivamente, "vrtices" y "aristas" de G, y j asocia entonces a cada arista con sus dos vrtices. Esta definicin da lugar a una representacin grfica, en donde cada vrtice es un punto del plano, y cada arista es una lnea que une a sus dos vrtices. De que consta un grafo? 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. 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. 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. Lazo o Bucle Un lazo o bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden. Un bucle o lazo (loop en ingls) en un grafo o digrafo es una arista que conecta al

mismo vrtice consigo mismo. Un grafo simple no puede tener bucles. Caminos Camino Un camino es una sucesin de vrtices tal que de cada uno de sus vrtices existe una arista hacia el vrtice sucesor. Dos caminos son ajenos o independientes si no tienen ningn vrtice en comn excepto el primero y el ltimo. La longitud de un camino es el nmero de aristas que usa dicho camino, contando aristas recorridas varias veces el mismo nmero de veces que las recorramos. En el ejemplo, (1, 2, 5, 1, 2, 3) es un camino con longitud 5, y (5, 2, 1) es un camino simple de longitud 2.. Camino Cerrado Cuando los dos extremos de un camino son iguales, el camino se llama circuito o camino cerrado. Camino Simple Un camino simple es aquel en que todas las aristas del camino son diferentes. Si hay un camino no simple entre 2 vrtices, tambin habr un camino simple entre ellos. Ciclo Un Ciclo (o circuito) es un camino que empieza y acaba en el mismo vrtice. Los ciclos de longitud 1 son los bucles. En el ejemplo, (1, 2, 3, 4, 5, 2, 1) es un ciclo de longitud 6. Un ciclo simple es un ciclo que tiene como longitud al menos 3 y en el que el vrtice del comienzo slo aparece una vez ms y como vrtice final, y los dems slo aparecen una vez. En el grafo de arriba (1, 5, 2, 1) es un ciclo simple. Un ciclo es un camino cerrado donde los nicos vrtices repetidos son el primero y el ultimo. Ciclo 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. Ciclo 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.

Grafo Conexo Un grafo es conexo si para cada par de vrtices, existe un camino con extremos en dichos vrtices. Si es posible formar un camino desde cualquier vrtice a cualquier otro en el grafo, decimos que el grafo es conexo. Si es posible hacer esto incluso tras quitar k-1 vrtices, decimos que el grafo es k-conexo. Un grafo es k-conexo si y slo si contiene k caminos independientes entre cualesquiera dos vrtices. Un grafo se puede definir como conexo si cualquier vrtice V pertenece al conjunto de vrtices y es alcanzable por algn otro. Otra definicin que dejara esto ms claro sera: un grafo conexo es un grafo no dirigido de modo que para cualquier par de nodos existe al menos un camino que los une.

rbol Un rbol se define como un tipo de grafo que no contiene ciclos, es decir es un grafo tambin acclico, pero a su vez es conexo. Tal es el caso de los siguientes dos grafos en donde se puede notar que ninguno de los dos contiene repeticiones (ciclos). Un rbol es una estructura no lineal en la que cada nodo puede apuntar a uno o varios nodos. Tambin se suele dar una definicin recursiva: un rbol es una estructura en compuesta por un dato y varios rboles. Grfica Completa Se dice que un grafo es completo si el vrtice v del otro vrtice G es adyacente de los otros vrtices de G. Un Grafo Completo es un grafo no direccionado donde existe un arco entre cada par de vrtices cualesquiera del mismo. Un grafo completo es un grafo simple en el que todo el par de nodos est unido por una arista y se representa con Kn.

La representacin grfica de los Kn como los vrtices de un polgono regular se da cuenta de su peculiar estructura. Segn el nmero de aristas que contiene, un grafo ser completo si cuenta con todas las aristas posibles, es decir, si todos los nodos estn conectados con todas las aristas. Grfica Etiquetada Un grafo etiquetado es la asignacin de etiquetas representado mediante enteros, a las aristas o vrtices o ambos de un grafo. El trmino grafo etiquetado generalmente se refiere a un grafo con vrtices etiquetados con todas las etiquetas distintas. Los grafos puede ser equivalentemente etiquetado mediante enteros consecutivos desde 1 hasta n, donde n es el nmero de vrtices en el grafo. Para muchas aplicaciones, a las aristas y los vrtices le corresponden etiquetas que tienen un significado en el dominio asociado. Existen 3 tipos de etiquetado: Etiquetado elegante Las etiquetas de los vrtices estn en negro, las etiquetas de las aristas en rojo.

Etiquetado armonioso Un grafo armonioso es un grafo con k aristas que permiten una inyeccin de los vrtices de G al grupo de enteros modulo k que induce una biseccin entre las aristas de G y los enteros positivos hasta ||E||. Para cualquier arista e, los etiquetados de e son la suma de las etiquetas de dos vrtices incidentes con e. Coloracin de grafos La coloracin de grafos es un caso muy especial para los grafos etiquetados, los vrtices adyacentes y las aristas coincidentes deben tener diferentes etiquetas. Multgrafo Es un grafo que est facultado para tener aristas mltiples; es decir, aristas que

relacionan los mismos nodos. De esta forma, dos nodos pueden estar conectados por ms de una arista. Formalmente, un multigrafo G es un par ordenado G:=(V, E) donde: V es un conjunto de vrtices o nodos E es un multiconjunto de pares no ordenados de nodos, llamados aristas o lneas. Un multigrafo es un grafo con varias aristas entre dos vrtices. Matriz de Adyacencia El grafo est representado por una matriz cuadrada M de tamao n2, donde n es el nmero de vrtices. Si hay una arista entre un vrtice x y un vrtice y, entonces el elemento mx,y es 1, de lo contrario, es 0. Propiedades de la matriz de adyacencia Para un grafo no dirigido la matriz de adyacencia es simtrica. El nmero de caminos Ci,j(k), atravesando k aristas desde el nodo i al nodo j, viene dado por un elemento de la potencia k-sima de la matriz de adyacencia. Comparacin con otras representaciones Existen otras formas de representar relaciones binarias, como por ejemplo los pares ordenados o los grafos. Cada representacin tiene sus virtudes y desventajas. En particular, la matriz de adyacencia es muy utilizada en la programacin, porque su naturaleza binaria y matricial calza perfecto con la de los computadores. Sin embargo, a una persona comn y corriente se le har mucho ms sencillo comprender una relacin descrita mediante grafos, que mediante matrices de adyacencia. Otra representacin matricial para las relaciones binarias es la matriz de incidencia. Ejemplo: