Re: [Ma réponse] Re: Problème de l'arrêt

Le 30/09/2022 22:48, j'écrivais :

 
Cas particulier, si l'un des nombres (mettons m) est négatif, et que l'autre
(donc n) est positif et supérieur ou égal à -m, alors le bloc le plus à gauche
est de longueur infinie. Dans ce cas, et dans ce cas seulement, le programme
boucle indéfiniment.

Exemple avec -123350 et +123350 :

 ...11100001111000101010
 ...00011110000111010110

 ...1110000111100010101|0|
 ...0001111000011101011|0|

 ...1110000111100010101|
 ...0001111000011101011|

Autre exemple avec -123350 et +123458 :

 ...11100001111000101010
 ...00011110001001000010

 ...11100001111|0|0|010|10|1|0|
 ...00011110001|0|0|100|00|1|0|

 ...11100001111|          |1|
 ...00011110001|          |1|

Alors qu'avec -123350 et +123321 :

 ...11100001111000101010
 ...00011110000110111001

 ...11100001111000|1|01|0|10
 ...00011110000110|1|11|0|01

                  |1|01|
                  |1|11|

Avec deux nombres négatifs, on a une infinité de blocs de longueur 1
mais aucun bloc de longueur infinie, donc ça marche.

--
Olivier Miakinen