Perguntas com a marcação «recursion»

Eu conheço o conceito geral de recursão. Me deparei com o conceito de recursão da cauda enquanto estudava o algoritmo quicksort. Neste vídeo de algoritmo de ordenação rápida do MIT às 18:30 segundos, o professor diz que este é um algoritmo recursivo de cauda. Não está claro para mim o …

52 algorithms  reference-request  recursion 

Tenho visto em todo estouro de pilha, por exemplo, aqui , aqui , aqui , aqui , aqui e alguns outros eu não me importo de mencionar, que "qualquer programa que usa recursão pode ser convertido em um programa usando apenas iteração". Havia até mesmo um altamente upvoted fio com …

42 computability  recursion  iteration 

Quando são algumas instâncias (relativamente) básicas (pense no primeiro ano do ensino médio) quando alguém usaria recursão em vez de apenas um loop?

26 algorithms  recursion 

Eu sei que o algoritmo de Euclides é o melhor para obter o GCD (ótimo divisor comum) de uma lista de números inteiros positivos. Mas, na prática, você pode codificar esse algoritmo de várias maneiras. (No meu caso, decidi usar Java, mas C / C ++ pode ser outra opção). …

26 algorithms  recursion  arithmetic 

Considere um tipo indutivo que possui algumas ocorrências recursivas em um local aninhado, mas estritamente positivo. Por exemplo, árvores com ramificação finita com nós usando uma estrutura de dados de lista genérica para armazenar os filhos. Inductive LTree : Set := Node : list LTree -> LTree. A maneira ingênua …

21 logic  coq  type-theory  recursion  proof-assistants 

Na prática, entendo que qualquer recursão pode ser escrita como um loop (e vice-versa (?)) E, se medirmos com computadores reais, verificamos que os loops são mais rápidos que a recursão para o mesmo problema. Mas existe alguma teoria que faça essa diferença ou seja principalmente emprical?

17 time-complexity  recursion  loops 

O combinador Y tem o tipo . Pela correspondência de Curry-Howard, como o tipo é habitado, ele deve corresponder a um verdadeiro teorema. No entanto, é sempre verdadeiro, portanto parece que o tipo do combinador Y corresponde ao teorema , o que nem sempre é verdadeiro. Como isso pode ser?( …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

Meia década atrás, eu estava sentado em uma classe de estruturas de dados em que o professor oferecia crédito extra se alguém pudesse atravessar uma árvore sem usar recursão, pilha, fila etc. (ou qualquer outra estrutura de dados semelhante) e apenas alguns indicadores. Eu vim com o que eu pensava …

15 algorithms  trees  recursion 

Em um teste de peça para preparação do GATE, houve uma pergunta: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Eu respondi "Terminará para todos os números inteiros", porque mesmo para alguns números inteiros negativos, terminará como Erro de estouro de pilha . Mas meu amigo …

14 algorithms  recursion  pseudocode 

Estou familiarizado com a idéia de eliminação básica da recursão da cauda, ​​em que funções que retornam o resultado direto de uma chamada para elas mesmas podem ser reescritas como loops iterativos. foo(...): # ... return foo(...) Também entendo que, como um caso especial, a função ainda pode ser reescrita …

14 compilers  recursion  program-optimization  tail-recursion 

Eu estava explicando o famoso algoritmo determinístico de seleção em tempo linear ( algoritmo de mediana de medianas) a um amigo. A recursão neste algoritmo (embora seja muito simples) é bastante sofisticada. Existem duas chamadas recursivas, cada uma com parâmetros diferentes. Eu estava tentando encontrar outros exemplos de algoritmos recursivos …

14 algorithms  recursion 

Parece que eu encontrei uma maneira genérica de converter qualquer procedimento recursivo em recursão de cauda: Defina um subprocedimento auxiliar com um parâmetro "resultado" extra. Aplique o que seria aplicado ao valor de retorno do procedimento a esse parâmetro. Ligue para este procedimento auxiliar para começar. O valor inicial para …

13 algorithms  logic  recursion  lisp 

Usando o seguinte algoritmo recursivo de Fibonacci: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Se eu inserir o número 5 para encontrar fib (5), sei que isso produzirá 5, mas como examino a complexidade desse algoritmo? Como calculo as etapas envolvidas?

13 algorithms  time-complexity  recursion 

Recentemente, me deparei com este problema , uma variação de torres de hanoi . Declaração do problema: Considere a seguinte variação do conhecido problema Towers of Hanoi: Recebemos torres e m discos de tamanhos empilhados em algumas torres. Seu objetivo é transferir todos os discos para a torre com o …

11 algorithms  combinatorics  recursion 

"Indutivamente" e "recursivamente" significam muito semelhantes? Por exemplo, se existe um algoritmo que determina um vetor n-dim determinando seus primeiros componentes k + 1 com base em seus primeiros k componentes que foram determinados e é inicializado com o primeiro componente, você chamaria de trabalho recursivo ou indutivo? Eu tenho …

11 algorithms  terminology  recursion  induction