Lezione del 25 marzo 2007

Lezione del 25 marzo 2007
Abbiamo dimostrato che, dati 2 numeri naturali a,b con a>b, se n é il numero di divisioni effettuate
nell’algoritmo Euclideo per il calcolo del mcd(a,b), si ha n< log(a) (dove  é il numero d’oro).
Se k=L(a) è la lunghezza binaria di a (dunque k=dimensione dell’input), si ha:
2k-1  a < 2k da cui log2a < k, n< loga = log2log2a < (log2)k.
Essendo log2 una costante, il numero n delle divisioni dell’algoritmo Euclideo è perciò di ordine
lineare O(k) dove k è la dimensione dell’input a.
Ricordando che ogni divisione effettuata nell’algoritmo coinvolge numeri non maggiori di a, e
dunque si effettua con un algoritmo di complessità O(k2) (come dimostrato nel calcolo della
complessità dell’algoritmo della divisione fra naturali), si ottiene che globalmente l’algoritmo
Euclideo delle divisioni successive ha complessità polinomiale O(k3).
Nota: con un ragionamento più raffinato (che omettiamo) che considera l’ordine di grandezza
(decrescente) dei numeri coinvolti nelle successive divisioni, si può dimostrare che in effetti
l’algoritmo Euclideo delle divisioni successive ha complessità O(k2).
Possiamo trovare anche un’altra maggiorazione per il numero n di divisioni dell’algoritmo
Euclideo, stavolta in funzione del minore b fra i 2 numeri a,b.
Abbiamo già notato che, se n è il numero di divisioni nell’algoritmo Euclideo, si ha:
b Fn+1
(dove Fi indica il generico termine della successione di Fibonacci) ma sappiamo anche che:
n-1 < Fn+1
dunque n-1 < b, ossia (estraendo il logaritmo in base 10):
(n-1)log10 < log10b
Poiché log100,206>1/5 si ottiene (n-1) < 5log10b , n < 5log10b+1
Se t è il numero di cifre nella rappresentazione di b in base 10 si ha :
10t-1  b< 10t
e dunque log10b < t, da cui n<5t+1, ossia n  5t.
In pratica quindi il numero di divisioni nell’algoritmo Euclideo non è superiore al quintuplo del
numero di cifre (nella rappresentazione in base 10) del più piccolo dei numeri a,b.
Per esempio se a>b e se b (in base 10) ha 100 cifre, il numero di divisioni dell’algoritmo Euclideo
non è superiore a 500, qualunque sia il numero di cifre di a.
Algoritmo Euclideo esteso
Vedremo ora che l’algoritmo Euclideo delle divisioni successive permette (con un’opportuna
“estensione”) di calcolare anche il valore dei coefficienti interi relativi x,y tali che mcd(a,b)=ax+by.
A tale scopo, se n è il numero delle divisioni dell’algoritmo Euclideo, costruiamo (mediante i
quozienti qi delle divisioni) le 2 seguenti successioni di numeri interi 0:
s0 ,s1,…..,sn,sn+1 ; t0,t1,….,tn,tn+1
ponendo
s0=1, s1=0, si=si-2+si-1qi-1 (per ogni i>1);
t0=0, t1=1, ti=ti-2+ti-1qi-1 (per ogni i>1)
dove qi-1 è il quoziente della divisione numero (i-1) nell’algoritmo Euclideo.
Verifichiamo che vale la seguente eguaglianza per ogni i=1,2,…,n:
asi+1-bti+1 = (-1)i+1ri (dove ri è il resto della divisione numero i nell’algoritmo Euclideo)
(ovviamente tale eguaglianza è equivalente alla (-1)i+1(asi+1-bti+1) = ri ottenuta moltiplicando ambo i
membri per (-1)i+1).
Usiamo il principio di induzione (IIa forma). Per i=1 l’eguaglianza è vera, in quanto dalla prima
divisione dell’algoritmo Euclideo si ricava (-1)2r1=r1=a-bq1=as2-bt2 (notare che per costruzione si
ha s2=1,t2=q1).
Supponiamola vera per tutti gli indici j<i, e dimostriamola per i. Poiché per ipotesi è vera in
particolare per j=i-2, j=i-1, si ricava (dalla divisione numero i):
ri = ri-2 – ri-1qi = (-1)i-1(asi-1-bti-1)-(-1)i( asi-bti)qi = a((-1)i-1si-1-(-1)isiqi)+b((-1)i-1ti-1-(-1)itiqi) =
= (-1)i+1(asi+1-bti+1)
il che dimostra che la tesi è vera anche per l’indice i (per dedurre l’ultima eguaglianza basta
distinguere i casi in cui i è pari o dispari e sfruttare la definizione dei termini si+1, ti+1)
In particolare per i=n-1 otteniamo (-1)n(asn-btn) = a(-1)nsn+b(-1)n+1tn = rn-1 = mcd(a,b), e basta porre
x=(-1)nsn ,y=(-1)n+1tn per avere i coefficienti interi relativi x, y tali che mcd(a,b)=ax+by .
Calcoliamo la complessità computazionale dell’algoritmo Euclideo delle divisioni successive
“esteso”, supponendo sempre a>b.
Facciamo alcune osservazioni che saranno utili in seguito:
1) Dalla prima divisione dell’algoritmo Euclideo segue:
a=bq1+r1bq1q1 (perché b1)
dalla seconda divisione:
a>b=r1q2+r2r1q2q2
e in generale qi≤a per ogni i=1,…..,n (si può anche affermare che qi<a tranne nel caso banale b=1).
2) Nelle successioni si, ti costruite nell’algoritmo Euclideo esteso, si ha:
si-1ti - siti-1 = (-1)i+1 per ogni i=1,….,n+1.
Ciò si dimostra usando il principio di induzione (Ia forma). Per i=1 è facile verificarlo.
Supponiamolo vero per i e dimostriamolo per i+1; si ha:
siti+1 - si+1ti = si(ti-1+tiqi)-(si-1+siqi)ti= -(si-1ti - siti-1) = (-1)(-1)i+1= (-1)i+2.
In particolare per ogni i=1,….,n+1 il numero 1 è combinazione lineare di si, ti a coefficienti interi
relativi (precisamente per i pari si ha 1 = siti-1+ti(-si-1), mentre per i dispari si ha 1 = si(-ti-1)+tisi-1)
dunque si, ti sono coprimi per ogni i=1,….,n+1.
3) Dall’eguaglianza asi+1-bti+1 = (-1)i+1ri (già dimostrata valida per ogni i=1,….,n) in particolare per
i=n si ottiene:
asn+1-btn+1 = (-1)n+1rn =0
dunque:
asn+1 = btn+1
Poiché sn+1, tn+1 sono numeri coprimi, e poiché sn+1btn+1, tn+1asn+1, si ha sn+1b, tn+1a (per una
proprietà dei coprimi dimostrata prima) e in particolare sn+1≤b<a, tn+1≤a.
Ma per costruzione si=si-2+si-1qi-1 si-1qi-1  si-1 ed analogamente ti ti-1 (per ogni i=1,….,n+1), ossia:
si≤ sn+1≤b<a, ti ≤tn+1≤a per ogni i=1,….,n+1.
In conclusione tutti i termini delle successioni si, ti sono ≤a .
Ricordando che :
si=si-2+si-1qi-1 ; ti=ti-2+ti-1qi-1 per ogni i>1
(oltre i termini s0,s1, t0, t1 predeterminati con valore costante) il calcolo di ognuno dei 2n termini
s2,….,sn+1,t2,….,tn+1 delle 2 successioni si ottiene da una somma ed un prodotto che coinvolgono
numeri ≤a (vedere osservazioni precedenti), quindi con un algoritmo di complessità O(k+k 2) cioé
O(k2), se k=L(a) è la lunghezza binaria di a.
Poiché n è di ordine O(k), questa “estensione” dell’algoritmo Euclideo ha complessità O(k3): si
conclude che (avendo l’algoritmo Euclideo complessità O(k3)), questo algoritmo Euclideo esteso ha
complessità globale polinomiale O(k3+k3) cioé O(k3), come l’algoritmo Euclideo originale.
Nota: si può dimostrare che in effetti l’algoritmo Euclideo esteso ha complessità O(k2).
Dati 2 numeri naturali a,b, in modo simmetrico alla definizione di mcd(a,b), si può definire il
minimo comune multiplo mcm(a,b) come un numero naturale che è multiplo comune di a,b ed è
divisore di tutti i naturali multipli comuni di a,b (in particolare è il minimo dei naturali multipli
comuni di a,b).
Non è però necessario costruire un algoritmo per calcolarlo, ma basta usare il seguente risultato:
dati 2 numeri naturali a,b si ha mcm(a,b)=(ab)/mcd(a,b).
Infatti, posto d=mcd(a,b), dimostriamo che il numero naturale m=ab/d ha le proprietà che
caratterizzano il mcm(a,b).
Si ha ab/d=b(a/d)=a(b/d), dove a/d, b/d sono naturali, quindi ab/d è multiplo comune di a,b.
Se poi z è un naturale multiplo comune di a,b, allora az, bz, quindi (a/d)(z/d), (b/d)(z/d); ma
a/d, b/d sono coprimi (per un risultato sui numeri coprimi), dunque, (per un altro risultato sui
numeri coprimi) anche il prodotto (a/d)(b/d)=ab/d2 è divisore di z/d, da cui m=ab/d è divisore di z.
Il risultato precedente implica che il calcolo del mcm(a,b) si può effettuare con un algoritmo di
complessità polinomiale O(k3) dove k=L(a) (se a>b): basta utilizzare l’algoritmo di Euclide per
calcolare d=mcd(a,b) (complessità O(k3)), calcolare il prodotto ab (di complessità O(k2)) e la
divisione ab/d (di complessità O(k2), perché L(ab)L(a2)=2L(a)=2k).
Il concetto di massimo comune divisore si può facilmente estendere al caso di un numero qualunque
r>1 di numeri naturali a1, a2, …, ar: il mcd(a1, a2, …, ar) è un numero naturale d divisore comune di
tutti gli ai e multiplo di tutti i naturali divisori comuni degli ai.
E’ facile verificare che mcd(a1, a2, …, ar)=mcd(mcd(a1, a2, …, ar-1),ar), quindi si può ricondurre
(con un procedimento iterativo) il calcolo al caso di 2 soli numeri naturali a,b.
Analoghe considerazioni si possono fare per la definizione e il calcolo del mcm(a1,a2….,ar).
Ovviamente se k è la massima lunghezza binaria degli ai, dovendosi effettuare (r-1) volte il calcolo
del massimo comune divisore, la complessità totale dell’algoritmo è di ordine O(rk3): quindi tale
complessità dipende dall’ordine del numero r dei naturali di cui si calcola il mcd .
Numeri primi.
Per ogni numero naturale a, i numeri naturali 1,a sono ovviamente divisori di a, detti divisori
banali di a.
Un numero naturale p è detto numero primo se p>1 e se gli unici divisori naturali di p sono quelli
banali.
Lemma.
Se p, a1, a2, … ,an sono numeri naturali, con p numero primo, e se p(a1a2… an) allora pai per
qualche i=1,2,..,n.
Dimostrazione:
Per induzione su n (Ia forma).
Per n=1 la tesi è banale.
Supponiamo la tesi vera per n e dimostriamola per n+1.
Se p(a1a2… anan+1), dimostriamo che pai per qualche i=1,2,..,n,n+1.
Distinguiamo 2 casi:
- se pan+1 non vi è niente da dimostrare
- se p non è divisore di an+1 allora 1=mcd(p,an+1) perché p è primo e p non è divisore di an+1, dunque
p,an+1 sono coprimi e, applicando uno dei risultati sui numeri coprimi, da :
p[(a1a2… an)an+1],
segue p(a1a2… an); per l’ipotesi induttiva si ha allora pai per qualche i=1,2,..,n, cioè la tesi.
Teorema di fattorizzazione unica.
Ogni numero naturale n>2 è fattorizzabile nel prodotto di un numero finito di numeri primi. Inoltre
tale fattorizzazione è unica a meno dell’ordine dei fattori, nel senso che se:
p1p2…..pr = q1q2…..qs
con pi , qj primi
si ha r=s, e (riordinando opportunamente i fattori) pi=qi per ogni i .
Dimostrazione:
Esistenza della fattorizzazione. Per assurdo sia non vuoto l’insieme S di tutti i numeri naturali >1
non fattorizzabili nel prodotto di un numero finito di numeri primi, e sia a il minimo in S.
In particolare a non è primo, e sia b un divisore naturale non banale di a:
a=bc
per un opportuno c numero naturale, con b1, ba quindi 1<b<a
Simmetricamente si ha anche c1, ca quindi 1<c<a. Essendo a minimo in S si ha b,cS, ossia b,c
sono fattorizzabili nel prodotto di un numero finito di numeri primi, dunque lo è a, contraddizione.
Unicità della fattorizzazione. Sia p1p2…..pr = q1q2…..qs con pi , qj primi.
Poiché p1(q1q2…..qs) , per il Lemma si ha p1qi per qualche i=1,…,s, e (riordinando
opportunamente i fattori) possiamo supporre p1q1 . Essendo p1,q1 primi (quindi >1), si ha p1=q1.
Dividendo per p1 si ha p2…..pr = q2…..qs e si può iterare il procedimento ottenendo pi=qi per ogni i .
Resta da verificare che r=s: se per assurdo fosse (per esempio) r>s, si avrebbe, dopo s iterazioni del
processo precedente:
ps+1…..pr =1
contraddizione perché ogni pi>1 .