Expunged

La función TREE(n) viene de la teoría de grafos y más específicamente de árboles etiquetados:

1. Consideramos árboles finitos cuyos nodos están etiquetados con números del 1 al n.


2. Definimos una secuencia de árboles que sea “sin embebidos”:

Un árbol no puede ser embebido (como un subárbol ordenado)

Esto significa que no puedes mapear dentro de un árbol previo respetando la estructura de padres e hijos y las etiquetas de los nodos.



3. TREE(n) es el máximo número de árboles que puedes tener en una secuencia sin embebidos.



En otras palabras, TREE(n) mide la longitud de la secuencia más larga posible de árboles etiquetados con n etiquetas sin que uno se pueda incrustar en otro.


---

2. Valores conocidos

TREE(1) = 1
Solo puedes tener un árbol etiquetado con 1 etiqueta.

TREE(2) = 3
Aquí la secuencia más larga de árboles distintos que no se incrusten es de 3 árboles.

TREE(3)
Este valor es astronómicamente grande, mucho más grande que un Graham’s number. No hay forma de escribirlo de manera convencional; simplemente se sabe que es inconcebiblemente grande.

Para TREE(4) y superiores, ni siquiera los matemáticos pueden siquiera imaginar su tamaño: exceden cualquier cantidad de átomos en el universo y cualquier número construible mediante potencias de 10.



---

3. Resumen visual simple

n TREE(n)

TREE (1) =1
TREE (2) =3
TREE (3) Muy grande (incomparable)
TREE (4) Casi inimaginable

1 month ago (edited) | [YT] | 2