1 transparent par page - Montefiore

Terminaison difficile à prouver
Conjecture de Syracuse : Le programme suivant :
se termine pour tout n ∈ N + .
Algo(n)
1 while n = 1
2 if n pair
3 n = n/2
4 else n = 3n + 1
On a montré expérimentalement que la conjecture était vraie pour tout
n < 1, 25 · 2 62 mais à ce jour elle n’a toujours pas été prouvée.
108