Matem

1
Matemáticas para Ciencias de la
ComputaciónMCC3182

• 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.

2
Matemáticas para Ciencias de la
ComputaciónMCC3182

• Árboles

3
Matemáticas para Ciencias de la
ComputaciónMCC3182

• Definiciones equivalentes de Árboles
• Es un grafo conectado sin ciclos
• Es un grafo conectado donde EV-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

4
Matemáticas para Ciencias de la
ComputaciónMCC3182
5
Matemáticas para Ciencias de la
ComputaciónMCC3182
6
Matemáticas para Ciencias de la
ComputaciónMCC3182

• Definición Recursiva

7
Matemáticas para Ciencias de la
ComputaciónMCC3182

• 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

8
Matemáticas para Ciencias de la
ComputaciónMCC3182
9
Matemáticas para Ciencias de la
ComputaciónMCC3182

• Lema Cada x que está en S, posee el mismo número
  de as que de bs.
• Demostrar por Inducción Estructural sobre la
  definición de S.

10
Matemáticas para Ciencias de la
ComputaciónMCC3182

• Demostración Sea
• EQ strings con la misma cantidad de a y de b

11
Matemáticas para Ciencias de la
ComputaciónMCC3182
12
Matemáticas para Ciencias de la
ComputaciónMCC3182
13
Matemáticas para Ciencias de la
ComputaciónMCC3182

• Tipos de Datos Recursivos
• Árbol Binario Recursivo

14
Matemáticas para Ciencias de la
ComputaciónMCC3182
15
Matemáticas para Ciencias de la
ComputaciónMCC3182
16
Matemáticas para Ciencias de la
ComputaciónMCC3182
17
Matemáticas para Ciencias de la
ComputaciónMCC3182
18
Matemáticas para Ciencias de la
ComputaciónMCC3182
19
Matemáticas para Ciencias de la
ComputaciónMCC3182
20
Matemáticas para Ciencias de la
ComputaciónMCC3182
21
Matemáticas para Ciencias de la
ComputaciónMCC3182
22
Matemáticas para Ciencias de la
ComputaciónMCC3182
23
Matemáticas para Ciencias de la
ComputaciónMCC3182

• Caso Inductivo HacerDer, se aplica lo mismo que
  en HacerIzq

24
Matemáticas para Ciencias de la
ComputaciónMCC3182
25
Matemáticas para Ciencias de la
ComputaciónMCC3182