Algorithme non récursif

Bonsoir j'ai l’algorithme suivant et je doit en écrire une version non récursive néanmoins je débute sur Caml et malgré mes différents essais je n'y parviens pas pourriez vous m'aidez svp ?

Code:

---

1 2 3

let rec v n=match n with |0->0 |_->n-v(v(n-1));;

---

merci d'avance

Tu peux itérer de 0 à n et remplir un vecteur (de type int vect ou int array) avec les valeurs respectives de v.

d'accord merci mais pour cela je vais devoir faire une sous fonction recursive non ?

Code:

---

1 2 3 4 5 6 7 8 9 10 11

let v n=match n with |0->0 |_-> let valeurs = make_vect n 0 in for i = 0 to n do if valeurs.(i) > 0 then valeurs.(i) else let out= i - valeurs.(valeurs.(i-1)) in valeurs.(i)<- out; done;;

---

J'ai réaliser l'algorithme suivant mais il me dit que l'vant derniere ligne est de type unit mais est utiliser avec le type int que faire ? svp

if ... then ... else ... est une expression.
Les deux branches (vrai et faux) d'une expression if doivent avoir le même type.
Or ta branche vrai a le type int, c'est pourquoi Caml attend également le type int pour ta branche faux.

J'ai colorié en rouge les 2 principales différences :

Code:

---

1 2 3 4 5 6

let v n = let a = make_vect (n+1) 0 in for i = 1 to n do a.(i) <- i - a.(a.(i-1)) done; a.(n);;

---

De façon générale il faut examiner les indices des accès aux vecteurs, noter les contraintes qui en découlent (pas d'accès en dehors des limites), et répercuter ces contraintes sur le code.
Ici nous avons :

• a.(n) qui impose que a possède n+1 éléments.
• a.(i-1) qui impose que i >=1.