ESP / UCAD Année académique 2021- 2022

Ecole Supérieure Polytechnique de

Dakar – Département Génie
Informatique – DIC 1

Travaux dirigés d’Algorithmique

(Récursivité et Itération)
Exercice 1  :
Écrire une fonction récursive calculant la fonction d’Ackermann notée A définie pour m≥0 et n≥0
par :
A (m, n)= A (m-1, A (m, n-1)) si n>0 et m>0
A (0, n)=n+1 si n>0
A (m, 0)= A (m-1, 1) si m>0

Étudier la terminaison de cette fonction.

Exercice 2  :
La fonction de Morris est définie par :

Morris (0, n)=1 ∀ n∈ℕ

Morris (m, n)= Morris (m-1, Morris (m, n)) si m>0

Étudier la terminaison de cette fonction.

Exercice 3  :
‘‘ Lorsque l’on part d’un entier u0 supérieur à 1, la suite (uk)kЄIN définie par, uk+1= uk /2 si uk est un
entier pair et uk+1=3 uk +1 sinon, finit toujours par atteindre 1 ’’

a. écrire une fonction récursive correspondant à cette conjecture.

b. étudier sa terminaison 

Exercice 4:
Que fait cet algorithme où T est un tableau indicé de 1 à n? Donner un invariant de boucle et
le prouver.
i:=1;
tant que i<n faire
si T[i+1] ≥ T[i]
alors i ← i+1
sinon
t ← T[i]
T[i] ← T[i+1]
T[i+1] ← t
i ← 1
finsi
fintantque;

1
ESP / UCAD Année académique 2021- 2022

Exercice 5:
xn ← 1
p ← x
k=n;
tant que k > 0 faire
si k mod 2 ≠ 0
alors
xn ← xn*p
k ← k-1
sinon
p ← p*p
k ← k/2
finsi;
fintantque;

Que fait cet algorithme ? Donner un invariant et le prouver.