Un grafo acclico es un grafo sin ciclos

Un rbol es un grafo acclico conexo

Propiedades de un arbol
Sea G un arbol de n vertices:

G es conexo y no tiene ciclos simples. G no tiene ciclos simples y, si se aade algn arco se forma un ciclo simple. G es conexo y si se le quita algn arco deja de ser conexo. Dos vrtices cualquiera de G estn conectados por un nico camino simple. G es conexo y tiene n 1 arcos.

Definicin Un rbol con raz o rbol enraizado es un rbol en el cual un vrtice en particular se designa como raz.

Definicin Se llama altura (o profundidad) de un rbol con raz a la mxima distancia de un vrtice a la raz.

raiz

Nivel=2

ancestro descendiente padre hijo

Vrtice interno
Hoja o Vrtice terminal

Altura=4

Un subgrafo de expansin de un grafo G es un subgrafo con el mismo conjunto de vrtices que G. Un rbol expansin es un subgrafo de expansin que es un rbol. Cada grafo tiene un rbol de expansin

rbol de expansin de peso mnimo Dado un grafo con pesos asignados a cada arco, encontrar un rbol de expansin de peso total mnimo

Algoritmo de Prim
Pseudocdigo del algoritmo: Entrada: Un grafo ponderado conexo. Salida: Las aristas de un rbol generador minimal
Entrada
Algoritmo de Prim Salida

i : = 1; N := tamao del grafo de Entrada en nmero de vrtices; Mientras (i < N) hacer

escoger la arista de peso mnimo A de entre todas las que An no han sido escogidas y son incidentes a alguna que ya forma parte de la Salida; Si la Salida an est vaca, es decir, que estamos en la primera iteracin entonces escoger la arista A de menor peso; Fin_si Si A no forma ciclo con las que ya forman parte de la Salida entonces aadir A a la Salida; i := i + 1; Fin_si

Fin_mientras

Algoritmo de Kruskal
Pseudocdigo del algoritmo:

Entrada: Un grafo ponderado conexo. Salida: Las aristas de un rbol generador minimal.

Entrada

Salida Algoritmo de Kruskal

i : = 1; N := tamao del grafo de Entrada en nmero de vrtices; Mientras (i < N) hacer escoger la arista de peso mnimo A de entre todas las que an no han sido escogidas; Si A no forma ciclo con las que ya forman parte de la Salida Entonces aadir A a la Salida; i := i + 1; Fin_si Fin_mientras