Académique Documents
Professionnel Documents
Culture Documents
rbol etiquetado con 6 vrtices y 5 aristas. El nico camino simple que conecta los vrtices 2 y 6 es 2-4-5-6. Vrtices Aristas Nmero cromtico Propiedades v v-1 2 si v > 1 Bipartito, expandible y plano (si el conjunto de vrtices es numerable)
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.
Definiciones
Un rbol es un grafo simple unidireccional G que satisface alguna de las siguientes condiciones equivalentes: G es conexo y no tiene ciclos simples. G no tiene ciclos simples y, si se aade alguna arista se forma un ciclo simple. 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. Si G tiene muchos vrtices, n, entonces las definiciones anteriores son tambin equivalentes a cualquiera de las siguientes condiciones: G es conexo y tiene n 1 aristas. G no tiene aristas simples y tiene n 1 aristas. La cantidad de hojas de un rbol siempre es mayor o igual a la mitad de la totalidad de los nodos. 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 cada vrtice ha sido designado raz, en cuyo 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.
Propiedades
Todo rbol es a su vez un grafo bipartito. Todo rbol con slo un conjunto numerable de vrtices es adems un grafo plano. Todo grafo conexo G admite un rbol de expansin, que es un rbol que contiene cada vrtice de G y cuyas aristas son aristas de G. Dado n vrtices etiquetados, hay n n2 maneras diferentes de conectarlos para construir un grafo. El resultado se llama frmula de Cayley. El nmero de rboles con n vrtices de grado d1,d2,...,dn es:
que es un coeficiente multinomial. Contar el nmero de rboles no etiquetados es un problema complicado. De hecho, no se conoce ninguna frmula para el nmero de rboles t(n) con n vrtices (debe entederse aqu el nmero de rboles diferentes salvo isomorfismo de grafos). Los primerlos valores de t(n) son 1, 1, 1, 1, 2, 3, 6, 11, 23, 47, 106, 235, 551, 1301, 3159, ... (sucesin A000055 [1] en OEIS). Otter (1948) prob que
Una frmula ms exacta para el comportamiento asinttico de t(n) implica que hay dos nmeros y ( 3 y 0.5) tales que:
Referencias
[1] http:/ / en. wikipedia. org/ wiki/ Oeis%3Aa000055
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/