rboles

20/02/14 16:35

rboles
rboles. rboles enraizados I Bsqueda en profundidad. Bsqueda en anchura I rboles de expansin mnimos

3.1. rboles. rboles enraizados.

Definicin 3.1.1. Un rbol es un grafo conexo que no tiene ciclos. Ejemplo 3.1.2

Los grafos G1 y G2 son rboles, mientras que los grafos G3 y G4 no lo son. Definicin 3.1.3. Un bosque es un grafo donde cada componente conexa es un rbol. Definicin equivalente: Un bosque es un grafo acclico. El grafo G4 del ejemplo anterior es un bosque. Caracterizaciones de los rboles Proposicin 3.1.4. El grafo T =(V, E) es un rbol si y solo si todo par de vrtices de T estn conectados por un nico camino simple. Demostracin. => T es un rbol =>T conexo => Dados existe al menos un camino simple que los une. Supongamos que entre los vrtices u y v existen dos caminos simples. Denotemos por x el vrtice donde estos caminos divergen por primera vez y por w el vrtice donde estos caminos convergen nuevamente. Por tanto los dos caminos diferentes entre los vrtices x y w forman un ciclo, lo cual contradice la definicin de rbol. <= Supongamos que para todo par existe un nico camino simple que los une. Entonces T es conexo y acclico, pues de existir un ciclo existiran dos vrtices conectados por dos caminos. Proposicin 3.1.5. El grafo T =(V, E) es un rbol si y solo si T es acclico y al agregar una arista aparece un ciclo nico. Demostracin. => T es un rbol. =>Sean y agreguemos una arista que los une. Caso 1. Si u y v son adyacentes, al agregar la arista se producen dos aristas paralelas produciendo un ciclo de longitud dos. Caso 2. Si u y v no son
http://docencia.udea.edu.co/regionalizacion/teoriaderedes/arboles.html Pgina 1 de 4

rboles

20/02/14 16:35

adyacentes existe un camino nico que los une. Con la nueva arista este camino se cierra formando un ciclo. <= T es acclico y si se agrega una arista aparece un ciclo nico. => Supongamos que T no es conexo. => existe al menos dos vrtices u, v que no son mutuamente alcanzables. Al agregar la arista (u, v) aparece un ciclo, lo cual implica la existencia de un camino entre u y v. Contradiccin. T es conexo por tanto es un rbol. Proposicin 3.1.6. El grafo T =(V, E) es un rbol si y solo si T es conexo y toda arista es un puente. Demostracin. => T es un rbol. => Sea a una arista que es no es puente. => a forma parte de un ciclo. => Contradiccin. <= T es conexo y toda arista es un puente. => No existen ciclos. => T es un rbol. Proposicin 3.1.7. Todo rbol tiene al menos dos vrtices con grado 1 (hojas). Demostracin. Sea v1, v2, ..., vs un camino de longitud mxima en el rbol T. Supongamos que d(v1)>1 . Pueden ocurrir dos casos: a) b) v1 es adyacente a otro vrtice de T que no pertenece al camino. El camino puede extenderse. Contradiccin con camino de longitud mxima. v1 es adyacente a otro vrtice del camino diferente de v2. Aparece un ciclo. Contradiccin con definicin de rbol.

Por tanto d(v1)=1. Lo mismo ocurre para d(vs) Proposicin 3.1.7. Sea T =(V, E) un grafo con n vrtices. Las siguientes afirmaciones son equivalentes: 1. 2. 3. T es un rbol. T es acclico y tiene exactamente m=n-1 aristas. T es conexo y tiene exactamente m=n-1 aristas.

Proposicin 3.1.8. Sea T =(V, E) un grafo con n vrtices y k componentes. G es un bosque si y solo si tiene m=n-k aristas. Proposicin 3.1.9. (Frmula de Cayley) El nmero de rboles etiquetados de n vrtices es .

Cdigo de Prfer de un rbol T de orden n, etiquetado con {1,2,...,n}. Este cdigo es una sucesin de n-2 nmeros de {1,2,...,n}. 1. 2. 3. Se busca la hoja u de T de menor etiqueta y se aade al cdigo C, inicialmente vaco, la etiqueta de su vecino. Se borra de T el vrtice u, T=T-{u}. Si T tiene ms de dos vrtices se vuelve al paso 1. En caso contrario el algoritmo termina.

Descodificacin. Se parte ahora del cdigo C, que es una sucesin de longitud n-2, de la lista L ={1,2,...,n} y del bosque trivial T de n vrtices etiquetados con {1,2,...,n} 1. 2. Repetir lo siguiente n-2 veces lo siguiente. Sea j el primer elemento de C y sea k el menor nmero de L que no est en C. Aadir a T la arista (j, k). Borrar j de C y k de la lista L. Cuando slo quedan dos elementos en L y ninguno en C, aadir a T la arista que une dichos elementos. Fin del algoritmo

Ejemplo 3.1.10. Construir el cdigo Prfer del siguiente rbol:

http://docencia.udea.edu.co/regionalizacion/teoriaderedes/arboles.html

Pgina 2 de 4

rboles

20/02/14 16:35

Ejemplo 3.1.11. Construir el rbol correspondiente al cdigo [2,3,1,1,1,2,2,5].

Definicin 3.1.12. Un rbol con raz o rbol enraizado es un rbol en el cual un vrtice en particular se designa como raz. Los rboles con raz se representan de forma tal, que el vrtice raz se coloca encima de los restantes, los cuales se sitan por niveles segn su distancia a la raz. Definicin 3.1.13. Se llama altura (o profundidad) de un rbol con raz a la mxima distancia de un vrtice a la raz. Definicin 3.1.14. Sea T un rbol con raz v0. Sean x, y vrtices de T y sea (v0, v1, ..., vn-1,vn) un camino simple en T. Entonces: a) b) c) d) e) f) g) vn-1 es el padre de vn. v0, ..., vn-1 son ancestros de vn. vn es un hijo de vn-1. Si x es un ancestro de y, entonces y es un descendiente de x. Si x no tiene hijos, entonces x se denomina hoja o vrtice terminal . Si x no es una hoja, se denomina vrtice interno. El nivel del vrtice x es la longitud del camino simple de la raz a x.

Ejemplo 3.1.15.

Los rboles con raz se utilizan para especificar relaciones jerrquicas, por ejemplo rboles genealgicos, relaciones lgicas entre los registros de una base de datos, relaciones entre los directorios y subdirectorios en un computador, etc.

http://docencia.udea.edu.co/regionalizacion/teoriaderedes/arboles.html

Pgina 3 de 4

rboles

20/02/14 16:35

Definicin 3.1.16. Un rbol m-ario es un rbol con raz en el que cada padre tiene, a lo sumo, m hijos. Proposicin 3.1.17. El nmero de hojas de un rbol m-ario es a lo sumo mh. Proposicin 3.1.18. La altura de un rbol m-ario de l hojas es, al menos,

DESCARGAR ESTE ARCHIVO EN PDF

http://docencia.udea.edu.co/regionalizacion/teoriaderedes/arboles.html

Pgina 4 de 4