• Non ci sono risultati.

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

N/A
N/A
Protected

Academic year: 2021

Condividi "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"

Copied!
4
0
0

Testo completo

(1)

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< loga = log2log2a < (log2)k.

Essendo log2 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).

(2)

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+k2) 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.

(3)

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.

(4)

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 .

Riferimenti

Documenti correlati

[4] Sia Π l’insieme dei numeri naturali primi, e sia D 300 l’insieme dei numeri naturali divisori

Un multigrafo ` e semieuleriano se e soltanto se per un ogni suo vertice, tranne in due casi, il grado ` e pari; in questo caso, ogni possibile cammino euleriano (aperto) nel

Proprietà dell'integrale: integrabilità della combinazione lineare e linearità, monotonia (con dim.), integrabilità del valore assoluto, integrabilità del prodotto, teorema della

Definire l’usuale ordinamento sui numeri naturali e successivamente provare la propriet`a transitiva di tale ordinamento.. Formalizzare la seguente frase in linguaggio naturale:

Soluzione: Si consideri una costante “m”, un predicato unario “P(x)” che significa “x `e un professore” e un predicato binario “A(x,y)” che significa “x ammira

Si parla infatti dei numeri interi, dei numeri decimali che ci aiutano a fare i conti con la spesa, delle unità di misura che ci permettono di misurare le diverse grandezze con le

Dimostreremo ora che, dati 2 numeri naturali a,b con a&gt;b, il numero n di divisioni effettuate nell’algoritmo Euclideo è  log  a (parte intera del logaritmo di a

Per assurdo sia non vuoto l’insieme S di tutti i numeri naturali &gt;1 non fattorizzabili nel prodotto di un numero finito di numeri primi, e sia a il minimo in S.. In particolare a