Scienza del computer recursion

4

Conosco il concetto generale di ricorsione. Mi sono imbattuto nel concetto di ricorsione della coda mentre studiavo l'algoritmo quicksort. In questo video dell'algoritmo di ordinamento rapido del MIT alle 18:30 secondi il professore afferma che si tratta di un algoritmo ricorsivo di coda. Non mi è chiaro cosa significhi davvero …

52 algorithms reference-request recursion

5

L'iterazione può sostituire la ricorsione?

Ho visto tutto lo stack Overflow, ad esempio qui , qui , qui , qui , qui e alcuni altri che non mi interessa menzionare, che "qualsiasi programma che utilizza la ricorsione può essere convertito in un programma usando solo l'iterazione". C'era anche un thread molto votato con una risposta …

42 computability recursion iteration

6

Qual è la più efficiente per GCD?

So che l'algoritmo di Euclide è l'algoritmo migliore per ottenere il GCD (grande divisore comune) di un elenco di numeri interi positivi. Ma in pratica puoi codificare questo algoritmo in vari modi. (Nel mio caso, ho deciso di utilizzare Java, ma C / C ++ potrebbe essere un'altra opzione). Devo …

26 algorithms recursion arithmetic

5

Quando usare la ricorsione?

Quando ci sono alcuni casi (relativamente) di base (pensa al primo anno di college CS student) in cui uno userebbe la ricorsione invece di un semplice ciclo?

26 algorithms recursion

2

Definizioni ricorsive su un tipo induttivo con componenti nidificati

Considera un tipo induttivo che presenta alcune occorrenze ricorsive in una posizione nidificata, ma strettamente positiva. Ad esempio, alberi con ramificazione finita con nodi che utilizzano una struttura di dati di elenco generica per memorizzare i figli. Inductive LTree : Set := Node : list LTree -> LTree. Il modo …

21 logic coq type-theory recursion proof-assistants

3

Perché i loop sono più veloci della ricorsione?

In pratica, capisco che qualsiasi ricorsione può essere scritta come un ciclo (e viceversa (?)) E se misuriamo con i computer reali scopriamo che i cicli sono più veloci della ricorsione per lo stesso problema. Ma c'è qualche teoria che fa questa differenza o è principalmente imprecisa?

17 time-complexity recursion loops

2

Il combinatore Y contraddice la corrispondenza Curry-Howard?

Il combinatore Y ha il tipo . Dalla corrispondenza Curry-Howard, poiché il tipo ( a → a ) → a è abitato, deve corrispondere a un vero teorema. Comunque a → a è sempre vero, quindi sembra che il tipo del combinatore Y corrisponda al teorema a , che non …

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

3

Un albero può essere attraversato senza ricorsione, pila o coda e solo una manciata di puntatori?

Mezzo decennio fa ero seduto in una classe di strutture di dati in cui il professore offriva credito extra se qualcuno potesse attraversare un albero senza ricorrere a ricorsione, una pila, una coda, ecc. (O qualsiasi altra struttura di dati simile) e solo alcuni suggerimenti. Mi è venuta in mente …

15 algorithms trees recursion

2

Questo programma terminerà per ogni numero intero?

In un test parziale per la preparazione di GATE c'era una domanda: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Ho risposto "Terminerà per tutti i numeri interi", perché anche per alcuni numeri interi negativi, verrà terminato come Errore di overflow dello stack . Ma il …

14 algorithms recursion pseudocode

2

Quali proprietà dei contro consentono l'eliminazione dei contro modulo di ricorsione della coda?

Conosco l'idea dell'eliminazione di base della ricorsione della coda, in cui le funzioni che restituiscono il risultato diretto di una chiamata a se stesse possono essere riscritte come cicli iterativi. foo(...): # ... return foo(...) Comprendo anche che, come caso speciale, la funzione può ancora essere riscritta se la chiamata …

14 compilers recursion program-optimization tail-recursion

6

Esempi di sofisticati algoritmi ricorsivi

Stavo spiegando il famoso algoritmo di selezione del tempo lineare deterministico ( mediano delle mediane) ad un amico. La ricorsione in questo algoritmo (pur essendo molto semplice) è piuttosto sofisticata. Esistono due chiamate ricorsive, ognuna con parametri diversi. Stavo cercando di trovare altri esempi di algoritmi ricorsivi così interessanti, ma …

14 algorithms recursion

1

È un modo generico per convertire qualsiasi procedura ricorsiva in ricorsione della coda?

Sembra che abbia trovato un modo generico per convertire qualsiasi procedura ricorsiva in ricorsione in coda: Definire una procedura secondaria di supporto con un parametro "risultato" aggiuntivo. Applicare ciò che verrebbe applicato al valore restituito della procedura a quel parametro. Chiamare questa procedura di supporto per iniziare. Il valore iniziale …

13 algorithms logic recursion lisp

4

Complessità dell'algoritmo ricorsivo di Fibonacci

Utilizzando il seguente algoritmo ricorsivo di Fibonacci: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Se inserisco il numero 5 per trovare fib (5), so che questo produrrà 5, ma come posso esaminare la complessità di questo algoritmo? Come posso calcolare i passaggi coinvolti?

13 algorithms time-complexity recursion

1

Torri di Hanoi ma con configurazione iniziale e finale arbitraria

Di recente, ho riscontrato questo problema , una variazione delle torri di Hanoi . Dichiarazione problema: Considera la seguente variazione del ben noto problema Torri di Hanoi: Ci vengono date torri e m dischi di dimensioni impilati su alcune torri. Il tuo obiettivo è trasferire tutti i dischi sulla torre …

11 algorithms combinatorics recursion

3

"Induttivamente" e "ricorsivamente" hanno significati molto simili?

"Induttivamente" e "ricorsivamente" significano molto simili? Ad esempio, se esiste un algoritmo che determina un vettore n-dim determinando i suoi primi componenti k + 1 in base alla determinazione dei suoi primi componenti k, ed è inizializzato con il primo componente, chiameresti che funzioni in modo ricorsivo o induttivo? Ho …

11 algorithms terminology recursion induction

Domande taggate «recursion»