(b) Montrez que la suite Y= (y1, y2,...,yi,...)définie par yi+1 =xi+1 −xi
pour i≥0est engendrée par le générateur (3).
(c) Montrer que, si Xn’est pas une suite constante, alors elle ne prend
jamais la valeur α(b).
(d) Déduire de ce qui précède que Xest périodique et donner la valeur de
sa période en fonction de x0et b.
–Solution.
1. On a xi= 3ix0, donc pour x06= 0, la période de la suite est donnée par
l’ordre multiplicatif de 3, c’est-à-dire par le plus petit e, tel que 3e= 1. 0n
calcule les puissances successives de 3et on constate que 32= 9,33= 10,34=
13,...,315 = 6,316 = 1. La période de (xi)vaut e= 16. Pour x0= 0, la suite
est identiquement nulle et sa période vaut donc 1.
2. (a) Si la suite est de période 1on a x0= 3x0+bmod 17, soit 2x0=−b, ou
x0=−2−1b= 8b:α(b) = 8b.
(b)
yi+1 =xi+1 −xi
= (3xi+b)−3(xi−1+b)
= 3(xi−xi−1)
= 3yi.
(c) On a constaté à la question 1. que la suite Yest soit identiquement
nulle, soit ne prend jamais la valeur 0. Or si Xn’est pas constante, on a
xi+1 6=xipour un certain i, et yi+1 6= 0 : on a donc jamais yi= 0, donc
jamais xi+1 =xi, donc jamais xi=α(b).
(d) Si x0=α(b), on a déjà vu que la période de Xégale 1. Sinon, la période
de Xest au moins égale à celle de Y, soit 16 : comme on a vu que dans
ce cas Xne peut pas prendre la valeur α(b), le nombre de valeurs prises
par X, et par conséquent sa période, ne peut pas dépasser 16. La période
égale donc 16 lorsque x06=α(b).
–Exercice 4. On considère de nouveau le générateur pseudo-aléatoire de type
LFSR à valeurs dans Z/2Zde longueur 5donné par la relation de transition :
xi+5 =xi+2 +xi,
et X= (x0, x1,...,xi, . . . )une suite engendrée par ce LFSR.
1. Calculez la valeur de la période Tde la suite X, pour une initialisation
(x0, x1, x2, x3, x4)6= 00000 de votre choix.
2. Vérifiez que tous les éléments de (Z/2Z)5différents de 00000 apparaissent
comme mots extraits de votre suite X. Rappelez pourquoi c’est le cas. En
déduire que Test aussi la période de toutes les suites engendrées par ce
LFSR, quelle que soit leur initialisation (différente de 00000).
3