L'informatique recursion

4

Je connais le concept général de récursivité. Je suis tombé sur le concept de récursion de queue tout en étudiant l'algorithme Quicksort. Dans cette vidéo de l'algorithme de tri rapide du MIT à 18h30, le professeur dit qu'il s'agit d'un algorithme récursif de queue. La récursion de la queue n’est …

52 algorithms reference-request recursion

5

L'itération peut remplacer la récursivité?

J'ai vu partout débordement de pile, par exemple ici , ici , ici , ici , ici et quelques autres que je me fiche de mentionner, que "tout programme qui utilise la récursion peut être converti en un programme utilisant uniquement l'itération". Il y avait même un fil de discussion …

42 computability recursion iteration

5

Quand utiliser la récursivité?

Quand y a-t-il des cas (relativement) basiques (pensez aux étudiants CS de première année de niveau collégial) où l'on utiliserait la récursivité au lieu d'une simple boucle?

26 algorithms recursion

6

Qu'est-ce qui est le plus efficace pour GCD?

Je sais que l'algorithme d'Euclide est le meilleur algorithme pour obtenir le GCD (grand diviseur commun) d'une liste d'entiers positifs. Mais en pratique, vous pouvez coder cet algorithme de différentes manières. (Dans mon cas, j'ai décidé d'utiliser Java, mais C / C ++ peut être une autre option). J'ai besoin …

26 algorithms recursion arithmetic

2

Définitions récursives sur un type inductif avec des composants imbriqués

Considérons un type inductif qui a des occurrences récursives dans un emplacement imbriqué, mais strictement positif. Par exemple, des arbres à ramifications finies avec des nœuds utilisant une structure de données de liste générique pour stocker les enfants. Inductive LTree : Set := Node : list LTree -> LTree. La …

21 logic coq type-theory recursion proof-assistants

3

Pourquoi les boucles sont-elles plus rapides que la récursivité?

En pratique, je comprends que toute récursivité peut être écrite comme une boucle (et vice versa (?)) Et si nous mesurons avec des ordinateurs réels, nous constatons que les boucles sont plus rapides que la récursivité pour le même problème. Mais y a-t-il une théorie qui fait cette différence ou …

18 time-complexity recursion loops

2

Le combinateur Y contredit-il la correspondance Curry-Howard?

Le combinateur Y a le type . Par la correspondance de Curry-Howard, parce que le type est habité, il doit correspondre à un vrai théorème. Cependant est toujours vrai, il semble donc que le type du combinateur Y corresponde au théorème , qui n'est pas toujours vrai. Comment se peut-il?( …

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

3

Un arbre peut-il être parcouru sans récursivité, pile ou file d'attente, et juste une poignée de pointeurs?

Il y a une demi-décennie, j'étais assis dans une classe de structures de données où le professeur offrait un crédit supplémentaire si quelqu'un pouvait traverser un arbre sans utiliser la récursivité, une pile, une file d'attente, etc. (ou toute autre structure de données similaire) et seulement quelques pointeurs. J'ai trouvé …

15 algorithms trees recursion

2

Ce programme prendra-t-il fin pour chaque entier?

Dans un test de pièce pour la préparation de GATE, il y avait une question: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) J'ai répondu "Il se terminera pour tous les entiers", car même pour certains entiers négatifs, il se terminera par une erreur de dépassement …

14 algorithms recursion pseudocode

2

Quelle propriété des inconvénients permet d'éliminer les inconvénients de la récursion modulo de la queue?

Je connais l'idée de l' élimination de base de la récursivité de la queue, où les fonctions qui renvoient le résultat direct d'un appel peuvent être réécrites sous forme de boucles itératives. foo(...): # ... return foo(...) Je comprends également que, comme cas spécial, la fonction peut toujours être réécrite …

14 compilers recursion program-optimization tail-recursion

6

Exemples d'algorithmes récursifs sophistiqués

J'expliquais à un ami le célèbre algorithme de sélection déterministe du temps linéaire ( algorithme de la médiane des médianes). La récursivité dans cet algorithme (tout en étant très simple) est assez sophistiquée. Il existe deux appels récursifs, chacun avec des paramètres différents. J'essayais de trouver d'autres exemples d'algorithmes récursifs …

14 algorithms recursion

1

Est-ce un moyen générique de convertir une procédure récursive en récursivité de queue?

Il semble que j'ai trouvé un moyen générique de convertir toute procédure récursive en récursion de queue: Définissez une sous-procédure d'assistance avec un paramètre "résultat" supplémentaire. Appliquez ce qui serait appliqué à la valeur de retour de la procédure à ce paramètre. Appelez cette procédure d'assistance pour commencer. La valeur …

13 algorithms logic recursion lisp

4

Complexité de l'algorithme de Fibonacci récursif

En utilisant l'algorithme récursif de Fibonacci suivant: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Si j'entre le nombre 5 pour trouver fib (5), je sais que cela produira 5 mais comment puis-je examiner la complexité de cet algorithme? Comment calculer les étapes impliquées?

13 algorithms time-complexity recursion

1

Tours de Hanoi mais avec configuration initiale et finale arbitraire

Récemment, je suis tombé sur ce problème , une variante des tours de hanoi . Énoncé du problème: Considérez la variation suivante du problème bien connu des tours de Hanoi: On nous donne tours et m disques de tailles 1 , 2 , 3 , … , m empilés sur …

11 algorithms combinatorics recursion

3

Est-ce que «inductivement» et «récursivement» ont des significations très similaires?

Est-ce que "inductivement" et "récursivement" signifient très similaires? Par exemple, s'il existe un algorithme qui détermine un vecteur n-dim en déterminant ses premiers k + 1 composants en fonction de ses premiers k composants ayant été déterminés et est initialisé avec le premier composant, l'appelleriez-vous fonctionne récursivement ou inductivement? J'utilise …

11 algorithms terminology recursion induction

Questions marquées «recursion»