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

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

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

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

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

233

Matemticas Discretas Tc1003 Teora de Grafos Para: sub - rboles

Cuntos subrboles? Altura = ? 5

V0 V1 V1

V0 V 2 V 2

V 0 V3 V3

V4

V6

V8 V13

Ngj/v2008

7.3 rboles

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 235

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

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 2 1 b 13 3 c 4 d 5 2 e 6 6 f 8 7 g 8 7 h 14 9 i 10 j 11 k 12 12 3 l 4 13 11 m 14 n 15 p

4. El siguiente es el programa analtico del curso de Matemticas Discretas, representa en forma de rbol este contenido.
1 Conceptos fundamentales 1.1 Breve historia de las matemticas 1.1.1 Civilizaciones, historia y matemticos 1.1.2 Clasificacin de las matemticas 1.2 Aritmtica 1.2.1 Introduccin 1.2.2 Los nmeros 1.2.3 Definicin de los nmeros 1.2.4 Operaciones de los nmeros Adicin y Sustraccin Multiplicacin y Divisin Operacin binaria 1.2.5 Propiedades de los nmeros Cerradura, inverso y neutro Conmutativa y Asociativa Distributiva 1.2.6 Propiedades de las operaciones de los nmeros Para los nmeros enteros Para los nmeros racionales

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 2 1 b 13 3 c 4 d 5 2 e 6 6 f 8 7 g 8 7 h 14 9 i 10 j 11 k 12 12 3 l 4 13 11 m 14 n 15 p

Ngj/v2008

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