Chapitre 1: Récursivité
|
|
- Marie-Thérèse Métivier
- il y a 8 ans
- Total affichages :
Transcription
1 Chapitre 1: Récursivité 1 Rappel : la otio de foctio Cette sectio est u bref rappel de la otio de foctio e iformatique, et so utilisatio e Pytho 11 Défiitio E iformatique, ue foctio est ue routie qui retoure ue valeur 1 Sas être opposés, deux poits de vue cohabitet das la otio de foctio : D ue part, utiliser des foctios permet de découper le programme gééral e algorithmes plus courts et plus simples D autre part, ue foctio est ue séquece d istructios ayat u rôle bie précis Das la défiitio d ue foctio, o trouve e gééral des paramètres d etrée, dot déped la valeur de sortie, et qu o appelle argumets Ue foctio e iformatique diffère d ue foctio mathématique car elle peut agir sur so eviroemet : deux appels idetiques à la foctio e produirot pas écessairemet le même résultat, certaies variables globales peuvet être modifiées, etc (das le cas cotraire, la foctio est dite pure) Preos quelque exemples, e Pytho : pour déclarer ue foctio, o utilise le mot clef def def somme(x,y): z=x+y retur(z) def bojour(): prit("hello World!") retur def icremeter(l,c): for i i rage(le(l)): L[i]=L[i]+c Das les exemples précédets, seule la première foctio est pure La deuxième agit sur l eviroemet e affichat u message à l écra 2, la troisième icrémete toutes les etrées du tableau L de la valeur c Remarquez que : La foctio bojour e pred e etrée aucu argumet Les foctios bojour et icremeter e retouret rie Plus exactemet, elles retouret toutes deux u objet appelé Noe : o aurait égalemet pu écrire retur(noe) Das ce cas, o peut parler de procédure, mais la déclaratio e Pytho se fait de la même maière que pour ue foctio Notez que le mot clef retur iterrompt immédiatemet la foctio pour reveir au poit où elle a été appelée : vous pouvez ajouter prit(1/0) derrière u retur, cela e produira pas d erreur 12 Variables locales et globales Reveos à la foctio somme défiie plus haut La variable z qui y est défiie est locale : so utilisatio est strictemet limitée à la foctio somme Par exemple, l exécutio du code z=2 ; s=somme(4,5) ; prit(z) affiche la valeur 2 à l écra A cotrario, ue variable o locale est dite globale Par défaut e Pytho, ue variable est locale sauf si l u (au mois) des cas suivats est vérifié : elle est explicitemet déclarée globale elle est utilisée sas être affectée Das les exemples ci-dessous, les variables sot globales La troisième produit ue erreur, car o affecte ue variable () qui a pas été déclarée globale 1 Dixit Wikipédia, mais cette courte défiitio est plutôt correcte 2 Plus rigoureusemet, sur la sortie stadard Svartz Page 1/ /2015
2 def ic_(): global =+1 def afficher_s(): prit(s) retur def foctio_erreur(): x= =2*x E gééral, o évitera l utilisatio de variables globales, sauf pour représeter les costates d u problème, par exemple 2 Foctios Récursives 21 Défiitio La défiitio d ue foctio récursive est plutôt simple : c est ue foctio qui s appelle elle-même Preos u exemple classique : le calcul de la factorielle O défiit, pour 0,! = i=1 i Iformatiquemet, o peut doc défiir la factorielle comme : def fact(): assert >=0, " doit etre positif" f=1 for i i rage(1,+1): f=f*i retur(f) Ue autre défiitio mathématique classique de la factorielle se fait par récurrece : { 1 si = 0! = ( 1)! sio E repreat quasimet mot pour mot cette derière défiitio, o obtiet la foctio Pytho suivate : def fact_rec(): if ==0: retur(1) else: retur(*fact(-1)) 22 La pile d exécutio Lorsqu o fait des appels de foctios la pile d appels de foctios pour mémoriser l edroit du programme où la foctio a été appelée, avec quels paramètres, etc E particulier, lors d appels imbriqués c est à dire lorsqu à l itérieur d ue foctio f o appelle ue foctio g, ce qui est relatif à l appel de la foctio g est placé juste au dessus de ce qui est relatif à la foctio f Lorsqu ue foctio a termié so exécutio, elle est dépilée Lors de l exécutio d ue foctio récursive, o appelle la même foctio plusieurs fois, ce qui produit plusieurs empilages : =0, factorielle(0)=1 =1, factorielle(1)=1*factorielle(0) =2, factorielle(2)=2*factorielle(1) =3, factorielle(3)=3*factorielle(2) =4, factorielle(4)=4*factorielle(3) Figure 1 La pile d exécutio lors de l appel de fact(4) Ue fois arrivé à u cas termial, o peut commecer à dépiler Das le cas de la foctio factorielle, comme celle-ci e s appelle qu ue seule fois, dés lors qu o a commecé à dépiler o e s arrête plus (voir la figure 2) Efi, la récursio s arrête lorsqu o dépile l élémet correspodat au premier appel de la foctio Svartz Page 2/ /2015
3 =3, factorielle(3)=3*2 =4, factorielle(4)=4*factorielle(3) Figure 2 La pile d exécutio lors de l appel de fact(4) : o a dépilé les appels relatifs à = 0, = 1 et = 2 =4, factorielle(4)=24 Figure 3 La pile d exécutio lors de l appel de fact(4) : juste avat dépilage de l appel iitial O voit que ce le ombre d appels imbriqués réalisés par ue foctio récursive est importat : il faut stocker ces appels, ce qui coûte de la mémoire E Pytho, il est impossible de dépasser u certai ombre d appels récursifs, o e reparle das la sous-sectio qui suit 23 Limites de la récursivité L usage de la récursivité présete deux icovéiets : il faut faire attetio à ce que les appels récursifs e se chevauchet pas, et predre garde à e pas faire u trop grad ombre d appels récursifs imbriqués Chevauchemet des appels récursifs Cosidéros l exemple suivat : soit (F ) N la suite défiie par { 1 si = 0 ou 1 F = F 2 + F 1 sio Vous aurez probablemet recou la fameuse suite de Fiboacci Ue trascriptio récursive e Pytho s obtiet aisémet : def Fib_rec(): assert >=0 if ==0 or ==1: retur(1) retur(fib_rec(-1)+fib_rec(-2)) Le problème de l algorithme précédet est le ombre d appels récursifs effectués Notos A le ombre d appels récursifs écessaires pour le calcul de F Alors, la suite (A ) vérifie la relatio de récurrece A 0 = A 1 = 0 et pour tout 2, A = 2 + A 1 + A 2, soit A + 2 = (A 2 + 2) + (A 1 + 2) Autremet dit, la suite (A + 2) N coïcide avec la suite (2F ) N O peut doer ue expressio explicite de A, à savoir : Pour tout etier aturel, A = 2 5 ( ) +1 ( ) +1 ( 5+1 ) mais ce qui importe, c est que A C + 2 où C est ue costate strictemet positive U appel récursif est jamais gratuit (et possède u coût mioré par ue costate strictemet positive), aisi le calcul de F par cette méthode est expoetiel, puisque > 1 Il vaut mieux utiliser ue méthode itérative das ce cas, comme la suivate 3 : def Fib(): a,b=1,1 for i i rage(-1): a,b=b,a+b retur(b) O peut observer que la versio itérative est mois claire que la versio récursive Elle a l avatage de s effectuer e temps liéaire e 4 E coclusio, il faut faire attetio à e pas faire des appels récursifs qui se recoupet, sous peie de voir la complexité exploser! 3 o peut cepedat s e sortir avec ue versio récursive ayat u coût liéaire 4 Ue autre remarque : cette foctio permet de calculer tous les termes de la suite O peut faire mieux si o cherche uiquemet le -ième, voir TD! 2 Svartz Page 3/ /2015
4 Taille de la pile (Pytho) Supposos que l o souhaite calculer!, pour relativemet grad 5, disos A priori, les deux versios (itérative et récursive) fot l affaire Or l appel à fact_rec(10000) produit u message d erreur dot l ititulé est RutimeError: maximum recursio depth exceeded E d autres termes, le ombre maximal d appels de foctios imbriqués a été atteit E Pytho, ce iveau est fixé à 1000 Cette valeur arbitraire peut-être augmetée 6 mais elle est là pour éviter u dépassemet de capacité de la pile d appels : le fameux «stack overflow» 7 Temps d exécutio : itératif cotre récursif Stocker systématiquemet l état d ue foctio avat chaque appel récursif das la pile d appels est pas gratuit, e temps comme e mémoire Si la formulatio itérative s obtiet facilemet, il est e gééral préférable de l utiliser 3 Termiaiso et Correctio d ue foctio récursive Motrer la termiaiso d ue foctio sigifie démotrer que le processus récursif s arrête pour tous paramètres Démotrer sa correctio sigifie prouver que la foctio a bie le comportemet attedu 31 Termiaiso Pour motrer la termiaiso d ue foctio récursive, il suffit d exhiber ue foctio des paramètres à valeurs das N, telle que les valeurs prises par la foctio décroisset strictemet au cours des appels récursifs successifs Pour la foctio factorielle, il suffit de predre le paramètre lui-même Cosidéros u exemple où la foctio e questio est (u peu) mois évidete : la recherche dichotomique das u tableau trié, qui est explicitemet au programme (au mois das sa versio itérative) def cherche_dicho_rec(l,x): """L tableau o vide trié das l ordre croissat, x u élémet O revoie True si x est das L, False sio""" =le(l) #la logueur du tableau if ==1: retur(l[0]==x) m=//2 if L[m]==x: retur(true) elif L[m]<x: retur(cherche_dicho_rec(l[m:],x)) #la partie gauche du tableau else: retur(cherche_dicho_rec(l[:m],x)) #la partie droite La foctio cherche_dicho_rec(x,l) retoure u boolée caractérisat le fait que x est das L ou o L idée de la recherche dichotomique est simple : o coupe le tableau L e deux, au iveau de l idice m=//2 Comme le tableau est trié, la comparaiso de L[m] avec x suffit pour savoir si o a trouvé x e positio m ou alors das quelle partie (gauche ou droite) du tableau x a aucue chace de se trouver Das ce derier cas, il suffit de lacer u appel récursif sur la moitié de tableau où x est peut-être Commet prouver la termiaiso de la foctio cherche_dicho_rec? La quatité qui ous itéresse ici est le(l)-1 : e effet, si L est o vide (ce qu o suppose), alors les sous-tableaux L[m:] et L[:m] ot pour tailles m et m, où est la taille de L Puisque la foctio s arrête pour = 1, est au mois égal à 2 e cas d appel récursif Par coséquet, m = 2 > 0, aisi m et m sot tous deux strictemet compris etre 0 et Aisi le(l)-1 est das N et dimiue strictemet etre deux appels récursifs successifs Aisi, la foctio termie Il est pas toujours évidet d exhiber ue quatité qui décroît das ue foctio récursive Le faire pour la foctio de Syracuse suivate permettrait de résoudre u problème ouvert def Syracuse(): assert >=1 prit() if ==1: 5 Rappelos à toute fi utile que les etiers e sot pas borés e Pytho 6 À l aide de la foctio setrecursiolimit du module sys 7 Sur mo ordiateur persoel, le calcul de! avec la méthode récursive e passe plus à partir de eviro Svartz Page 4/ /2015
5 retur(1) elif %2==0: retur(syracuse(//2)) else: retur(syracuse(3*+1)) Ue remarque pour termier : la quatité qui décroît est pas écessairemet à chercher das N, u esemble ordoé ayat pas de suite ifiie strictemet décroissate suffit C est par exemple le cas de N 2 ordoé par l ordre défii comme suit : 32 Correctio (x 0, y 0 ) (x 1, y 1 ) x 0 < x 1 ou x 0 = x 1 et y 0 < y 1 Pour prouver la correctio d ue foctio récursive, o procède e gééral par récurrece : o prouve d abord que la sortie de la foctio est correcte pour les cas termiaux, ce qui correspod à l iitialisatio de la récurrece, et o motre esuite que les appels récursifs se ramèet à des istaces plus petites (das le même ses que la termiaiso), ce qui costitue l hérédité La plupart du temps, la correctio est facile à prouver Par exemple pour la foctio cherche_dicho_rec défiie plus haut, o cosidère la propositio suivate : Si L est u tableau de logueur o ulle trié das l ordre croissat et x u élémet comparable à ceux de L, alors cherche_dicho_rec(l,x) retoure True si et seulemet si x est das L, False sio Iitialisatio : si la logueur du tableau est 1, alors la sortie de la foctio est correcte Hérédité : si L est de logueur au mois 2, u et u seul des cas suivats se produit : L[m] est égal à x, auquel cas la sortie de la foctio est correcte L[m] est iférieur strictemet à x, auquel cas x e peut se trouver qu après m puisque L est trié das l ordre croissat Le tableau L[m:] correspod aux élémets placés après m (iclus), triés égalemet das l ordre croissat Par hypothèse de récurrece, la sortie de la foctio cherche_dicho_rec sur l istace (L[m:],x) est correcte, doc égalemet sur (L,x) O procède de même,si L[m] est strictemet supérieur à x avec le tableau L[:m] Par pricipe de récurrece, la foctio cherche_dicho_rec est correcte 4 Complexité 41 Brefs rappels Qu est-ce que la complexité? L étude de la complexité d ue foctio cosiste à estimer so coût (temporel ou e mémoire), e foctio des etrées Pour différecier deux etrées etre elles, o compare e gééral leur taille Essetiellemet pour ous, les etrées serot costituées d etiers ou de tableaux Pour les tableaux, la doée pertiete est la taille Pour les etiers, cela déped du cotexte Pour u etier, o peut e effet exprimer la complexité d ue foctio dépedat de e foctio : de l etier lui-même ou de so ombre de chiffres (sa taille), correspodat à l(), à ue costate multiplicative près E gééral o e tiet pas compte des costates multiplicatives Par exemple, pour la foctio factorielle ci-dessus, le ombre d opératios est clairemet liéaire e Pour exprimer la complexité d ue foctio qui revoie l écriture e base 2 d u ombre exprimé e base 10, o se dirigerait plus aturellemet vers log 2 () Coûts Cocetros-ous d abord sur la complexité e temps L exécutio d u algorithme est ue séquece d opératios écessitat plus ou mois de temps Pour mesurer ce temps, o cosidère certaies opératios comme élémetaires : par exemple faire ue opératio arithmétique de base (additio, multiplicatio, soustractio, divisio), lire ou modifier u élémet d u tableau, ajouter u élémet à la fi d u tableau, affecter u etier ou u flottat, etc Estimer le coût d ue foctio sur ue etrée de taille doée sigifie estimer le ombre de ces opératios élémetaires effectuées par la foctio sur l etrée La complexité e mémoire cosiste à estimer la mémoire écessaire à ue foctio pour so exécutio Svartz Page 5/ /2015
6 Différetes complexités Les otios de complexité au programme sot les complexités temporelles das le meilleur et das le pire cas, c est à dire le ombre miimal/maximal que requiert l algorithme pour s exécuter sur ue etrée de taille La complexité das le meilleur des cas est e gééral pas la plus pertiete Par exemple pour la foctio cherche_dicho_rec, si x se trouve e positio m, la foctio s arrête et doc la complexité das le meilleur de cas est costate La complexité au pire est le ombre d opératios maximales écessaires pour traiter ue etrée de taille doée Pour la foctio cherche_dicho_rec, le cas le pire se produit par exemple lorsque le tableau e cotiet pas x Ue autre otio de complexité itéressate est la complexité e moyee, qu o abordera u peu das le chapitre sur les tris E coclusio, lorsqu o demadera d exprimer la complexité d ue foctio sas plus de précisio, o sous-etedra la complexité das le pire cas Complexité asymptotique et otatios de Ladau Tout d abord, lorsque l o s itéresse à la complexité C() ( est la taille de l etrée) d ue foctio, c est bie souvet pour les grades valeurs de qu il est pertiet de coaître C(), pour comparer vis à vis d autres foctios réalisat le même calcul O cherche doc u comportemet asymptotique de, qu o rapportera aux foctios usuelles : logarithmes, puissaces, expoetielles Esuite, o e cherchera pas systématiquemet u équivalet : celui-ci est souvet difficile à obteir et est pas le plus importat Si deux foctios écessitet respectivemet 9 log() et 2 2 opératios élémetaires, o retiedra que la première écessite de l ordre de log() opératios, ce qui est bie meilleur que la secode qui e requiert de l ordre de 2 Rappelos les otatios de Ladau Soit f et g deux foctios N R O ote : f() = O(g()), si il existe u etier 0 tel que g() est o ul pour 0 et ( ) f() g() est borée 0 f() = Ω(g()), si g() = O(f()) f() = Θ(g()), si f() = O(g()) et f() = Ω(g()) Pour exprimer la complexité C(), o se cotetera bie souvet d u O Par exemple, la recherche dichotomique das u tableau trié de taille a ue complexité de O(l()) Si l o veut préciser que cette bore est essetiellemet optimale, o dira que la complexité est e Θ(l()) Attetio à e pas dire «la complexité est au mois e O(l())», ce qui aurait aucu ses Complexité arthmétique versus complexité biaire O voit facilemet que le calcul de! avec fact ou fact_rec écessite O() multiplicatios Aisi, la complexité (au pire comme au mieux, puisqu il y a qu ue seule etrée de «taille» ici) est e O(), puisque ce sot les seuls opératios effectuées Ce raisoemet est exact, e oubliat pas que l o parle ici de complexité arithmétique E pratique, les etiers iterveat das le calcul gradisset vite : teir compte de cette croissace doerait ue complexité dite biaire O s itéressera uiquemet à la complexité arithmétique, mais il faut avoir à l esprit que cela e reflète pas forcémet fidèlemet les temps de calculs effectifs 42 Complexité des foctios récursives La factorielle O a déja dit que! se calculait e complexité liéaire avec la foctio fact_rec Vérifios-le Si est ul, il y a rie à faire d autre que de retourer 1, ce qui se fait avec ue opératio élémetaire Sio, il faut multiplier le résultat de fact_rec(-1) par, ce qui pred doc 1 appel récursif, et 1 opératio arithmétique, soit 2 opératios élémetaires O a doc { 1 si = 0 C() = 2 + C( 1) sio O vérifie immédiatemet que C() = est la solutio de cette récurrece, o e déduit doc que C() = Θ() O remarque que l o serait arrivé à la même coclusio si les costates iterveat das l équatio (1 et 2) étaiet différetes De plus, le poit termial peut-être situé e dessous de importe quel etier 0, sas chager le résultat : o utilisera doréavat les otatios de Ladau directemet das les récurreces Recherche dichotomique récursive aisi : Supposos que = 2 k est ue puissace de 2 Alors C() = C(/2) + O(1), C() = C(/2) + O(1) = C(/4) + O(1) + O(1) C() = ko(1) + C(1) = O(k) C() = O(l()) Svartz Page 6/ /2015
7 Pour que le raisoemet suivat soit juste, il est impératif que les différets O(1) soiet idetiques, c est à dire qu il e dépedet pas de Certais auteurs utiliset des idices : O 0 (1),, O k (1) et e précisat que O o (1) = = O k (1) Remarquez égalemet que le raisoemet aurait pu être meé avec Θ à la place de O, car o cosidère le pire cas : celui où o est obligé de faire tous les appels récursifs jusqu à ue liste réduite à u élémet Das le cas où est pas ue puissace de 2, o s aperçoit que le résultat est le même : o bore la taille des tableaux obteus das les appels récursifs successifs par celles des tableaux que l o aurait eu si le tableau iitial était de taille la puissace de 2 immédiatemet supérieure (vous suivez?) Et comme log 2 () + 1 log 2 () + 1 = O(log 2 ()), le résultat suit 43 Le paradigme diviser pour réger : u exemple O doe u exemple faisat iterveir plusieurs appels récursifs à chaque étape Soit u etier strictemet positif Cosidéros P = 1 k=0 p kx k et Q = 1 k=0 Xk deux polyômes de même taille (la taille est égale au degré, plus 1) Les coefficiets sot das u aeau commutatif A quelcoque, qu o pourra cosidérer comme état l esemble des etiers Z : ue opératio das A (multiplicatio, additio, soustractio) est cosidérée comme élémetaire O représete les polyômes P et Q par les tableaux [p 0, p 1,, p ] et [q 0, q 1,, q ] Le produit P Q est u polyôme de logueur 2 1 représeté par u tableau [c 0, c 1,, c 2 2 ] Quelle est la complexité du calcul du tableau des (c i )? Méthode aïve Écrivos explicitemet le produit P Q : P Q = = = P Q = ( 1 ) p k X k k=0 p k q i X i+k 1 1 k=0 i=0 1 d=0 1 d=0 k=0 ( 1 ) q i X i i=0 (k,i) tel que i+k=d d p k q d k X d p k q i X d avec p i, q i uls pour i Autremet dit, o obtiet les formules classiques : c 0 = p 0 q 0 c 1 = p 1 q 0 + p 0 q 1 c 1 = p 0 q 1 + p 1 q p 1 q 0 c 2 2 = p 1 q 1 Comptos le ombre d opératios élémetaires écessaires pour calculer l esemble des c i Tout d abord, il faut ( 1) + + ( 1) = ( 1) + = 2 multiplicatios De plus pour chaque c i, ue additio de mois que le ombre de multiplicatios est écessaire, soit 2 (2 1) = ( 1) 2 au total E résumé, le ombre d opératios élémetaires est Θ( 2 ), qui est quadratique e L algorithme de Karatsuba O remarque qu o peut facilemet abaisser le ombre de multiplicatios lorsque = 2 avec l idée suivate : o cosidère les produits t 0 = p 0 q 0 t 1 = p 1 q 1 t 2 = (p 0 + p 1 ) (q 0 + q 1 ) Alors le terme c 1 = p 0 q 1 +p 1 q 0 se déduit des produits ci-dessus car c 1 = t 2 t 1 t 0 Aisi, seulemet 3 multiplicatios sot écessaires lorsque = 2, au lieu de 4 avec la méthode aïve Certes, le ombre d additios/soustractios est Svartz Page 7/ /2015
8 passé de 1 à 4, ce qui fait passer le ombre d opératios élémetaires de 5 à 7 Mais la récursivité va ous permettre d obteir u gai substatiel avec cette idée Cosidéros maiteat que est quelcoque Si = 1, o a pas trop le choix, o retoure le tableau [p 0 q 0 ] Sio, posos m = m 1 1 2, et découpos os polyômes e 2 O écrit doc P = p k X k +X m p k X 1 m et de même Q = Q 0 + X m Q 1 Alors, comme pour le cas = 2, o pose T 0 = P 0 Q 0 T 1 = P 1 Q 1 T 2 = (P 0 + P 1 ) (Q 0 + Q 1 ) k=0 } {{ } P 0 k=m } {{ } P 1 et comme P Q = (P 0 + X m P 1 )(Q 0 + X m Q 1 ) = P 0 Q 0 + X m (P 1 Q 0 + P 0 Q 0 ) + X 2m P 1 Q 1, o obtiet le produit e combiat les facteurs (T i ) de la faço suivate : P Q = T 0 + X m (T 2 T 1 T 0 ) + X 2m T 1 Évidemmet, les produits (T i ) sot eux-même calculés récursivemet e exploitat cette idée L algorithme, e pseudo-code 8, est le suivat : Algorithme 1 : L algorithme de Karatsuba Etrées : Deux polyômes P et Q de même taille Sortie : Le produit P Q si = 1 alors retourer (P Q) sio m = 2 ; Décomposer P = P 0 + X m P 1, Q = Q 0 + X m Q 1 ; T 0 =Karatsuba(P 0, Q 0 ); T 1 =Karatsuba(P 1, Q 1 ); T 2 =Karatsuba(P 0 + P 1, Q 0 + Q 1 ); retourer T 0 + X m (T 2 T 1 T 0 ) + X 2m T 1 Étude de la complexité de l algorithme de Karatsuba Supposos pour simplifier que est ue puissace de 2, doc s écrit 2 k Das chaque appel récursif, les istaces ot des tailles divisées exactemet par 2 Pour détermier la complexité globale, il est essetiel d estimer la complexité des deux étapes diviser et réger Ici, o suppose qu o e compte que les opératios arithmétiques das l aeau A (additios, multiplicatios, soustractios) Pour diviser, il faut créer les tableaux associés aux polyômes P 0 et P 1, et calculer les polyômes P 0 + P 1 et Q 0 + Q 1 Ceci se fait e temps liéaire e Pour réger, il faut calculer T 2 = T 2 T 0 T 1, créer u tableau de taille (2 1), et combier les trois tableaux associés à T 0, T 1 et T 2 pour obteir le tableau fial Ceci se fait égalemet e temps liéaire 9 e puisqu à u élémet du tableau fial correspod au plus u élémet de chaque tableau associé à T 0, T 1 et T 2 Pour le calcul du produit, o fait trois appels récursifs pour résoudre des problèmes de taille divisée par 2 Aisi, la complexité C() de l algorithme de Karatsuba satisfait à l équatio : dot la solutio est C() = 3 C(/2) + O() C() = O( l(3) l(2) ) Rédigeos la preuve très propremet Il existe deux costates strictemet positives A et B (o va voir qu elles e jouet aucu rôle) telles que { 1 si = 1 C() 3 C(/2) + A + B sio 8 U code Pytho est dispoible séparemmet et est égalemet proposé à la fi du chapitre Mais il est u peu log et l essetiel est de compredre l idée, pas exactemet commet o maipule les tableaux de coefficiets! 9 Jetez u œil au code Pytho si cela e vous paraît pas clair, c est immédiat Svartz Page 8/ /2015
9 Rappelos que l o a supposé = 2 k Aisi, C() 3C(/2) + A + B C() 3(3(C(/4) + A/2 + B)) + A + B = 9C(/4) + A( ) + B(1 + 3) 9(3C(/8) + A/4 + B) = 27C(/8) + A( ) + B( ) C() [ ] 3 k C(1) + A k 1 + B( k 1 ) 2 k 1 3 k + 3k B + A 3k /2 k 1 3/2 1 C() = O(3 k ) car = 2 k Or 3 k = 2 log 2 (3k) = 2 k log 2 (3) = (2 k ) log 2 (3) = log 2 (3) = l(3) l(2) Puisque l(3)/ l(2) = 158 l utilisatio de l algorithme de Karatsuba produit u gai substatiel comparé à l algorithme aïf Il reste à résoudre le cas où est pas ue puissace de 2 Das ce cas, la récurrece s écrit ( ) ( ) C() C + 2C + O() 2 2 où est la partie etière supérieure E déroulat la récurrece, o s aperçoit que les coûts de chaque iveau sot majorés par les coûts que l o aurait eu e cosidérat à la place de la puissace de 2 immédiatemet supérieure, à savoir 2 log 2 () La bore asymptotique C() = O( l(3) l(2) ) reste doc valable Ue remarque pour fiir : o peut e fait faire beaucoup mieux : il est possible de calculer le produit de deux polyômes de taille avec O( l()) opératios élémetaires Et e pratique? Le tableau suivat motre les temps e secodes écessaires e Pytho pour calculer sur mo ordiateur persoel (Pocket PC de 2012) le produit de deux polyômes P et Q avec de petits coefficiets etiers (tirés aléatoiremet das l itervalle [ 1000, 1000]), de degrés variables, avec u algorithme aïf et avec l algorithme de Karatsuba deg(p ) = deg(q) = multiplicatio aïve Karatsuba Pour mieux apercevoir les variatios, o peut tracer le diagramme log-log de ces temps U complexité C() = α doe ue droite car log(c()) = α log(), ce qu o observe sur le graphe suivat Ue régressio liéaire fait apparaître des coefficiets directeurs proches des valeurs théoriques 2 et temps e secodes (degré des polyômes) Figure 4 Comparaiso des temps (algorithme de Karatsuba, multiplicatio aïve), échelle log-log Svartz Page 9/ /2015
10 44 Le paradigme diviser pour réger : explicatios O peut maiteat expliquer la termiologie «diviser pour réger» : O commece par diviser le problème e istaces de tailles plus petites : das l algorithme de Karatsuba, le problème de la multiplicatio de deux polyômes se ramèe à 3 istaces de la multiplicatios de taille divisée par 2 O calcule récursivemet les solutios aux sous-problèmes O «rège» : o recompose la solutio à partir des solutios des sous-problèmes Das beaucoup de problèmes qui admettet ue solutio du type diviser pour réger, ue telle approche permet d abaisser la complexité du processus de résolutio, et c est là que l usage de la récursivité se révèle utile : il est souvet bie difficile d exhiber u algorithme itératif résolvat le problème Du poit de vue de la complexité, beaucoup (pas toutes!) de stratégies du type diviser pour réger vérifiet ue équatio de la forme : C() = a C(/b) + O( α ) où a est le ombre de sous problèmes à cosidérer et 1/b est le «facteur de réductio» : o découpe le problème iitial e sous problèmes de taille divisée par b Le terme O( α ) représete la complexité du calcul des istaces de chaque sous-problème, et la recompositio des solutios des sous-problèmes de taille /b pour obteir la solutio de taille Das ce terme, α est souvet u etier strictemet positif O peut motrer le théorème suivat (hors programme) : Théorème 1 (Complexité des stratégies «diviser pour réger») Supposos qu il existe deux costates a et b, avec a 1 et b > 1, et u réel α 0 tels que C() vérifie : C() = a C(/b) + O( α ) et C() C 0 pour 0, avec C 0 ue costate Alors, trois cas peuvet se préseter : Si a > b α, alors C() = O( l(a) l(b) ) Si a < b α, alors C() = O( α ) Si a = b α, alors C() = O( α l()) Das le théorème précédet, la situatio est la suivate : les appels récursifs produiset u arbre d appels successifs Tout e haut de l arbre (voir figure 5) se trouve le problème pour l istace de taille À l étage e dessous se trouvet les a istaces de taille /b, à l étage ecore e dessous se trouvet les a 2 istaces de taille /b 2, etc Tout e bas de l arbre se trouvet les «cas de base» correspodat aux istaces de tailles iférieures à 0 Chaque istace cotribue à la complexité globale (via les étapes de divisios et de règes) à travers la foctio α Si a > b α, c est vers le bas que se trouvet les appels qui coûtet le plus cher C est par exemple le cas das l algorithme de Karatsuba Si a < b α, à l iverse, c est le haut de l arbre qui coûte cher Efi, si a = b α, tous les iveaux de l arbre cotribuet de maière équilibrée O verra lors de l étude des algorithmes de tris qu o peut trier u tableau de taille avec ue complexité O( l()), à l aide d ue stratégie «diviser pour réger» ayat u arbre d appels équilibré semblable à celui de la figure 5, chaque iveau cotribuat à la complexité de maière liéaire e k 2 k 2 k 2 k Figure 5 U arbre d appels récursifs La preuve du théorème gééral est essetiellemet la même que celle de la complexité de l algorithme de Karatsuba : o déroule la récurrece jusqu aux cas termiaux O suppose que est ue puissace de b et s écrit doc b k Puisqu il existe deux costates A et B telles que C() ac(/b) + A α + B, o se retrouve avec la majoratio : C() a k C 0 + A α [1 + a b α + a2 b 2α + + ak 1 b ] + B ( 1 + a + a a k 1) (k 1)α Svartz Page 10/ /2015
11 O voit sur la somme partielle cetrale des ( a b α ) i apparaître la distictio : soit o se retrouve avec le terme gééral d ue série géométrique covergete (a < b α ), soit ue somme partielle dot le terme gééral ted vers l ifii (a > b α ), soit ue série dot le terme gééral est 1 car a = b α et dot la somme est k = log b () De même que pour l algorithme de Karatsuba, la complexité pour o ue puissace de b est borée par C(b log b () ) Coclusio sur la récursivité O a vu das ce cours les avatages et les icovéiets de la récursivité Icovéiets : Il faut faire attetio à e pas faire trop d appels récursifs imbriqués Il faut faire attetio à e pas faire plusieurs fois les mêmes calculs, sous peie de voir la complexité exploser Lorsque deux solutios sot équivaletes, l ue e récursif, l autre e itératif, il est e gééral préférable d utiliser la versio itérative Avatages : Das l esemble, il est plus facile de prouver u algorithme récursif que so équivalet itératif L écriture d u programme récursif est souvet plus claire (plus mathématique), que so équivalet itératif Parfois, et c est là où la récursivité est vraimet importate, il est pas du tout aisé de trasformer u algorithme récursif e algorithme itératif C est e gééral le cas des algorithmes «diviser pour réger» Svartz Page 11/ /2015
12 Aexe : l algorithme de Karatsuba e Pytho def Karatsuba(P,Q): """P et Q deux polyômes, taille(p)=taille(q) (pas écessairemet ue puissace de 2) Les polyômes sot doés par la liste de leurs coefficiets, ordoés de 1 à x^{-1} O retoure la liste des coefficiets correspodat au produit P*Q""" =le(p) if ==1: retur([p[0]*q[0]]) m=//2 P0=P[:m] P1=P[m:] #P=P0+X^m P1 Q0=Q[:m] Q1=Q[m:] #Q=Q0+X^m Q1 T0=Karatsuba(P0,Q0) # de taille 2*m-1 T1=Karatsuba(P1,Q1) # de taille 2*(-m)-1 = 2*m-1 si pair, 2*m+1 si impair for i i rage(m): #o utilise P1 et Q1 pour e pas allouer de la mémoire supplémetaire P1[i]+=P0[i] Q1[i]+=Q0[i] T2=Karatsuba(P1,Q1) #de taille 2*(-m)-1 =2*m-1 si pair, 2*m+1 si impair for i i rage(2*m-1): T2[i]=T2[i]-T1[i]-T0[i] if %2==1: """si pair, les tableaux T0,T1,T2 ot meme taille, sio T1 et T2 sot de taille 2*m+1""" T2[-2]=T2[-2]-T1[-2] T2[-1]=T2[-1]-T1[-1] produit=[0]*(2*-1) # pour stocker le resultat PQ=P0*Q0+(P1*Q0+P0*Q1)*X^m+P1*Q1*X^2m for i i rage(2*m-1): produit[i]+=t0[i] produit[i+m]+=t2[i] # décalage correspodat à T2: X^m produit[i+2*m]+=t1[i] # décalage correspodat à T1: X^(2*m) if %2==1: produit[3*m-1]+=t2[2*m-1] produit[3*m]+=t2[2*m] produit[4*m-1]+=t1[2*m-1] produit[4*m]+=t1[2*m] retur(produit) Svartz Page 12/ /2015
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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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étailSolutions particulières d une équation différentielle...
Solutios particulières d ue équatio différetielle......du premier ordre à coefficiets costats O cherche ue solutio particulière de y + ay = f, où a est ue costate réelle et f ue foctio, appelée le secod
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 : 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é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é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é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é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étailRégulation analogique industrielle ESTF- G.Thermique
Chapitre 5 Stabilité, Rapidité, Précisio et Réglage Stabilité. Défiitio Coditio de stabilité. Critères de stabilité.. Critères algébriques.. Critère graphique ou de revers das le pla de Nyquist Rapidité
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é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é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é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é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é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é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é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 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é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é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é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é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é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 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é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étailÉchantillonnage et estimation
Stage «Nouveaux programmes de Termiale S» - Ho Chi Mih-Ville Novembre 202 Échatilloage et estimatio Partie C - Frédéric Barôme page Échatilloage et estimatio Partie C : Capacités et exercices-types. Rappelos
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é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é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étailPetit recueil d'énigmes
Petit recueil d'éigmes Patxi RITTER (*) facile (**) mois facile (***) pas facile (****) il faudra de l aide Solutios e rouge. 1) Cryptarithme (**) Trouvez la valeur de A, B et C satisfaisat l équatio suivate.
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é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é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é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étailMobile Business. Communiquez efficacement avec vos relations commerciales 09/2012
Mobile Busiess Commuiquez efficacemet avec vos relatios commerciales 9040412 09/2012 U choix capital pour mes affaires Pour gérer efficacemet ses affaires, il y a pas de secret : il faut savoir predre
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é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é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é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é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é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é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é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étailUniversité Pierre et Marie Curie. Biostatistique PACES - UE4 2013-2014
Uiversité Pierre et Marie Curie Biostatistique PACES - UE4 2013-2014 Resposables : F. Carrat et A. Mallet Auteurs : F. Carrat, A. Mallet, V. Morice Mise à jour : 21 octobre 2013 Relecture : V. Morice,
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é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é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é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étailSTRATÉGIE DE REMPLACEMENT DE LUTTE CONTRE LA PUNAISE TERNE DANS LES FRAISERAIES DE L ONTARIO
Des résultats du Programme de réductio des risques STRATÉGIE DE REMPLACEMENT DE LUTTE CONTRE LA PUNAISE TERNE DANS LES FRAISERAIES DE L ONTARIO 1. Cotexte La puaise tere Lygus lieolaris (figure 1) est
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é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étailSéries numériques. Chap. 02 : cours complet.
Séris méris Cha : cors comlt Séris d réls t d comlxs Défiitio : séri d réls o d comlxs Défiitio : séri corgt o dirgt Rmar : iflc ds rmirs trms d séri sr la corgc Théorèm : coditio écssair d corgc Théorèm
Plus en détailn tr tr tr tr tr tr tr tr tr tr n tr tr tr Nom:... Prénom :...
Nom:... Préom :... Chaque répose peut valoir : c) 2 poits si le choix est totalemet exact + poit si le choix est partiellemet exact + 0 poit si le choix est erroé + -i poit si le choix est u coeses Ue
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étailCréation et développement d une fonction audit interne*
Créatio et développemet d ue foctio audit itere* Ue démarche e 10 étapes [ Sommaire] Dix étapes pour réussir... 7 Étapes 1 à 4 Défiitio du cadre d itervetio... 9 1 Idetifier les attetes des parties preates...
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étail