Árbol de subconjuntos

Definir las siguientes funciones

tales que

  • (arbolSubconjuntos xs) es el árbol de los subconjuntos de xs. Por ejemplo.

  • (nNodosArbolSubconjuntos xs) es el número de nodos del árbol de xs. Por ejemplo

  • (sumaNNodos n) es la suma del número de nodos de los árboles de los subconjuntos de [1..k] para 1 <= k <= n. Por ejemplo,

Soluciones