Licence informatique - L3 Année 2012/2013. Conception d algorithmes et applications (LI325) COURS 1
|
|
- Judith Larivière
- il y a 8 ans
- Total affichages :
Transcription
1 Licece iformatique - L Aée 0/0 Coceptio d algorithmes et applicatios (LI) COURS Résumé. Ce cours est ue iitiatio à quelques grads pricipes algorithmiques (Diviser pour Réger, Programmatio Dyamique, Algorithmes Gloutos,...) par leur mise e applicatio das des situatios variées (umérique, graphique, géométrique,...). Cette première séace itroductive est cosacrée à quelques covetios et rappels (pseudo-code, comportemet asymptotique), ous itroduiros aussi la otio d algorithme Diviser pour Réger, avec des applicatios das le cas du problème du tri (Tri-fusio, Quicksort) et de système de pesées. E coclusio, ous doeros le théorème maître qui permet d obteir des bores asymptotiques sur la plupart des foctios recotrées lors de l aalyse de coût des algorithmes Diviser pour Réger.. Itroductio De tout temps les hommes ot cherché des méthodes pour systématiser leurs raisoemets. La divisio ou l algorithme d Euclide pour trouver le PCGD de deux ombres remotet à 00 as avat otre ère. Systématiser, c est assurer la reproductibilité (et doc l appretissage) des méthodes, c est aussi assurer leur trasmissibilité das le temps et das l espace sous ue forme compréhesible par tous. Afi de trasmettre, il faut garatir que les méthodes proposées doet bie ce à quoi l o aspire (sio o parle d heuristique), à la fois das le but de covaicre l autre, mais aussi das le souci costructiviste de garatir la cohérece de l édifice des savoirs (par la certificatio de chacue de ses briques). Plus récemmet, avec l avèemet de l iformatique, o accorda u soi tout particulier à la descriptio formelle des algorithmes afi d e faciliter l exportatio vers les différets lagages iformatiques moderes. C est le but de l écriture algorithmique e pseudo-code qui fera l objet du premier préambule. Le derier poit, et ce est pas le moidre quad l o pese algorithmique, cosiste à trouver les méthodes les plus écoomiques possibles que ce soit e termes de temps, de mémoire ou de tout autre chose. Voilà doc ce que l o eted ici par algorithmique et c est ce que ous pouvos résumer aisi : l algorithmique (terme qui viet du surom Al-Khuwarizmi d u célèbre mathématicie arabe ( ap. JC) à qui l o doit aussi le mot algèbre) est la sciece qui cosiste à trouver des méthodes formelles et certifiées pour résoudre de maière automatique et le plus efficacemet possible des problèmes doés. Das ce cours, ous ous proposos, plus qu à l étude ou à la recherche d algorithme particulier, de mettre e lumière trois types uiversels d algorithmes que sot : les algorithmes de type Diviser pour Réger, les algorithmes de type Programmatio dyamique et les algorithmes de type Glouto. Notre objectif état de motrer qu il existe au dessus du mode sigulier des algorithmes, de grads pricipes algorithmiques commus. Pour isister sur le caractère trasversal de ces pricipes, pour chacu d eux ous proposeros des applicatios qui couvret u champ large de l algorithmique classique, disos pour rester catégoriel das ses ciq ramificatios suivates : l algorithmique umérique et matriciel, la géométrie algorithmique, l algorithmique des graphes, l ordoacemet et les tris, l algorithmique des séqueces. Ce cours s architecturera autour de cette idée pricipale.
2 Coceptio d algorithmes et applicatios.. Covetio d écriture et istructios du pseudo-code. Nous écriros das la mesure du possible les pseudo-codes sous la forme suivate : Algorithme : Paradigme d écriture des pseudo-codes Etrées : deux etiers a et b. Sorties : u etier. ADDITION(a, b) s := a + b Retourer s Les pseudo-codes que ous écriros aurot doc u trait impératif das le ses où ous disposeros pour les costruire de l affectatio que l o otera :=. Nous utiliseros les istructios suivates qui serot toujours écrites e caractère gras. La boucle avec compteur : pour variable allat de etier à etier faire expressio La boucle à arrêt coditioel : tat que coditio faire expressio L istructio coditioelle : si coditio alors expressio sio expressio Le retour (qui revoie la sortie de l algorithme) : retourer expressio L arrêt forcé : arrêt commetaire. Diviser pour réger.. De l usage de l algorithmique, tri-isertio versus tri-fusio. Première partie : le tri-isertio. Nous ous itéressos ici au problème du tri d ue séquece de ombres pour motrer e quoi les méthodes employées peuvet jouer u rôle importat sur les temps d exécutio. Ce sera aussi l occasio pour ous d itroduire la otio d algorithme de type Diviser pour Réger. U premier algorithme aïf (qui est pas de type diviser pour réger) appelé tri-isertio peut être décrit récursivemet comme suit : L etrée de l algorithme est ue séquece de ombres L = (a,..., a ). La sortie sera ue séquece costituée des mêmes ombres mais triés das l ordre croissat. O commece avec la séquece de départ L = L, supposos par récurrece que L k soit la séquece dot les k premiers élémets ot été triés das l ordre croissat. O obtiet L k+ e isérat a k+ à la boe place parmi les k premiers élémets de L k. O itère ce procédé, jusqu à l obtetio de L qui est autre que la séquece triée demadée. Pour la représetatio e pseudo-code de la séquece de ombres, o utilisera u tableau, ce qui permet u accès direct aux doées, mais aussi d effectuer des opératios sur le tableau lui-même sas copie. O dit alors que le TRI-INSERTION est u algorithme de tri sur place. Nous obteos le pseudo-code suivat :
3 UPMC Aée / Algorithme : TRI-INSERTION Etrées : T [..l] u tableau de ombres représetat la séquece. Sorties : Rie mais le tableau T est trié. TRI-INSERTION(T ) Soit l la logueur de T pour j allat de à l faire tmp := T [j] i := j tat que i 0 et T [i] >tmp faire T [i + ] := T [i] i := i T [i + ] := tmp La seule écriture d u pseudo-code e suffit certes pas à valider u algorithme. Nous distiguos deux poits fodametaux à vérifier impérativemet : s assurer que l algorithme se termie. vérifier qu il doe toujours le bo résultat. De plus, o e peut cocevoir l écriture d u algorithme sas essayer de doer ue idée de so coût algorithmique. Aalyse de l algorithme TRI-INSERTION. Preuve de Termiaiso : La boucle Tat que lige 6 s achève toujours (elle cotiet au plus l itératios). De même, la boucle Pour j allat de à l produit l itératios. Doc, l algorithme se termie après u ombre fii d étapes. Preuve de validité : O a u ivariat de boucle pour la boucle Pour j allat de à l de la lige qui est les j premiers élémets sot triés e l ordre croissat. Doc à la fi de l algorithme, c est-à-dire quad j=l, le tableau est totalemet trié. Aalyse de la complexité das le pire des cas e ombre de comparaisos : Das le pire des cas, la boucle Tat que fait j comparaisos à l étape j de la boucle de la lige. Ce qui fait e sommat, (l ) comparaisos au total, soit l(l )/ comparaisos. Or, ce cas se produit quad o cherche à trier toute séquece strictemet décroissate. Le tri-isertio est doc u algorithme quadratique das le pire des cas e ombre de comparaisos. Nous allos maiteat proposer u autre algorithme de tri appelé tri-fusio, qui repose sur le premier pricipe que l o désire mettre e exergue das le cours, le paradigme, Divide ut imperes (Diviser pour Réger) formule latie attribuée à Philippe II de Macédoie (8-6) et reprise par Nicolas Machiavel (69-7)... A propos de Diviser pour Réger. La stratégie Diviser pour Réger cosiste à scider u problème e sous-problèmes de même ature sur des istaces plus petites, à résoudre ces sousproblèmes, puis à combier les résultats obteus pour apporter ue solutio au problème posé. Il s agit doc d ue démarche essetiellemet récursive. Le paradigme Diviser pour Réger doe doc lieu à trois étapes à chaque iveau de récursivité : Diviser : Le problème est scidé e u certai ombre de sous-problèmes ; Réger : Résoudre les sous-problèmes récursivemet ou, si la taille d u sous-problème est assez réduite, le résoudre directemet ; Combier : Réorgaiser les solutios des sous-problèmes e ue solutio complète du problème iitial.
4 Coceptio d algorithmes et applicatios.. De l usage de l algorithmique, tri-isertio versus tri-fusio. Deuxième partie : le tri-fusio. Das le cas du tri-fusio l algorithme repose sur la décompositio suivate : Diviser : O scide la séquece de logueur l e séqueces de taille l et l. Réger : O résout chacue des deux sous-séqueces e utilisat récursivemet le tri-fusio si elle est pas réduite à u élémet et e e faisat rie sio. Combier : Fusioer les deux sous-séqueces triées e ue séquece triée. Commeços par décrire e pseudo-code l algorithme FUSION(T, p, q, r) qui fusioe les tableaux triés T [p..q] et T [q +..r] où T [a..b] désige le sous-tableaux de T costitué des élémets compris etre a et b iclus. Algorithme : FUSION Etrées : T [..l] u tableau de ombres, p, q et r trois etiers. Sorties : Rie mais le tableau T est modifié. FUSION(T, p, q, r) Soit l la logueur de T := q p + := r q créer tableaux G[.. + ] et D[.. + ] pour i allat de à faire G[i] := T [p + i ] pour j allat de à faire D[j] := T [q + j] G[ + ] := D[ + ] := i := j := pour k allat de p à r faire si G[i] < D[j] alors T [k] := G[i] i := i + sio T [k] := D[j] j := j + Le pseudo-code du tri-fusio est alors : Algorithme : TRI-FUSION Etrées : T [..l] u tableau de ombres, p et r des etiers. Sorties : Rie mais le tableau T est trié etre p et r. TRI-FUSION(T, p, r) 6 si p < r alors q := (p+r) TRI-FUSION(T, p, q); TRI-FUSION(T, q +, r); FUSION(T, p, q, r);
5 UPMC Aée / Pour obteir u tableau trié T, il suffit de faire l appel TRI-FUSION(T,, logueur(l)). Mais avat de cotiuer, vérifios la validité de ces deux algorithmes. Aalyse de l algorithme FUSION : Preuve de Termiaiso : Nous avos das cet algorithme que des boucles de type compteur. Doc l algorithme s arrête après u ombre fii d étapes. Preuve de Validité : Nous allos utiliser pour ce faire, l ivariat de boucle (pour la boucle de la lige ) suivat : le tableau T [p..k ] cotiet les k p plus petits élémets de la cocatéatio G[.. +]D[.. +], e ordre croissat et G[i] et D[j] sot les plus petits élémets de leurs tableaux à e pas avoir été copiés das T. Vérifios que c est bie u ivariat de boucle. Au premier passage lige, o a k = p et doc T [p..k ] est vide. Doc o peut dire qu il cotiet bie les 0 plus petits élémets de G[.. + ]D[.. + ] e ordre croissat. Comme i = j =, G[i] et D[j] sot les plus petits élémets de leur tableau respectif à e pas avoir été copiés. Par iductio : Supposos que l ivariace soit vérifiée pour les k premières itératios de la boucle. Nous divisos le problème e deux cas : soit G[i] < D[j], soit G[i] D[j], ous traitos le premier cas, le deuxième état idetique mutatis mutadis. Comme G[i] est le plus petit élémet à e pas avoir ecore été copié, il s esuit que G[i] est copié e T [k] et comme T [p..k ] par hypothèse cotiet les k p plus petits élémets, o a que T [p..k] cotiet les k p + plus petits élémets classés e ordre croissat. Fialemet i est icrémeté lige 7 ce qui assure que G[i] est bie maiteat le plus petit élémet de G o copié. O a bie à la ouvelle itératio l ivariat coservé. Validité fiale : La boucle s arrête quad k = r +. Doc d après l ivariat le tableau T [p..k ] qui est autre que T [p..r] cotiet e ordre croissat tous les élémets de G[.. +] et D[.. +] sauf les deux plus grads (e effet o s arrête après avoir ragé r p + élémets et G[.. + ] et D[.. + ] cotieet à eux deux r p + élémets. Or les deux plus grads élémets e sot autres que les deux setielles que l o avait rajoutées (G[ + ] =: et D[ + ] =: ). Aalyse de la Complexité e ombre de comparaisos : O fait exactemet ue comparaiso par itératios de la boucle lige. Soit exactemet + comparaisos pour fusioer deux listes de tailles respectives et. Aalyse de l algorithme TRI-FUSION : Preuve de Termiaiso : Par iductio sur la logueur de la zoe [p..r] à trier, pour TRI-FUSION(T, p, r) avec p = r, e fait que retourer T doc est fii. Supposos que pour tous r et p tels que r p < k, l algorithme TRI-FUSION(T, p, r) se termie, alors pour tout p, TRI-FUSION(T, p, p + k) se termie aussi car il appelle recursivemet trois foctios qui par hypothèse d iductio se termiet. Preuve de Validité : Par iductio sur la logueur de la zoe à trier, si p = r, c est trivial. Supposos que pour tous r et p tels que r p < k, l algorithme TRI-FUSION(T, p, r) soit valide. Etudios, TRI-FUSION(T, p, r) pour r p = k, comme TRI-FUSION(T, p, (p+r) ) et TRI-FUSION(T, (p+r) +, r) sot valides par hypothèse d iductio et que FUSION doe u tableau trié à partir de deux tableaux triés, o a que TRI-FUSION(T, p, r) revoie bie le tableau T trié etre p et r... Aalyse de la complexité des algorithmes Diviser pour Réger. Supposos que l o ait u algorithme de type Diviser pour Réger, qui suit le pricipe suivat : pour être résolu le problème iitial sur ue istace de taille est divisé e a sous-problèmes sur des istaces de
6 6 Coceptio d algorithmes et applicatios tailles b. Puis ces solutios sot combiées e ue solutio du problème de taille. Il y a doc plusieurs évéemets qui peuvet avoir u coût : le coût (qui déped de la taille de l istace) écessaire à diviser le problème de taille. Il sera oté D(). le coût (dépedat lui-aussi de la taille de l istace) pour combier les solutios des sousproblèmes e ue solutio du problème de taille, oté C(). Efi, otos T () le temps écéssaire pour trouver la solutio de taille. Le pricipe récursif diviser pour réger ous amèe à ue récurrece du type T () = at ( b ) + D() + C(). De plus o peut supposer que pour les istaces de taille, le coup pour trouver la solutio est fixé et doc costat, T () = c. Les coûts d exécutio des algorithmes de type Diviser pour Réger suivet doc toujours le même type de récurrece mathématique. Nous allos voir qu e gééral o sait assez bie trouver le comportemet asymptotique des foctios T défiies aisi. Avat de doer ue bore pour le coût d exécutio de l algorithme TRI-FUSION, accordos ous quelques rappels cocerat les comportemets asymptotiques... Rappel sur les otios de comportemet asymptotique. O ote F N, l esemble des foctios de N das R + (Ce sot les suites à valeurs das R + ). E algorithmique, ous ous itéressos spécifiquemet au comportemet au voisiage de l ifii de foctios de F N, ce qui est ue (boe?) mesure permettat de comparer l efficacité des algorithmes. Pour ce faire, état doées deux foctios f et g de F N, o dira que f est domiée par g au voisiage de l ifii (ou ecore que g est ue bore asymptotique supérieure de f) si et seulemet s il existe deux costates strictemet positives c et 0 telles que pour tout > 0 o a f () < cg (). O otera alors f = O(g) ou bie g = Ω(f). O dira que f et g sot semblables au voisiage de l ifii (ou ecore que g est ue bore asymptotique approchée de f) si et seulemet si f = O(g) et f = Ω(g). O otera alors f = Θ(g). E particulier, état doée ue foctio f, o essayera toujours de lui trouver u équivalet parmi ue échelle de comparaisos simples (du type a log() b, expoetielle,...). Propriété. La relatio R défiie par frg f = Θ(g) est ue relatio d équivalece. La relatio R (resp. R ) défiie par fr g f = Ω(g) (resp. fr g f = O(g)) est u préordre (i.e. ue relatio biaire, reflexive et trasitive) sur F N..6. Coût asymptotique e ombre de comparaisos pour l algorithme TRI-FUSION. O remarque que das le TRI-FUSION, le ombre de comparaisos est le même pour toutes les istaces (les séqueces) de même taille. E particulier, il faut autat de temps au TRI- FUSION pour trier (,,,,, 6, 7, 8, 9) que pour trier (,, 8, 7,, 9, 6,, )!, alors que pour le TRI-INSERTION le ombre de comparaisos dépedait du désordre de la suite. Doc, pour TRI-FUSION, il suffit de chercher à trouver le ombre de comparaisos faites pour ue istace de logueur. Le fait de diviser ue séquece e deux sous-séqueces se fait sas comparaiso. La seule partie de TRI-FUSION où il y a des comparaisos est das FUSION. C est-à-dire das l algorithme qui combie les sous-solutios. Or ous savos que FUSION fait comparaisos pour costruire ue séquece triée de logueur. Doc, si T () désige le ombre de comparaisos das TRI-FUSION pour ue istace de logueur, o obtiet la récurrece suivate : T () = T ( ) + T ( ) +. De plus, il est clair que T () = 0. Pour évaluer cette foctio au voisiage de l ifii, o va commecer par calculer T ( ). Lemme. Soit T défiie par T () = T ( ) + T ( ) + et T () = 0, alors T ( ) =. Preuve. Si = 0, o a bie T ( ) = T () = 0. Motros que, T ( ) = T ( + ) = ( + ) +. Comme T ( + ) = T ( ) + +, si T ( ) = alors T ( + ) = ( ) + + = ( + ) +. Lemme. Soit T défiie par T () = T ( ) + T ( ) + et T () = 0, alors T est croissate. Preuve. T () T (0) est clairemet positif. Motros que, ( i, T (i) T (i ) 0) T ( + ) T () 0.
7 UPMC Aée / 7 Comme pour pair () et pour impair T ( + ) T () = (T (/) + T (/ + ) + + ) (T (/) + T (/) + ) = T (/ + ) T (/) + () T ( + ) T () = (T (( + )/) + T (( + )/) + + ) (T (( )/) + T (( + )/) + ) = T (( + )/) T (( + )/ ) +, si, ( i, T (i) T (i ) 0), alors e utilisat () et (), o a T ( + ) T () 0. Par iductio, il s esuit que T est croissate. Théorème. Le ombre de comparaisos T () que fait l algorithme TRI-FUSION pour trier ue séquece de logueur vérifie T () = Θ( log()). Preuve. Pour tout N, il existe u uique m tel que m < m+ (il suffit de predre m = log ). Comme T est croissate, o a T ( m ) T () < T ( m+ ). Doc m m T () < (m + ) m+. Ceci implique pour assez grad que c log < T () < c log..7. Le théorème maître. Le théorème maître permet d avoir ue idée du comportemet asymptotique de la plus part des récurreces iduites par les algorithmes de type Diviser pour Réger, ous le proposos sas démostratio à ce stade. Théorème. (Résolutio de récurreces Diviser pour Réger ). Soiet a et b > deux costates, soiet f ue foctio à valeurs das R + et U ue foctio de N das R + vérifiat pour tout suffisammet grad l ecadremet suivat : au( b )+f() U() au( b )+f(). U peut alors être borée asymptotiquemet comme suit : () Si f() = O( (log b a) ɛ ) pour ue certaie costate ɛ > 0, alors U() = Θ( log b a ). () Si f() = Θ( log b a ), alors U() = Θ( log b a log ). () Si f() = Ω( (log b a)+ɛ ) pour ue certaie costate ɛ > 0, et si o a asymptotiquemet pour ue costate c <, af(/b) < cf(), alors U() = Θ(f()). Remarques : Le théorème maître e couvre pas toutes les possibilités pour f(). Aisi, il y a ue lacue etre les cas et (et les cas et ). Par exemple la récurrece U() = U(/)+ log(), est pas traitable avec le théorème maître. Exemples : U() = U( / ) + O( α ) si α = /, o est das le cas et doc U() = Θ(). Si α = alors o est das le cas et doc U() = Θ( l()). Si α = alors o est das le cas et doc U() = Θ( )..8. Le TRI-RAPIDE. Le TRI-RAPIDE, aussi appelé tri de Hoare (du om de so iveteur) ou tri par segmetatio ou tri des bijoutiers ou e aglais quicksort, est u algorithme de tri itéressat à plus d u titre. Tout d abord, comme le TRI-INSERTION, l algorithme TRI-RAPIDE opère uiquemet sur la séquece à trier. E particulier, il e crée pas de tableau auxiliaire comme c est le cas pour le TRI-FUSION. De plus, l algorithme TRI-RAPIDE a u coût e ombre de comparaisos raisoable. Nous allos motrer e effet que le ombre moye de comparaisos effectuées pour trier ue séquece quelcoque de logueur est Θ( log ). Ce qui e moyee est aussi bo que le TRI-FUSION. L algorithme TRI-RAPIDE repose sur le pricipe Diviser pour Réger de la maière suivate : Diviser : Soit T [p..r] le tableau coteat la séquece d etiers que l o étudie. O fixe ue valeur v de T (ici v = T (r)) appelée pivot et o réarrage le tableau T [p..r] de telle sorte qu après cela les tableaux évetuellemet vides, T [p..q ], T [q +..r], cotieet respectivemet tous les élémets de T [p..r ] dot les valeurs sot plus petites ou égales à v et toutes les valeurs de
8 8 Coceptio d algorithmes et applicatios T [p..r ] strictemet plus grades que v et que T [q] = v. Réger : O résout par appel récursif le problème sur les sous-tableaux T [p..q ] et T [q +, r] ; Combier : Il y a rie à faire. Commeços par doer le pseudo-code de REARRANGEMENT(T, p, r). Algorithme : REARRANGEMENTS Etrées : T [..] u tableau de ombres, p et r des etiers. Sorties : u etier (la positio du pivot). REARRANGEMENTS(T, p, r) v :=T [r]; i := p ; pour j allat de p à r faire si T [j] v alors i := i + ; tmp := T [i] ; T [i] := T [j] ; T [j] := tmp; tmp := T [i + ]; T [i + ] := T [r]; T [r] := tmp; retourer i + ; Aalyse de l algorithme REARRANGEMENT Preuve de Termiaiso : Nous avos das cet algorithme qu ue boucle de type compteur. Doc l algorithme s arrête après u ombre fii d étapes. Preuve de Validité : Nous allos utiliser pour ce faire l ivariat de boucle (pour la boucle de la lige ) suivat : () Si p k i, alors T [k] v. () Si i + k j, alors T [k] > v. () Si k = r, alors T [k] = v. Iitialisatio : Avat la première itératio, i = p et j = p. Il y a pas de valeur etre p et i, i de valeur etre i + et j, de sorte que les deux premières coditios de l ivariat de boucle sot satisfaites de maière triviale. L affectio e lige satisfait à la troisième coditio. Par iductio : il y a deux cas à cosidérer, selo le résultat du test e lige. Quad T [j] > v l uique actio faite das la boucle est d icrémeter j. Ue fois j icrémeté, la coditio est vraie pour T [j ] et tous les autres élémets restet ichagés, doc l ivariat est préservé. Quad T [j] v, la variable i est icrémeté, T [i] et T [j] sot échagés, puis j est icrémeté. Compte teu de la permutatio, o a maiteat, T [i] v et la coditio est respectée. De même, o a aussi T [j ] > v, car l élémet qui a été permuté avec T [j ] est, d après l ivariat de boucle, plus grad que v. Validité fiale : À la fi, j = r. Par coséquet, chaque élémet du tableau est das l u des trois esembles décrits par l ivariat et l o a réarragé les valeurs du tableau de telle sorte qu il débute par les valeurs iférieures ou égales à v, puis l élémet v, puis se fiit par les valeurs supérieures à v. Aalyse de la Complexité e ombre de comparaisos : O fait ue comparaiso à chaque itératio de la boucle de la lige, soit r p comparaisos. Doc pour ue istace de logueur, l algorithme REARRANGER opère comparaisos.
9 UPMC Aée / 9 Maiteat, il est aisé de décrire u algorithme de type Diviser pour Réger à partir de RE- ARRANGEMENT, e voici le pseudo-code : Algorithme 6 : TRI-RAPIDE Etrées : T [..] u tableau de ombres, p et r des etiers. Sorties : Rie mais le tableau T est trié etre p et r. TRI-RAPIDE(T, p, r) si p < r alors q := REARRANGEMENT(T, p, r); TRI-RAPIDE(T, p, q ); TRI-RAPIDE(T, q +, r); Pour trier u tableau T, il suffit alors de faire l appel TRI-RAPIDE(T,, logueur(t )). Aalyse de l algorithme TRI-RAPIDE Preuve de Termiaiso : Par iductio sur la logueur de la zoe [p..r] à trier, l algorithme TRI-RAPIDE(T, p, r) avec p = r e fait aucu appel à REARRANGEMENT(T, p, r) doc il est fii. Supposos que pour tous r et p tels que r p < k, l algorithme TRI-RAPIDE(T, p, r) se termie, alors pour tout p, TRI-RAPIDE(T, p, p + k) se termie aussi car il appelle récursivemet trois foctios qui par hypothèse d iductio se termiet. Preuve de Validité : Par iductio sur la logueur de la zoe à trier, si p = r, c est trivial. Supposos que pour tous r et p tels que r p < k, l algorithme TRI-RAPIDE(T, p, r) revoie le tableau T trié etre p et r iclus, Cosidéros TRI-RAPIDE(T, p, r) avec r p = k. Comme TRI-RAPIDE(T, p, q ) et TRI-RAPIDE(T, q +, r) sot valides par hypothèse d iductio, o a bie que tout le tableau T est trié de p à r. Aalyse de la Complexité e ombre de comparaisos das le pire des cas : Notos T () le ombre de comparaisos das le pire des cas pour les istaces de taille. E utilisat la costructio récursive de TRI-RAPIDE et le fait que l algorithme REARRANGEMENT opère comparaisos sur ue séquece de logueur, o obtiet la récurrece suivate : T () = max (T (q) + T ( q )) +. 0 q O va vérifier par récurrece l hypothèse que pour tout, T () <. Supposos que ceci soit vrai pour < 0, alors ( T ( 0 ) < max q + ( 0 q ) ) q 0 Or la foctio f(q) = q +( 0 q ) est maximum aux extrémités de l itervalle 0 q 0. Doc, ( max q + ( 0 q ) ) = ( 0 ), 0 q 0 et T ( 0 ) < ( 0 ) + 0 < 0. Doc T () = O( ) E regardat le foctioemet de l algorithme TRI-RAPIDE sur l istace (,,..., ), o remarque qu il exécute ( ) + ( ) comparaisos, doc T () = Θ( ). O peut être quelque peu déboussolé au regard des résultats obteus. E effet, das le pire des cas, l algorithme TRI-RAPIDE est plutôt mauvais (quadratique). De plus, il est mauvais sur des istaces déjà triées! Pourtat, comme ous allos le motrer le ombre de comparaisos e moyee est très bo (e log pour ue istace de taille ). Aux vues des autres avatages qu il présete, c est u algorithme très souvet implémeté (par exemple, c est l algorithme implémeté
10 0 Coceptio d algorithmes et applicatios das JAVA pour les tris). Aalyse de la Complexité e ombre moye de comparaisos : Le calcul de la complexité du tri rapide e moyee est u peu plus compliqué. Déjà, il faut défiir u espace de probabilité. O va cosidérer l esemble E de toutes les séqueces de logueur dot tous les élémets sot disticts. Soit L = (a,..., a ) ue séquece prise au hasard (équiprobablemet) das E, la probabilité que a soit après triage le i-ème élémet de la séquece est clairemet /, de sorte que le coût moye e ombre de comparaisos C vérifie : C 0 = 0, C = 0 et C = + (C i + C i ). i=0 Le terme géérique C peut s écrire : () C = + C i i=0 = + C + C i i=0 = + C + ( + = C + (C ) + = + C + ( ) ) C i i=0 ( )( ) E posat D = C /( + ), la récurrece s écrit alors : D 0 = 0 et D = D + ( + ) ( + ). O rappelle que la série H = H + / est la série harmoique qui vérifie asymptotiquemet H = l() + 0, Θ(/) où 0,77... est la costate d Euler. O e déduit, comme le terme (+) est égligeable, que D = Θ(l()) et doc que C = Θ( l())..9. Recherche d u élémet défectueux avec ue balace. O dispose d u esemble de pièces d or toutes de même poids sauf ue défectueuse qui est plus légère. Le problème cosiste à retrouver la pièce défectueuse e utilisat ue balace de type Roberval (balace à plateaux qui permet de dire uiquemet s il y a u plateau plus lourd que l autre). O va modéliser le problème de la faço suivate : Soit T [..] u tableau de caractères qui cotiet ( ) lettres P (les boes pièces d or) et ue lettre Q (la pièce défectueuse). O cherche doc à trouver l idice de la case qui cotiet la lettre Q grâce à ue foctio PESÉE(T,,,, ) qui revoie (, ) si le Q est das l itervalle [, [, (, ) si le Q est das l itervalle [, [ et (, ) sio. De plus, o suppose que l o e peut utiliser la foctio PESÉE que si les itervalles [, ] et [, ] sot de même logueur. Par covetio, [, m[= si m. O propose de résoudre ce problème grâce à l algorithme de type diviser pour règer suivat : Diviser : O répartit les pièces e tas de tailles respectivemet [/], [/], [/]. ([x] idique l etier le plus proche de x). Réger : O pèse les deux premiers tas, s ils sot de même poids, o recommece iductivemet avec le tas, sio o recommece avec le tas vers lequel la balace e peche pas (le plus léger). Ceci doe le pseudo-code suivat :
11 UPMC Aée / Algorithme 7 : ChercheQ Etrées : T u tableau coteat des P et u Q, d et f deux etiers. O suppose que la positio du Q est etre d et f. Sorties : la positio de la lettre Q das T [d..f]. ChercheQ(T, d, f) si d = f alors retourer d sio e = [ f d+ ]; = d + e; = d + e; (p, q) =PESÉE(T, d,,, f); retourer ChercheQ(T, p, q); Aalyse de l algorithme ChercheQ Preuve de Termiaiso : Par iductio sur la logueur f d de l itervalle [d, f], si la logueur est, l algorithme retoure d, sio il rappelle ue istace qui par iductio se termie. Preuve de Validité : Par iductio sur la logueur de l itervalle [f, d], si la logueur est, l algorithme retoure la boe valeur. Supposos qu il retoure la boe valeur pour les itervalles plus petits que l, quad o lace l exécutio sur u itervalle de logueur l, la foctio PESÉE permet de détermier u sous-itervalle de taille iférieure à l (de l ordre de l/) das lequel se trouve le Q. Par iductio, l appel de ChercheQ sur cet itervalle revoie la boe valeur. Doc ChercheQ revoie la boe valeur. Aalyse de la Complexité e ombre de pesées : Notos T () le ombre de pesées écessaires pour trouver Q das u tableau de taille. Le pricipe Diviser pour Réger permet de doer la formule de récurrece pour T suivate : T () = 0 et T () = T (/) +. O e déduit que T () = Θ(log()).
Limites des Suites numériques
Chapitre 2 Limites des Suites umériques Termiale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Limite fiie ou ifiie d ue suite. Limites et comparaiso. Opératios sur les ites. Comportemet
Plus en détailChapitre 3 : Fonctions d une variable réelle (1)
Uiversités Paris 6 et Paris 7 M1 MEEF Aalyse (UE 3) 2013-2014 Chapitre 3 : Foctios d ue variable réelle (1) 1 Lagage topologique das R Défiitio 1 Soit a u poit de R. U esemble V R est u voisiage de a s
Plus en détail. (b) Si (u n ) est une suite géométrique de raison q, q 1, on obtient : N N, S N = 1 qn+1. n+1 1 S N = 1 1
Premières propriétés des ombres réels 2 Suites umériques 3 Suites mootoes : à faire 4 Séries umériques 4. Notio de série. Défiitio 4.. Soit (u ) ue suite de ombres réels ou complexes. Pour N N, o ote S
Plus en détail1 Mesure et intégrale
1 Mesure et itégrale 1.1 Tribu boréliee et foctios mesurables Soit =[a, b] u itervalle (le cas où b = ou a = est pas exclu) et F ue famille de sous-esembles de. OditqueF est ue tribu sur si les coditios
Plus en détail14 Chapitre 14. Théorème du point fixe
Chapitre 14 Chapitre 14. Théorème du poit fixe Si l o examie de plus près les méthodes de Lagrage et de Newto, étudiées au chapitre précédet, elles revieet das leur pricipe à remplacer la résolutio de
Plus en détail20. Algorithmique & Mathématiques
L'éditeur L'éditeur permet à l'utilisateur de saisir les liges de codes d'u programme ou de défiir des foctios. Remarque : O peut saisir directemet des istructios das la cosole Scilab, mais il est plus
Plus en détail[http://mp.cpgedupuydelome.fr] édité le 10 juillet 2014 Enoncés 1. Exercice 6 [ 02475 ] [correction] Si n est un entier 2, le rationnel H n =
[http://mp.cpgedupuydelome.fr] édité le 1 juillet 14 Eocés 1 Nombres réels Ratioels et irratioels Exercice 1 [ 9 ] [correctio] Motrer que la somme d u ombre ratioel et d u ombre irratioel est u ombre irratioel.
Plus en détailSéries réelles ou complexes
6 Séries réelles ou complexes Comme pour le chapitre 3, les suites cosidérées sot a priori complexes et les résultats classiques sur les foctios cotiues ou dérivables d ue variable réelle sot supposés
Plus en détailCHAPITRE 2 SÉRIES ENTIÈRES
CHAPITRE 2 SÉRIES ENTIÈRES 2. Séries etières Défiitio 2.. O appelle série etière toute série de foctios ( ) f dot le terme gééral est de la forme f ()=a, où (a ) désige ue suite réelle ou complee et R.
Plus en détailSéquence 5. La fonction logarithme népérien. Sommaire
Séquece 5 La foctio logarithme épérie Objectifs de la séquece Itroduire ue ouvelle foctio : la foctio logarithme épérie. Coaître les propriétés de cette foctio : sa dérivée, ses variatios, sa courbe, sa
Plus en détailLes algorithmes de tri
CONSERVATOIRE NATIONAL DES ARTS ET METIERS PARIS MEMOIRE POUR L'EXAMEN PROBATOIRE e INFORMATIQUE par Nicolas HERVE Les algorithmes de tri Souteu le mai JURY PRESIDENTE : Mme COSTA Sommaire Itroductio....
Plus en détailEXERCICES : DÉNOMBREMENT
Chapitre 7 ECE 1 - Grad Nouméa - 015 EXERCICES : DÉNOMBREMENT LISTES / ARRANGEMENTS Exercice 1 : Le code ativol Pour so vélo, Toto possède u ativol a code. Le code est ue successio de trois chiffres compris
Plus en détailConvergences 2/2 - le théorème du point fixe - Page 1 sur 9
Au sommaire : Suites extraites Le théorème de Bolzao-Weierstrass La preuve du théorème de Bolzao-Weierstrass3 Foctio K-cotractate4 Le théorème du poit fixe5 La preuve du théorème du poit fixe6 Utilisatios
Plus en détailFEUILLE D EXERCICES 17 - PROBABILITÉS SUR UN UNIVERS FINI
FEUILLE D EXERCICES 7 - PROBABILITÉS SUR UN UNIVERS FINI Exercice - Lacer de dés O lace deux dés à 6 faces équilibrés. Calculer la probabilité d obteir : u double ; ue somme des deux dés égale à 8 ; ue
Plus en détailExo7. Déterminants. = 4(b + c)(c + a)(a + b). c + a c + b 2c Correction. b + a 2b b + c. Exercice 2 ** X a b c a X c b b c X a c b a X
Exo7 Détermiats Exercices de Jea-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-fracefr * très facile ** facile *** difficulté moyee **** difficile ***** très difficile I : Icotourable T : pour
Plus en détailEtude de la fonction ζ de Riemann
Etude de la foctio ζ de Riema ) Défiitio Pour x réel doé, la série de terme gééral,, coverge si et seulemet si x >. x La foctio zeta de Riema est la foctio défiie sur ], [ par : ( x > ), = x. Remarque.
Plus en détailLes Nombres Parfaits.
Les Nombres Parfaits. Agathe CAGE, Matthieu CABAUSSEL, David LABROUSSE (2 de Lycée MONTAIGNE BORDEAUX) et Alexadre DEVERT, Pierre Damie DESSARPS (TS Lycée SUD MEDOC LETAILLAN MEDOC) La première partie
Plus en détailDénombrement. Introduction. 1 Cardinaux d'ensembles nis. ECE3 Lycée Carnot. 12 novembre 2010. 1.1 Quelques dénitions
Déombremet ECE3 Lycée Carot 12 ovembre 2010 Itroductio La combiatoire, sciece du déombremet, sert comme so om l'idique à compter. Il e s'agit bie etedu pas de reveir au stade du CP et d'appredre à compter
Plus en détailComportement d'une suite
Comportemet d'ue suite I) Approche de "ses de variatio et de ite d'ue suite" : 7 Soit la suite ( ) telle que = 5 ( + ) 2 Représetos graphiquemet la suite das u pla mui d' u repère. Il suffit de placer
Plus en détailSuites et séries de fonctions
[http://mp.cpgedupuydelome.fr] édité le 3 avril 5 Eocés Suites et séries de foctios Propriétés de la limite d ue suite de foctios Eercice [ 868 ] [correctio] Etablir que la limite simple d ue suite de
Plus en détailProcessus et martingales en temps continu
Chapitre 3 Processus et martigales e temps cotiu 1 Quelques rappels sur les martigales e temps discret (voir [4]) O cosidère u espace filtré (Ω, F, (F ) 0, IP). O ote F = 0 F. Défiitio 1.1 Ue suite de
Plus en détailExercice I ( non spé ) 1/ u 1 = 3 4. 2 3 u 2 4 + 3 9. 19 4 2/ Soit P la propriété : u n + 4. > 0 pour n 1. P est vraie au rang 1 car u 1
Bac blac TS Correctio Exercice I ( Spé ) / émotros par récurrece que 5x y = pour tout etier aturel 5x y = 5 8 = La propriété est doc vraie au rag = Supposos que la propriété est vraie jusqu au rag, o a
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable
Eo7 Séries etières Eercices de Jea-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-fracefr * très facile ** facile *** difficulté moyee **** difficile ***** très difficile I : Icotourable Eercice
Plus en détailConsolidation. C r é e r un nouveau classeur. Créer un groupe de travail. Saisir des données dans un groupe
Cosolidatio La société THEOS, qui commercialise des vis, exerce so activité das trois villes : Paris, Nacy et Nice. Le directeur de la société souhaite cosolider les résultats de ses vetes par ville das
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable
Exo7 Topologie Exercices de Jea-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-fracefr * très facile ** facile *** difficulté moyee **** difficile ***** très difficile I : Icotourable Exercice **
Plus en détailDeuxième partie : LES CONTRATS D ASSURANCE VIE CLASSIQUES
DEUXIEME PARTIE Deuième partie : LES CONTRATS D ASSURANCE VIE CLASSIQUES Chapitre. L assurace de capital différé Chapitre 2. Les opératios de retes Chapitre 3. Les assuraces décès Chapitre 4. Les assuraces
Plus en détailLES ÉCLIPSES. Éclipser signifie «cacher». Vus depuis la Terre, deux corps célestes peuvent être éclipsés : la Lune et le Soleil.
Qu appelle-t-o éclipse? Éclipser sigifie «cacher». Vus depuis la Terre, deu corps célestes peuvet être éclipsés : la Lue et le Soleil. LES ÉCLIPSES Pour qu il ait éclipse, les cetres de la Terre, de la
Plus en détailDénombrement. Chapitre 1. 1.1 Enoncés des exercices
Chapitre 1 Déombremet 1.1 Eocés des exercices Exercice 1 L acie système d immatriculatio fraçais était le suivat : chaque plaque avait 4 chiffres, suivis de 2 lettres, puis des 2 uméros du départemet.
Plus en détailx +1 + ln. Donner la valeur exacte affichée par cet algorithme lorsque l utilisateur entre la valeur n =3.
EXERCICE 3 (6 poits ) (Commu à tous les cadidats) Il est possible de traiter la partie C sas avoir traité la partie B Partie A O désige par f la foctio défiie sur l itervalle [, + [ par Détermier la limite
Plus en détailcapital en fin d'année 1 C 0 + T C 0 = C 0 (1 + T) = C 0 r en posant r = 1 + T 2 C 0 r + C 0 r T = C 0 r (1 + T) = C 0 r 2 3 C 0 r 3...
Applicatios des maths Algèbre fiacière 1. Itérêts composés O place u capital C 0 à u taux auel T a pedat aées. Quelle est la valeur fiale C de ce capital? aée capital e fi d'aée 1 C 0 + T C 0 = C 0 (1
Plus en détailSTATISTIQUE : TESTS D HYPOTHESES
STATISTIQUE : TESTS D HYPOTHESES Préparatio à l Agrégatio Bordeaux Aée 203-204 Jea-Jacques Ruch Table des Matières Chapitre I. Gééralités sur les tests 5. Itroductio 5 2. Pricipe des tests 6 2.a. Méthodologie
Plus en détail55 - EXEMPLES D UTILISATION DU TABLEUR.
55 - EXEMPLES D UTILISATION DU TABLEUR. CHANTAL MENINI 1. U pla possible Les exemples qui vot suivre sot des pistes possibles et e aucu cas ue présetatio exhaustive. De même je ai pas fait ue étude systématique
Plus en détailUNIVERSITE MONTESQUIEU BORDEAUX IV. Année universitaire 2006-2007. Semestre 2. Prévisions Financières. Travaux Dirigés - Séances n 4
UNVERSTE MONTESQUEU BORDEAUX V Licece 3 ère aée Ecoomie - Gestio Aée uiversitaire 2006-2007 Semestre 2 Prévisios Fiacières Travaux Dirigés - Séaces 4 «Les Critères Complémetaires des Choix d vestissemet»
Plus en détailII LES PROPRIETES DES ESTIMATEURS MCO 1. Rappel : M1 LA REGRESSION : HYPOTHESES ET TESTS Avril 2009
M LA REGRESSION : HYPOTHESES ET TESTS Avril 009 I LES HYPOTHESES DE LA MCO. Hypothèses sur la variable explicative a. est o stochastique. b. a des valeurs xes das les différets échatillos. c. Quad ted
Plus en détail2 ième partie : MATHÉMATIQUES FINANCIÈRES
2 ième partie : MATHÉMATIQUES FINANCIÈRES 1. Défiitios L'itérêt est l'idemité que doe au propriétaire d'ue somme d'arget celui qui e a joui pedat u certai temps. Divers élémets itervieet das le calcul
Plus en détailStatistique descriptive bidimensionnelle
1 Statistique descriptive bidimesioelle Statistique descriptive bidimesioelle Résumé Liaisos etre variables quatitatives (corrélatio et uages de poits), qualitatives (cotigece, mosaïque) et de types différets
Plus en détailChap. 5 : Les intérêts (Les calculs financiers)
Chap. 5 : Les itérêts (Les calculs fiaciers) Das u cotrat de prêt, le prêteur met à la dispositio de l empruteur, à u taux d itérêt doé, ue somme d arget (le capital) qu il devra rembourser à ue certaie
Plus en détailSTATISTIQUE AVANCÉE : MÉTHODES
STATISTIQUE AVANCÉE : MÉTHODES NON-PAAMÉTIQUES Ecole Cetrale de Paris Arak S. DALALYAN Table des matières 1 Itroductio 5 2 Modèle de desité 7 2.1 Estimatio par istogrammes............................
Plus en détailTRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS TOTALEMENT CONNECTÉS (*) par Maryse BÉGUIN ( 1 )
RAIRO Operatios Research RAIRO Oper. Res. 34 (2000) 99-129 TRANSFERT DE CHARGE DANS UN RÉSEAU DE PROCESSEURS TOTALEMENT CONNECTÉS (*) par Maryse BÉGUIN ( 1 ) Commuiqué par Berard LEMAIRE Résumé. L étude
Plus en détailPolynésie Septembre 2002 - Exercice On peut traiter la question 4 sans avoir traité les questions précédentes.
Polyésie Septembre 2 - Exercice O peut traiter la questio 4 sas avoir traité les questios précédetes Pour u achat immobilier, lorsqu ue persoe emprute ue somme de 50 000 euros, remboursable par mesualités
Plus en détail3.1 Différences entre ESX 3.5 et ESXi 3.5 au niveau du réseau. Solution Cette section récapitule les différences entre les deux versions.
3 Réseau Le réseau costitue u aspect essetiel d u eviroemet virtuel ESX. Il est doc importat de compredre la techologie, y compris ses différets composats et leur coopératio. Das ce chapitre, ous étudios
Plus en détailChap. 6 : Les principaux crédits de trésorerie et leur comptabilisation
Chap. 6 : Les pricipaux crédits de trésorerie et leur comptabilisatio Les etreprises ot souvet besoi de moyes de fiacemet à court terme : elles ot alors recours aux crédits bacaires (découverts bacaires
Plus en détailChap. 6 : Les principaux crédits de trésorerie et leur comptabilisation
1 / 9 Chap. 6 : Les pricipaux crédits de trésorerie et leur comptabilisatio Le cycle d exploitatio des etreprises (achats stockage productio stockage vetes) peut etraîer des décalages de trésorerie plus
Plus en détailProcessus géométrique généralisé et applications en fiabilité
Processus géométrique gééralisé et applicatios e fiabilité Lauret Bordes 1 & Sophie Mercier 2 1,2 Uiversité de Pau et des Pays de l Adour Laboratoire de Mathématiques et de leurs Applicatios - Pau UMR
Plus en détailSommaire Chapitre 1 - L interface de Windows 7 9
Sommaire Chapitre 1 - L iterface de Widows 7 9 1.1. Utiliser le meu Démarrer et la barre des tâches de Widows 7...11 Démarrer et arrêter des programmes...15 Épigler u programme das la barre des tâches...18
Plus en détailSÉRIES STATISTIQUES À DEUX VARIABLES
1 ) POSITION DU PROBLÈME - VOCABULAIRE A ) DÉFINITION SÉRIES STATISTIQUES À DEUX VARIABLES O cosidère deux variables statistiques umériques x et y observées sur ue même populatio de idividus. O ote x 1
Plus en détail4 Approximation des fonctions
4 Approximatio des foctios Ue foctio f arbitraire défiie sur u itervalle I et à valeur das IR peut être représetée par so graphe, ou de maière équivalete par la doée de l esemble de ses valeurs f(t) pour
Plus en détailGroupe orthogonal d'un espace vectoriel euclidien de dimension 2, de dimension 3
1 Groupe orthogoal d'u espace vectoriel euclidie de dimesio, de dimesio Voir le chapitre 19 pour l'étude des espaces euclidies et des isométries. État doé u espace euclidie E de dimesio 1, o rappelle que
Plus en détailPROMENADE ALÉATOIRE : Chaînes de Markov et martingales
PROMENADE ALÉATOIRE : Chaîes de Markov et martigales Thierry Bodieau École Polytechique Paris Départemet de Mathématiques Appliquées thierry.bodieau@polytechique.edu Novembre 2013 2 Table des matières
Plus en détailUNIVERSITÉ DE SFAX École Supérieure de Commerce
UNIVERSITÉ DE SFAX École Supérieure de Commerce Aée Uiversitaire 2003 / 2004 Auditoire : Troisième Aée Études Supérieures Commerciales & Scieces Comptables DÉCISIONS FINANCIÈRES Note de cours N 3 Première
Plus en détailCompte Sélect Banque Manuvie Guide du débutant
GUIDE DU DÉBUTANT Compte Sélect Baque Mauvie Guide du débutat Besoi d aide? Preez quelques miutes pour lire attetivemet votre Guide du cliet. Le préset Guide du débutat vous facilitera l utilisatio de
Plus en détailStatistiques appliquées à la gestion Cours d analyse de donnés Master 1
Aalyse des doées Statistiques appliquées à la gestio Cours d aalyse de doés Master F. SEYTE : Maître de coféreces HDR e scieces écoomiques Uiversité de Motpellier I M. TERRAZA : Professeur de scieces écoomiques
Plus en détailIntroduction : Mesures et espaces de probabilités
Itroductio : Mesures et espaces de probabilités Référeces : Poly cédric Berardi et Jea Michel Morel. J.-F. Le Gall, Itégratio, Probabilités et Processus Aléatoire J.-Y. Ouvrard, Probabilités 2, maîtrise-agrégatio,
Plus en détailBaccalauréat S Asie 19 juin 2014 Corrigé
Bcclurét S Asie 9 jui 24 Corrigé A. P. M. E. P. Exercice Commu à tous les cdidts 4 poits Questio - c. O peut élimier rpidemet les réposes. et d. cr les vecteurs directeurs des droites proposées e sot ps
Plus en détailc. Calcul pour une évolution d une proportion entre deux années non consécutives
Calcul des itervalles de cofiace our les EPCV 996-004 - Cas d u ourcetage ou d ue évolutio e oit das la oulatio totale des méages - Cas d u ourcetage ou d ue évolutio das ue sous oulatio das les méages
Plus en détailGérer les applications
Gérer les applicatios E parcourat les rayos du Widows Phoe Store, vous serez e mesure de compléter les services de base de votre smartphoe à travers plus de 10 000 applicatios. Gratuites ou payates, ces
Plus en détailModule 3 : Inversion de matrices
Math Stat Module : Iversio de matrices M Module : Iversio de matrices Uité. Défiitio O e défiira l iverse d ue matrice que si est carrée. O appelle iverse de la matrice carrée toute matrice B telle que
Plus en détailRéseaux d ondelettes et réseaux de neurones pour la modélisation statique et dynamique de processus
Réseaux d odelettes et réseaux de euroes pour la modélisatio statique et dyamique de processus Yacie Oussar To cite this versio: Yacie Oussar. Réseaux d odelettes et réseaux de euroes pour la modélisatio
Plus en détailLa France, à l écoute des entreprises innovantes, propose le meilleur crédit d impôt recherche d Europe
1/5 Trois objectifs poursuivis par le gouveremet : > améliorer la compétitivité fiscale de la Frace > péreiser les activités de R&D > faire de la Frace u territoire attractif pour l iovatio Les icitatios
Plus en détailExercices de mathématiques
MP MP* Thierry DugarDi Marc rezzouk Exercices de mathématiques Cetrale-Supélec, Mies-Pots, École Polytechique et ENS Coceptio et créatio de couverture : Atelier 3+ Duod, 205 5 rue Laromiguière, 75005 Paris
Plus en détailCours 5 : ESTIMATION PONCTUELLE
Cours 5 : ESTIMATION PONCTUELLE A- Gééralités B- Précisio d u estimateur C- Exhaustivité D- iformatio E-estimateur sas biais de variace miimale, estimateur efficace F- Quelques méthode s d estimatio A-
Plus en détailDes résultats d irrationalité pour deux fonctions particulières
Collect. Math. 5, 00, 0 c 00 Uiversitat de Barceloa Des résultats d irratioalité pour deux foctios particulières Richard Choulet 7, Rue du 4 Août, 40 Aveay, Frace E-mail: richardchoulet@waadoo.fr Received
Plus en détailPOLITIQUE ECONOMIQUE ET DEVELOPPEMENT
POLTQU ONOMQU T DVLOPPMNT TRUTUR DU MAR NATONAL DU AF-AAO T PR AU PRODUTUR MALAN Beïla Beoit osultat PD N 06/008 ellule d Aalyse de Politiques coomiques du R Aée de pulicatio : Avril 009 Résumé e papier
Plus en détailUV SQ 20. Automne 2006. Responsable d Rémy Garandel ( m.-el. remy.garandel@utbm.fr ) page 1
UV SQ 0 Probabilités Statistiques UV SQ 0 Autome 006 Resposable d Rémy Garadel ( m.-el. remy.garadel@utbm.fr ) page SQ-0 Probabilités - Statistiques Bibliographie: Titre Auteur(s) Editios Localisatio Niveau
Plus en détailCours de Statistiques inférentielles
Licece 2-S4 SI-MASS Aée 2015 Cours de Statistiques iféretielles Pierre DUSART 2 Chapitre 1 Lois statistiques 1.1 Itroductio Nous allos voir que si ue variable aléatoire suit ue certaie loi, alors ses réalisatios
Plus en détailChapitre 3 : Transistor bipolaire à jonction
Chapitre 3 : Trasistor bipolaire à joctio ELEN075 : Electroique Aalogique ELEN075 : Electroique Aalogique / Trasistor bipolaire U aperçu du chapitre 1. Itroductio 2. Trasistor p e mode actif ormal 3. Courats
Plus en détailStatistique Numérique et Analyse des Données
Statistique Numérique et Aalyse des Doées Arak DALALYAN Septembre 2011 Table des matières 1 Élémets de statistique descriptive 9 1.1 Répartitio d ue série umérique uidimesioelle.............. 9 1.2 Statistiques
Plus en détailExamen final pour Conseiller financier / conseillère financière avec brevet fédéral. Recueil de formules. Auteur: Iwan Brot
Exame fial pour Coseiller fiacier / coseillère fiacière avec brevet fédéral Recueil de formules Auteur: Iwa Brot Ce recueil de formules sera mis à dispositio des cadidats, si écessaire. Etat au 1er mars
Plus en détailProbabilités et statistique pour le CAPES
Probabilités et statistique pour le CAPES Béatrice de Tilière Frédérique Petit 2 3 jui 205. Uiversité Pierre et Marie Curie 2. Uiversité Pierre et Marie Curie 2 Table des matières Modélisatio de phéomèes
Plus en détailIntégration et probabilités ENS Paris, 2012-2013. TD (20)13 Lois des grands nombres, théorème central limite. Corrigé :
Itégratio et probabilités EN Paris, 202-203 TD 203 Lois des grads ombres, théorème cetral limite. Corrigé Lois des grads ombres Exercice. Calculer e cet leços Détermier les limites suivates : x +... +
Plus en détailUniversité de Bordeaux - Master MIMSE - 2ème année. Scoring. Marie Chavent http://www.math.u-bordeaux.fr/ machaven/ 2014-2015
Uiversité de Bordeaux - Master MIMSE - 2ème aée Scorig Marie Chavet http://www.math.u-bordeaux.fr/ machave/ 2014-2015 1 Itroductio L idée géérale est d affecter ue ote (u score) global à u idividu à partir
Plus en détailChaînes de Markov. Arthur Charpentier
Chaîes de Markov Arthur Charpetier École Natioale de la Statistique et d Aalyse de l Iformatio - otes de cours à usage exclusif des étudiats de l ENSAI - - e pas diffuser, e pas citer - Quelques motivatios.
Plus en détailRECHERCHE DE CLIENTS simplifiée
RECHERCHE DE CLIENTS simplifiée Nous ous occupos d accroître votre clietèle avec le compte Avatage d etreprise Pour trouver des cliets potetiels grâce à u simple compte bacaire Vous cherchez des idées
Plus en détailNeolane Message Center. Neolane v6.0
Neolae Message Ceter Neolae v6.0 Ce documet, aisi que le logiciel qu'il décrit, est fouri das le cadre d'u accord de licece et e peut être utilisé ou copié que das les coditios prévues par cet accord.
Plus en détailEtude Spéciale SCORING : UN GRAND PAS EN AVANT POUR LE MICROCRÉDIT?
Etude Spéciale o. 7 Javier 2003 SCORING : UN GRAND PAS EN AVANT POUR LE MICROCRÉDIT? MARK SCHNEIDER Le CGAP vous ivite à lui faire part de vos commetaires, de vos rapports et de toute demade d evoid autres
Plus en détailPROBLEMES DIOPTIMISATION EN NOMBRES ENTIERS J. L. NICOLAS
PROBLEMES DIOPTIMISATION EN NOMBRES ENTIERS ET APPROXIMATIONS DIOPHANTIENNES J. L. NICOLAS Cet article expose sup 3 e quelques iter'f~reces etre les pr'obl~res dloptimisatio e hombres etiers et la th~or-ie
Plus en détailTerminale S. Terminale S 1 F. Laroche
Termiale S Exercices. Rappels et exercices de base 3.. QCM (P. Egel) 3.. QCM, Atilles 005 4. 3. QCM, Liba 009, 3 poits 4. 4. QCM, C. étragers 007. 5. QCM, Frace 007 5 6. 6. QCM, N. Calédoie 007 7. 7. QCM
Plus en détailLogiciel de synchronisation de flotte de baladeurs MP3 / MP4 ou tablettes Androïd
easylab Le logiciel de gestio de fichiers pour baladeurs et tablettes Visualisatio simplifiée de la flotte Gestio des baladeurs par idividus / classes / groupes / activités Activatio des foctios par simple
Plus en détailChapitre 2 SONDAGE ALEATOIRE SIMPLE OU A PROBABILITES EGALES. 2.1 DEFINITIONS 2.2 SONDAGE ALEATOIRE SIMPLE SANS REMISE (PESR) 2.2.
Chapitre 2 SONDAGE ALEATOIRE SIMPLE OU A PROBABILITES EGALES PLAN DU CHAPITRE 2 2.1 DEFINITIONS 2.2 SONDAGE ALEATOIRE SIMPLE SANS REMISE (PESR) 2.2.1 Pla de sodage 2.2.2 Probabilités d iclusio 2.3 SONDAGE
Plus en détailTélé OPTIK. Plus spectaculaire que jamais.
Télé OPTIK Plus spectaculaire que jamais. Vivez toute la puissace de la télévisio sur IP grâce au réseau OPTIK 1 de TELUS et découvrez-e l extraordiaire potetiel. Télé OPTIK MC vous doe la parfaite maîtrise
Plus en détailRESOLUTION DES FLOW SHOP STOCHASTIQUES PAR LES ORDRES STOCHASTIQUES. DERBALA Ali *)
RESOLUTION DES FLOW SHOP STOCHASTIQUES PAR LES ORDRES STOCHASTIQUES. DERBALA Ali *) *) Uiversité de Blida Faculté des scieces Départemet de Mathématiques. BP 270, Route de Soumaa. Blida, Algérie. Tel &
Plus en détailLa tarification hospitalière : de l enveloppe globale à la concurrence par comparaison
ANNALES D ÉCONOMIE ET DE STATISTIQUE. N 58 2000 La tarificatio hospitalière : de l eveloppe globale à la cocurrece par comparaiso Michel MOUGEOT * RÉSUMÉ. Cet article cosidère différetes politiques de
Plus en détailFormation d un ester à partir d un acide et d un alcool
CHAPITRE 10 RÉACTINS D ESTÉRIFICATIN ET D HYDRLYSE 1 Formatio d u ester à partir d u acide et d u alcool 1. Nomeclature Acide : R C H Alcool : R H Groupe caractéristique ester : C Formule géérale d u ester
Plus en détailUniversité Victor Segalen Bordeaux 2 Institut de Santé Publique, d Épidémiologie et de Développement (ISPED) Campus Numérique SEME
Uiversité Victor Segale Bordeaux Istitut de Saté Publique, d Épidémiologie et de Développemet (ISPED) Campus Numérique SEME MODULE Pricipaux outils e statistique Versio du 8 août 008 Écrit par : Relu par
Plus en détailSimulations interactives de convertisseurs en électronique de puissance
Simulatios iteractives de covertisseurs e électroique de puissace Jea-Jacques HUSELSTEIN, Philippe ENII Laboratoire d'électrotechique de Motpellier (LEM) - Uiversité Motpellier II, 079, Place Eugèe Bataillo,
Plus en détailLes solutions mi-hypothécaires, mi-bancaires de Manuvie. Guide du conseiller
Les solutios mi-hypothécaires, mi-bacaires de Mauvie Guide du coseiller 1 2 Table des matières Itroductio... 5 La Baque Mauvie...5 Le compte Mauvie U...5 Le compte Sélect Baque Mauvie...5 1. Les solutios
Plus en détailTempêtes : Etude des dépendances entre les branches Automobile et Incendie à l aide de la théorie des copulas Topic 1 Risk evaluation
Tempêtes : Etude des dépedaces etre les braches Automobile et Icedie à l aide de la théorie des copulas Topic Risk evaluatio Belguise Olivier Charles Levi ACM Guy Carpeter 34 rue du Wacke 47/53 rue Raspail
Plus en détailOne Office Voice Pack Vos appels fixes et mobiles en un seul pack
Uique! Exteded Fleet Appels illimités vers les uméros Mobistar et les liges fixes! Oe Office Voice Pack Vos appels fixes et mobiles e u seul pack Commuiquez et travaillez e toute liberté Mobistar offre
Plus en détailDETERMINANTS. a b et a'
2003 - Gérard Lavau - http://perso.waadoo.fr/lavau/idex.htm Vous avez toute liberté pour télécharger, imprimer, photocopier ce cours et le diffuser gratuitemet. Toute diffusio à titre oéreux ou utilisatio
Plus en détailLa fibre optique arrive chez vous Devenez acteur de la révolution numérique
2 e éditio Edité par l Autorité de régulatio des commuicatios électroiques et des postes RÉPUBLIQUE FRANÇAISE DÉCEMBRE 2010 La fibre optique arrive chez vous Deveez acteur de la révolutio umérique Petit
Plus en détailLe chef d entreprise développe les services funéraires de l entreprise, en
Le chef d etreprise développe les services fuéraires de l etreprise, e assurat lui-même tout ou partie des activités de vete et e ecadrat directemet le persoel techique et commercial et d exploitatio.
Plus en détailPrincipes et Méthodes Statistiques
Esimag - 2ème aée 0 1 2 3 4 5 6 7 0 5 10 15 x y Pricipes et Méthodes Statistiques Notes de cours Olivier Gaudoi 2 Table des matières 1 Itroductio 7 1.1 Défiitio et domaies d applicatio de la statistique............
Plus en détailLe marché du café peut être segmenté en fonction de deux modes de production principaux : la torréfaction et la fabrication de café soluble.
II LE MARCHE DU CAFE 1 L attractivité La segmetatio selo le mode de productio Le marché du café peut être segmeté e foctio de deux modes de productio pricipaux : la torréfactio et la fabricatio de café
Plus en détailCOMMENT ÇA MARCHE GUIDE DE L ENSEIGNANT 9 E ANNÉE
GUIDE DE L ENSEIGNANT 9 E ANNÉE TROUSSE PÉDAGOGIQUE 9 E ANNÉE Le préset Guide de l eseigat, qui accompage la trousse pédagogique COMMENT ÇA MARCHE : PRODUCTION D ÉLECTRICITÉ 9 e aée a été coçu à l itetio
Plus en détailInitiation à l analyse factorielle des correspondances
Fiche TD avec le logiciel : tdr620b Iitiatio à l aalyse factorielle des correspodaces A.B. Dufour & M. Royer & J.R. Lobry Das cette fiche, o étudie l Aalyse Factorielle des Correspodaces. Cette techique
Plus en détailUn nouvel opérateur de fusion adaptatif. A new adaptive operator of fusion. 1. introduction
A ew adaptive operator of fusio par Fraçois DELMOTTE LAMIH, Uiversité de Valeciees et du Haiaut-Cambrésis, Le Mot Houy, BP 3, 5933 Valeciees CEDEX 9 fdelmott@flore.uiv-valeciees.fr résumé et mots clés
Plus en détailUne action! Un message!
Ue actio! U message! Cotact Master est u service exclusif de relaces automatiques de vos actes vers vos cliets, par SMS, messages vocaux, e-mails, courrier... Il se décleche lorsque vous réalisez ue actio
Plus en détailMécanismes de protection contre les vers
Mécaismes de protectio cotre les vers Itroductio Au cours de so évolutio, l Iteret a grademet progressé. Il est passé du réseau reliat quelques cetres de recherche aux États-Uis au réseau actuel reliat
Plus en détailLes nouveaux relevés de compte
Ifo CR Les ouveaux relevés de compte Les relevés de compte actuels du Crédit Agricole de Champage-Bourgoge sot issus de la migratio iformatique sur le GIE AMT e 2001 : petit format (mais A4 pour les Professioels),
Plus en détailPrésentation & organisation du cours. Introduction : décider en milieu industriel. Les méta-heuristiques. Le travail à réaliser
Iformatique idustrielle Présetatio & orgaisatio du cours Itroductio : décider e milieu idustriel les difficultés à affroter «il faut que cela marche!» élémets de gestio de productio et illustratios Les
Plus en détail