FUNCION DE ACKERMANN

Estructura de datos

Alumna: carolina macias sibaja

Inge. Sistemas computacionales
Tercer semestre G2
Función de Ackermann.
una función de Ackermann es una función matemática recursiva encontrada
en 1926 por Wilhelm Ackermann. Tiene un crecimiento extremadamente
rápido, lo que es de interés para la ciencia computacional teórica y la teoría de
la computabilidad. Hoy en día hay una serie de funciones que son llamadas
funciones de Ackermann. Todas ellas tienen una forma similar a la ley original
la función de Ackermann y también tienen un comportamiento de crecimiento
similar. Esta función toma dos números naturales como argumentos y
devuelve un único número natural. Como norma general se define como sigue:

En 1928, Wilhelm Ackermann observó que A(x,y,z), la z-ésima exponenciación

iterada de x con y como exponente, es una función recursiva que no es
primitiva recursiva. En 1935, Rózsa Péter simplificó A(x,y,z) a una función de
dos variables. En 1948, Raphael M. Robinson simplificó la condición inicial.
Quedando una función doblemente recursiva de N2 en N.
Esta última versión es conocida hoy día como la función de Ackermann, el
ejemplo más simple de una función total que es computable. O sea, que se
puede implementar con ciclos de tipo "While". Pero que no es primitiva
recursiva. Por tanto no se puede implementar sólo con ciclos de tipo "For".
Esto proporciona un contraejemplo a la creencia de principios del s. XX de que
toda función computable era también primitiva recursiva. Por su definición
inicial, la función de Ackermann crece más rápido que cualquier función
exponencial, e incluso cualquier función exponencial mútiple.
De hecho, A[4,2] = 22222 − 3 = 265536 − 3 es un número natural con más de
19.000 dígitos en base 10.
Demostraremos por inducción, que

Propiedad 1: A[1, n] = n + 2.
Veamos el primer caso de la inducción, por la segunda línea de la definición
A[1, 0] = A[0, 1] y ahora por la primera A[0, 1] = 1 + 1 = 2 = 0 + 2 que es lo
queríamos demostrar.
Ahora, sin escribir el nombre de la función, tenemos
[1, n ] = (por la tercera línea de la definición) = [0, 1, n - 1] = (por inducción) =
[0, n - 1 +2] = [0, n + 1] = (por la primera línea de la definición) = n + 1 + 1 = n +
2 como queríamos demostrar.
Ahora, podemos demostrar por inducción, que
Propiedad 2: A[2, n] = 2 n + 3.
Veamos el primer caso de la inducción. Sin escribir el nombre de la función,
tenemos
[2, 0] = (por la segunda línea de la definición) = [1, 1] = (por el caso anterior) =
1 + 2 = 3 = 2*0 + 3
como queríamos. Ahora por hipótesis de inducción:
[2, n ] = (por la tercera línea de la definición) = [1, 2, n - 1] = (por inducción) =
[1, 2(n - 1) +3] = [1, 2 n + 1] = (por caso anterior) =
= 2 n + 1 + 2 = 2 n + 3 como queríamos demostrar.
Ahora, podemos demostrar por inducción, que
Propiedad 3: A[3, n] = 2n + 3 - 3.
Veamos el primer caso de la inducción. Sin escribir el nombre de la función,
tenemos
[3, 0] = (por la segunda línea de la definición) = [2, 1] = (por el caso anterior) =
2*1 + 3 = 5 = 20 + 3 - 3

como queríamos. Ahora por hipótesis de inducción:

[3, n ] = (por la tercera línea de la definición) = [2, 3, n - 1] = (por inducción) =
[2, 2n + 2 - 3] = (por caso anterior) = 2 (2n + 2 - 3) + 3 =
= 2n + 3 – 3 como queríamos demostrar.
Ahora, podemos demostrar por inducción, que
Propiedad 4: A[4, n] = 222...2 − 3 . Donde el primer sumando es una potencia
anidada de n + 3 niveles.
Veamos el primer caso de la inducción. Sin escribir el nombre de la función,
tenemos
[4, 0] = (por la segunda línea de la definición) = [3, 1] = (por el caso anterior) =
21 + 3 - 3 = 222 - 3 = 13
como queríamos. Ahora por hipótesis de inducción:
[4, n ] = (por la tercera línea de la definición) = [3, 4, n - 1] = (por inducción) =
[3, 222...2 − 3] = (por caso anterior) = 222...22 − 3
obtenemos un nivel más en el primer sumando, como queríamos demostrar.
Estas 4 funciones son fáciles de implementar en cualquier lenguaje o paquete
con aritmética de precisión múltiple y suponen una mejora sustancial para
estos niveles. Sin embargo, la velocidad de crecimiento de A[4,n] es tan grande
que hace imposible y sin sentido calcularla para valores grandes de n.

Link del programa comprimido:

https://drive.google.com/file/d/10H-
L2AQLP21KRy4piimG5uv0YAn5lXSY/view?usp=sharing