Académique Documents
Professionnel Documents
Culture Documents
08 DPR111
Transféré par
Ngatch NelTitre original
Copyright
Formats disponibles
Partager ce document
Partager ou intégrer le document
Avez-vous trouvé ce document utile ?
Ce contenu est-il inapproprié ?
Signaler ce documentDroits d'auteur :
Formats disponibles
08 DPR111
Transféré par
Ngatch NelDroits d'auteur :
Formats disponibles
Chapitre 8option informatiqueDiviser pour régner
1. Introduction
1.1 Algorithme d’exponentiation rapide
onsidéronsunentier n etunélément x d’unmonoïdemultiplicatif(X
C ,∗ )(x peutdoncêtreunnombre,une
n
matrice,unpolynôme...),etintéressons-nousaucalculdex ,enchoisissantpourmesureducoûtlenombre
demultiplications effectuées. Un algorithme simplevient immédiatement à l’esprit :
let
recpuissance x =
function
|
0−
>
1
|
1−
>
x
|
n−
>
x * puissance x (n
−
1) ;;
( par souci de lisibilité, tous nos algorithmes seront de typeint−> int; pour adapter ceux-ci à un autre
type ilsuffira de modifier l’élément neutre
1etle produit
*).
À l’évidence, le nombre de multiplications effectuées est égal àn−1 ; il s’agit donc d’un algorithmede coût
linéaire.
Il est cependant très facile de faire mieux, en utilisant l’algorithme suivant, connu sous le nom d’algorithme
d’exponentiation rapide:
let
recpuissance x =
function
|
0−
>
1
|
1−
>
x
|
n when n mod 2 = 0−
> puissance (x * x) (n / 2)
|
n−
>
x * puissance (x * x) (n / 2) ;;
jn k
Il s’agit d’une fonction inductive dont la terminaison est justifiée par l’inégalité :∀n>2, 2 < netla validité
k 2 k 2k+
1
par les égalités = (x ) x
: 2 k
=x(x )
2
x
Si on notecnle nombre de multiplications effectuées,on dispose des relations :c0=c1 = 0,c2k=ck + 1 et
c2 k +1=ck + 2, soit encore :cn=cb n /2c+ 1 + (nmod 2).
p k
X bk2
, avecbp= 1.p−
1
Considérons la décomposition denen base 2
:n= [bp, bp− 1,...,b0]2 =k=0
jn
k
Nous avons 2 = [bp, bp− 1,...,b1] 2etnmod 2 =b0 ,et il est alors facile d’obtenir :cn=p+X
bk .
k=
0
p
Le coût dans le meilleur des cas intervient lorsquenest une puissance de 2 : sin= 2 , alorscn=p= logn.Le
p+1
coût dans le pire des cas intervient lorsquen= 2 −1 (l’écriture binaire denne comporte que des1) : nous
avons alorscn = 2p= 2blognc.
3
t il n’est guère difficile d’établir qu’en moyenne,cn= 2blognc.
E
Il s’agit donc d’un algorithme de coût logarithmique.
1.2 Diviser pour régner
’algorithmed’exponentiationrapidequenousvenonsd’étudierestunexempled’utilisationd’unparadigme
L
deprogrammationconnusouslenomdediviserpourrégner(oudivideandconquerenanglais):ilconsiste
à ramener la résolution d’un problème dépendant d’un entier n à la résolution de un ou plusieurs
0
sous-problèmesidentiquesportantsurdesentiers n ≈αn
avec α< 1(leplussouvent,onauraα=1/2).Par
n bn
/2c 2
exemple, l’algorithmed’exponentiation rapide ramènele calcul dex au calcul dey avecy=x .
http://info-llg.fr
8.2 option informatique
nautreexempleclassiqued’utilisationdeceparadigmeestl’algorithmederecherchedichotomique:étant
U
donnéuntableautriéparordrecroissantd’entiers,commentdéterminersiunélémentappartientoupasàce
tableau ?
Le principe est bien connu : on compare l’élément recherché à l’élément médian, et le cas échéant on répète
larecherche dans la partie gauche ou droite du tableau.
x < m m x > m
i k j
let
recherche_dicho x t =
let rec
aux i j =
if
j < ithenfalse
else match
(i + j) / 2
with
| k when x = t.(k)−
>
true
| k when x < t.(k)−
>
aux i (k
−
1
)
| k−
> aux (k+1) j
in
f 0 (vect_length t−1) ;;
Notonscn le nombre de comparaisons nécessaires entrexet un élément du tableau de taillendans le pire
des cas (correspondant au cas oùxest supérieur àtous les éléments du tableau). Nous avonsc0= 0etcn= 2
+c
bn /2cpour
jn
n>1. Si on introduit de nouveau l’écriture binaireden:n= [bp ,bp−1,···,b0] 2 , nous avons 2k = [bp ,bp−1,· ··
,b1] 2 , et il est alors facile d’en déduire quecn= 2p+ 2 = 2blognc + 2.
1.3 Étude générale du coût
En général, les algorithmes suivant le paradigmediviserpour régnerpartagent un problème de taillenen
jn k ln m
deuxsous-problèmes de tailles respectives 2 et 2 et conduisent à une relation de récurrence dela
forme :
cn =acbn /2c+bcdn /2e
aveca+b> 1,
dn
dn représentant le coût du partage et de la recompositiondu problème etcnle coût total.
ous allons faire une étude générale de ces relations de récurrence en commençant par traiter le cas oùn
N
estune puissance de 2 : posonsn= 2petup =c2p . La relation de récurrence devient :up = (a+b) u
p− 1+d2 p ,
soit :
p
(a
+b) =
u
p − 1
up p
+b) .
(a
+
p−1
b) +d
2 p (a
e on p p
ar
P = (a+b) u0 + X j=1
télescopagobtient :up
j .
d2j (a+b)
Pour poursuivre ce calcul, il est nécessaire de préciser la valeur dedn . Nous allons supposer que le coûtde
k
ladécomposition et de la recomposition est polynomial(au sens large), ce qui permet de poserdn =λn .
Nous
avons alors : p k
X j= 1 +b, 2 (u 0+
u0+ λ !
p
λp) (a+b) sia+
p j = α
2
up= (a+b) k k
+ β(a+b) siab= 2
2 a+b kp p
k et β =u0− .
en ayant 2
λ k
posé α = λ2k−a−b 2 −a−b
k
2
Trois cas se présentent alors :
k kp
– sia+b <2 ,up∼ α2 ;
k p kp
– sia+b= 2 ,up∼ λp(a
+b) = λp2 ;
k p
sia+b >2 ,up∼ β(a+b) .
–
Pour traiter le cas général d’un entiernquelconque,nous allons maintenant prouver le résultat suivant :
Diviser pour régner 8.3
Lemme. —Lorsque la suite(d
n) n ∈Nest croissante,la suite(c n) n ∈ Nl’est aussi.
∗
Preuve.Montrons par récurrence surn∈ N quecn 6cn +1.
Lorsquen= 1, on a :c2= (a+b)c 1 +d1>c1 cara+b> 1 etd1> 0.
–
– Sin >1, on suppose le résultat acquis jusqu’aurangn− 1. On a alors :
cn+ 1−cn=a( c d(n+1)/2 e−cd n/2e) +b(cb (n+ 1)/2c−cb n /2c) +dn+ 1−dn > 0
ce qui achève la démonstration.
p
Lorsque cette conditionestsatisfaite,onpeutencadrer n pardeuxpuissancesconsécutivesde2:2 6n<
p+1 k
2 ,avec p = blognc,cequiconduità up 6cn 6up+1.Lorsque dn = λn ,lesrésultatsprécédentspermettent
’établirla règle suivante (connue sous le nom dethéorème maître) :
d
k
Théorème. —Lorsque a+b >1, la suite(d
n )n ∈ Ncroissanteet dn= Θ(n ), on a :
k
silog(a+b)< k, cn= Θ(n );
silog(a+b) =k, cn=
k
Θ(n logn) ; silog(a+b)> k,
log(a+
b)
cn= Θ(n ).
ous utiliserons désormais ce résultat pour évaluer rapidement le coût d’une méthode suivant le principe
N
diviser pour régner.
2. Exemples d’algorithmes « diviser pour régner »
2.1 Tri fusion
nappellealgorithmedetritoutalgorithmepermettantdetrierlesélémentsd’untableauoud’unelisteselon
O
un ordre déterminé. On peut distinguer parmi ceux-ci ceux qui procèdent par comparaison entre paires
d’éléments; danscecas,onadopteengénéralcommeélémentdemesuredelacomplexitélenombrede
c omparaisonseffectuéesenfonctiondelataillendutableau(maiscen’estpasforcémentleseulparamètre
àprendreen compte).Lesalgorithmesnaïfs(triparsélectionouparinsertionparexemple)ontuncoûtdans
2
le pire des casen O(n ). Nous allons montrer qu’ilest possible de faire mieux.
Appelé merge sort en anglais, le tri fusion adopte une approche « diviser pour régner » : on partage le
jn k ln m
tableau endeuxpartiesdetaillesrespectives 2 et 2 quel’ontrieparunappelrécursif,puisonfusionne
les deuxparties triées.
– scission du tableau en deux parties :
– tri des deux moitiés du tableau :
partie triée partie triée
– fusion des parties triées :
tableau trié
Ilestraisonnabledepenserquelascissionetlafusionontuncoûtlinéaire(ceseravérifiéplusloin),etque
par voie de conséquence la relation de récurrence satisfaite par le nombre cn de comparaisons est de la
forme :cn =cb n /2c+cdn /2e+ Θ(n). Le théorème maîtremontre que dans ces conditionscn= Θ(nlogn) .
http://info-llg.fr
8.4 option informatique
ependant,unedifficultéseprésentelorsqu’onchercheàimplémentercetalgorithmeavecdesvecteurs:il
C
est difficiledefusionnerdeuxdemi-tableauxsurplace,c’estàdireens’autorisantuniquementlapermutation
dedeuxéléments(cen’estpasimpossible,maisoubienlent,oubiencompliquéàmettreenœuvre).Mettre
enœuvre cet algorithme sur une liste est mieux adapté.
On choisit de scinder les éléments de la liste suivant la parité de leur indice :
let
recscission =function
|
[]−
>
[], []
|
[a]−
>
[a], []
|
a::b::q−
>
let
(l1, l2) = scission q
in
a::l1, b::l2
;;
La fusion de deux listes triées ne pose aucun problème :
let
rec
fusion = fun
|
[] l2−
> l2
|
l1 []−
> l1
|
(t1::q1) l2 when t1 < hd l2−
> t1::(fusion q1 l2)
|
l1 (t2::q2)−
> t2::(fusion l1 q2) ;;
Il reste à rédiger l’algorithme de tri fusion proprement dit :
let
recmerge_sort = function
|
[]−>
[]
|
[a]−>
[a]
|
l−
>
let(l1, l2) = scission l
in
fusion (merge_sort l1) (merge_sort l2) ;;
2.2 Distance minimale
Intéressons nous maintenant au problème de la recherche des deux points les plus proches dans un nuage
p1 = (x1, y1), p2= (x2, y2) ,..., pn= (xn, yn) de pointsdistincts du plan. L’algorithme naïf consiste à calculer la
n
distance entre toutes les paires possibles et d’en extraire le minimum. Sachant qu’il y en a 2 , ceci conduit à
unalgorithme de coût quadratique. Peut-on faire mieuxen adoptant une stratégie diviser pour régner ?
vant toute chose,nousallonsavoirbesoind’ordonnercespointsparabscissecroissante,maisaussipar
A
0
ordonnée croissante. Nous allons donc calculer deux tableaux P et P , le premier contenant les points
classés parordrecroissantdesabscisses,etlesecondparordrecroissantdesordonnées.D’aprèslasection
précédente,nous savons que ceci peut être exécutéen Θ(nlogn) .
Nous allons désormais supposer P = (p1 , p2,..., pn) avecx16x26 ··· 6xn .
d2
d1
m
δ
Diviser pour régner 8.5
Séparonsalorslespointsde P endeuxpartiessensiblementégales P1 = {p
1 ,p2, ...,pk} etP2={p
k+ 1,...,pn − 1,
pn} , avec k = bn
/2c ,etnotonsd1 etd2lesdistancesminimalesentrerespectivementdeuxpointsdeP1 etdeux
ointsde P2.
p
Trois cas sont possibles pour la distance minimaledentre deux points de P :
1. elle est atteinte entre deux points de P1, auquelcasd=d1;
2. elle est atteinte entre deux points de P2, auquelcasd=d2;
3. elle est atteinte entre un point de P1et un pointde P2.
ecalculde δ = min(d
L 1 ,d2 )permetd’éliminerl’unoul’autredesdeuxpremierscas.Etdansletroisièmecas,
les deuxpointsquenousrecherchonssetrouventdanslabandeverticaledélimitéeparlesabscissesm−δ
etm+δavecm=x
k+xk+1
.
2
00 0 0
ous pouvons en coût linéaire déterminer les points P = (p i,..., p j) de cette bande verticale en les
N
0 0
rdonnant parordonnéecroissanteàl’aidedutableau P (ilsuffitdeparcourirunefoisP ennegardantque
o
les pointsdont les abscisses sont comprises entrem− δ etm+ δ).
Pour conclure, il reste à observer (c’est le point crucial) que dans chaque tranche de hauteurδdecette bande
nepeuvent se trouver qu’au plussept points :
δ
m
δ
n effet, s’il en existait huit, il y en aurait deux au moins appartenant tout deux àP1ou tous deux àP2 et à
E
unedistance strictement inférieure à δ.
Cette remarque permet de restreindre la recherche de la distance minimale entre deux points deP00ense
restreignant aux points distants au plus de sept cases de ce tableau, ce qui conduit à un coût linéaire.En
0
définitive, le coût de cet algorithme (sans compter le pré-traitement des tableauxPetP ) vérifie unerelation
de récurrence de la forme :cn=cbn /2c+cdn/2e+Θ(n), ce qui prouve quecn = Θ(nlogn) .
3. Multiplication rapide
ans cette section, nous allons appliquer la paradigme « diviser pour régner » au calcul d’un produit, d’abord
D
de deux polynômes, puis de deux entiers, et enfin de deux matrices.
3.1 Multiplication de deux polynômes
n k
X k=0 k X ∈ Z[X] par le tableau (de
a
ous choisissons de
N taillen+ 1) :
représenter le polynôme P =
a0 a1a2 an− 1an
(a
kétant stocké dans la case d’indicek) , de sortede pouvoir accéder à chaque coefficient avec un coût
constant.
n k
X
k=0
akX
k n (ak+bk )X montre degrénnécessite
La formule +X k=0
que l’addition de
k n
bkX
= X
k
=
0 deux polynômes de
n+ 1 additions (donc un coût linéaire).
let
som p q =
let
n = vect_length p−
1in
let
r = make_vect (n + 1) 0 in
for
i = 0
to
n
do
r.(i) < p.(i) + q.(i)
− done
;
r ;;
http://info-llg.fr
8.6 option informatique
roduit, la n
p n n ontre l’aide de
m
X i=0
n
X j=0 X i=0 X j=
0
i j
formule aiX
bjX
qu’il peut
être
Quant au i+
j
× = aib
jX
réalisé à
2 2
n additions et (n+ 1) multiplications (donc un coûtquadratique).
let
prod p q =
let
n = vect_length p− 1
in
let
r = make_vect (2 * n + 1) 0 in
for
i = 0ton do
for
j = 0
to ndo
r.(i+j) <
r.(i+j) + p.(i) * q.(j)
−
done
;
done
;
r ;;
n convient généralement qu’une addition est beaucoup rapide à effectuer qu’un produit ; nous allons donc
O
chercher à réduire le nombre de multiplications, quitte à faire plus d’additions. (Il faut cependant savoir que
ceci était surtout vrai dans les temps anciens de l’informatique ; c’est beaucoup moins vrai aujourd’hui.)Pour
ln m
appliquer le paradigme « diviser pour régner », nous allons poserm= 2 puisP=XmP
m
1+P2etQ=X Q1 +
jn k
Q2 , le degré de chacun des quatre polynômes P1, P2, Q1et Q2étant inférieur ou égal à 2 . Ainsi, PQ =
2m m
X P1Q + X (P1Q2 + P2Q1 ) + P2Q2 .
1
uisqu’on accède aux coefficients de chaque polynôme avec un coût constant, il n’y a pas de coût de
P
décomposi tion. 4 appels récursifs sont nécessaires, et la recomposition nécessite 3 additions de coût
linéaire. Le nombrede multiplications vérifie doncla relation :
cn = 4cb n /2c+ Θ(n).
2
e théorème maître nous permet dès lors d’affirmer quecn =Θ( n ), ce qui n’est pas meilleur que l’algorithme
L
naïf. Nous n’avons donc pour l’instant rien gagné à mettre en œuvre le paradigme « diviser pour régner ».
En revanche, si on observe que : P1Q
2+ P2Q
1= (P1+ P2) (Q1+ Q2) − P1Q
1− P2Q , on a alors :
2
2m
m
PQ = X R1+ X (R2− R1− R3) + avec R1= P1Q
1, R2
= (P1+ P2) (Q1+ Q2) ,R3 =
R3 P2 Q
2,
et il n’est plus nécessaire que d’utiliser 3 appels récursifs. La relation de récurrence prend cette fois la forme
:cn= 3cbn /2c+ Θ(n)
log 3
qui conduit àcn = Θ(n ) (avec log 3 ≈ 1,585).
Cette méthode porte le nom d’algorithme de Karatsuba ; elle a été publiée pour la première fois en 1962.
• Mise en œuvre pratique.
Pour faciliter la mise en œuvre, on suppose que les polynômes sont stockés dans des tableaux de taille
k k
(quitte à rajouter des 0), donc de degré inférieurs ou égauxà2 −1
2 .Lafonctionquisuitdevradoncêtre
précédéed’une fonction«normalisant»lespolynômes,etsuivied’unefonctionsimplifiantlerésultat(c’està
dire enlevant leszéros redondants).
Diviser pour régner 8.7
let rec
prod p q =
match
(vect_length p) with
| 1−
>
[| p.(0)*q.(0) ; 0 |]
| n−
>
let
m = n / 2 in
let
p1 = sub_vect p m m and
p2 = sub_vect p 0 m
in
let
q1 = sub_vect q m m and
q2 = sub_vect q 0 m
in
let
r1 = prod p1 q1 and
r2 = prod (som p1 p2) (somq1 q2)
and
r3 = prod p2 q2 in
let
s = make_vect (2*n) 0 in
for
i = 0 to n−
1
do
s.(n+i) <
−s.(n+i) + r1.(i) ;
s.(m+i) <
s.(m+i) + r2.(i)−
− r1.(i)−
r3.(i) ;
s.(i) <
s.(i) + r3.(i)
−
done
;
s ;;
3.2 Multiplication de deux entiers
n−
1 Les entiers que nous allons considérer sont des
X
entiers codés en base 2 surnbits :x=k= 0 k
xk2
, que nous
r eprésenterons par des vecteurs à n composantes. La similitude qui existe avec les polynômes va nous
permettred’adapterlesalgorithmesprécédentsauxentiers,laseuledifférenceconsistantdanslagestionde
la propagationde la retenue.
n−
1 Xn − 1 de longueurn+ 1 défini
X i=0 xi2
i
Six= ety= i=0
par les
i
yi2
, alorss=x+yva être
représenté par un vecteur
L’algorithme naïf du produit correspond au
relations :
développement :xy=i= 0
–r0= 0 ; (x2 i
)y , qui se ramène ànadditions
i
– ∀i∈ ~0,n− 1,si= (ri+xi+yi) mod 2 ;
– ∀i∈ ~0,n− 1,ri+1= (ri+xi+yi)/2
;
–sn=rn.
ùrir eprésente la retenue entrante correspondantà la
o
positioni. Le coût d’une addition est donc un Θ(n).
n−
1
X
’entiers de longueur 2n, puisqu’une multiplicationpar 2 s’obtient en représentation binaire par simple
d
2
décalage. Ceci donne un coût en Θ(n ).
m m
L’algorithmedemultiplicationrapidevaconsisteràposer x = a2
+ b et y =c2
+davecm=dn
/2epuisà
2m
m
calculerleproduit xy parlaformule: xy = ac2 + (a
+ b)(c + d) −ac−bd2 +bd,cequiconduitaucalcul
log 3
detrois produits d’entiers de longueurm. Comme précédemment,le coût va être un Θn .
emarque. Historiquement, l’algorithme de Karatsuba aétélepremieralgorithmedemultiplicationasympto
R
tiquementplusrapidequeceluiquenousapprenonstousàl’écoleprimaire.Iladepuisétébattupard’autres
algorithmes, celui de Toom-Cook (qui en est un raffinement) et surtout par l’algorithme de
Schönhage-Strassen, qui utilise la transformation de Fourier rapide. Évidemment, toutes cesméthodesne
deviennent intéressantesdans la pratique que pourmultiplier de très grands entiers entre eux.
3.3 Multiplication de deux matrices
Intéressons-nouspourfinirauproduitmatriciel:si M et N sontdeuxmatricesdetailles n×n,leuraddition
2 3 2
nécessiteàl’évidence n additionsscalaires,etleurproduitparl’algorithmenaïf,n multiplicationsetn (n −1)
additions.
Peut-on améliorer la complexité du produit en adoptant une méthode « diviser pour régner » ?
http://info-llg.f
r
8.8 option informatique
posonsM= etN= ! ,D2 sont des matrices
, où
A1 B1 C1D1 A2B2 C2D2
Supposonsn= 2met! A1, B1 , C
1, D1, A
2, B
2,C2
m×m. Le produit MN est calculé A1 A
2+ B1C
2A1
B
2+ B1D
2
!
par : MN =
C1 A
2+ D1C
2C1
B2+ D1D
2
t nécessiteapriori8produitset4additionssurdesmatrices m×m.Utilisercesformulesconduitdoncà
e
2 log8 3
une relation de la forme : cn =8c dn /2e + Θ( n ),cequiconduitàuncoûten Θ( n )= Θ( n ).Onnegagne
donc rienpar rapport à l’algorithme naïf.
L’algorithme de Strassen utilise les formules suivantes (qu’on laissera le soin au lecteur de vérifier) :
M4= (A1+ B1) D2 X = M1+ M2− M4+ M6Y
M1 = (B1− D1) (C2+ D2) M = A (B − D ) M = = M + M
5 1 2 2 6 4 5
M2 = (A1+ D1) (A2+ D2) D 1( C2− A2) M7= (C1+ Z
= M6+ M7
M3 = (A1− C1) (A2+ B2) D )A T = M2− M3+ M5− M7
1 2
n’utilisent plus que 7 produits, ce qui
X YZ T donne
et dans ce cas,MN= !
. On peut observer que ces formules
log 7
un coût en Θ(n ) (avec log 7 ≈ 2,8
07), meilleur(en théorie en tout cas) que l’algorithme
naïf.4. Exercices
✄
Exercice 1Utiliser le principe de la recherche dichotomiquepour rédiger une fonction Caml calculant la
✂ ✁
√
racine carrée entière d’un entiern∈ N, à savoirb nc , avec un coût logarithmique.
✄
Exercice 2Dans cet exercice, on considère un tableaud’entiers bi-dimensionnelbtel que chaque ligneet
✂ ✁
chaque colonne soit rangée par ordre croissant. Voici un exemple d’un tel tableau, à 4 lignes et 5 colonnes :
14 25 30 69
2
3 15 28 30 81
7 15 32 43 100
20 28 36 58 101
e but de l’exercice est de rechercher efficacement un élémentvdans un tel
L
k
tableau. Pour simplifier, on supposera que ce tableau comporten= 2 lignes et
colonnes.
n n n + 1,n + 1
a)On distingue les deux valeursx=b 2, 2ety=b 2 2 . Montrer que siv > x, on peut
liminer unepartie (à préciser) du tableau pour poursuivrela recherche.
é
Préciser ce qu’il est possible de faire lorsquev< y.
b)En déduire une méthode « diviser pour régner »pour résoudre ce problème, et préciser le coût dans le
piredes cas, en nombre de comparaisons, de cetteméthode.
✄
k
Exercice 3On considère un échiquier carré de côtén= 2 , que l’on souhaite paver avec les quatre motifs
✂ ✁
ci-dessous :
achant que 4k≡1 (mod3), ce n’est bien évidemmentpas possible, mais nous allons montrer que si on
S
isoleune case de coordonnées (x,y) choisie arbitrairement,le reste de l’échiquier peut alors être recouvert :
Diviser pour régner 8.9
ontrer en raisonnant par récurrence surkqu’un telrecouvrement est toujours possible, en décrivant un
M
algorithme « diviser pour régner » résolvant ce problème.
✄
Exercice 4Étant donnée une suite finie d’entiersx= (x1 , ..., xn) , on appelleinversiondextout couple(i, j) tel
✂ ✁
quei < jetxi> xj. Par exemple, (2,3
,1
,5,4) possède3 inversions : les couples (1,3
), (2,3
), (4,5
). On
s’intéresse au calcul du nombre d’inversions dex.
2
)Rédiger en Caml l’algorithme naïf, et montrer queson coût est unΘ( n ). On représentera les suitesfinies
a
d’entiers par le typeint vect.
b)Adopter une méthode « diviser pour régner » pourfaire mieux (indication : adapter l’algorithme de tri
fusion).
✄
Exercice 5 Une matrice de Tœplitz est une matrice (ai,j) ∈ Mn( K) telle queai,j=ai−1,j−1pour 2 6i, j6n.
✂
✁
a)Trouver un moyen d’additionner deux matrices deTœplitz en Θ(n).
b)Appliquer une méthode « diviser pour régner » pourcalculer le produit d’une matrice de Tœplitzn×npar
k
n vecteur de longueurn(en supposant pour simplifierquen= 2 ).
u
Quel est la complexité de votre algorithme ?
✄
Exercice 6On pourrait imaginer remplacer, dans l’algorithmed’exponentiation rapide, la base 2 par la base
✂ ✁
3 et exploiter les relations 3 k
( x ) sin= 3k;
3 k 2 3 k
x(x ) sin= 3k+ 1 ;x (x ) sin=
n 3k+ 2.
suivantes :x =
Déterminer le coût d’un tel algorithme, et le comparer au coût de l’algorithme binaire.
http://info-llg.fr
Vous aimerez peut-être aussi
- 08.diviser Pour RegnerDocument9 pages08.diviser Pour Regnerzaki nygmaPas encore d'évaluation
- 06 PuissancesDocument12 pages06 PuissancesVanisPas encore d'évaluation
- Labo Math Fonction Refrence AlgoDocument12 pagesLabo Math Fonction Refrence Algoromain.chiaruzziPas encore d'évaluation
- 02 RecursiviteDocument13 pages02 RecursiviteIbra IbrahimPas encore d'évaluation
- Cc4 EDP Equat ParabDocument18 pagesCc4 EDP Equat ParabHadjer zitPas encore d'évaluation
- ALGO5 Exponentiation PDFDocument4 pagesALGO5 Exponentiation PDFAnlil Wafion SadjadPas encore d'évaluation
- Chapitre 1 Introduction Et Définition de L'analyse Numérique PDFDocument7 pagesChapitre 1 Introduction Et Définition de L'analyse Numérique PDFETUSUPPas encore d'évaluation
- Chap2 FFTDocument12 pagesChap2 FFTlemizePas encore d'évaluation
- Examen Stat-Math MCS - NormalDocument2 pagesExamen Stat-Math MCS - Normalmajda elallaliPas encore d'évaluation
- TP2 SystemesLineairesDocument4 pagesTP2 SystemesLineairesbilly debasePas encore d'évaluation
- Cours IntégrationDocument4 pagesCours IntégrationAlae ELdine ZakraouiPas encore d'évaluation
- Travaux d4Document2 pagesTravaux d4Ahmed Fawzi100% (1)
- m1 ChimietheoriqueDocument25 pagesm1 ChimietheoriqueDreamm AllPas encore d'évaluation
- Exos ToselDocument26 pagesExos Toselsamittaha25.educationPas encore d'évaluation
- TD1: Vitesses de Convergence.: MNO, L3, Dauphine, 2019-2020Document2 pagesTD1: Vitesses de Convergence.: MNO, L3, Dauphine, 2019-2020pauline chauveauPas encore d'évaluation
- 01 TD Virgule FlottanteDocument4 pages01 TD Virgule FlottanteHanen ChaibPas encore d'évaluation
- Exercicescorrigés-SériesdeFourier 1693427967908Document18 pagesExercicescorrigés-SériesdeFourier 1693427967908SAWADOGO ABDOUGANIPas encore d'évaluation
- Cours Programmation Avancée Chapitre 3. Exemple TypiqueDocument11 pagesCours Programmation Avancée Chapitre 3. Exemple TypiqueDO UAPas encore d'évaluation
- Math 1Document4 pagesMath 1Mr AxelPas encore d'évaluation
- TP1 PythonDocument3 pagesTP1 PythonESTP123Pas encore d'évaluation
- 2020 09 Integration RATTRAPAGEDocument2 pages2020 09 Integration RATTRAPAGEMouncef AsryPas encore d'évaluation
- TP AsDocument1 pageTP AsADEDE EzéchielPas encore d'évaluation
- 2022 2023 AnaNumMat TP06 InterpolationDocument3 pages2022 2023 AnaNumMat TP06 InterpolationNour ouzeriPas encore d'évaluation
- MP3Maths 2Document8 pagesMP3Maths 2Alex N'zuePas encore d'évaluation
- ANumII 2015 CC CorrDocument9 pagesANumII 2015 CC CorrjordantoulepiPas encore d'évaluation
- Soutien N°1Document4 pagesSoutien N°1MOHAMED AMINE CHOUKRIPas encore d'évaluation
- Partiel Transmissions Numeriques Inge1 2021 06Document4 pagesPartiel Transmissions Numeriques Inge1 2021 06pierre vojnovicPas encore d'évaluation
- Concours Blanc 1Document6 pagesConcours Blanc 1Aliou DialloPas encore d'évaluation
- ANGCI1 td3 2Document2 pagesANGCI1 td3 2Jacques C.HobeikaPas encore d'évaluation
- Cours Les Nombres ReelsDocument14 pagesCours Les Nombres Reelsmohamed pharmPas encore d'évaluation
- Analyse 2 2017 2018 Fiche 2Document1 pageAnalyse 2 2017 2018 Fiche 2ESIPas encore d'évaluation
- ch3 Integ AA0 IntroductionDocument9 pagesch3 Integ AA0 IntroductionFer DaliPas encore d'évaluation
- TD3 Methodes NumeriquesDocument3 pagesTD3 Methodes NumeriquesAS asPas encore d'évaluation
- Correction TD1Document4 pagesCorrection TD1elios.goujotPas encore d'évaluation
- Approximation de Nombres Réels - EnoncéDocument2 pagesApproximation de Nombres Réels - Enoncéjiro74Pas encore d'évaluation
- CorrigeRattrapage17 18 BerradaDocument4 pagesCorrigeRattrapage17 18 BerradaAwatif BePas encore d'évaluation
- TDFonctions CorrigeDocument22 pagesTDFonctions CorrigemejdoubghaziPas encore d'évaluation
- TD2Document3 pagesTD2SàLàh RhànnouriPas encore d'évaluation
- $2012 ESSEC E2 CorrigéDocument20 pages$2012 ESSEC E2 CorrigéClémentine BRUGUEROLLEPas encore d'évaluation
- Algorithm EsDocument3 pagesAlgorithm EsMohamed DallagiPas encore d'évaluation
- David McMahon - Quantum Mechanics Demystified-McGraw-Hill (2005) - 3Document50 pagesDavid McMahon - Quantum Mechanics Demystified-McGraw-Hill (2005) - 396mt61tr90Pas encore d'évaluation
- Scilab Dichotomie Et Suites ImplicitesDocument4 pagesScilab Dichotomie Et Suites ImplicitesJayden CoulibalyPas encore d'évaluation
- TD8 20 21Document2 pagesTD8 20 21Hamade MedPas encore d'évaluation
- TD MethodeDocument2 pagesTD MethodeUnder TruthPas encore d'évaluation
- ds09 Un Endomorphisme CorrigeDocument10 pagesds09 Un Endomorphisme CorrigeTspeePas encore d'évaluation
- Synth 1718Document3 pagesSynth 1718Youssra DjePas encore d'évaluation
- Examen OCclass 2008 CorrigéDocument6 pagesExamen OCclass 2008 CorrigésallahPas encore d'évaluation
- Calcul Zeta 2Document4 pagesCalcul Zeta 2FZLPas encore d'évaluation
- INPHB Informatique1Document2 pagesINPHB Informatique1Lambert Kadjo100% (1)
- TP2 RouenDocument2 pagesTP2 Rouenygg736974Pas encore d'évaluation
- Remediations Nombres ReelsDocument2 pagesRemediations Nombres Reelszerr2344zrfPas encore d'évaluation
- Colle13 11au18 11Document2 pagesColle13 11au18 11akramasklou2005Pas encore d'évaluation
- Simplexe Paramétrique Biobjectif - ActualiséDocument6 pagesSimplexe Paramétrique Biobjectif - ActualiséDjidda SérinePas encore d'évaluation
- DiverspcDocument5 pagesDiverspcHassan RahoumPas encore d'évaluation
- Calcul Diff Cours WebDocument50 pagesCalcul Diff Cours WebYehouda AzoulayPas encore d'évaluation
- l3 Mecaniquequantique 2Document19 pagesl3 Mecaniquequantique 2Boubacar Moussa KodoPas encore d'évaluation
- Series Numeriques ExercicesDocument2 pagesSeries Numeriques Exercicesالضحك حتى تصبح مضحكPas encore d'évaluation
- RAP Operateur Micro Informatique 03-03-14Document20 pagesRAP Operateur Micro Informatique 03-03-14Azedine SariyePas encore d'évaluation
- It10exerc1 Enonce CPPDocument5 pagesIt10exerc1 Enonce CPPKoik KoikPas encore d'évaluation
- Algebre de Boole Et Simplification2021Document12 pagesAlgebre de Boole Et Simplification2021Maroua MarouaPas encore d'évaluation
- Synthese Heuristique PVCDocument16 pagesSynthese Heuristique PVCSamah Sam Bouima50% (2)
- Derivee de X N Lorsque N Est Un Entier NaturelDocument2 pagesDerivee de X N Lorsque N Est Un Entier NaturelMohamed AylalPas encore d'évaluation
- Methode InverseDocument1 pageMethode InverseYaniss AlgeriaPas encore d'évaluation
- 2nde - Ex 2C - Équations Quotients - CORRIGEDocument5 pages2nde - Ex 2C - Équations Quotients - CORRIGEeleverayen.baderPas encore d'évaluation
- Psychologie Et SpiritualiteDocument205 pagesPsychologie Et Spiritualitedavid balibal100% (3)
- TD Polynomes 2nde S 2019 2020 PDFDocument1 pageTD Polynomes 2nde S 2019 2020 PDFobamePas encore d'évaluation
- Analyse Numerique Et Algorithmique Examens 2Document5 pagesAnalyse Numerique Et Algorithmique Examens 2Jean Djibersou BiryangPas encore d'évaluation
- Corrige Sérié Spéciale Physique1 2020-2021Document9 pagesCorrige Sérié Spéciale Physique1 2020-2021big bossPas encore d'évaluation
- Méthode de JacobiDocument2 pagesMéthode de Jacobisyphax BelkhirPas encore d'évaluation
- LaTeX1 PDFDocument73 pagesLaTeX1 PDFChafik BerdjouhPas encore d'évaluation
- TP TDSDocument104 pagesTP TDSLtaifi Mabrouk100% (2)
- VigenereDocument14 pagesVigenereimane takhiPas encore d'évaluation
- Chapitre 4: Fonctions D Erivables: 1 D Eriv Ee en Un PointDocument16 pagesChapitre 4: Fonctions D Erivables: 1 D Eriv Ee en Un PointgribtaharPas encore d'évaluation
- Nombres Relatifs Et Calculs Cours de Maths en 4emeDocument3 pagesNombres Relatifs Et Calculs Cours de Maths en 4emekouassi jean-lucTraoréPas encore d'évaluation
- Chap 5 ModélisationDocument4 pagesChap 5 ModélisationLauriche TsawaPas encore d'évaluation
- Corrige Topo4 PDFDocument12 pagesCorrige Topo4 PDFayala stardicePas encore d'évaluation
- DM8 Fonction Derivee SuiteDocument2 pagesDM8 Fonction Derivee Suiteariouldu31eePas encore d'évaluation
- Cours Series Chronologiques Bac Pro Tertiaire CopieDocument7 pagesCours Series Chronologiques Bac Pro Tertiaire CopievirgilfendziPas encore d'évaluation
- Nombres en Écriture Fractionnaire COURS2Document4 pagesNombres en Écriture Fractionnaire COURS2HadjiPas encore d'évaluation
- Chapt01 Serie 01 Analyse 2019 2020Document9 pagesChapt01 Serie 01 Analyse 2019 2020crazyPas encore d'évaluation
- ISILF06 P 143 EcamDocument13 pagesISILF06 P 143 EcamdedPas encore d'évaluation
- C.I.TP2 Compte RenduDocument4 pagesC.I.TP2 Compte Renduinesboumaiza293Pas encore d'évaluation
- Partie1 WWW - Jawhara SoftDocument18 pagesPartie1 WWW - Jawhara SoftMonta ChPas encore d'évaluation
- Chap 6Document1 pageChap 6Adam ChPas encore d'évaluation
- Best Cours Proba PDFDocument312 pagesBest Cours Proba PDFseydina100% (1)
- Cours de Mécanique 1 - Chapitres - 2-3Document40 pagesCours de Mécanique 1 - Chapitres - 2-3Bûşra RgPas encore d'évaluation
- TD Revision Et Complement D'alg-LinDocument4 pagesTD Revision Et Complement D'alg-LinEl SalahPas encore d'évaluation
