Recursión

De Wikipedia, la enciclopedia libre

Recursión es la forma en la cual se especifica un proceso basado en su propia definición. Siendo un poco más precisos, y para evitar el aparente círculo sin fin en esta definición, las instancias complejas de un proceso se definen en términos de instancias más simples, estando las finales más simples definidas de forma explícita.

(Nota: aunque los términos "recursión" y "recursividad" son ampliamente empleados en el campo de la informática, el término correcto en castellano es recurrencia)

Tabla de contenidos 1 Los números naturales 2 Funciones definidas de forma recurrente 3 Algoritmo recurrente 4 Ejemplos

[editar] Los números naturales

Un ejemplo de conjunto definido de forma recurrente es el de los números naturales:

0 pertenece a N

si n pertenece a N, entonces n+1 pertenece a N

Los números naturales es el conjunto de números enteros positivos.

[editar] Funciones definidas de forma recurrente

Aquellas funciones cuyo dominio puede ser recursivamente definido pueden ser definidas de forma recurrente.

El ejemplo más conocido es la definición recurrente de la función factorial n!:

Con esta definición veamos como funciona esta función para el valor del factorial de 3:

3! = 3 · (3-1)!
   = 3 · 2!
   = 3 · 2 · (2-1)!
   = 3 · 2 · 1!
   = 3 · 2 · 1 · (1-1)!
   = 3 · 2 · 1 · 0!
   = 3 · 2 · 1 · 1
   = 6

[editar] Algoritmo recurrente

Un método usual de simplificación de un problema complejo es la división de este en subproblemas del mismo tipo. Esta técnica de programación se conoce como divide y vencerás y es el núcleo en el diseño de númerosos algoritmos de gran importancia, así como también es parte fundamental de la programación dinámica.

El ejemplo del cálculo recursivo del factorial de un número llevado al campo de la programación, en este ejemplo C++:

int factorial (int x) {
    if (x < 2) return 1; // Caso base: Cuando X < 2 devolvemos 1 puesto que 1! = 1
    return x*factorial(x - 1); // Si X >= 2 devolvemos el producto del número por el factorial del número - 1
}

El seguimiento de la recursividad programada es casi exactamente igual al ejemplo antes dado, para intentar ayudar a que se entienda mejor se ha acompañado con muchas explicaciones y con colores que diferencia los distintos sub-procesos de la recursividad.

X = 3 //Queremos 3!, por lo tanto X inicial es 3
X >= 2 -> return 3*factorial(2);
    X = 2 //Ahora estamos solicitando el factorial de 2
    X >= 2 -> return 2*factorial(1);
        X = 1 // Ahora estamos solicitando el factorial de 1
        X < 2 -> return 1;
        [En este punto tenemos el factorial de 1 por lo que volvemos marcha atrás resolviendo todos los resultados]
    return 3 [es decir: return 2*1 = return 2*factorial(1)]
return 6 [es decir: return 3*2 = return 3*factorial(2)*factorial(1)] // El resultado devuelto es 6

[editar] Ejemplos

Resolución de ecuaciones homogéneas de primer grado, segundo orden:

a) Se pasan al primer miembro los términos a_n, a_{n − 1}, a_{n − 2}, los cuales también podrían figurar como a_{n + 2}, a_{n + 1}, a_n

b) Se reemplaza a_n por r², a_{n − 1} por r y a_{n − 2} por 1, quedando una ecuación de segundo grado con raíces reales y distintas r₁ y r₂.

c) Se plantea

d) Debemos tener como dato los valores de los dos primeros términos de la sucesión: y . Utilizando estos datos ordenamos el sistema de 2x2:

La resolución de este sistema nos da como resultado los valores u₀ y v₀, que son números reales conocidos.

e) La solución general es:

Algunos ejemplos de recurrencia:

• Factorial -- n! = n × (n-1)!
• Sucesión de Fibonacci -- f(n) = f(n-1) + f(n-2)
• Números de Catalan -- C(2n, n)/(n+1)
• Las Torres de Hanoi
• Función de Ackermann