Matemáticas Discretas

Árboles

1
2
Se dice que un grafo está libre de circuitos, si y solo si, no existe un circuito
cerrado por el que se pueda llegar al mismo vértice sin que se tenga que regresar
por el mismo camino. Un grafo se llama árbol si y solo si, está libre de circuitos y es
conexo. Un árbol trivial es un grafo que consta de un único vértice
(Epp, 2012)

● ●
●
● ● ●

● ● ● ●
●

Es un árbol, no tiene circuitos y No es un árbol, aunque existe

es conexo, es decir hay un un camino que une a cualquiera
camino que une a dos puntos de dos punto (es conexo), tiene
un circuito.
Un árbol enraizado es un árbol en el que hay un vértice que se distingue de los
demás y se le llama raíz. El nivel de un vértice es el número e aristas a lo largo de
la trayectoria única entre éste y la raíz. La altura de un árbol enraizado es el nivel
máximo de cualquier vértice del árbol. Dada la raíz o cualquier vértice interno v de
un árbol, los hijos de v son todos los vértices adyacentes a v y están a un nivel de
la raíz de v. Si w es un hijo de v, entonces v se llama padre de w y dos vértices
diferentes que son ambos dirigidos al mismo padre, se les llama hermanos. Dados
dos vértices diferentes v y w se encuentran en la única trayectoria entre w y la raíz,
entonces v es un ancestro de w y w es un descendiente de v.
(Epp, 2012)
 Ilustración de los términos usados en la definición de árboles enraizados

Ra íz
● ---- ---- ---- ---- ---- ---- ---- Nivel 0
v es un hijo de u
u es el padre de v u
v y w s on hermanos ● ---- ---- ---- ---- ● ---- ---- ---- ---- ---- ● ---- Nivel 1

v ● ---- ---- ---- ●w---- ● ---- ● ---- ---- ---- ---- ● ---- Nivel 2

● ---- ● ---- ● ---- ● ---- ---- ---- ● ---- ---- ---- ---- ---- ---- Nivel 3

● ---- ---- ---- ● ---- ---- ---- ---- ---- ● ---- ---- ---- ● ---- ---- ---- ---- Ni vel 4

Los verti ces en esta región

cerrada s on descendientes de u,
que es un a ncestro de ca da uno.

5
Un árbol binario es un árbol enraizado en el que todo padre tiene como máximo
dos hijos. Cada hijo en un árbol binario se designa como un hijo izquierdo o como
un hijo derecho (pero no ambos) y cada padre tiene por lo más un hijo izquierdo y
un hijo derecho. Un árbol binario completo es un árbol binario en el que cada
padre tiene exactamente dos hijos.
Dado cualquier padre v en un árbol binario T, si v tiene un hijo izquierdo, entonces
el subárbol izquierdo de v es el árbol binario cuya raíz es el hijo izquierdo de v,
cuyos vértices consisten en el hijo izquierdo de v y todos sus descendientes y cuyas
aristas consisten en todas las aristas de T que conecten todas los vértices del
subárbol izquierdo. El subárbol derecho de v se define análogamente.
(Epp, 2012)
 Ilustración de los términos usados en la definición de árboles binarios
que es un ancestro de ca da uno.

Raíz
●

u
v es el hijo
● ●w x es el hijo
i zquierdo de u derecho de w

v● ● ● x ●

● ● ●

● ● ●

● ● ● ● ●

Subárbol i zquierdo de w
Subárbol i zquierdo de w

7
Un árbol de búsqueda binaria es un árbol binario T en el que se asocian datos a
los vértices. Los datos están agregados de manera que, para cada vértice de T,
cada dato en el subárbol de la izquierda de v es menor que el dato de v, y cada
dato en el subárbol de la derecha de v es mayor que el dato de v.
(Epp, 2012)

Los siguientes arboles son árboles binarios de búsqueda (ABB), como se

puede ver en cada uno de ellos el elemento del árbol derecho es mayor
que el del árbol izquierdo.

Generalmente este tipo de arreglos se

utiliza en los programas de computación
para realizar búsquedas. El programa
siempre recuerda que el valor derecho es
mayor que el izquierdo y de esta manera
la búsqueda es más rápida.
 /

a b

Los árboles binarios se utilizan en las ciencias de la computación para representar expresiones
algebraicas con anidamiento. Por ejemplo el siguiente árbol binario (etiquetado) a/b: el operador
está en la raíz y actúan en los hijos derecho e izquierdo de la raíz en el orden izquierdo –
derecho.
/

a b

El siguiente árbol representa la expresión a/(c + d). Os vértices internos son operadores
aritméticos y los vértices externos terminales son variables.
/

a +

c d

9
 Referencias Bibliográficas

Johnsonbaugh, R. (2007) Matemáticas discretas. (6ª ed.). México: Pearson Education.

Espinoza, R. (2010) Matemáticas discretas. (1ª ed.). México: Alfaomega.

Epp, S. (2012) Matemáticas discretas con aplicaciones. (4ª ed.). México: Cengage Learning.

10