RBOL T DE GRAFO

En teora de grafos, un rbol es un grafo en el que cualesquiera dos vrtices estn

conectados por exactamente un camino. Un bosque es una unin disjunta de rboles. Un
rbol a veces recibe el nombre de rbol libre.
Un rbol es un grafo simple no dirigido G que satisface:
G es conexo y no tiene ciclos .
G no tiene ciclos y, si se aade alguna arista se forma un ciclo.
G es conexo y si se le quita alguna arista deja de ser conexo.
G es conexo y el grafo completo de 3 vrtices no es un menor de G.
Dos vrtices cualquiera de G estn conectados por un nico camino simple.
Las condiciones anteriores son todas equivalentes, es decir, si se cumple una las dems se
cumplirn.
Si un rbol G tiene un nmero finito de vertices, n, entonces tiene n 1 aristas.
Un grafo unidireccional simple G es un bosque si no tiene ciclos simples.
Un rbol dirigido es un grafo dirigido que sera un rbol si no se consideraran las direcciones
de las aristas. Algunos autores restringen la frase al caso en el que todos las aristas se
dirigen a un vrtice particular, o todas sus direcciones parten de un vrtice particular.
Un rbol recibe el nombre de rbol con raz si un vrtice ha sido designado raz. En este caso
las aristas tienen una orientacin natural hacia o desde la raz. Los rboles con raz, a
menudo con estructuras adicionales como orden de los vecinos de cada vrtice, son una
estructura clave en informtica; vase rbol (programacin).
Un rbol etiquetado es un rbol en el que cada vrtice tiene una nica etiqueta. Los vrtices
de un rbol etiquetado de n vrtices reciben normalmente las etiquetas {1,2, ..., n}.
Un rbol regular u homogneo es un rbol en el que cada vrtice tiene el mismo grado.
COLORACIN DE GRAFO
En Teora de grafos, la coloracin de grafos es un caso especial de etiquetado de grafos; es
una asignacin de etiquetas llamadas colores a elementos del grafo. De manera simple, una
coloracin de los vrtices de un grafo tal que ningn vrtice adyacente comparta el mismo
color es llamado vrtice coloracin. Similarmente, una arista coloracin asigna colores a cada
arista tal que aristas adyacentes no compartan el mismo color, y una coloracin de caras de
un grafo plano a la asignacin de un color a cada cara o regin tal que caras que compartan
una frontera comn tengan colores diferentes. El vrtice coloracin es el punto de inicio de la
coloracin, y los otros problemas de coloreo pueden ser transformados a una versin con
vrtices. Por ejemplo, una arista coloracin de un grafo es justamente una vrtice coloracin
del grafo lnea respectivo, y una coloracin de caras de un grafo plano es una vrtice
coloracin del grafo dual.
La convencin de usar colores se origina de la coloracin de pases de un mapa, donde cada
cara es literalmente coloreada. Esto fue generalizado a la coloracin de caras de grafos
inmersos en el plano. En representaciones matemticas y computacionales se utilizan
tpicamente enteros no negativos como colores. En general se puede usar un conjunto finito
como conjunto de colores. La naturaleza del problema de coloracin depende del nmero de
colores pero no sobre cules son.
El problema de coloracin de grafos, es considerado uno de los ms interesantes en lo que
respecta a la teora de grafos. Este problema consiste en buscar la menor cantidad posible
de colores para poder colorear un grafo, de tal forma que los nodos adyacentes nunca
tengan el mismo color. Este problema tambin se puede plantear para aristas o para las
caras del plano de un grafo, en donde la forma de desarrollo es la misma. Un claro ejemplo
de esto se puede apreciar en la siguiente figura, en que cada color del plano representa un
nodo del grafo.
El nmero de colores con que se colorea un grafo es denominado nmero cromtico, que es
el menor valor que puede tomar k, donde k es el nmero de colores con que se puede
colorear el grafo.
En el problema de Coloracin de Grafos, se puede encontrar un teorema denominado el
teorema de los cuatro colores. Este teorema establece que dado un grafo cualquiera, este
puede ser coloreado a lo ms, con 4 colores, de manera que no queden nodos adyacentes
con el mismo color. Un claro ejemplo de este teorema, es la figura que se muestra a
continuacin, en donde cada sector coloreado del plano representa una arista del grafo. Se
puede ver que cada en ningn caso un sector est coloreado del mismo color que un sector
adyacente y para lo cual se ocupan slo 4 colores: amarillo, azul, verde y rojo.