Syracuse

La suite de Syracuse est défnie par :

Même si on ne l'a pas démontré, on observe qu'il existe un rang $n_0$ pour lequel $u_{n_0}$ vaut 1. On nomme $n_0$ le temps de vol de la suite.

1. 1

   Indice

   Vérifier la parité de l'entier pour appliquer la formule de transformation correspondante. Modulo en OCaml s'écrit a mod b.
   Écrire une fonction next : int -> int qui renvoie le terme suivant de la suite de Syracuse. Par exemple next 3 renvoie 10.
2. 2

   Indice

   Initialiser un compteur et une référence puis itérer jusqu'à atteindre un pour retourner le nombre d'étapes.
   Écrire une fonction syracuse : int -> int qui renvoie le temps de vol de la suite à partir d'un entier initial. Par exemple syracuse 3 renvoie 7.