Matemáticas para Ciencias de la Computación MCC3182 Otra Definición Definición 2: Un árbol es un grafo conectado con n vértices y n-1 arcos. En efecto, un árbol es un pequeño grafo conectado con n vértices.
Matemáticas para Ciencias de la Computación MCC3182 Árboles
Matemáticas para Ciencias de la Computación MCC3182 Definiciones equivalentes de Árboles Es un grafo conectado sin ciclos Es un grafo conectado donde |E|=|V|-1 Es un grafo donde removiendo algún arco, alguna hoja queda desconectada. Es un grafo donde existe un único y simple camino entre dos vértices
Matemáticas para Ciencias de la Computación MCC3182
Definición Recursiva
Matemáticas para Ciencias de la Computación MCC3182 Se procede a definir la recursividad en términos de versiones simples de alguna regla particular. Caso Base : Corresponde a la definición de los casos simples. Inducción : Corresponde a la construcción de los casos, dependiendo de los casos simples
Matemáticas para Ciencias de la Computación MCC3182
Lema: Cada x que está en S, posee el mismo número de a’s que de b’s. Demostrar por Inducción Estructural sobre la definición de S.
Matemáticas para Ciencias de la Computación MCC3182 Demostración: Sea EQ={ strings con la misma cantidad de a y de b}
Matemáticas para Ciencias de la Computación MCC3182
Tipos de Datos Recursivos Árbol Binario Recursivo
Matemáticas para Ciencias de la Computación MCC3182
Caso Inductivo: HacerDer, se aplica lo mismo que en HacerIzq
Matemáticas para Ciencias de la Computación MCC3182