Preguntas sobre objetos como funciones, algoritmos o estructuras de datos que se expresan utilizando instancias "más pequeñas" de sí mismos.
Conozco el concepto general de recursión. Encontré el concepto de recursión de la cola mientras estudiaba el algoritmo de clasificación rápida. En este video del algoritmo de clasificación rápida del MIT a las 18:30 segundos, el profesor dice que este es un algoritmo recursivo de cola. No me queda...
He estado viendo todo el desbordamiento de la pila, por ejemplo, aquí , aquí , aquí , aquí , aquí y algunos otros que no me importa mencionar, que "cualquier programa que use la recursión puede convertirse en un programa usando solo la iteración". Incluso hubo un hilo muy votado con una respuesta...
¿Cuándo son algunas instancias (relativamente) básicas (piense en estudiantes de CS de primer año de nivel universitario) cuando uno usaría la recursividad en lugar de solo un bucle?
Sé que el algoritmo de Euclides es el mejor algoritmo para obtener el GCD (gran divisor común) de una lista de enteros positivos. Pero en la práctica, puede codificar este algoritmo de varias maneras. (En mi caso, decidí usar Java, pero C / C ++ puede ser otra opción). Necesito usar el código más...
Considere un tipo inductivo que tiene algunas ocurrencias recursivas en una ubicación anidada, pero estrictamente positiva. Por ejemplo, árboles con ramificación finita con nodos que utilizan una estructura de datos de lista genérica para almacenar los elementos secundarios. Inductive LTree : Set...
En el diseño del compilador, ¿por qué debería eliminarse la recursividad izquierda en las gramáticas? Estoy leyendo que es porque puede causar una recursión infinita, pero ¿no es cierto también para una gramática recursiva
En la práctica, entiendo que cualquier recursión puede escribirse como un bucle (y viceversa (?)) Y si medimos con computadoras reales, encontramos que los bucles son más rápidos que la recursividad para el mismo problema. Pero, ¿hay alguna teoría que haga esta diferencia o es principalmente...
El combinador Y tiene el tipo . Según la correspondencia de Curry-Howard, debido a que el tipo ( a → a ) → a está habitado, debe corresponder a un verdadero teorema. Sin embargo, a → a siempre es cierto, por lo que parece que el tipo del combinador Y corresponde al teorema a , que no siempre es...
Hace media década, estaba sentado en una clase de estructuras de datos donde el profesor ofrecía crédito adicional si alguien podía atravesar un árbol sin usar recursividad, una pila, cola, etc. (o cualquier otra estructura de datos similar) y solo algunos indicadores. Se me ocurrió lo que pensé...
En una prueba parcial para la preparación de GATE había una pregunta: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Respondí "Terminará para todos los enteros", porque incluso para algunos enteros negativos, terminará como Error de desbordamiento de pila . Pero mi amigo no estuvo de...
Estaba explicando el famoso algoritmo determinista de selección de tiempo lineal ( algoritmo de mediana de medianas) a un amigo. La recurrencia en este algoritmo (aunque es muy simple) es bastante sofisticada. Hay dos llamadas recursivas, cada una con diferentes parámetros. Estaba tratando de...
Estoy familiarizado con la idea de la eliminación básica de la recursividad de la cola, donde las funciones que devuelven el resultado directo de una llamada pueden reescribirse como bucles iterativos. foo(...): # ... return foo(...) También entiendo que, como un caso especial, la función aún...
Usando el siguiente algoritmo recursivo de Fibonacci: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Si ingreso el número 5 para encontrar fib (5), sé que esto generará 5, pero ¿cómo examino la complejidad de este algoritmo? ¿Cómo calculo los pasos...
Parece que he encontrado una forma genérica de convertir cualquier procedimiento recursivo a recursión de cola: Defina un subprocedimiento auxiliar con un parámetro adicional "resultado". Aplique lo que se aplicaría al valor de retorno del procedimiento a ese parámetro. Llame a este procedimiento...
¿"Inductivamente" y "recursivamente" significan muy similares? Por ejemplo, si hay un algoritmo que determina un vector n-dim mediante la determinación de sus primeros componentes k + 1 en función de que se hayan determinado sus primeros componentes k, y se inicializa con el primer componente,...
Recientemente, me encontré con este problema , una variación de las torres de Hanoi . Planteamiento del problema: Considere la siguiente variación del conocido problema Towers of Hanoi: Se nos dan torres ym discos de tamaños 1 , 2 , 3 , ... , m apilados en algunas torres. Su objetivo es...
En la programación de tipo dependiente, hay dos formas principales de descomponer datos y realizar recursividad: Dependencia de patrones dependientes : las definiciones de funciones se dan como múltiples cláusulas. La unificación asegura que todos los casos omitidos son imposibles, y un...
Necesito crear un algoritmo recursivo para ver si un árbol binario es un árbol de búsqueda binario, así como contar cuántas ramas completas hay (un nodo primario con nodos secundarios izquierdo y derecho) con una variable de conteo global asumida. Esta es una tarea para mi clase de estructuras de...
En el artículo Parsing Expressions by Recursive Descent de Theodore Norvell (1999), el autor comienza con la siguiente gramática para expresiones aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v lo cual es bastante malo, porque es ambiguo y recursivo...
Esta gramática se deja recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...