Relaciones arbóreas

Como se explica en el ejercicio Relación definida por un árbol, cada árbol binario define una relación binaria donde un elemento x está relacionado con y si x es el padre de y.

Una relación binaria es arbórea si

  • hay exactamente un elemento que no tiene ningún (la raíz del árbol) y
  • todos los elementos tienen dos hijos (los nodos internos) o ninguno (las hojas del árbol).

Definir la función

tal que (arborea r) se verifica si la relación r es arbórea. Por ejemplo,

Soluciones

3 Comentarios

  1. Una solución que creo sirve para cualquier árbol (se repita o no la raíz o cualquier elemento).

    Para comprobar la función podemos usar la función relacionDelArbol (definida en Relación definida por un árbol) y un generado de árboles y definir la propiedad de que toda relación dada por un árbol debe ser arbórea.

    También podemos definir otra propuesta que sirve exclusivamente para árboles con padres como suma de hijos, como el del ejemplo, pero con un código bastante más simple.

Leave a Reply to Chema CortésCancel reply