Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms
14
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms Philippe LANGLOIS. No 3966 May 2000. ISSN 0249-6399. ISRN INRIA/RR--3966--FR+ENG. ` THEME 2. apport de recherche.
(3)
(4)
(5)
(6)
(7) !"#%$&
(8) ' (*) ),+- . /102 .
(9) )3-4) 57689 +
(10) :$ ; + < ),+ = ) 6>?
(11) + @ - A!BCEDFCEGGIHKJML"N OPJRQ"STVU W,XZY\[^]
(12) _`badc\eZfg]!hjilkmfjnfg]\h ]oRnpqhrns<h/tvuw[xyilhjfrzms<] {}|~iq]o33|~ce<plfg|~] RpqZyil|o3 ]|]n@XZ]|@n@XZ]emlml`pu._llm!`%pqkl]t. \;Zll fge<fo~]Z|]nfrtvfjilenil[ ZsZo~p;o~fgime<td[pup;¡]\n#oo~XZ]to@pqxZfjhgfgouKiq¢fo~]|@p;o~fg£m]pqhjklim|fgoX<[ t ple< ¤o~XZ]Kpln\nsZ|@plnu¥il¢dnil[ Zso~]\ ¦tilhjso~fgime<t§73so~il[p;o~fjn pq<Z|i¨pln@XZ]tpl|].Z|~ilyimt]\ ¤o~i¥nile¨o|~ilh o~XZ]\t]]¡y]n#o@tpmt!¢©il|^]ªZpl[^<hg]m«o~XZ]"¬:®WR¬8pqe< o~XZ]"¬::¯R°[^]oXZi Zt\§P±¥]²¢©ins<tX<]|~]ile³p nil[ Zhj][ ]e¨o@pq|~us<t]3iq¢o~XZ]\t]3o´i![ ]oX<iw <t}o~i
(13) hgin\pqhjfgµ\]3sZe<tvo~plxZhg]Rx%]\X<p£wfgim|}iq¢oX<]¶pqhjklim|fgoX<[ «mfg[^· <|i;£m]fgo~ttvo~pqx<fghjfou pqe% ^oXZ]RpmnnsZ|~pmnuiq¢oXZ]dtvimhgsZofjile<t\§±¥]3Z|~]\t]e¨o:nil[ Zso@p;o~fgime<pqhZ]ª%]\|fj[ ]e¨o~t ime.fjhjh·¸nime< fgofjileZ] yilhjuweZil[ frpqh |~i¨ilo~tMplZZ|~iªwfj[p;o~]\ ´MfgoXK¯3]\´,oime/¹ t3fo~]|@p;ofjileº§ »K¼¨½¾~¿À ;Ál fjeZfgo]{I|]nfrtvfjile/« ®¨o@pqxZfjhgfgoul«MnnsZ|@plnum«%¯R]´,oime/¹ t3ÂÃo]\|~pqofjile/«%{ilhju¨e<il[ fjplhKs<h· o~fg<hg]
(14) Miwilo~t\«%¬::®WR¬2K]oXZi «¬RÄd¯RźfgxZ|@pq|~ul«Rsoim[ pqofrn¬:il|~|]n#o~fgime/«<¬:I¯RÆK]oXZi . ÇrÈ ÉÊÃË\Ì,ÉMÍÎjÊÃÏEÐÑ Ò¤Ó%Ô3Õ@ÖØ×rÙÚ@Û;ÜÝ\ܸÞ#Þßàráâ~ãäÝ#å\Ü~æ~ç#ß~ãæèÝ~é\åã<àrêëìîí/ïÖØð"Ô3Õ@ñòðEóôõÖØö÷KÖØðKÕ@רðFø¦Õvù#Õ@ÖØ×úÕ@ûרüÕ@ðKÕ³ôFüðFüÕ@ôõóÃïýôFü¸þ lö ø#ô©÷
(15) ø@ÿ÷FïüwÕ@ûlø#ôFÕ~÷Fø#ÖØôFüü× ñÿgø#ôFÔ3Õ~÷FÖ\òü ò ZÕ@ôFÕ@ר×
(16) vר֨ðFÔMü }Ó%óø#רüºø#ôFñÕ@רü\òö
(17) ôõÖØüvòôFüü ø#ñ ;ôFÕ@ñóü Û@Þ<à ß~ãæèÝ~éåã<àrê#ë~á Úì. Unit´e de recherche INRIA Rhˆone-Alpes 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France) T´el´ephone : 04 76 61 52 00 - International: +33 4 76 61 52 00 T´el´ecopie : 04 76 61 52 52 - International: +33 4 76 61 52 52.
(18)
(19) /.
(20) / 9 ) ' ) . / !"@ ) 5 - M +
(21) ' ),+- / ) ' ) + M
(22) 9 + ' ) 8
(23) ?
(24) + @ -4) @ + ; ź]\t npqhrns<hjt ]e Z|~c\nfrtfgim
(25) e <eZfj]y]sZ£m]e¨oKp;¡]\n#o~]|"hrp¦tvo~pqx<fghjfo~c¥ Z]\t"pqhjklim|fgoXZ[ ]t fgoc\|~pqofg¢õtM]o3hrp Z|~c\nfjtfgimeK ]\t3tilhjso~fgime<tMnplhjnsZhgc\]\t\§IĶ]\tRplZZ|~in@XZ]\tMplsoim[ pqofrz¨sZ]\tMtile¨o3Z|~ilyimtc]t yils<|nile¨o| lhj]|n]\t]¡y]o~t,plnil[ [ ]R<pl|:]ªw]\[ Zhg]m«whg]t:[ coXZi ]tM¬:®WR¬V]oR¬:I¯R§Z¯3ims<tIe<ils<t fje¨oc\|]ttile<t frnf sZeZ]PplZZhjfjn\p;ofjileVnil[ Zhjc[ ]e¨o~plfg|~]K ]Pn]\t² ]\sª[ coXZi ]t²yilsZ|²hjinplhgfrtv]\|hg] nil[ yil|o][ ]\emofje<to@pqxZhj] ]^hF¹ pqhjklim|fgoXZ[ ]m«/pq[ chjfgim|]\|dt~p to@pqxZfjhgfgoc ]ohrp.Z|cnfrtvfjile¥ ]\t!tilhjso~fgime<t§ ¯Rils<tRZ|~c\t]e¨oime<tR ]t3]ªwyc|~fj[^]\e¨o~p;o~fgime<t3ewsZ[ c\|frz¨sZ]\t¶tvsZ|¶hg]^nplhjnsZhº<pl|Rhrp²[ co~XZi ] Z]¯3]\´,oime Z]d|@plnfge<]\t,yilhju¨e<il[ fjplhg]t[ plhºnime< fgofjileZe<c]\t\§ {}|~c\nfjtfjil À ¾ e <eZfj]l«tvo~plxZfjhgfgocm«ºZ|~c\nfjtfgime/«/ÂÃo~c|@p;ofjile ]¯3]\´,oime/«3pmnfjeZ]yilhju¨e<il[ f· plhg].[sZhgofjZhj]l«}[ coXZi ]¬::®WR¬¶«xZfgx<hgfjiqo~XZY\z¨sZ]K¬RÄd¯R
(26) «}nil|~|]n#o~fgime³pqso~il[p;o~fjz¨sZ]m« [^coXZi ] ¬::¯R
(27) §.
(28)
(29) ! " $#%&&(') *,+.-%"-!/ 0,&12 434%56/7 8!'.9:6 -!0;-%1 <. . y + ' 9.I
(30) . fjeZfgo]dZ|]nfrtvfjile.nil|~|~sZo~t}¢©sZe< Zpl[ ]e¨o~plhy<|im%]\|vo~fg]tIil¢ºewsZ[ ]|~fjn\pqhpqhjklil|~fgoXZ[t o~X<p;o,XZimhj fje]ªZpln#o pl|fgoX<[^]ofrnq§3hjklim|fgoXZ[ to@pqxZfjhgfgouple< >=im| nil[ ZsZo]\ tilhjsofjile pln\nsZ|@plnu![pu!x%]3pq¡y]n#o] ^fge,?<i¨p;ov· fjeZk²yilfje¨o¶nim[ Zso~pqofjile/§,´]hjhg·@weZi;´Me ]ªZpq[ Zhj]
(31) frt,oX<]nim[ Zso~pqofjile"´MfgoXP¯R]´,oime/¹ t3fgo]|@p;o~fgime il¢fjhghg·¸nile% fo~fgimeZ]\ .|~i¨ilo~t,il¢yilhju¨e<il[ fjplhF« A&-A «3[sZho~fg<hg]
(32) im|,eZ]\pl|eZ]tt|~iwiqo~Ct Bj% DEE§ MimsZe< fjeZk2]\||~il|@tKpqe%pqhjuwtfrt"fjtPZ|fje<nfg<plhghju %]\|v¢©im|[ ]\G Fx¨u X<pqe%H FIBKJE^x<sopqsZoil[pqofrn³pq· <|i¨pln@XZ]t!s<t]oXZ] nim[^<so]\|o~iZ|~i;£¨fr ]²[ im|]²km]eZ]\|~plhIpqe% ¤]\pmtvu¨·Eoiq·Ãs<t]pqZZhjfrnp;o~fgime<t\§Â¸e¤oX<fjt %pqy]|«´]"¢©ins<t²ile7o´:i³plsoim[p;ofrnKpq<Z|i¨pln@XZ]M t LoX<]¥¬::®WR¬°pqe< oX<]¥¬:I¯R*[ ]oX<iw <t§ W,X<]¬::®ZWR¬Æ[^]oXZi « ]£m]hjily]\ xwO u N%Q§ PRfjkleZ]tdple< XZfjtnilhjhg]pqkls<]\tdtvfje<n] \S R
(33) D%«%frt!p²¢©im|´,pq|@ tvoin@X<pmto~fjnR[ ]oX<iwT Bg
(34) EçÂÃo,Z|~i;£wfj ]tIp^ uwe<pq[ frn3]to~fg[p;o~fgimeil¢ oXZ]dewsZ[xy]|,iq¢ºtfjkleZf %nple¨o fjklfgo~t il¢nil[ Zso~]\ |~]\tsZhgo~toX%p;o:plhghji;´3tfge%to@pqxZfjhgfgouhjinplhgfjµ\pqofjile pqe< pln\nsZ|@plnunime¨o|~ilhE§W,XZ]3plfg[ iq¢oXZ] ¬::¯R7[ ]oX<iw fjto~i¶fj[ Z|i;£m] oX<],pmnnsZ|~pmnudiq¢Zo~XZ],nil[ ZsZo]\ |]tvs<hUo B EE§3Z<hguwfjeZkdoXZfrtplnnsZ|@plnu fj[ Z|~i;£l][ ]\emoo~itv]\e<tfo~fg£m]3fge¨o~]|~[^] frp;o]M£;pl|frpqxZhj]\t}[ pu^pqhrtvi
(35) tvo~plxZfjhgfjµ]3plhgkmil|~fo~XZ[t}tvsZ¡y]\|fjeZk¢©|~il[ |~ils<e< fjeZk]\||~il|@t\§ W,XZ].o´iP[ ]o~XZi Zt pq|~].nim[ Zhg]\[ ]e¨o~pl|upqe< ³oXZ].¢©ilhjhji;´MfgeZktn@XZ]\[ ]frte%p;os<|~plhIo~iPfj[^<|i;£m] o~XZ]ewsZ[ ]\|frnplhz¨s<plhgfgouil¢Rpqe¦plhgkmil|~fo~XZ["§W,XZ]K¬::®WR¬ [ ]o~XZi ³frt <|@tvos<t]\ o~iPhjinpqhjfjµ]ple s<e<to@pqxZhj]Rxy]X%p£¨fjil|:iq¢/o~XZ]¶plhgkmil|~fo~XZ[tIple< ²Z|~i;£wfj Z]\tIp|]\hgfrpqx<hg]3x<sofje<pmnns<|~pqo]¶nil[ Zso~]\ |~]\tsZhgo\§ W,X<]e/«ºoXZ]²plhgkmil|~fo~XZ[ |~sZe<t´MfgoXoX<].¬:I¯R8[ ]oXZi to@pq|ofjeZk"´Mfo~X¥oXZ]Z|~]£wfjils<thjuPnim[^<so] |~]\tsZhgo\W§ V3]\e<n]m«yplepln\nsZ|@p;o~] %e<pqh|]tvsZhgoRfrtRnil[ Zso~]\ K´MfgoXZimso3o~XZ]nil[ Zso~fgeZki;£l]|~XZ]pl ²il¢ oXZ] nil|~|]n#o~fgeZk[ ]oXZi Ko~X<p;ofrtRs<t]hj]\t~t¶´MXZfghj]
(36) o~XZ] nil[ ZsZo~p;o~fgime|~][pqfje<tdto@pqxZhj]l§¶Â¸eoX<fjtd<pl%]\|\«y´:] <|im%i¨tv]oi]ª%]\|fj[ ]e¨o}o~XZfjt:pqZ<|i¨pln@X^´MXZ]efjhghg·¸nile% fo~fgimeZ]\ ^|~iwiqo~t}iq¢ %imhguweZim[ fjplh<pq|~]3nim[^<so] ´MfgoXK¯R]´,oime/¹ t,fo~]|@p;ofjileº§ ±¥]!xZ|~fg%] ?<u|~]£wfj]´Vo~XZ]o´:i [ ]o~XZi ZtMfje®w]\nofjileK_ pqe< oXZ]
(37) n@X%pq|@pln#o~]|~fjtvofrnt:iqX¢ ?<i¨p;ofjeZk yilfjemo nil[ Zso@p;o~fgime²iq¢ºyilhjuweZil[ frpqhfjhghg·Ãnile< Zfo~fgimeZ]\ |~iwiqo@tIfje ®w]n#o~fgime.Z§Â¸e"®w]\nofjil) e D%«w´:]dfghjhjs<to~|~pqo]¶oXZ] %] Y²nfj]e<nu²iq¢oXZfrt3plZZ|[email protected]< XZfjklXZhjfjklX¨o~t <eZfgo]Z|]nfrtvfjile.]¡]\no~tM´MfgoX"]ªy]|~fg[ ]\emo@pqh |~]\tsZhgo~t\§ Z.
(38) /1
(39) .' ( ) ),+ - \[ ) '. ±¥]hjfj[^fgo¶imsZ|R<|]tv]\emo@p;o~fgime il¢oXZ]tv][^]oXZi Zt3oioXZ][ plfgeple< "XZ]\|]p;¢ o]\|Rs<t]¢©s<hpmtvy]\no~t\§3M]¢ · ]\|]\e<n]t3pq|~]!Z|~ilyimt]\ fjeKoXZ]xZfjxZhgfjilkm|~plZXwul§ ªZn]\o] K´MXZ]eKfje< frnpqo] «ynil[ Zso~]\ "£;pqhjsZ]t3´]\pq| p^X<pqoMfge oX<]
(40) tv]zms<]hE§ ]W^`_. acbedgfihijWa,klfnmodqp6b rWs. W,X<]:¬::®WR¬[^]oXZi !tfg[sZhrp;o]t/tvoin@X<pltvofrnpq|~fo~XZ[ ]o~fjno~i3Z|~i;£wfj ] pled]to~fg[pqofjile!iq¢¨oX<]}ewsZ[xy]| il¢dtfgkmeZf %nplemo fjklfgo~t fje¦o~XZ]Knim[^<so] ¦|~]\tsZhgo\§ W,XZfjt ]to~fg[pqofjileplhghji;´3toXZ]K ] <eZfgofjile iq¢¶oXZ] ty]\nf %n £;pqhjsZO ] t ]tn|fjxZfjeZk¤p¥µ]|~i¥£plhgs<] im|²p¥eZile·¸tfgkmeZf ynpqe¨onim[^<so] ¦£;pqhjsZ]m§IuRe< ]\|hjuwfgeZk XwuwyiqoX<]\tfjtnile<n]|~e<t^oXZ]PZ|imx<pqx<fghjfjtvofrn" frto~|fjxZso~fgimeViq¢doXZ]]\hg]\[ ]e¨o~pl|u³|~ils<e< fjeZk]|~|im|~t pqe% o~XZ]"Z|~]\ im[^fje<ple<n] iq¢¶oXZ]\fg| <|@tvo im|~ Z]| Z|~il<plkmp;o~fgime/§¦W,XZ]P¬¶Ä¶¯¶ hgfjxZ|@pq|~u¤fg[ Zhj][ ]e¨o@t oXZ] ¬:®WR¬V[ ]oX<iw pqe% nime<tfjtvo~tfje nil[ Zso~fgeZk^´MfgoX" f¡]|~]e¨oM|~ilsZe< ZfgeZk^[ i ]\t,t]£l]\|~plhyt~pq[ Zhj]\t il¢dfje¨o]\|[ ]\ Zfjpqo]Pple< <e<pqh¶£;pqhjsZ]\t\§ W,XZ]\|]¢©il|~]l«,xZ|@pqe<n@X<fgeZk¥o~]\tvo~tple< 7£;pqhjfj fgou7X¨uwyiqo~XZ]\tfjtpq|~]. vv. ñxwzy { | |.
(41) 6& 1- H3 D. Zu¨e%pq[ fjn\pqhjhgunile¨o|~ilhjhg] §¯3sZ[ ]|~ils%tI]ªpl[ Zhg]tiq¢ºfje<tvo~pqx<fghjfou hjinpqhjfjµ\p;o~fgimepqe% pln\nsZ|@plnu^nile¨o|~ilh fjhjhgs<tvo|@p;o~]doXZ]!Z|@plnofrnplhy]%Y²nfj]e<nuiq¢oXZ]![ ]oXZi «<t]] Bj!E/¢©im|M]ªZpq[ Zhj]!pqe< .]e¨o~|fj]\t\§ ]W^(]. acbedgfih k. mod p b rUs. W,X<],¬:I¯¶³[ ]o~XZi
(42) |~]hjfg]t/ile
(43) p <|@toºim|~ Z]|nil|~|]n#o~fgimedy]|¢©il|~[ ]\ ´MfgoXplsoim[p;ofrn} fg¡]|~]e¨ofrp;o~fgime ple< "o~XZ]nil[ Zso@p;ofjilePiq¢}]hj][ ]\emo@pq|~u.plx<tvimhgsZo]|~ils<e< fjeZk²]|~|~il|@t§MÂÃodfjtdp¢©im|´,pq|@ " ]o~]|~[^fjeZfrto~fjn plZZ|~impmn@X/§adfj£l]\e p nil[ Zso~]\
(44) «o~XZ]![ ]oX<iw uwfj]hr ZtMp nil|~|~]\n#o~]\ Z]<eZ] "plt . . . W,X<] nil|~|]n#ofjeZkP¢õpln#o~il| frto~XZ]Knim[^<so] ³hjfgeZ]pq|~fgµp;o~fgime³iq¢3o~XZ]"klhjilx<plh:]\||~il|fge ´MfgoX |~]\ty]\n#oMo~ioX<]
(45) ]hj][ ]e¨o@pq|~u]|~|~il|@t« A&-A «¶|~ils<e< fjeZk]|~|im|~tfje¨o|~iw Zs<n] "fge"o~XZ]
(46) fjemo~]|~[ ]\ frp;o~]nim[· <so~pqofjile<t!il ¢ § ¶t!o~XZ]²nim||~]\no]\ ¢õpmn#oim| ple< oXZ]nil|~|]n#o~fgime¥plhjtiKtvs¡]|¢©|im[*|~ilsZe% fge<k ]\||~il|@t\«qp¶£;plhgfr fgouxyilsZe< "!"iq¢yoXZ]3nil|~|]n#o~]\ |]tvsZhgo fjtInil[ ZsZo]\ /§W,X<]|~]¢©il|~]l«o~XZ]3]ªpmn#o |~]\tsZho t q p o r f t < ] t " !( "!*)ypmttsZ[ fjeZkoX<pqoIo~XZ] <|@to:il|@ ]|IplZZ|~iªfg[p;o~fgimeil¢oXZ]3kmhgimx<pqh. #%$ '& ]\||~il|Ifjt£;pqhjfj /§W,X<fjt:Xwu¨yiqo~XZ]\tfrtIfrt:t~p;o~fjt <] ¢©il|hgfjeZ]pq|,pqhjklil|~fgoXZ[t}´]¶ Z] <eZ] ²fjT e BRzE,+%imhguweZim[^frpqh ]\£;pqhjs<p;o~fgime²xwu V3il|~eZ]\|\¹ t:t~n@XZ]\[^]dfrt:imeZ]diq¢/o~XZ]["§ ±¥]plZZhju oXZ]¬:I¯¶ [^]oXZi oi^fg[ Z|~i;£l]RoXZ] pmnnsZ|~pmnuiq¢%oXZ] <e%pqh|~]\tsZho}ple<> =im|t]e%tvfgofj£l]fge¨o~]|~[^] frp;o],£;pq|~frpqxZhj]\tºoi!tvo~pqx<fghjfgµ\]oXZ]Mpqhjklim|fgoX<[ § Ænil[ Zhj]o~] Z]\t~n|~fgo~fgime.il¢o~XZ]![ ]o~XZi .frt,klfj£l]\e.xwO u B Eç -. .. - " 9².?40/ ..
(47) '.#
(48) ) '21> 843ý
(49) #$. -
(50) . fjeZfgo]Z|~]\nfrtfgime]¡]\no~t,imeo~XZ]!nil[ ZsZo~p;o~fgimeil¢fjhghg·Ãnile< Zfo~fgimeZ]\ |iwiqo@tiq¢yilhjuweZil[ frpqhX<p£m]¶xy]]\e ewsZ[ ]\|ims<tvhju.ple<pqhjuwµ] "fgeKo~XZ]%pltvo\« -zA65 A «!tv]\] B 7E¢©im|R]\emo~|fj]\t\§M±¥]Z|~]\t]e¨o¶X<]|~]!oXZ][pqfjes<t]¢©sZh <|im%]\|vo~fg]tI¢©im|MilsZ|M<sZ|yimt]l§ 8W^`_. 9;:<:>=$fir@?4sApBA`r@?DC? s. kpSpBCEAF?GCEHI:`d kKJ"J"LMNCJO. ¸hjhg·Ãnile< fgofjile<]\ |~iwiqo~t:pq|~]Rt]e<tfo~fg£m]3o~it[ plhghyy]|osZ|~x<p;o~fgime²iq¢ o~XZ]d%imhguweZim[^frpqhyniw]!Y²nfg]\emo@t§}®ws%n@X niw!] Y²nfj]e¨o!%]\|vo~sZ|~x<p;o~fgime[puxy]² Zp;o@p ]|~|im|~t\« |]\Z|~]\t]e¨o~pqofjile]\||~il|@t« -A65 A « ]nfj[ plhoiKxZfje<pl|u nilew£l]\|~tfjile/«pqe%> =im|[pu nil[ ]¢©|~il[5oXZ]!x<pmn @w´pl|~ .]¡]\no3iq¢ |imsZe< fjeZk ]|~|~il|@t:fje"oX<]
(51) pqhjklil|~fgoXZ[ <|i;£wfr ]\ xwuoX<]x<pln @w´,pq|@ Ppqe%pqhjuwtfrt§Â¸exyiqoX³n\plt]\t\« oX<]nim[^<so~pqofjile[puuwfg]\hj ¥fje<pln\nsZ|@p;o~] |~iwiqo@tple<> =;il|Mp^´M|imeZk e¨s<[xy]|Miq¢nim[^<so] .|~iwiqo@tMpqe< .XZ]e%n]!´MfgoXKpq|~xZfgo|@pq|~u^im|~ Z]|§ W,XZ]^¢©imhghji;´Mfge<k.Z|~ily]|ou"XZfjklXZhjfgkmX¨o~tdoX<] t]e%tvfgofj£wfouKil¢:yilhju¨e<il[ fjplh|iwiqo@, t Bgm EE§ Å/]o *P xy] p |~iwiqo iq¢ [sZho~fg<hgfrnfgou Q5iq¢ %imhguweZim[ fjplSh R @UT;VW V YXZX[X>\T;] §2|]\hjpqofj£l],]|~|im_| ^
(52) il¢ TW` y]|osZ|~x<t o~XZ]!|~i¨ilo "P o~i "P ^ ts<[email protected]X<pqoMoXZ]¢©im|´,pq|@ ²]\||~il|,t~p;ofrt <]\to~i²p %|~tvoMil|@ ]|,iq¢ pq<Z|iªfj[p;ofjile P ^ E&Y P . Qfe TW`g "P ` a<b0c ^aFbFcKd & Rih cj P lk. VR]e<n]l« [sZho~fg<hg] |~i¨ilo~tdpq|~]^plhg´,put3fjhghg·¸nile% fo~fgimeZ]\ pqe< oXZ]^¢©im|´,pq|@ "]|~|im|Rfrtqp |~iwiqo@tpl|]!plhjtifjhjh·¸nime< fgofjileZ] ´MXZ]\esrr T ` "P `,t Rvu *Po rrWw ^ . . m on ^ a<b0c . §®fgeZkmhg]. v y x.
(53)
(54) ! " $#%&&(') *,+.-%"-!/ 0,&12 434%56/7 8!'.9:6 -!0;-%1 J. ź]o s<t|]\[pq| @¶o~X<p;o |~]hrp;o~fgime m l nºuwfj]hr ZtoXZ]Mpqovo~plfge%pqxZhj]pmnnsZ|~pmnum« A&-A « o~XZ]:xy]\tvo¢©il|~´pl|~
(55) ]|~|im| xyils<e< ²´]dn\pqe.]ª%]n#oM´MXZ]\e²oX<]d|~iwiqo <e< fjeZk [ ]oX<iw ]£;pqhjs<pqo]\t R « -zA65 A «3¯3]\´,oime/¹ t[ ]o~XZi § ź]o B R ( x%]oXZ] pqx<tilhjso]|imsZe< fjeZkK]|~|~il|
(56) fje R ]£;pqhjs<p;o~fgime/«R * R @ B R ( * «}pqe% tvs%n@XPo~X<p;o B R ( rr T ` "P ` rr W,X<]x%]to
(57) nim[ Zso] pqZZ|~iªfg[pqofjile * P iq¢ *P t~p;o~fjt <]\t R * P[@ tZ§ |~il[5|]\hjpqofjile m o n«oXZ]
(58) pqovo@pqfje<pqxZhj]!pln\nsZ|@plnufjt. < . P &f P. . Qfe. . aFb0c.
(59) . r R h cj P r r r. . _. m n. ¶ t fje B DE먴:]M|~][pq|@!o~X<p;o}|~]hrp;o~fgime m _nfrt}p[ ]o~XZi w·Efje< ]\%]\e< ]\emo]|~|im|]\tvofj[ pqo]m§W,XZ]¶plnnsZ|@plnu il¢Io~XZ]%imhguweZim[ fjplh ]£;pqhjs<p;o~fgime¥nile¨o|~ilhrt¶oXZ].plnnsZ|@plnu"il¢:o~XZ]²nim[^<so] |~iwiqo§^±¥]² frtns<t~toXZ] <|~pmn#ofrnplhs<tv]!il¢ºo~XZfjtRp;ovo@pqfje<pqx<hg]!pln\nsZ|@plnufge o~XZ]!eZ]ªwoM<pl|~plkl|@pqZX/§ 8W^(]. ¶ttsZ[ fjeZk. d p6r@?
(60) 9$pSd MNCXpBA`r@?A<?IA"p6dYM d J"AWA`r@? C?4s\j p6r A<? fYMvA"p6diM A<C t . fjtRnhjimt]d]\eZils<klX²o~i oXZ]!|~iwiqo. . *P. «Z´]!nil[ ZsZo]oX<]
(61) ¯3]´,o~ile fo~]|@p;o~fgime. l_s . ! !. R $ ) R u $ ) . ¸e]ªZpln#opq|~fo~XZ[ ]ofrnq«¨fgo]|@p;o~fgime m ;n nime¨£m]|~kl]t zms%pl |@p;o~fjn\pqhjhguoip
(62) tfjeZklhj]3|~i¨ilo}xZsoileZhjukm]im[^]o|~f· n\pqhjhgud´MfgoX|@p;o~fgiQ t Q &"o oi¶p3|iwiqoiq¢Z[sZho~fg<hgfrnfgou'Q Bj\
(63) Eç¸e <eZfgo]:Z|]nfrtvfjileº«\o~XZ]:nilew£l]\|km]e<n] il¢/fo~]|@p;o~fgime m ;n [putvs¡]|:¢©|~il[ oXZ]R¢©ilhjhgi;´MfjeZkhgfj[ fo@p;ofjile%t m nil[ ZsZo]\ .z¨s<pqe¨ofgofj]\tIX<p£l]¶hgi¨to:oXZ] X%p;oMXZ]|~]\pq¢ o]\| n§ # Rvu $ ! ) t^xZs_o R $ )% $ t<« # l_ ! xZsZ@o R $ ) $ tZ§ # R $ ) Ru $ ) t^xZso ! frtMeZilo3pqeKpln\nsZ|@p;o~]dplZZ|~iªwfj[p;o~fgimeiq¢ *P « VR]e<n]l«¨pqe !] Y²nfj]e¨o:tvoimZZfjeZk!n|~fo~]|~fgime iq¢fo~]|@p;ofjile m ; nX<pmtoi
(64) p£milfr ts<n@Xnpmtv]t§W,XZ]MZ|~]£wfgims<thgu Zfjt~ns<t~t]\ "p;oo~pqfje<plxZhg]!pmnns<|~pmnutXZils<hj xy]
(65) s<t]¢©sZhºoi² ] <eZ]ts<n@XKpn|~fo~]|~fgime/§IRhjpmt«Z|~]hrp;o~fgime m _ n frt}e<iqo:nil[ Zso@pqxZhj]RpltIhgimeZk
(66) plt}oXZ]R[sZhgofjZhjfjnfou iq¢o~XZ]R|~iwiqo}|~][pqfje<t}s< e @weZi;´Me/«mple< ^oX%p;o:frt}il¢ o]\e o~XZ]
(67) npmtv]m§ W,XZ]¢©imhghji;´MfjeZk^n|fgo]\|frp pq|~]¶´]hjhg· @weZi;´Me¢©il|,o]\|[ fje<p;o~fge<kfo~]|@p;ofjile m ; n#§ & e n4L ! 'o&Y ! ( ^u m M]\hjpqofj£l]}£limhgsZofjilv m 3x<tilhjso~]
(68) M]\tfj Zs<pqyh n4L R $ ! 'o ))+*"u W,X<] '/ / |~]hrp;o~fg£m]dxyils<e< ^u p ^ hgfj[ fo@t,oXZ]
(69) tvo~plkle<pqofjile.iq¢ºo~XZ]!fgo]|@p;o~]xZso3frtMkl]\eZ]|@pqhjhgu fjeZ%] Ynfg]\e¨o!¢©il|
(70) fjhghg·¸nile% fo~fgimeZ]\ |~i¨ilo~t\§.¬:XZiwimtfge<, k *"u p * ´MXZ]|~] *7fjto~XZ]²t[ plhghj]\tvo
(71) eZime·Eµ\]|~i yimtfgofj£l] ?<i¨p;o~fgeZk%imfge¨o¶ewsZ[x%]\| m */. ^n3´:imsZhr Kx%]%i¨ttfjxZhg]f¢}o~XZ]nil[ Zso@p;o~fgimeKiq¢ oX<]|~]\tfj w· s%pqh R $ ! 0l )Mfjt^]\||~il|¢©|]\]l§¬:ile%tvfr ]|~fjeZk|~]hrp;ofjile m _ n%« *"u,tXZilsZhr ¦ Zu¨e%pq[ fjV n\pqhjhgu¤nile¨o|~ilh:oXZ] fje<pmnns<|~pmnuiq¢oX<]!%imhguweZim[^frpqh ]\£;pqhjs<p;o~fgime/«Zn@XZiwimtfge<k¢©im|3]ªZpq[ Zhj1] *"u ^3254 `6"] TW` l ` 7 B
(72) Eç ±VfgoXtvoin@X<pmto~fjndpq|~fo~XZ[ ]o~fjnl«Zfo3frt,´]hjh· @weZi;´Me²o~X<p;oRplho~]|~e<p;o~fg£m]n|fgo]\|frp^pq|~]dp£;pqfjhrpqxZhj] Bg
(73) EE§ . vv. ñxwzy { | |. . &. m n.
(74) . 6& 1- H3 . º & m ®¨oin@X<pmto~fjn3x%tvimhgso~]!}£limhgsZofjilevnL l &Y ! t º m ®woin@X<pltvofrn3x<tilhjso~]
(75) M]\tfj Zs<pqhyn4L"R $ ! 'o ) t ,W X<]\t],n|fgo]\|frp¶s<tv]o~XZ]3tvy]\nf yn,£plhgs<]Ut §±¥]M|]npqhjhwfoI Z]\t~n|~fgxy]\t pdµ]\|id£;pqhjsZ]Mil| pdeZime·ÃtfjkleZf %nple¨o nil[ Zso~]\ ¦£plhgs<c ] Bj_« EE§¦±VXZ]e o tpqofrt <]toXZ]®R o~]\tvo\«:nil[ Zso~fge<kR $ ! o )Mfjt e<]\n]tt~pq|~u oi ]nfr ]!fg¢ ! 'o fjtRpqe"plnn]o@pqxZhj]!pqZ<|iªfj[ pqofjile²il¢o~XZ]!|~i¨ilo\§ 0. . . ),+ -4)
(76) 1. ) º9 @. t iq¢%imhguweZim[^frpqh @'
(77) & S t . ź]oMs<t3nile<tfr ]|oX<]
(78) nil[ ZsZo~p;o~fgime"iq¢ºo~XZ]
(79) imsZxZhj]!|iwiqo R . *PI. o~XZ]}iloXZ]\|/|iwilo/fjt P & t Bg%EE§¯3sZ[ ]|~frnpqhl]ª%]\|fj[ ]e¨o~tpq|~] %]\|v¢©im|[ ] ¶s%tvfjeZkM¸}}}·R$JD3xZfje<pl|u ?%imp;o~fge<kyilfjemo3pl|fgoXZ[ ]ofrnRime.p ®wsZe u3hgo|@p8J´:im|7@tvo~p;o~fgime m ®ws<e® JZ§KR«Z®wilhrpq|~fjt¶l§ n« dWM3R¯ m m ±im7| @Z®wXZim¬:im[^<fghj]|@tJZ§ <« dWM3R¯ m._§ nRpqe< ¬RÄd¯R hjfgx<|~pl|u"£Z_§Ø_§±¥]^hjfj[^fgooXZ] ¢©imhghji;´MfjeZk,Z|]tv]\e¨o~p;o~fgimeRo~iM¸}} `· RJD3tvfjeZkmhg] Z|~]\nfjtfjile|]tvs<ho@t« A&-zA «^ B t "!\«]ªZn]o~]\ fje o~XZ],eZ]ªwo <pl|~plkl|@pqZX!´MXZ]\|],pq|~],pqhrtvidZ|~ilyimt]\
(80) imsZxZhj],Z|]nfrtvfjile|]tvsZhgo~t\« A&-A «@^#$ % t a'& . (. ^`_. )+*%(Gfir-, . acbed 98hMh h=. LWpBCXpNAr@?. ±¥]nil[ Zso~]
(81) ¯3]´,o~ileKfgo]\|~pqofjile m nMfgeK¸}I ·R$JD²tfge<klhj]
(82) pqe< " imsZxZhj]!Z|]nfrtvfjile%t,s<tvfjeZk VRil|~eZ]|¹ t t~n@XZ]\[^]¶¢©il|o~XZ]!%imhguweZim[ fjplhy]\£;pqhjs<p;o~fgime<tR" pqe% R u §}W,XZ]¶o´:i tvoil<Zfge<k n|fgo]\|frp3 ple< R pq|~] fj[ Zhj][ ]e¨o]
(83) |~]\t%]n#o~fg£m]hju¶´Mfgo X ^ u ^¶ilG| ^#pqe% * u 3 t t ! ®wo~pq|ofjeZk¶´Mfo~X t @ t . « xyiqo~XPnim[ Zso~pqofjile<t¶uwfg]\hj ! t~p;o~fjtv¢©uwfgeZkoXZ]^to~ilZ<fgeZk n|~fo~]|~fgimeR m t]]e<]ªwoRo@pqxZhj]on§/Ro~XZ]| pmnn]o@pqxZhj]!n@XZilfrn]t:il¢ t klfj£l]tvfj[ fghrpq|M|~]\tsZhgo~t\§ ¸eZfgofrpqhqP}plhgs<] t R $ ) Ru $ ) *P &Y ! t "P ^ Z§KJ t 01+ 2 Z§ ·¸Z§ Z}·"J _Z§ mq ·J ^# Z§KJ _8J t 01 3415% t 1 Z§ Z§ ll ·,7 m§ SR ·¸ W,XZ]¤plx<tvimhgsZo]P]\||~il|.x%imsZe< ý¢©il|"yilhju¨e<il[ fjplh R ]£;plhgs<pqo] 2xwu V3im|eZ]\|\¹ t tn@XZ]\[ ]Pfje p|iwilo e<]fjklXwx%im|X<i¨i tpqofrt <]t ^ u § VR]e<n]nil[ <pl|fjeZk ´Mfo~X P t 6051 360+ «Zo~XZ]²nim[^<so] |~iwiqo pqkm|]\]\t:oX<]!Z|] frn#o] .pmnnsZ|~pmnukmfg£m]e x¨u|]\hjpqofjile m _n§ {I|]nfrtvfjile. (. ^(]. 7. '8 . r J*CE:FA iAF?. p b d
(84) AF?8pBC H A<:FA"pSO. A"p b. p bedgfihijUa kIf. mod p berWs. ±¥]
(85) s<t]oX<] ¬RÄd¯R hgfjxZ|@pq|~uoi²nil[ Zso~]
(86) fgo]|@p;o~fgime m nM´Mfo~Xn|~fo~]|~fjp²®Rýpqe% "®ZR!§ ®¨o~pl|vo~fge<k plkmplfge.´Mfo~X t @ t «x%iloX®32ple< "®R n|~fgo]|~frp^pl|]t~p;ofrt <]\ ¢©il|,o~XZ]¢©ilhjhgi;´MfjeZk £;pqhjsZ]l§ {}|~]\nfjtfjile ¸eZfgofrpqhqP}plhgs<] t R $ ! ) Rvu $ ! ) ! ^ <§ J 9 :<;>="? t <§ mq ·¸. v y x.
(87)
(88) ! " $#%&&(') *,+.-%"-!/ 0,&12 434%56/7 8!'.9:6 -!0;-%1 R. W,X<] ¬::®WR¬ [ ]oXZi |~]\ Zs<n]t3o~XZ]ewsZ[x%]\|¶il¢Ifgo]|@p;o~fgimepqe< PZ|~i;£¨fr ]tR²kms<pq|@pqe¨o~]]\ K Z]\nfj[pqh Zfgkmfo@t m ¬¶Ä¶¯¶5imeZhju¥ frtZhjput
(89) tfjkleZf %nple¨o fgkmfo@tple< ¤ iw]\teZiqokls<pl|~plemo~]]^oX<]hrpltvo frtvZhrpul] Z]\nfj[pqh} fjklfgo BØ_
(90) Egn#§Wipqe<plhguwµ\]o~XZ]¢©il|~´,pq|@ ]|~|~il|« ´:] |~][pq|@KoX%p;o!oX<]kls<pl|~plemo~]] P fjklfgo~t!il¢ o~XZ] ¬¶Ä¶¯¶|~]\tsZhgodpq|~]!]ªZpmn#o¶nil[ <pq|~fjeZk oi "P §RW,XZ]
(91) ewsZ[x%]\|Riq¢ItfjkleZf %nple¨o¶ fjklfgo~tRplkl|~]]t,oXZ] <|] fjno] .pmnns<|~pmnul§. (. , M rGA<? . ^8. 9. p bed kKJ"J"LGM CEJO. A"p b. p6b dgfih k. W,X<]nil|~|]n#o~]\ .fo~]|@p;ofjile m ;n´Mfo~X.o~XZ]¬:I¯¶Æ[ ]oX<iw frt. ! ' o_ ! . . &. m. d p berWs. ! . R $ ) R u $ ). m D;n. ´MX<]|~] R R R ple< R u R u Rvu pq|~]Ro~XZ]!nil|~|~]\n#o~]\ ]\£;pqhjs<p;o~fgime<tiq¢ºyilhjuweZil[ frpqhrt R ple< RvuF§ ÂÃo]|@p;o~fgime m D;nfrtMnimemo~|imhghj]\ ´Mfo~X oXZ]
(92) tvoimZZfjeZkn|~fo~]|~fjp MVpqe% .¶!§ u¶tvfjeZk.¬RÄd¯R |]tvs<ho«<pqeKimofj[pqh/fjeZfgofrpqh/£;pqhjsZ] t tpqofrt %]\t t t t ´MfgoX o~XZ] ¸}} `· RJDtfgeZkmhg].Z|~]\nfrtfgime³£;pqhjsZ]\t t t 605 t t$t8t$t pqe< t D t 0 4 1 §K±] nil[ Zso~]Pfgo]\|~pqofjile m DWns<tfjeZk¤oX<]o´i³fge<fo~fjplh¶£;pqhjsZ]t t pqe% t +do~XZ]|~]\tsZhgo~t.pq|~]KoXZ] ¢©imhghji;´MfjeZk<§ {I|]nfrtvfjile. ^. ¸eZfgofrpqhqP}plhgs<]. t . . . D S7$D 8J D D S7 xD. !. R $ ). . . &f . t . & l. I"!. R Z§ ¨_ I l Z§R;q}·~_ Z§ _§ ll ~· zD Z§ ¨_ m mmm_ D<§ 7lq}·~_ Z§ Z§j\l ~·
(93) J iloXfgo]\|~pqofjile<t3o]|~[ fge%p;o]^tpqofrt¢©uwfjeZko~XZ]^3 n|~fgo]|~fjile/§¶®ieZi.[^im|]plnnsZ|@p;o]pqZZ|~iªfg[pqofjile il¢Ro~XZ]|~i¨ilo²nils<hj x%]nil[ Zso~]\ 7fje7¸I} ·¸tvfjeZklhj]KZ|~]\nfjtfgime7tvo~pl|vo~fge<k¥´MfgoXVn@XZi¨tv]\e t §ýW,XZ] o´i.nil[ Zso~]\ ¥pqZ<|iªfj[ pqofjile<t P t 05 5 5 ple< P t 0+ 0 pl|]^ fg¡y]\|]\emo!p;¢ o~]| o~XZ]²o~XZfj|~ ¤ fjklfgo\§RtoXZ] !VxyilsZ e% ¤£;pqhjsZ]²£;pqhjfj <p;o]t!o~XZ ] 7 %klsZ|~]\tiq¢Mx%iloX¦plZZ|~iªfg[p;o~fgime<t\« yilhjuweZil[ frpqh R X<plt¶o´i"t]%pq|@p;o]|iwilo~tdfge¥o~XZ] eZ]fjklXwxyil|~XZiwiw Piq¢ *P pq<Z|iªfj[p;o] xwu P pqe% P § RoXZ]\|:n@XZimfjn]\t}il¢ t « t t t «muwfj]hr ²tfg[ fjhjpl|:nimew£l]|~kl]\e<n]o~i
(94) oX<]¶t~pq[ ]Mo´i %eZfo~]!Z|~]\nfrtfgimehjfg[ fgo~t P ple< P § ^. ( ^(. t t . . acbed h CJplfir. , ILep6dHs. j:r@:FLWpNAr@?. W,X<]\t]M]ª%]\|fj[ ]e¨o~t}fghjhgs%to~|~pqo]3p´]hjh·@weZi;´Me]¡y]n#oIil¢ %eZfo~]3Z|~]\nfjtfgime ´MXZ]enim[ ZsofjeZk![sZho~fg<hg] yilhjuweZil[ frpqh |~iwiqo~t\§W,XZ]² ZilsZxZhj]|~i¨ilo *P « A&-A «oXZ]²]ªZpln#opl|fgoX<[^]ofrntvimhgsZofjile/«fjto~|~ple<tv¢©il|~[^] fje¨oi^o´i t]%pq|@p;o]tfgeZkmhg]d|~i¨ilo~t P ple< P fje <eZfgo]!Z|~]\nfjtfgime/§¯3]£m]|oXZ]\hg]tt\«woX<]nilew£l]\|km]e<n] |@p;o~]!pqe< oXZ]
(95) pqovo@pqfje<pqxZhj]!pln\nsZ|@plnu²pq|~]dnile¨o|~ilhj]\ x¨uoXZ]!im|~ Z]|3_iq¢oXZ]!]ªpmn#oMZ|~ilxZhj][5|iwiqo§ ¸}I · R$JDnil[ Zso@p;ofjilets¡y]\|~td¢©|~il[ oXZ]fje<pln\nsZ|@p;o~]yilhjuweZil[ frpqh ]\£plhgs%p;ofjilD e R * pqe% PeZi kms<pq|@pqe¨o~]]nils<hj "xy]
(96) klfj£l]\e oi² fjklfgo~t3pq¢ o]\|¶pqxyilsZo3X<pqhg¢oXZ]
(97) <|]nfrtvfjile m pmt3|~]hrp;ofjile m _ n,fje< frnp;o~]\t n#§ W,X<]¬::®WR¬V[ ]o~XZi "hgin\pqhjfgµ\]\toX<fjtMfje<tvo~plxZfghjfgou.pqe% |~]o~sZ|e%t,oXZ]tv]
(98) tfjkleZf %nple¨oM Zfgkmfo@t§ ¸eKxyiqo~X n\plt]\t\«lo~XZ]p;ovo@pqfje<pqx<hg]dplnnsZ|@plnu^xyilsZe< .Z|~]£m]e¨o~t}oi fjtvofjeZkmsZfjtX²o~XZ]\t]tv]\<pq|@p;o~]3|iwilo~t\§ ¬:im[^<sov· fjeZknil|~|]n#o~]\ R«Zo~XZ] ¬:I¯¶[ ]o~XZi "fg[ Z|~i;£l]toXZ]^pln\nsZ|@plnu²iq¢oX<]
(99) %imhguweZim[ fjplh/]£;pqhjs<pqofjileKfje. vv. ñxwzy { | |.
(100) 6& 1- H3 7. 6e-08 Computed polynomial Corrected polynomial and its bound. 4e-08. 2e-08. 0. -2e-08. -4e-08. -6e-08 0.42845. 0.4285. 0.42855. 0.4286. 0.42865. 0.4287. fgkmsZ|~]^8L W,XZ]o´:it]<pl|~pqo]d|iwilo~tiq¢R" R § plZy]\pq|3nil[ Zso~fge<k o~XZ]d|iwiqoeZ]fjklXwxyil|~XZiwi §W,X<]|~]¢©il|~]l«moX<]plx<tilhjso]¶|]tvfr s<plhy iw]t:e<iqo:?<s<tX²oi^µ]\|i^pqe< ²Z|i;£wfr ]\t p t]\z¨sZ]\e<n]diq¢fo~]|@p;o~]\t oX<pqoRnime¨£m]|~kl]t oi P im| P ´MXZfjhj]oXZ]Z|~]\nfjtfgim\ e ^fjtMt6s Y²nfj]e¨o,oi fj[ Z|~i;£l]¶oXZ]
(101) pmnns<|~pmnuiq¢ « A&-zA «3´MX<fghj]oXZ]!M2n|fgo]\|fjile.fjt3eZiqo3t~p;ofrt <]\ § ÂÃo3¢©imhghji;´3t:oX<pqoMoXZ]tvZhjfgovofjeZkil¢o~XZ]
(102) ils<xZhg]!|~iwiqoMfjemo~i^o´:itfgeZkmhg]!|~iwiqo@tM iw]\t,eZiloRnil[ ]d¢©|~il[ o~XZ]!|~ilsZe< ZfgeZk]\||~il|@t:iq¢ fo~]|@p;o~fgime m D;n#§:±]!<|i;£m]¶o~X<p;oMo~XZ]
(103) ]nfj[ plh oix<fge<pl|u nime¨£m]|@tvfjileiq¢oXZ] niw!] Y²nfj]e¨o~t:iq¢%imhguweZim[^frpq;h R fjttvs%n@X²oX%p;. o R. X<pltIo´it]<pl|~pqo]¶tfjeZklhj]R|~iwiqo~t:fje]ªZpmn#opl|fgoX<[^]ofrnq§ W,X<],¢©ilhjhgi;´MfjeZk|]tvs<ho@t}nim[^],¢©|~il[ tvuw[x%imhgfrnMnim[^<so~pqofjile ´Mfo~X²pq<hg]m§±¥]3|~]Z|~]\t]e¨o}nim[^<so] yilhjuweZil[ frpqh R plt R T T T a T; ] «<´MX<]|~] TW ` frt,oX<]!]ªZplno m |@p;ofjile%pqyh nI£;plhgsZ]!il¢ ¸I} `· RJD tvfjeZkmhg]^Z|~]\nfrtfgimeKxZfge%pq|~u £;plhgsZ]^iq¢IoXZ] TW` ni¨%] Y²nfj]e¨odil¢ R m t n#§ u¶tvfjeZkK®¨osZ|~[ t]\z¨sZ]\e<n]t«wfje¨o]|~£;pqhrt pqe< fge<nhgs% ]doXZ]
(104) nile<tfj Z]|~]\ ²]ªZpln#o,|~i¨ilo~tiq¢ R ´MfgoXº«Zhgfj[ fo~fge<k oi^oXZ] [pqªwfj[s<[ 7 tvfjkleZf %n\pqe¨ o3 fgkmfo@t,iq¢Â¸}} `· RJDtvfjeZklhj]Z|~]\nfrtfgime/« $ t 05 5 1 t 6054 1 ) ple< $ t 6051+11 t 0%1 10 ) ±¥]nil[ ]Ix%pln @doi¶Z|]\£wfgims<qt ?%imp;o~fge<k3%imfge¨o nim[^<so~pqofjile<teZiqo~fge<k3oX%p;ox%iloX|~]\tsZhgo~tnim[^<so] ´MfgoXoXZ]Z|~]\t]e¨o]
(105) pq<Z|i¨pln@X
(106) t~p;o~fjt <]\t P # ple< P # § fjkls<|] m o nº|~]Z|~]\t]e¨o~tnim[^<so] R «nil|~|]n#o~]\ Rpqe<' *!x%imsZe< Ztºfge "P eZ]\fgkmX¨xyil|~XZiwi §/ÂÃo/]ªwX<fgxZfgo~t/oX<pqo R!X<plt/o´:iMtfge<klhj]}tv]\<pq|@p;o~] |~iwiqo@t,fgeKfje¨o]|~£;pqhrt pqe% ts<n@X oX<pqo ple< § hjimpqofjeZkyilfjemo3]ª%]\|fj[ ]e¨o~t plkl|~]]¶oXZ]!|~]\tsZhgo~t,il¢ºoX<]
(107) tvuw[xyilhjfrndnil[ Zso@p;o~fgime/§. v y x.
(108)
(109) ! " $#%&&(') *,+.-%"-!/ 0,&12 434%56/7 8!'.9:6 -!0;-%1 .. .
(110) :9 º
(111) . fjeZfgo]Z|~]\nfrtfgime.nim[ Zso~pqofjile.fjteZilo,|~]hjfrpqxZhj]¶´MX<]e²o~XZ]Z|~ilxZhj][ o~i tilhj£l]¶fjt,fjhjh·¸nime< fgofjileZ] §Â¸e o~XZfrtn\plt]l« ?<i¨p;ofjeZk%imfge¨o,|]tvsZhgo~tpq|~]RX%pq|@ oifge¨o~]|~Z|]o,ple< ²[pu ]£m]e²uwfj]hr ²´M|~ileZk^nime<nhjs<tfgime<t§ Rsoim[p;ofrnplZZ|~impmn@XZ]\t¶pq|~]
(112) ]!Y²nfj]e¨odoiwilhrtRoX<pqonil[ Zhj][ ]e¨oRo~XZ]im|]ofrnplhple<pqhjutvfrt§ fgeZfgo] Z|~]· nfjtfjile]¡]\no~t
(113) pl|]il¢ o]e¤tsZxo~hg]ple< ¥[ ]|~kl]\ ¥´MfgoX¤ewsZ[ ]|~ils%t!pqe< ¤ fY²nsZhgoiloXZ]\|plt%]n#o@t§ Å/]o s%tnfo~]doXZ]]¡]\no~t,il¢nime< fgofjile/«wo~XZ]sZe< ]\|hjfjeZ]\ .Z|~]\t]e<n]¶il¢tvfjeZkmsZhjpl|fgofj]\t\« Zp;o@p]\||~il|@t\«lo~|sZe%np;· o~fgime²]|~|~il|@t«¨pqhjklil|~fgoXZ[ to@pqxZfjhjfoum«mZ|~ily]|ofj]\t:iq¢ ?%imp;o~fge<k
(114) %imfge¨oMpq|~fo~XZ[ ]o~fjnl«m]\hg]\[^]\e¨o~pq|~u^¢©sZe<nofjile<t ¢õplfo~X¢©sZhjeZ]\t~t\«lhjfgxZ|@pq|~u
(115) ]\£lilhjso~fgime<t«mnil[ Zfjhj]|@t ilo~fgime<t\«q´:iwimhghjut%]nf %npqofjile<til¢y<|imkl|@pq[ [ fgeZkhrpqe· kms<pqkm]\t\«§§§~W,XZ]|~]¢©im|]m«/pqso~il[p;o~fjn plZZ|~impln@X<]\tdnpqeeZiqople<t´:]\|¶sZe<fg£m]|@tplhghjul§ÂÃo i"eZiqo!|~]Zhrpln] o~XZ] @weZi;´Mhj]\ km]¶il¢ewsZ[ ]|~fjn\pqh/tiq¢ o´,pq|~]¶]ª%]\|voMxZso3X<]hj X<fg[5oi²nime <|~[ XZfrt,fge¨o~sZfo~fgime/§ Àw¿ ¼ Á ¼ \m W,XZ]3pqsZoXZim| oX<pl e @t Nm]\pqeZ·Ãpl|fj]3¬:XZ]\teZ]\plsª
(116) ¢©im| oXZ]¬RÄd¯RVhjfgx<|~pl|u ple< ¤XZfrt^XZ]hj ZsZ|fjeZkfo@ts%tv]m«Ipq|@nÄdpqs<[ pmtple< ¬:hrpqfj|] fgeZilo¢©im|£;plhgs<plxZhj] frt~ns<t~tvfjile%tpqe% PpqZhj]s<tv]m§ ) ),+) . ) 1. Bg%E Nm]\ple·¸pq|~fg].¬:X<]\teZ]\plsª § >"1
(117) ( 34/ & S0;-%( *H3e+ 43 !` /7- §cV¶pqxZfjhgfgo~pqofjile Ķfj|fjkl]\| ]t:3]\n@XZ]\|~n@XZ]t}W,XZ]tvfrt«6Ru eZfg£m]|@tvfgocR{}fg]\||~]R]o,Ppq|~fg]d¬:s<|fj]l«¨{ pq|~fjt\« |~ple<n]m«¨¯Ri;£l]\[· xy]|\l J § m ¸e |~]e%n@Xvn#§. B _E Nm]\ple·¸pq|~fg]¬:X<]\teZ]\plsª «y®¨o~cZX<pleZ]^ads<fghrpqfje/«pqe< Nm]\ple PRfjkleZ]t§3ÅpxZfjxZhgfjiqo~XZY\z¨sZ]¬RÄd¯R L <|ctv]\emo@p;o~fgime²]o,sofjhjfjt~p;o~fgime/§Ppqews<pqhE«63u eZfj£l]\|~tfgocR{§]oM³§Z¬:s<|fj]l«w{ pq|~fjt\«¯3i;£m][xy]|d\ml<§ £;pqfjhjplxZhj]pqo Ru 3Å
(118) !#"$&%(')*+(,(#<« m fje |~]e<n@Xvn§ B E Nm]\ple·¸pq|~fg]:¬:X<]\teZ]\plsªple< Nm]\pqe P¶fgkmeZ]\t\§lź]\t ¢©ime< ]\[^]\e¨o~t ]}hE¹ pl|fgoXZ[ cofrzms<]:tvoin@X<pltvofrz¨sZ]l§ A - Aq3 $*8AQ%A / 2 .!/%A 0/T A «%<J m \;n Lj%D¨8J1%D8DmZ«wlm_Z§ /T-! *
(119) B D$E
(120) ad]\|[sZe< ³ÄdpqX<hjz¨sZfrto^pqe< 32 @l] 54l|@n@§ 560 -%/ 6 ¬:hjfg¡t\«<¯ %N «1du ®
(121) «/ R<D §Wº|@pqe<thrp;o] xwu¯R]\ "3e% ]|@tvime/§ B JE!¯Rfjn@X<ilhrplt N<§WVRfgkmX<pq["§. §{}|~]eZofrn]·"VRplhghE«}eZklhj]´iwi . 34%56/7 8!'l Q* >" $#%&&('l 560;-%/ 34 58/ &&60 §°®iwnfg]ou ¢©il| ¸e% s<tvo|~fjplhºpqe< 3<Zhgfj]\ "pqoXZ]\[p;ofrnt\«{}XZfjhrpl ]\hgZX<fjp<«Z{
(122) «>ud®
(123) «º\lmZ§ B E{IXZfghjfjZ%]źpqe<klhjilfrt§3so~il[p;o~fjndhjfgeZ]pq|3nil|~|]n#ofjileiq¢|~ils<e< fjeZk]\||~il|@t\§¯3s<[^]\|frnplh/3e<plhgutfjt 3]yil|o J$JZ«qpqe<n@X<]\tvo]|I¬:]\emo~|]:¢©il|:¬:im[ Zso~pqofjile<plhp;o~XZ][p;o~fjn\t«mpqe<n@X<]\tvo]|«;}eZkmhjple< « ¯Ri;£l]\[xy]|lmZ§33hrti.p£;pqfjhjplxZhj]pltR¯RM M]\t]\pl|~n@X3]yil|od37 1 7¨S_ 7Z«%ÄR]nq§\mlZ§y®wsZx· [ fgovo~]\ oi ÂW§ BKR
(124) E{IXZfghjfjZ%]ÅpqeZkmhgimfjt¶pqe< pqxZ|~frn]¯¶p;ofj£l]\hF§d±VXZ]\epqsZoil[pqofrn
(125) hjfgeZ]pq|dnil|~|~]\n#o~fgimeKiq¢}|~ilsZe% fge<k ]\||~il|@t frtI]ªZpln#o§ A8- AQ3 $*8A !A / 2 :9X.!/ -<; «m_ 7 LKJDm 16JD 7Z«wll<§}||@p;o~sZ[ fge m_ 7 L 7m_q<« lmZ§. vv. ñxwzy { | |.
(126) . 6& 1- H3 B 7E NmilX<efjn@X<pl]hIPn¯Rpl[ ]]l§"8xZfjxZhjfgimkl|@pqZXwuime|iwiqo@tiq¢Myilhju¨e<il[ fjplhjt\§ A 056"A 3 A /T &1A « DSR m n!L mZ 1l$< D «\mlZ§ m ®wsZZ<hg]\[^]\e¨o~pq|~u ±V±V±&xZfjxZhgfjilkm|~plZXwu.pqo4uR3Å . ! ('7 )*( #*
(127) /§6n#§. . B E
(128) a^§¨{]o~]|@t}pqe< ;N%§$V§m±Vfjh@wfje<tile/§y{}|@pln#o~fjn\pqh%Z|imxZhj][t}pq|~frtvfjeZkfge o~XZ]Rtilhjsofjileil¢ %imhguweZim[^frpqh ]z¨s<p;o~fgime<t§ A 1 A /T 3 «v71gL 18J «y\SwR m§. / A « Bj\EźilsZfrt d§q3plhghE§¬:ime¨£m]|~kl]\e<n]:iq¢yoXZ]3¯R]´,oime Z|in]\t~tºo~i![sZhgofjZhj]3tvimhgsZofjile<t\§ 560;-%/%A T 1L _8J 1 Rw«y\ml<§. Bjl%ECN%§®woiw]|ple< ¤!§ :s<hgfj|~t~n@X/§ 1/7*51%( " 560 -%/ 34Q '
(129) 2 }im|7@ «Zt]\nile< .]\ fgofjileº«/\mlZ§. §K®wZ|~fgeZkm]|·P ]\|hrpqk%«º¯3]\´. Bj_ECNm]\ple;PRfjkleZ]t§yc\|i![p;o~XZc[pqofrzms<]3]oµc|~ifgeZ¢©il|~[ pqofrz¨sZ]l§ - *$-! e !-%-! !A / 2 «1D m ln jL 1yZ«y\ 7 wR § m ¸e |]\e<n@Xvn#§. 9 8A -. A>34 $*8A. / &1A4 * Bj\ECNm]\ple P¶fgkmeZ]\t\§¤>tvoin@X<pmto~fjn.pq|~fo~XZ[ ]o~fjn¢©il|^|]\hgfrpqx<hg] tnfg]\emo~f yn.nil[ Zso@p;ofjileº§ O G 0 qAx& &0 A «y8J6LØ_qm 1Z_qZm«Z\ml<§. Bj%D$ECN¨pq[ ]tXV§;±Vfgh @wfge%tvime/§ - 56*&W 549:/ // W&,34 5 -z#%/7 /z-! %-! §<¯3ilo]\time^RZZhjfg] ^®nfg]\e<n] ¯Ri<§;m_Z«3V ]\|pq]\tvou¹ t®¨o~pqofjileZ]\|u Y²n]m«qÅ/ime< ileº«\lmZ§¨3hrtvi¶ZsZxZhjfjtXZ] xwu{}|~]e¨ofrn]·V¶pqhjhF« IeZklhj]´iwiw K¬:hjf¡ t«%¯ %N «1¶u ®§<M]\Z|fje¨o] .xwuĶi;£l]\|\«¯R]´}il|@y« l$D<§. . v y x.
(130) Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. ´ Editeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)
(131). ISSN 0249-6399.
(132)
Documents relatifs