Matematica Discreta
Lezione del 22/05/09
Test di primalità probabilistico di Rabin-Miller
Supponiamo che n sia un numero naturale >1 che dobbiamo sottoporre ad un test di primalità. Non
è restrittivo supporre n dispari (se n è pari allora certamente non è primo tranne che nel caso n=2).
Dunque supponiamo n dispari, e perciò n-1 pari. Dividendo n-1 per 2 il maggior numero possibile
di volte, possiamo rappresentare n-1 nella forma seguente:
n-1=2st, con t numero naturale dispari (può anche essere t=1).
Per esempio se n=113 allora n-1=112=247 (quindi s=4, t=7 in questo caso).
Consideriamo un qualunque numero naturale a tale che a<n e consideriamo le riduzioni modulo n
delle potenze con base a ed esponente 20t, 21t, 22t,….., 2s-1t . Sono in totale s riduzioni modulo n:
0
1
2
s -1
a 2 t modn, a 2 t modn, a 2 t modn, ……., a 2 t modn
Per calcolare la prima riduzione si può usare l’algoritmo della esponenziazione modulare; è poi
facile calcolare le rimanenti, notando che ognuno dei numeri di cui calcolare la riduzione è il
quadrato del precedente.
Nell’esempio precedente (con n=113) essendo s=4, t=7 si tratterebbe di calcolare le seguenti 4
riduzioni modulo 113:
a7mod113, a14mod113, a28mod113, a56mod113
7
La prima a mod113 si potrebbe calcolare con l’algoritmo della esponenziazione modulare; per
calcolare ognuna delle seguenti, basterebbe elevare al quadrato la precedente e ridurre modulo n.
Dimostriamo ora un semplice risultato preliminare sui numeri primi:
Teorema. Se x è un numero naturale e se n è un numero primo tale che x21 (mod n) allora:
xmodn =1 oppure xmodn = n-1
Dimostrazione:
Per ipotesi n è divisore di x2-1=(x-1)(x+1) e per una proprietà dei numeri primi n è divisore di
almeno uno dei fattori dunque n è divisore di (x-1) oppure n è divisore di (x+1).
Nel primo caso x1 (mod n) dunque xmodn =1 (ricordiamo che la riduzione xmodn è l’unico
numero intero compreso fra 0,1,…,n-1 che è x (mod n)).
Nel secondo caso x -1 (mod n) ma n-1 -1 (mod n) (perché n è divisore di (n-1)-(-1)=n), e per la
proprietà transitiva xn-1 (mod n) dunque xmodn = n-1.
Torniamo alle nostre riduzioni:
0
1
2
s -1
a 2 t modn, a 2 t modn, a 2 t modn, ……., a 2 t modn
dove n>1 è il numero naturale dispari di cui testare la primalità, ed a è un qualunque numero
naturale <n.
Dimostriamo che se n è primo allora per tutti i valori di a naturali <n è vera almeno una delle
seguenti condizioni:
0
1) La prima riduzione a 2 t modn è uguale ad 1
2) Almeno una delle riduzioni (compresa la prima) è uguale ad n-1
Infatti supponiamo per assurdo che non sia vera nessuna delle condizioni precedenti: essendo a<n,
certamente a non è multiplo del numero primo n, e per il Piccolo Teorema di Fermat si ha:
an-1 1 (mod n)
s
Ma n-1=2st dunque an-1= a 2 t =( a 2
s -1
t 2
) e per il Teorema precedente si ha:
s -1
s -1
a 2 t modn = 1 oppure a 2 t modn = n-1.
Poiché per assurdo abbiamo supposto falsa la condizione 2), l’unica possibilità è:
s -1
a 2 t modn = 1 quindi a 2
Ma si ha anche:
a2
s -1
t
=( a 2
s-2
s -1
t
1 (mod n).
t 2
) e di nuovo per il Teorema precedente si ha:
s-2
s-2
a 2 t modn = 1 oppure a 2 t modn = n-1.
Poiché per assurdo abbiamo supposto falsa la condizione 2), l’unica possibilità è:
s-2
s-2
a 2 t modn = 1 quindi a 2 t 1 (mod n).
Così procedendo a ritroso lungo le riduzioni, alla fine si arriva ad affermare che :
0
0
a 2 t modn = 1 oppure a 2 t modn = n-1
Poiché per assurdo abbiamo supposto falsa la condizione 2), l’unica possibilità è:
0
a 2 t modn = n-1
e si ottiene una contraddizione perché per assurdo abbiamo supposto falsa la condizione 1).
Riassumendo: se n è primo, per ogni numero naturale a<n è verificata almeno una fra le
condizioni 1), 2).
Cosa avviene se n (dispari) non è primo ?
In questo caso per alcuni numeri naturali a<n è verificata almeno una delle condizioni 1), 2) e per
altri non è verificata nessuna delle condizioni 1), 2).
Esempio.
Consideriamo il numero non primo n=221 (è il prodotto di 13 per 17). Si ha
n-1 = 220 =2255 (quindi s=2, t=55 in questo caso).
Fissiamo il numero naturale a=5<n. Le 2 riduzioni da calcolare sono:
555mod221, 5110mod221
Utilizzando l’esponenziazione modulare per calcolare la prima riduzione si ottiene:
555mod221=112 (Esercizio: sviluppare i calcoli……)
Per calcolare la seconda riduzione basta elevare al quadrato la prima e ridurre modulo n:
5110mod221=1122mod221=168
Dunque per questo valore a=5 non è verificata nessuna delle condizioni 1),2).
Invece se fissiamo a=21 si ha:
2155mod221=200 (Esponenziazione modulare…..)
21110mod221=2002mod221=220=n-1
ed è verificata la condizione 2).
Dunque per questo valore a=21 è verificata almeno una delle condizioni 1),2).
Rabin nel 1980 dimostrò però che se il numero naturale dispari n non è primo, allora il numero dei
numeri naturali a<n che verificano almeno una delle condizioni 1),2) è al più 1/4 del numero di tutti
i possibili numeri naturali <n (che è n-1).
In effetti, facendo alcuni esperimenti, si verifica che spesso il numero dei numeri naturali a<n che
verificano almeno una delle condizioni 1),2) è molto minore di (n-1)/4: per esempio per n=221
(vedere esempi precedente) il risultato di Rabin garantisce che il numero dei numeri naturali a<221
che verificano almeno una delle condizioni 1),2) è 220/4=55, ma in effetti si è calcolato che tali
valori sono solo 6 (quindi in numero molto minore del massimo previsto).
Possiamo in base alle considerazioni precedenti implementare il seguente test probabilistico (detto
di Rabin-Miller):
- In input si immette il numero naturale dispari n>1 da testare
- Si rappresenta n-1 nella forma :
-
n-1=2st, con t numero naturale dispari
Si sceglie casualmente un numero naturale a<n e si calcolano le s riduzioni modulo n:
-
a 2 t modn, a 2 t modn, a 2 t modn, ……., a 2
Se è vera almeno una delle seguenti condizioni:
0
1
2
s -1
t
modn
0
1) La prima riduzione a 2 t modn è uguale ad 1
2) Almeno una delle riduzioni (compresa la prima) è uguale ad n-1
il test esce con output “n è primo”; in caso contrario il test esce con output “n non è primo”.
Per quanto detto sopra, un input n primo supera sempre il test positivamente con output “n è
primo”. Se dunque un input n non supera il test (cioè se l’output è “n non è primo”) si può essere
certi che n effettivamente non è primo.
Ma se un input n supera il test positivamente con output “n è primo”, possiamo affermare che n è un
numero primo con una probabilità di errore 1/4 (perché i valori di a che ci inducono in errore
sono al più 1/4 di tutti quelli che possiamo scegliere random).
Se eseguiamo il test k volte sempre con lo stesso input, con k scelte indipendenti del valore casuale
a, e se tutte le volte n supera il test positivamente con output “n è primo” possiamo affermare che n
è un numero primo con una probabilità di errore 1/4k (se k è grande, tale probabilità di errore è
piccolissima).
Come osservato nella lezione precedente, se, sottoponendo l’input x al test probabilistico di RabinMiller, per 20 volte l’output è sempre “x è primo” possiamo concludere che x è primo con una
probabilità di errore che è (1/4)20=1/(1.099.511.627.776) (quindi una probabilità di errore minore
di 1 su 1000 miliardi).
Esaminiamo ora la complessità del test di Rabin-Miller. Sia k il numero di cifre dell’input n in base
2.
Per rappresentare n-1 nella forma n-1=2st, con t>0 naturale dispari, si tratta di effettuare delle
successive divisioni per 2 (fermandosi quando il quoziente è dispari): ogni divisione per 2 non è una
vera operazione aritmetica se i dati sono rappresentati in base 2 (si tratta solo di cancellare un bit 0
alla fine del numero).
L’unico vero calcolo da effettuare è quello delle s riduzioni modulo n:
j
a 2 t modn dove j=0,1,….,s-1
la prima con l’esponenziazione modulare, le altre con il calcolo del quadrato del termine precedente
ed una riduzione modulo n.
Sappiamo dalla teoria dell’esponenziazione modulare che il numero di operazioni da compiere per
calcolare la prima riduzione atmodn è 3h dove h è il numero di cifre dell’esponente t in base 2:
poiché n-1=2st si ha t<n-1<n e dunque il numero h di cifre di t in base 2 è del numero k di cifre di
n in base 2, quindi il numero di operazioni da compiere per calcolare la prima riduzione atmodn è
3k. Ognuna delle seguenti (s-1) riduzioni coinvolge un quadrato (quindi un prodotto) e una
riduzione modulo n (quindi una divisione) per un totale di 2(s-1) operazioni.
Ma è s<k (perché il numero n-1=2st è 2s e quest’ultimo in base 2 è un numero con s+1 cifre,
dunque n-1 ed anche n hanno un numero di cifre >s).
In totale il test di Rabin-Miller esegue un numero di operazioni <3k+2(k-1)<5k, ed ha dunque
complessità polinomiale rispetto al numero k di cifre dell’input n in base 2.
