« Programmation algorithmique/Listes simplement chaînées » : différence entre les versions

Contenu supprimé Contenu ajouté
JulienCo (discussion | contributions)
→‎Recherche dans une liste chaînée : Ajout d'une section sur la récursion
Ligne 49 :
'''RETOURNER''' ELEMENT_COURANT
'''FIN FONCTION'''
 
 
== Itération contre récursion ==
 
De nombreux problèmes sur les listes chainées peuvent se traiter aussi bien de façon itérative (à l'aide de boucles) que de façon récursive (à l'aide d'appels récursifs de fonctions).
La récursion (ou récursivité) se rattache plus à l'algorithmique fonctionnelle qu'à l'algorithmique impérative.
Toutefois, les langages impératifs offrent souvent la possibilité de programmer par récursion, alors il est intéressant de choisir entre itération et récursion en toute connaissance de cause.
 
Voici donc un exemple d'algorithme utilisant la récursion, il s'agit de rechercher un élément dans une liste, comme plus haut.
 
=== Recherche d'un élément ayant une clé CLEF dans une liste (version récursive) ===
 
Complexité en temps: O(N). Complexité en espace : O(N) ou O(1) selon le support d'exécution.
 
FONTION SIMPLE_LISTE: RECHERCHE(LISTE,CLEF)
RETOURNER RECH_REC(LISTE.TETE)
FIN FONCTION
FONCTION SIMPLE_LISTE: RECH_REC(ELEMENT, CLEF)
SI ELEMENT = NIL OU ELEMENT.CLEF = CLEF
ALORS RETOURNER ELEMENT
SINON RETOURNER RECH_REC(ELEMENT.SUIVANT)
FIN FONCTION
 
On notera que dans cet exemple on ne trouve ni affectation (ou assignation), ni séquence (succession inconditionnelle de deux instructions). Il s'agit donc bien d'un algorithme fonctionnel.
 
Selon le langage et le compilateur utilisé pour réaliser cet algorithme, les appels récursifs successifs seront stockés ou non en mémoire. On parle de pile d'appels récursifs. Dans le cas où le support d'exécution (c'est à dire l'interprète ou le code compilé) utilise une pile d'appels récursifs pour exécuter la fonction RECH_REC, la complexité en espace sera O(N), car pour chaque élément de la liste, on devra stocker en mémoire, sur la pile, l'information sur l'appel en cours. Dans le second cas, où le compilateur est capable de générer du code qui utilise un espace limité sur la pile, la complexité en espace sera O(1), comme pour la version itérative.
A titre d'exemple, le compilateur GCC est capable de compiler certaines fonctions récursives écrites en C pour qu'elles utilisent un espace constant sur la pile, alors que l'interprète standard du langage Python empile systématiquement les appels récursifs.
 
== Insertion ==