Concepto de grafo

Un grafo, G, es un par ordenado de V y A, donde V es el conjunto de vrtices o nodos del grafo y Aes un conjunto de pares de vrtices, a estos tambin se les llama arcos o ejes del grafo. Un vrtice puede tener 0 o ms aristas, pero toda arista debe unir exactamente a dos vrtices. Los grafos representan conjuntos de objetos que no tienen restriccin de relacin entre ellos. Un grafo puede representar varias cosas de la realidad cotidiana, tales como mapas de carreteras, vas frreas, circuitos elctricos, etc

La notacin G = A (V, A) se utiliza comnmente para identificar un grafo. Los grafos se constituyen principalmente de dos partes: las aristas, vrtices y los caminos que pueda contener el mismo grafo.

En los grafos anteriores, los vrtices son v1, v2, v3, v4 mientras que los aristas son e1, e2, e3, e4, e5, e6,e7. Las aristas e2 y e7 se llaman aristas paralelas porque unen un mismo par de vrtices. La arista e8 se llama lazo o bucle porque une un vrtice consigo mismo

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 quelos 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

ARBOLES
Un rbol es un grafo simple en el cual existe un nico camino entre cada par de vrtices.

Sea G =(V,A) un grafo no dirigido. G se denomina ARBOL, si es conexo y no contiene ciclos.

Un rbol con raz, es un rbol que tiene un vrtice particular designado como raz. Ejemplo de rbol: En la figura anterior G1 corresponde a lo que llamamos mediante la definicin ARBOL, en el caso de G2, ste no corresponde debido a que contiene un ciclo. Podemos destacar que cuando un grafo G es un Arbol, se reemplaza G, por R. En la figura mostrada G1 es un subgrafo de G2, en el que G1 contiene los vrtices de G2 y es rbol, adems lo llamaremos rbol abarcador, por que proporciona conexin minimal para el grafo y un esqueleto minimal que une los vrtices.

TEOREMA DE LOS ARBOLES

Si a, b son vrtices de un rbol R (V,A), entonces hay un camino nico que conecta estos vrtices.

En cualquier rbol R= (V,A), |V| = |A| + 1.

Para cualquier rbol R = (V,A), si |A| >= 2, entonces R tiene al menos dos vrtices colgantes. Sea G un grafo simple con v vrtices, entonces se puede decir: G es un rbol. G es conexo y no contiene circuitos. G es conexo y tiene (n-1) lados.

G no contiene circuitos y tiene (n-1) lados.

Aplicaciones de los Arboles

Arboles binarios de bsqueda Es un rbol binario en el que cada hijo de un vrtice se designa como hijo izquierdo o hijo derecho, ningn vrtice tiene mas de un hijo izquierdo y un hijo derecho y cada vrtice esta etiquetado con una clave, que es uno de los objetos. Adems, a los vrtices se les asignan las claves de modo que la clave de un vrtice es mayor que la de todos los vrtices de su subrbol izquierdo y menor que la de todos los vrtices de su subrbol derecho.

Arboles de decisin Un rbol con raz en el que cada vrtice interno corresponde a una decisin, con un subrbol en dichos vrtices para cada posible resultado de la decisin, se llama rbol de decisin. Las posibles soluciones del problema corresponden a los caminos desde la raz hasta las hojas.