Très bon article, qui aborde à la fois des points élémentaires et d’autres plus évolués.
Dans la mesure où les approximations rationnelles de ln(3)/ln(2) jouent un rôle dans la recherche des cycles, je suis toutefois un peu surpris de ne pas leur voir accorder plus d’importance.
Tant que j’y pense, une question peut-être naïve et déjà abordée (et résolue ?) ; si pour tout entier pair on peut choisir librement entre les opérations x->x/2 et x->3x+1, cela rend-il le problème de trouver un/des cycle(s) ou un chemin infini moins difficile ?