3.

Teoremas sobre Generadores con módulo igual a una potencia de dos

Teorema 3.1

Sea: x i+1 = a x i + c (mód. 2 n)

Un generador donde c > 0, n > 1, si c es impar y el factor a es de la forma a = 4k+1 , entonces

es de período máximo igual d = 2n

Ejemplo:

xi+1 = 13 xi + 3 (mód. 2 5 )

Se comprueba la hipótesis: c = 3 impar y a = 4k +1= 4 3 +1, y por lo tanto d = 2 5

Teorema 3.2

Condiciones sobre el período de un generador multiplicativo

Sea: x i+1 = a x i (mód. m)

Si k = 0,1,2,... , entonces, el más largo período es: d = 2 s-2 , si x0 es impar.

Ejemplo:

x i+1 = 11 x i (mód. 2 4)

donde m = 24 , s 3 , 11 = 3+8 1, entonces, si x 0 = 5, se tiene: d = 2s-2 = 4.

La sucesión generada es por lo tanto:

{ x1, x2, x3, x4 , x5, x6, x7, x8,... } = { 7, 3 15, 5, 7, 3, 15, 5, ...}

Teorema 3.3
Condiciones sobre el factor a y el módulo primo m

Sea la congruencia multiplicativa:

x i+1 = a x i (mód. m)

Si c = 0, m es primo, y a es un elemento primitivo módulo m, entonces tiene ciclo d = m-1 si x0 es

impar.

La definición de elemento primitivo a equivale a que (a m-1-1) sea múltiplo de m

Ejemplo:

x i+1 = 2 x i (mód. 5)

donde m = 5 es primo y a = 2 es un elemento primitivo módulo 5 , ya que a 5-1-1 = 15 , es

múltiplo de m = 5, luego tiene ciclo d = m-1 = 4.

Nota sobre Números Primos

Los números de la forma m = 2s –1 se llaman números de Mersenne. Los primeros 27

números primos de Mersenne son aquéllos para los cuales s = 2,3,5,...,44497 ( cfr. Karian y
Dudewicz, “Modern Statistical, Systems, and GPSS Simulation”, pág. 95). Así por ejemplo para s
=31, resulta 231-1 = 2’147’483’648 – 1 = 2’147’483’647

El paquete MAPLE V ofrece una Biblioteca llamada “Linalg” donde se puede consultar por
verdadero/falso si un número proporcionado, es o no primo, respectivamente.

Ejemplo:

> with (linalg):

> isprime (2^31 - 1);

true