Matemticas Discretas

Tc1003
Teora de Grafos

7.3 rboles

Definicin. Sea A un grafo. A recibe el nombre de rbol s y slo si:

A es conexo.
A no contiene circuitos.

Ejemplos:

Definicin. Sea A un rbol. Un vrtice de grado 1 se llama una hoja. Un vrtice de

grado mayor que 1 se llama rama.
De las definiciones anteriores se desprenden las siguientes propiedades:
Existe una trayectoria nica entre dos vrtices cualesquiera de un
rbol.
El nmero de vrtices es mayor en 1 al nmero de aristas.
Un rbol con dos o ms vrtices tiene al menos dos hojas.
Ejemplo
Un grupo de ajedrecistas que luchan por un campeonato. Cada
ajedrecista tiene una nica oportunidad para enfrentar al campen vigente, y que el
perdedor de cualquier encuentro ser eliminado de la contienda.
Sea A = (V, E) un grafo no dirigido donde los vrtices de V representan los
ajedrecistas y las aristas de E representan los encuentros.
Sea V = { v1, v2, v3, v4, v5, v6, v7, v8, v9 }
Al inicio, v1 es el campen vigente y que se dan los siguientes encuentros:
- v1 venci a v2, v3 y v4 y pierde con v5.
- v5 venci a v6 y v7 y pierde con v8.
- v8 pierde con v9.
El rbol que detalla esta situacin, es el siguiente:

Los vrtices v2, v3, v4, v6, v7, v9 son hojas.

Los vrtices v1, v5, v8 son ramas.

Ngj/v2008

7.3 rboles

Matemticas Discretas
Tc1003
Teora de Grafos
Definicin. Sea G un grafo dirigido. Se dice que G es un rbol dirigido si se
convierte en un rbol cuando se ignoran las direcciones de sus aristas.
Definicin. Un rbol con raz es un rbol dirigido que posee exactamente un
vrtice cuyo grado de entrada es 0 y los grados de entrada de todos los dems
vrtices es 1.
El vrtice con grado de entrada 0 se llama raz de rbol. Un vrtice cuyo
grado de salida es 0 se llama hoja. Un vrtice cuyo grado de salida es diferente de 0
se llama rama.
Definicin. Sea vi una rama de un rbol con raz. Se dice que Vk es un hijo de Vi si
existe una arista dirigida de Vi a Vk , adems se dice que vi es padre de Vk .
En un rbol con raz se dice que los vrtices son hermanos si son hijos del
mismo vrtice.
Ejemplo
Un hombre que tiene dos hijos, de los cuales uno no tiene hijos y el otro tiene tres
hijos.
Solucin

Ngj/v2008

7.3 rboles

Matemticas Discretas
Tc1003
Teora de Grafos
Definicin. Sea A un rbol con raz. Se dice que A es un rbol binario si cada rama
tiene exactamente dos hijos.
Ejemplo

El rbol anterior muestra el nmero de encuentros en un torneo de

eliminacin simple con 8 competidores.
Se juegan un total 7 encuentros a saber:
Cuatro encuentros en la primera ronda.
Dos encuentros en la segunda ronda.
El encuentro final.
En total son 7 encuentros.

En este rbol binario, las hojas representan a los competidores en el torneo y las
ramas a los ganadores de los encuentros o, equivalentemente los encuentros
jugados en el torneo.
Si se llama r el nmero de ramas y h el nmero de hojas en un rbol binario, se
puede demostrar que:
r = h 1.

Ngj/v2008

7.3 rboles

Matemticas Discretas
Tc1003
Teora de Grafos
Si un grafo tiene un vrtice U o que solo contiene una diferente de U o U 1 (a s
mismo) entonces es un rbol
rbol
no es rbol
este vrtice tiene dos
trayectorias

En general

Altura = 3 (el nivel mas grande)

raz = que no tiene padre (inicial)
padre = que tiene hijo(s)
hoja = no tiene hijo(s), tiene padre
Conjunto de rboles = Bosque.
rbol ordenado: tiene nivel, los hijos de izquierda a derecha.
n-rbol: cuando cada padre tiene a lo ms n hijos
rbol binario: cada padre tiene a lo ms 2 hijos.

Ngj/v2008

7.3 rboles

Matemticas Discretas
Tc1003
Teora de Grafos
Para:

sub - rboles

Cuntos subrboles?
Altura = ?

5
V0 V1

Ngj/v2008

V 0 V3

V1

V0 V 2
V 2

V4

V6

V8
V13

7.3 rboles

V3

Matemticas Discretas
Tc1003
Teora de Grafos

Notacin polaca
La evaluacin se realiza de derecha a izquierda y de abajo hacia arriba
Ejemplo:

[3 (1 x ) (4 + (7 ( y + 2)))] [7 + ( y x )]
Primero: parntesis interiores
rbol etiquetado

EJEMPLO:
5
2
6
1
7
3
9
4
8

8= ?
5, 6, 7, 9, 8
4= ?
5, 2, 3, 4

(3 (2 x )) + ((x 2) (3 + x ))
((2 x ) 3) + ((x 2) (3 + x ))
Ngj/v2008

7.3 rboles

Matemticas Discretas
Tc1003
Teora de Grafos

rboles de expansin
Un rbol T es un rbol de expansin de un grafo G si T es un subgrafo de G que
contiene todos los vrtices de G. [Johnsonbaugh, 392]
Ejemplos:
Grafo:

rbol de expansin:

rboles enraizados
En ciencias computacionales los rboles tienen muchas veces vrtices principales
que pueden utilizarse para dar a los rboles estructuras dirigidas. En general, se
puede transformar cualquier grafo no dirigido en un grafo dirigido ponindole
flechas. Si el grafo es un rbol lo que se obtiene es un rbol dirigido. Si todas las
flechas parten de un solo vrtice se llama rbol enraizado. [Ross, 451]

Ngj/v2008

7.3 rboles