Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TODO Arboles
TODO Arboles
Tc1003
Teora de Grafos
7.3 rboles
Ejemplos:
Ngj/v2008
7.3 rboles
230
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
231
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
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
232
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
Ngj/v2008
7.3 rboles
233
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
234
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
235
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
236
Matemticas Discretas
Tc1003
Teora de Grafos
Actividades colaborativas
Hoja de trabajo
1. Para las siguientes expresiones, construye un rbol con notacin polaca.
a) (4 + (7 ( y + 2))) (7 + ( y x ))
b) ((1 x ) 3) ((( y 2 ) 7 ) + 4) (( y x ) + 7 )
2. Para la siguiente secuencia de nmeros, construye un rbol acomodando los
mayores de lado izquierdo del nodo y los menores de lado derecho del nodo
a. 10, 14, 2, 4, 13, 1, 7, 8, 11, 16, 5, 20
b. 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
3. La siguiente matriz muestra una tabla de direcciones (registros) en donde se
encuentra almacenada cierta informacin. La columna derecha contiene el
nmero de registro de la informacin antecesora (nodo hijo derecho). La columna
izquierda contiene el nmero de registro de la informacin sucesora (nodo hijo
izquierdo). Por medio de un rbol binario, representa la tabla de direcciones. El
nodo raz es el registro nmero 5.
Nmero de 1
registro
derecha
informacin a
izquierda
10
11
12
13
14
15
1
b
13
2
e
6
f
8
7
h
14
k
12
3
l
4
11
m
Ngj/v2008
7.3 rboles
237
Matemticas Discretas
Tc1003
Teora de Grafos
2 Lgica Matemtica
2.1 Lgica proposicional
2.1.1 Sintaxis de lgica proposicional
2.1.2 Semntica de lgica proposicional
2.2 Lgica de predicados de primer orden
2.2.1 Sintaxis y lgica de predicados de primer orden
2.2.2 Proposiciones con cuantificadores
2.3 Mtodos de demostracin
2.3.1 Mtodo del absurdo
2.3.2 Resolucin
2.3.3 Deduccin natural
3 Los conjuntos
3.1 Definicin
3.2 Numerabilidad de conjuntos
3.3 Tipos de conjuntos numricos
3.4 Operaciones con conjuntos
3.5 Propiedades de los conjuntos
4 Relaciones y funciones
4.1 Relaciones
4.1.1 Definicin de relacin
4.1.2 Propiedades de las relaciones
4.1.3 Tipos de relaciones
4.2 Funciones
4.2.1 Definicin
4.2.2 Tipos de funciones
4.2.3 Operaciones
4.2.4 Iteracin y recursividad
5 Estructuras Algebraicas
5.1 Matrices
5.1.1 Definicin
5.1.2 Tipos de matrices
5.1.2 Operaciones con matrices
5.2 Estructuras Algebraicas
5.2.1 Introduccin
5.2.2 Matemtica abstracta
5.2.2.1 Definicin
5.2.2.2 Estructuras algebraicas
5.3 lgebra Booleana
5.3.1 Conceptos
5.3.2 Operaciones booleanas
5.3.3 Leyes
5.3.4 Forma Normal Disyuntiva y Forma Normal Conjuntiva
6 Anlisis combinatorio
6.1 Principio de conteo
6.2 Permutaciones
6.3 Combinaciones
6.4 Cuatro conceptos
7 Teora de grafos
7.1 Definiciones
7.2 Trayectorias y circuitos de Euler
7.3 Trayectorias y circuitos de Hamilton
7.4 rboles
Ngj/v2008
7.3 rboles
238
Matemticas Discretas
Tc1003
Teora de Grafos
3. La final masculina de Wimbledon es ganada por el primer jugador que gane tres
de cinco sets en un juego. Si C y M detonan a los jugadores, dibuja un diagrama de
rbol que demuestre todas las formas posibles en que se puede decidir el juego.
4. Un rumor se difunde como sigue. El que lo origina llama a dos personas por
telfono, Cada una de estas personas telefonea a tres amigos, cada uno de los cuales
a su vez llama a otros 5 ms. Nadie recibe ms de una llamada y nadie llama al que
lo origino. Por medio de un diagrama de rbol, representa como se difunde un
rumor.
Ngj/v2008
7.3 rboles
239
Matemticas Discretas
Tc1003
Teora de Grafos
Actividades de rboles
Solucin
1. Para las siguientes expresiones, construye un rbol con notacin polaca.
a) (4 + (7 ( y + 2))) (7 + ( y x ))
b) ((1 x ) 3) ((( y 2) 7 ) + 4 ) (( y x ) + 7 )
Ngj/v2008
7.3 rboles
240
Matemticas Discretas
Tc1003
Teora de Grafos
2. Para la siguiente secuencia de nmeros, construye un rbol acomodando los
mayores de lado izquierdo del nodo y los menores de lado derecho del nodo
a) 10, 14, 2, 4, 13, 1, 7, 8, 11, 16, 5, 20
b) 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
Ngj/v2008
7.3 rboles
241
Matemticas Discretas
Tc1003
Teora de Grafos
3. La siguiente matriz muestra una tabla de direcciones (registros) en donde se
encuentra almacenada cierta informacin. La columna derecha contiene el
nmero de registro de la informacin antecesora (nodo hijo derecho). La columna
izquierda contiene el nmero de registro de la informacin sucesora (nodo hijo
izquierdo). Por medio de un rbol binario, representa la tabla de direcciones. El
nodo raz es el registro nmero 5.
Nmero de 1
registro
derecha
informacin a
izquierda
Ngj/v2008
10
11
12
13
14
15
1
b
13
2
e
6
f
8
7
h
14
k
12
3
l
4
11
m
7.3 rboles
242
Matemticas Discretas
Tc1003
Teora de Grafos
4. El siguiente es el programa analtico del curso de Matemticas Discretas,
representa en forma de rbol este contenido.
3. La final masculina de Wimbledon es ganada por el primer jugador que gane tres
de cinco sets en un juego. Si C y M detonan a los jugadores, dibuja un diagrama de
rbol que demuestre todas las formas posibles en que se puede decidir el juego.
Ngj/v2008
7.3 rboles
243
Matemticas Discretas
Tc1003
Teora de Grafos
4. Un rumor se difunde como sigue. El que lo origina llama a dos personas por
telfono, Cada una de estas personas telefonea a tres amigos, cada uno de los cuales
a su vez llama a otros 5 ms. Nadie recibe ms de una llamada y nadie llama al que
lo origino. Por medio de un diagrama de rbol, representa como se difunde un
rumor.
Ngj/v2008
7.3 rboles
244