Existence of Polynomial Solutions to Robust Convex Programming Problems

Texte intégral

(1)Existence of Polynomial Solutions to Robust Convex Programming Problems Pierre-Alexandre Bliman. To cite this version: Pierre-Alexandre Bliman. Existence of Polynomial Solutions to Robust Convex Programming Problems. [Research Report] RR-4910, INRIA. 2003. �inria-00071670�. HAL Id: inria-00071670 https://hal.inria.fr/inria-00071670 Submitted on 23 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Existence of Polynomial Solutions to Robust Convex Programming Problems Pierre-Alexandre Bliman. N° 4910 Août 2003. ISSN 0249-6399. ISRN INRIA/RR--4910--FR+ENG. THÈME 4. apport de recherche.

(3)

(4)

(5) !"# $ &%')(*!,+- /. 021 31 &4 3 215)(4 6 )7 8:9<;=;>9@?AB:9DC5EGF5H5;=9JI/BK8:LMENFPO QSRUT4VXW)Y[Z]\_^`VaUbdcfegîh<jW4e6h@klegîVX^dmncDen^`h@j o W)mqplmqenT>V/W=m

(6) rh<V/ksbiW4t_W=m uwvghDxyWez\_h{mnmnh |6c@kUkGh<vqe o W)vgW>r}RsW4v}r}RUW~jN Y{U>JZSh< leD<@)Z0kscD<W>m. 5>4fUD< W"mqRshf^`jenRs^`mjUhDegWenRscDe>PaUj o W4v[@W4jsW4v}cDbwrh<j o îen^`h@jsm>PcDj_pr4h@j_@W4tkUvgh@<vgc@VXV/^`jU*kUvgh@Ub`W4V o W kNW4j o ^`jUJr4h@j{en^`j_aUh@aGmqb`paUkNh@jmgr4c@b`c@v)kscDv}cDVXWegW4v}m4#cDj o mnh@b`fcDUb`W/h@vc@j{pfcDbàUWhDSenRsWb`cDeqegW4v^`jc UtlW o r4h@VXksc@re mnWe>Uc o VX^¡e}m

(7) c/Uvgc@jsr}R"h@ mnh@bàlen^`h@jGmw¢s£f¤¡¥f¦N£f§/¨ª©f¤5

(8) îenRvnW=mqkNW>reSenh/enRUW=mqW«ksc@vgc@VXWenW>vgm>¬5QSRU^`mSvgW>mnaUbieVcpNW)asmnWaUb®egh @W>jUW4v}cfegWSenv}c@regcDsbiWzc@kUkUvghtlîVcfegîh<jsm5hDvgh@UaGmye¯r4h@j_@W4t[kUvgh@<vgc@VXV/^`jU«kUvgh@Ub`W4Vm°

(9) ^¡egRfcDjU^dmqRsîjUr4h@jsmnW4vgfcfegî<W4jUW=mnm>¬ ±³²{´®µn¶· f¸#< |

(10) h<Uasmqe¹¯h@j_@W4tuwvnh<@v}cDVXVXîjss_u5h@b`p{jsh@VX^`c@bº\_h@bàlegîh<jsm. »S¼G½6¾}¿ÁÀlÂUÃfÄqÅ}ÆÆÅ=ÇqÈÉ}Å}ÊÈgËÌÆÅlÍ`Î>É>ÄKÏÈgË>Ð=ÄÑËÆDÄqÈlÍdÒÆÓ. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.

(11) #

(12) # !"# [

(13) !"1

(14) 1 ( 6

(15) 153)15&«#4 /. 15)(*! #

(16) h@asm

(17) VXh<j<egvnh<jsm o c@jsm6rW4eqegW)jUhDegW <asW@Gmnh@aGm o W>mrh@j o ^¡egîh<jsmS>j4v}cDb`W>m>_enh<alezkUvgh@sbiT>V/W o WkUvnh<@v}cDV/.

(18) Vcfegîh<j"rh<j{<WtlW o >kGW>j o c@j<eSrh<j<egîj_ UVXW>j<e o WzkGcDv}cDVXTegvnW=m°mgr4cDbdcD^`vgW>mPW4eSmnh@bàUUb`WzkNh@aUv°enh<alenW fcDb`W4aUv o W r4W4alt_Ñr^ o cDjGm aUjW>jsmnW4VsbiWr4h@VXksc<re

(19) Ut @®c o V/W4eaUjsWUv}cDjsr}RUW o W[mnh@bàlen^`h@jsmS¢U£D¤ ¥f¦ D§[¨ª©D¤ Xksc@vzv}cDkUkNh@vne rW=m6ksc@vgc@VXTenvgW>m>¬6¹¯W v!>mnaUb¡e}cfePkNW4al#e "4envgW

(20) alen^`biW

(21) kNh@asvP 4$j 4vgW4v o W>mPc@kUkUvghtlîVcfegîh<jsm r4cDbdrasb`c@UbiW=m o WSkUvgh@Ub`T4VXW>m o W

(22) kUvnh<@v}cDVXVcfegîh<jrh<j{<WtlW vgh@UasmqenW=m4Ucp{cDj{eSaUjr4h@jsmnW4vgfcfeg^`mnVXWegW4j o cDj{e6c@mnp{VXkleghDeg%^ {aUW>V/W>j{eS<W4v}'m &(>vnhG¬ ) · > µ + * " uwvnh<@v}cDVXVcfegîh<j"rh<j{<WtlW vnh<UasmqenW@s\lh@bàlen^`h@jsmSkNh@b`p_j ,@VX^dcDb`W>m.

(23) [ º15 ! w ÑjVXc@j_pkUvgc<reg^`r>cDb®cDkUkUb`^dr4cfegîh<jsmhD#r4h@j_@W4th@klegîVX^%&>cfegîh<j _enRsW o cfegc[hDºenRUW«kUvgh@Ub`W4V c@vnW«mnaUlxyW>re¯eghXaUjsrW>vqe}cD^`j{en^`W>m> VXW>c<mqaUvgW4VXW>j<e6W>vnvgh@v}m>lV/h o W>bib`^`jU"cDkskUvnhtl^`Vcfen^`h@jGm4¬Qºh Gj o env}c@regcDsbiW)VXWegRUh o mkGW>vnVXîeqen^`jUeghegc@W)^`j{enh"c<r4rh<aUj{e enRsW>mnW)îVXkNW4vnW>regîh<jsm>l^`mSegRUW)@h{cDb®hD n£

(24) }£f¦ ¢ n£ n©f§/§[¨ ¦ ll ¬ uwvgW4_^`h@asmvnW=rW>j<e«h@v _mzRsc@W/Wt_egW4jsmnî<W4b`p³myega o ^`W o enRUWXsc<mq^drvgh@UaGmye)rh<j{<Wt³kUvgh@<vgc@V/VX^`jUkUvgh@sbiW>VXm>mqW>W h@v6c[vgW>rW>j{e

(25) mnaUvg@W>p@¬ eSRGc@mSNW4W4jW>mqegc@Ub`^`mnRUW o enRGcfeSenRUW)vgh@sasmye

(26) rh<aUj{enW>vnksc@vqehD bi^`jUW>c@v

(27) kUvgh@@v}cDVXVX^`jU^dmSW {aU^`c@biW>j{e enhcmqegc@j o cDv o r4h@j_@W4tkUvgh@@v}cDVXVX^`jU[ksvnh<UbiW>Vm4_aUj o W4v6asmnasc@b rh@jGmyegvgc@îj{egmh<j"egRUW)kGW>vqegaUvgscfegîh<jsm slYs :¬ ale6^`j @W>jUW4v}cDb:=enRU^dm @h_h o jUW>6m o h_W=m#jshDe#Rsh@b o cDj_p«VXh@vgWwh<v {asc o vgcDen^drwkUvgh@<vgc@VXV/^`jU6c@j o r4h@jU^dr {asc o vgcDen^drPkUvgh@<vgc@V/VX^`jU kUvgh@Ub`W4Vm UN_! scDj o h<vzmqW>VX^ o W4 sjUîenW)kUvgh@<vgc@VXV/^`jU[kUvnh<Ub`W4Vm s! "¬ Ñj o W>W o sWtUrW>kle

(28) h@vzmnkNW>r^dcDbasjsrW>vqe}cD^`j<eyp mqenvgasregaUvnW=m4_egRUW>mnW«vnh<Uasmqe6rh@j_<WtkUvgh@<vgc@V/VX^`jU/kUvnh<Ub`W4VmScDvgW uP RscDv o ¬ Ñj enRUW=mqW¯rh@j o ^¡egîh<jsm>> W #Nh<vqe}mRsc@W5NW4W>j)VXc o W5enhzWtlRU^Ù^¡eºenv}c@re}cDUb`WPcDkUksvnhtl^`VXcDen^`h@jsmNh@{egRUWwbdcfenenW4v=% ¬ $sh@v {asc o vgcDen^dr cDj o rh<jU^dr {asc o vgcDen^dr°ksvnh<@v}cDVXVXîjUzkUvnh<Ub`W4Vm i_<{ &sc@j o h<v5mnW4VX^ o W GjU^¡egWSkUvnh<@v}cDVXVXîjszkUvgh@Ub`W4V'm i=l l (s& : mnasr}R/c@jh<kGW>vgcDen^`h@j^dm5kNh<mgmq^Ùb`W@@c@j o ^`jXrW4vnegc@îj/r4c<mqW=m4Dc<myegalenW

(29) rh<VXkUalegcDen^`h@jsm5W>@W>jkNW4vgV/îePenh W>mqen^`VcfegW )vnh<V-cDNhf@&W * mnh@VXW)cDkUkUvgh@ksvn^dcfegW4b`p o W sjsW o ¤ + 4¤ [-£ ,.

(30) }£D¦ (+ f© :/¨ ¦ ¬ 0wWe= c<mmgcfen^dmqp{^`jU³c@m)enRUW=mqWkUvgh@<vnW=mnm VcpJNW@#enRsW4p o h³jUhDeh #NW>v>#aUk enhh<aU1 v _jUhf

(31) b`W o <W@ egRUWkNh<mgmq^Ù^`biîeypegh o W=rvgW>c@mnW@GcDj o c<mqp_VXklenh@en^dr4c@bib`p"vgW4VXhf@W<lenRsW[cDkskUvnhtl^`Vcfen^`h@jW4vgvgh@v='¬ Ñjc@jcfeqegW4VXkleenhkUvgh@<vnW=mnmS^`j*enRs^`m o ^`vnW=ren^`h@jº W¯kUvghf_^ o W°RUW>vnWczvgW>mnaUbie h<jWtl^dmyegW4jsr4W¯h@skNh@b`p{jsh@VX^`c@blmqh<bialegîh<jsmºenh @W4jsW4v}cDb{vnh<Uasmqe rh<j_@Wt)kUvgh@<vgc@VXV/^`jU6ksvnh<UbiW>Vm o W>kGW>j o ^`jU³h@j kscDv}cDVXW4enW4v}m>¬/mcVXcDeqegW4vh@°ªc@re>#h@klegîVcDb¯mqh<bialegîh<jsm hDenRUWr4h@jsmn^ o W4vgW o kUvnh<Ub`W4V VcpNWmqW>W4j @W>jUW4v}cDb`b`pJmqkNW>c _îjUG c<m«aUjsren^`h@jsmhDSenRsWkscDv}cDVXW4enW4v}m>º

(32) îenRaUjUksvnW=mnr4vn^`GW o vnW>@aUbdcDvg^¡eyp<¬ Sc@mn^dr4cDb`b`p@ egRUWvgW>mnaUbiegm«egh NW)WtlkGh{mqW o NW4b`hf kNW4vgVX^¡e

(33) eg3h 2yvgW4kUbdc@r4 W 4zegRU^dm

(34) aUj{env}c@regcDsbiW aUj _jUhf

(35) jaUjsren^`h@j*_pjUW4 aUj _jUhf

(36) jG m 5 enRsW o W4<vnW>W c@j o rh_ W 6r4îW>j{egm«hD°enRUWkNh@b`p_jUh@VX^dcDb:8¬ 7³h<vnW>hf@W4v=NenRUW>pW4jGmqaUvgW[enRscDe egRUWrh<jsmnW4vgcDen^`@W>jUW>mgm6h@°enRs^`m)ksvnhlrW o aUvgW[fc@jU^`mnRUW=m

(37) RUW>jegRUW o W>@vgW4W«^`jsrvgW>c<mqW=m4¬wQSR_asm>sc/jscfegaUv}cDb jUW4t_ezmyegW4kenhr4h@VXkUb`WenW«egRU^dm

(38) kUvgh_r4W o asvnW«^dmSenhr4h@jsmn^ o W4vSenRsW)enRUW>h@vgWen ^dr4cDb`b`pmnîVXkUb`W4v6ksvnh<UbiW>V*sh@UegcD^`jUW o

(39) RsW4jc@mgmnaUVXîjUXkNh@b`p_jUh@VX^dcDb o W>kGW>j o W>jsrW

(40) îenR³vgW>mnkNW>rezenhXenRsWkscDv}cDVXW4enW4v}m>lhD enRsWmqh<bialegîh<jh@#egRUW)myega o ^`W o kUvgh@Ub`W4V*¬ QSRU^dm"^ o W=cRsc<m"NW4W>j cDkskUbi^`W o enhvnh<UasmqemnW4VX^ o W sjUîenWkUvgh@@v}cDVXVX^`jUs9 ¬ c<mqW o h@j cvgW>mnaUb¡eh@jW4tl^`mqenW>jsrWhD kNh@b`p{jsh@VX^`c@bPmqh<bialegîh<jsm h@v egRU^`m eyp_kNWhDkUvnh<Ub`W4V:m & #mnasr}R cDj cDkUkUvgh<c<r}RRsc<m«kGW>vnVXîeqenW o enh³rh<jsmyegvnaGre«WtlkUb`^`r4^¡egbip cªc@VXîb`pMh@mye}cDj o cDv o mqW>V/^ o W4 sjUîenW kUvnh<@v}cDVXVXîjs ksvnh<UbiW>Vm"cDkskUvnhtl^`Vcfen^`jU

(41) îenR îjsr4vnW=c@mnîjss

(42) c@mnp_V/kUenhDeg^`r>cDb`bip kNW4vnW>re=_kUvnW=r^dmq^`h@jº{c@^`@W4j"vnh<Uasmqe¯mqW>VX^ o W4 sjUîenW kUvgh@@v}cDVXVX^`jU)kUvgh@Ub`W4; V `>& ¬wQSRUWzksvnW>{^`h@aGmPªcDVX^`bip^dm¯îj o WtlW o _p enRsW o W>@vgW4W6h@ enRsWaUj o W4vgbip_^`jUkNh@b`p_jUh@VX^dcDb®mqh<biaUen^`h@j _cDj o enRUW«rh_ W 6r4îW>j{egm¯hD egRUWbdcfenenW>v¯VcpXGW o W o asrW o vgh@V$enRsW mnh@bàlen^`h@jh@ enRsW r4h@vgvnW=mqkNh@j o îjUbi^`jUW>c@v¯VcDenvg^¡t^`jUW {asc@biîeyp@¬5QSRUW vnW=mqasb¡e}m¯<î<W4j^`jegRU^dm¯jshDenW«cDvgWz^`j o W>W o Wt_enW>jsmq^`h@j"hD enRsW)¯h<<v ^`=j & ºenh@W>jUW4v}cDbr4h@j_@W4tkUvnh<Ub`W4Vm4¬ QSRUWJr4W4j{env}cDbzvnW=mqaUbie"kUvgW>mnW4j{egW o RUW>vnW<6QSRUW4h<vnW>V @6r4h@jsmn^ o W4v}mvgh@UasmqeW=c@mnîU^`b`^¡eypkUvgh@Ub`W4V*> ¬ e^dm"cD enW4vgScDv o m cDkskUbi^`W o ^`j¹¯h<vnh<bibdcDvgp*enhegRUWXW>mqen^`VXcDen^`h@jhD°egRUWX¯h<vgmqeqÑr4c<mqWh@klegîVcDbPfc@biaUWXh@¯rh<j{<Wt³kUvgh@<vgc@V/VX^`jU"ksvnh<UbiW>Vm o W>kGW>j o ^`jUaUkNh@j*kscDv}cDVXW4enW4v}m>¬ 15

(43) º!}# ? @ Ñj*cDb`bGegRUW«kscDkNW4v=B A ^dm

(44) c/rh@VXksc<re

(45) mqW4e

(46) hDD CFEUcDj Ho G c[kUvnh<kGW>v

(47) rh@jsW^`j CFIw_^`jh@enRUW>vS¯h<v o mcXrb`h<mnW o r4h@j_@W4t"mqh<bi^ o cDj o kNh@^`j{enW o r4h@jUW<¬5Q#h G ^dm

(48) c@mgmqhlr4^`cDenW o c@masmnasc@bºc/kscDvnen^dcDb®h@v o W>vn^`jU/îJj CFIP o W>jUhDegW Lo KNM 5P_p o W sjUîen^`h@j . OQP'R<PSUT C I RNPVKNM.PSWXPDS!YLPZT[G]\. WcDbdmqhXrh<jsmq^ o W>vSenRUWmqenvg^`re

(49) kscDvnen^dcDbh<v o W>vn^`jUXc@mgmqhlr4^`cDenW o enh. G 5. OUP^RPDS_T C I R`P]aNM3PDSWbPDS!YLP]TcedgfhG]\. \_asr}R@W>jUW4v}cDb`^&>W o ^`jUW<aGcDb`^¡egîW=mmgcfeg^`mqpjU^drW kUvgh@kNW4vnen^`W>m>_c@VXh@jU[

(50) RU^`r}RenRsWzh<bib`hf

(51) îjs

(52) ^`bibNW«W>mnkGW=r^dcDb`bipX^`V/kNh@vnegc@j{e ^`jegRUWmnW {aUW4bi5 $Uh<v6cDj_p"mnW {aUW>jsrW PFj.K M8k RNPj1lmP"npomP"nqK M.k R I I cDj o 5 $sh@v6c@j{p PVaNM k I R enRUW>vnW)W4tl^`mqegh m r8stk R.u+P S u I a r omP[v]P S aNM k I \ QSRUW sv}mye

(53) vgW>mnaUbie6hDºegRUW)kUvgW>mnW4j{e6rh<j<egvn^Ùalegîh<j^dmenRsW«h@b`bihf

(54) ^`jUs¬ w%wyxzB{+|~}.

(55) +.

(56) _C LA ²_· ² . U © ¨ OD R S T C R.O"!.T A 5 l§ 1 U © 6 :"4¦^ . l. CFI. . © }

(57) £f¦ K¨ ¦s£ N, l¦

(58) K¨ª£D¦ G

(59) }£f¦ P¨/ Z :¢$

(60) +. £ $^ ©¨ª©4¤. RNO$#[T&% k R('*) R. ,+ #- v. + '`Y&#"./ S R0!1.'KNM2# ,+ %R0!1.%v + 'NY3#. ,+ S R4!1. \. y. ) &*. K. R ,+ DR4!1.ha M3k I \ <<¨ )©kGh<bip_jUh<V/^dcDb, l¦

(61) K¨ª£D¦ <; A l C !

(62) 0J s©. O<!3T A R ,+ ; + !1. R4!1.ha M.k \ I fcDbàUWXhDenRUWkGcDv}cDVXWegW4v ! egh* sj o= T C mqasr}RenRGcfe2 ,+ DR4!1.8aNM O"!3T A R879 T C. ) *. $Uh<v« UtlW o k º^dmc*rh@j_<WtkUvgh@<vgc@V/VX^`jU Uk vgh@Ub`W4V*¬5QSR_asm4<kUvgh@Ub`W4V;)K *5^`m¯c«vnh<Uasmqe°rh<j{<Wt/kUvnh<@v}cDV*¬ºQSRUW>h@vgW4V'zmye}cfegW>m5egRscfe=<I aUj o W4v¯@W4vgp<W4jUW>vgc@bUc@mgmqasV/kU en^`h@jGm4Umnh@b`fcDU^`biîeyphD#enRUW«bdcfenenW4vh<v6cDj_pfcDbàUWh@ºegRUW«kGW>vqegaUvnGcfen^`h@j@W=renh<v ! ^`j[A l^`m ?>+l¨/ f©f¤%¦ ¯egh[W4tl^`mqenW>jsrW«hD c mnh@bàlen^`h@jkGh<bip_jUh<VX^`c@b

(63) ^¡egRvgW>mnkNW>reSeghXenRUWr4h@VXkGh<jUW4j{e}mShD ! ¬ |

(64) W>VXc@<v XegRscfe6jshXr4h@j_@W4tl^¡eyph<v6rh@jsjUW>renW o jUW>mgm

(65) c@mgmqasV/kUen^`h@j^`mSVc o W h<jenRUWr4h@VXksc@re6mqW4Ne A ¬ @n£=-£ ,*A W« svgmqe6mqRshfenRsW)Wtl^`mqenW>jsrW«h@5cXrW>vqe}cD^`j PVT[cedgfG mnasr}R"egRscfe O"!8T A R8B(JT C C ,+ %R0!1.K M YEDgPGFIJL H K \ )ªg * M enRsW4vg

(66) ^`mnW@Gh@v«cDj_p P s M kUNegRUW4vgWW4t_^dmqegm !ONLT A mqasr}RenRscDeegRUW[ksvnW>{^`h@aGmzmnWe^dmW4VXkleyp@¬ Ñj³egRU^dm r>c@mnW@®rh<jsmq^ o W>v !QP cDjc<r4r4aUVaUbdcfegîh<jkNh@^`j<eShDºenRUW)mnW {aUW4jGrW !ON PLl kslcDj R o SPT C mqasr}R"enRscDEe ,+ SP R4!QPQ.'aNM k ¬ prh<j{en^`j{as^¡eyp< enRsW4vgWWtl^dmye kGh<îj{egm !ON P s M k I ®cDvgUîenv}cDvgîb`pr4bih{mqWvnh<V !QP ®c@j Jo PTP s M k I mqasr}RenRscDe>®mncp< ,+ I PgR4!ONS. KNM YED PTP ¬ QSR_asm>Ph@vXmqaGr}RMcDj P

(67) ^¡egR k a M Ppa M PUP wWRGc@W P=TVBW T C X Y ,+ %R0!ON.HK M YED PTPQF[Z

(68) BW>T C \ H K ºmnhWcDvgW[b`W o enh³c*rh<j{env}c o ^dregîh<j ¬[QSRU^dm)W=mye}cDUb`^`mnRUW=mzegRUWXfcDb`^ o îeyph@ )K *zh@vc*r4W4vnegcD^`j ,+ DR4!ON".1K M YEDgPGFJ] ] P T e c g d h f G kNh<mn^¡egî<W ¬ hf)_h<vSenRUW)<W>renh@v P ksvnW>{^`h@aGmqb`pWtlRU^ÙîenW o o W GjUW ^_ A la`WbSc&Rd!el ^f+ !1. J B(JT C C ,+ %R0!1.KNM Y`PGF \ ) Y* h@en^drW/enRGcfe«enRUWmnWen:fcDbàUW o VcD[k ^ VcDkGm A ^`j<eghenRUWXjUh<jl:<h@^ o rb`h<mnW o rh<j{<WtmnaUsmnWegm«h@ C ¬[m)cVcDeqenW>v«hD ªc@re>ºh@vc@j{p ! T A î Qj[lgUn h<vc*mqW {aUW4jsr4W jT ^f+ !1. #enRUW>&j ,+ jR4!1.l ,+ Un[R4!1. _pr4h@j{en^`j_aUîeyp@ºc@j o ,+ Un[R4!1.NK M Y`P Nmqh Un T ^f+ !1. 5°egRUWmnWhe ^f+ !1. ^`m6enR_asm6r4bih{mqW o ¬ M jegRUWh@enRUW>v6RscDj o G Ñrh@j_<Wtl^¡eypksvnh<kGW>vqey= p )y& * ^`V/ksbi^`W>m egRscfe=h@v)cDj_p !JT A ºcDj_p DR S T ^f+ !1. cDj o cDj_p #tTi% k R'*) ,+ #-v + ' Yj#"./ S R4!1.3KNMk# ,+ DR4!1."v + ' Y #". ,+ S R4!1.'KNM Y`l#!P Y[` + 'NY&#.-P J Y`P UcDj o enRs^`m

(69) W=mye}cDUb`^dmqRUW=m¯enRUWr4h@j_@W4t_îeyphD enRsWmqW4Ee ^f+ !1. ¬ eSenRU^dm

(70) kNh@^`j{e>Ub`We6asmSW=mye}cDUb`^dmqRenRGcfde ^ asb¡ sbdmSegRUW«h@b`bihf

(71) ^`jUXkUvgh@kNW4vneyphD¤iQ£ (§/¨

(72) }£f¦ K¨ ¦ l/¨ K¥fsmnW4W«W<¬ GU¬ :¬ ml² npoTq qKS· o r ds != © Ñ£g¢s£f¤i£ D¨

(73) }©D¤ :¢U©

(74) rt © § + i¨

(75) :¢s©

(76) (A 5 ©D¤ $?u §X©}v ¢ ^y, n£fw § s k£ t ¨ 4©fx¨ u b`hf¯W>vmqW>V/^drh<j{en^`j{ash@asm*© SP T s ¨ ,`,£ *©f¦sR¥ y P T ^f+ SPQ. ©D¦ u ©f¦G¥¦ 4¨ W!}£ 4U£=W£ ukz&+xy PW. -£ ,y P <<¨ © ¦ 4¨ {}£ 4s£>W£ u,z&+ P{. !

(77) ? U©. OJT. z&+ P . R ^f+ ".$| z&+}y P .hi JH K. \. ¨ 4©f¨xubihfW4v

(78) mnW4VX^`r4h@j{en^`j_aUh@aGm)¨ ,)¨/ °¨ )¤i£O + 4§/¨

(79) g£D¦! :¨ ¦!s£ )© ' ¥«¢s£f¨ ¦ P T s~A W4e !QP1T A SP1T ^f+ !QPW. !r.s kU¬PQºhksvnhf<Wzb`hf¯W>vSmnW4VX^drh<j<egîj_aUîeyph@p^cfe !QP s¯W«WtlRU^Ùîeds kmqaGr}R"egRscfe

(80) h<v W4<W4vgp !.T A

(81) îenR u! Y=! P u E a ®_enRUW>vnW)W4tl^`mqegm JT ^f+ !1. u?HY P u a r_¬ Ñj o W>W o l_pc@mgmqaUVXklegîh<j _enRsW4vgW W4tl^`mqegm "1T C mnasr}R"egRscfeh ,+ R0! P .'K M YEDgP ¬ $sh@v # T + k R'*) mnasr}RenRGcfe ^. #. b`We. K. r. ù Y= P u R C lJ 4 + 'NY&#.6SPhv#- @¬"ÑjkscDvnen^drasb`c@v>_egRU^`mS^`VXkUb`îW=m u? Y=SP u J F# u? Y=SPgu K. ) *. _¬. ` a r rO 8. w$.

(82) QSRUW G r4h@j_@W4tl^¡eypXkUvgh@kNW4vneyp)q~*^`V/ksbi^`W>megRscfe=lh@v6c@j{pRHs /k c@j o W4@W>vnp ,+ %R0!1.. KNM. J K M. !.T. A. + 'NY[#". ,+ P R4!1_. vj# ,+ R0!1. + N' Y[#". ,+ P R4! P .Uv# ,+ R4! P ._v + 'NY&#. ,+ P R4!1.DY ,+ P R0! P .v# ,+ R0!1.Y ,+ 0R ! P . Y` + N ' Y&#-. P Y=D9#P[v + 'NY&#. ,+ P R4!1.Y ,+ P R0! P . v# ,+ R4!1.DY ,+ R0! P . \. $Uh<v # aUbi sbib`^`jU )i*Ph@jUWRGc@m #P9T c dgf.G ¬QSR{aGm45_p r4h@j{en^`j_aUîeyph@h /5h@v[c@j_pr=sqkcDj o cDj_p # `^ jL+ k R') aUbi sb`bi^`jU )i*UenRUW>vnW«Wtl^dmye}mEHs kmqaGr}R"egRscfe. P u E a o ,+ P R4!1.DY ,+ P R0! P .'KNM2`l#!P'R ,+ R4!1.DY ,+ R4! P .hKNM `1#P \ îenR³egRU^`mr}RUh@^drW«h<vd®Gh<jUW)Rsc<mh ,+ DR4!1.`K M Y` + ''v~#". P v~`1#P J Y`P

(83) RUW>j u! Y=!QPBu E a ®¬SQSR_asm T ^f+ !1. kUvghf_^ o W o enRscDe ! T A cDj o u! Y&! P u E a ® ¬ Wr4h@jsr4bia o WegRscfeh^$^dm6b`hfW4vzr4h@j{en^`j_aUh@asmcfe ! P ¬zQSRU^dmc<r}RU^`W4@W=mSenRsW kUvgh_hD#h@ºegRUW)bihfW4v

(84) mnW4VX^drh@j{egîj_aUîeyphD^ o W sjUW o îjZ)Y*¬ W jshf cDkskUbip"enhI9 ^ 7³^`r}RGcDW4b mS\lW4b`W>regîh<j³QSRUW4h<vnW>V i>Y UmqW>WcDbdmqh[ :¬ t ©©f¦®©

(85) ? K¢s©

(86) WA p^,z© ( ²_· ² )Vq ² *

(87) i ² * ² D Kq ·So ²_· ² Q8 s !©§ ¨

(88) :¢s©

(89) * f©f¤ $?/ u §©g¢., n£f§Vs ¨ ¦! Ñ£8 $ 1

(90) ¤`£ (?u

(91) g£D¦! < ! (+ £-, tI ¤i£Q (4§[¨

(92) }£D¦! :¨ ¦!s£ A,:$ ¦ @¨ ls l tI¯ ©

(93) }£f¦! :¨ ¦!s£ (4¤

(94) + :¨ª£f¦:, n£f§ ^CA |

(95) W=r4cDb`bSenRGcfe"c mqW>biW=regîh<j vgh@V ^ ^dmcDj_p mnîjs@b`Wfc@biaUW o VXc@k mnasr}R egRscfe=h@vcDj_p T s T+ ". T ^f+ <. ¬ 6kskUbi^dr4cDen^`h@jh@PenRUW/kUvgW4_^`h@asm

(96) vgW>mnaUbiep_^`W4b o mzW4tl^`mqenW>jsrW[hD°c"r4h@j{en^`j_aUh@aGm6mqW>biW=regîh<j& A l C vnh<V ^ o W sjUW o ^`j u*! Y[!. Y ¬wQSRU^dmSaUjGren^`h@j*^dm

(97) mqaGr}R"egRscfe ) *. O"!8T A R. ,+T+ !1. R0!1.KNM Y `P. \.

(98) e vnW>VcD^`jsmenhc@kUkUb`penhXW>c<r}Rh@#egRUW³rh<V/kNh@jsW4j{egmSh@enRUW«h<bib`hf

(99) îjs[vgW>mnaUbie>UmnW4W)W@¬ s¬U`@+:¬ ²_· ² ²9qK² >4fU=X# ·$q l qK·So ²_· ² Q +¥8

(100) }£D¦! :¨ ¦!s£ N }©D¤ ©D¤ $?u , l¦Q

(101) + :¨ª£f¦ku}w¦?u[£f¦³©

(102) }£f§z¢U©

(103) + !( DA £,`CFE w¨ ¤ ¨ §/¨/ S£,© (?> $¦Q

(104) ![£-,¢s£f¤¡¥f¦N£f§/¨ª©f¤ 0 U_¨

(105) ?L

(106) g£D¦! +i+ 1l¦s¨ ,£§/¤ ¥¨ ¦[AjA QSR_asm><egRUW)mqW>biW=regîh<j *kUvgW4_^`h@asmnb`p/W4tlRUîs^¡egW o ^`maUjUîh@vgV b`îVXîe

(107) îj A h@#c/mqW <asW4jsr4Wh@ )<W>renh@vn c@biasW o *wkGh<bip_jUh@ VX^`c@b`mS^`j ! "¬ Ñj*kscDvnen^draUbdcDv={enRUW>vnW«W4t_^dmqegm6c/kNh@b`p{jsh@VX^`c@b®aUjsren^`h@j "; A l C *mnasr}RenRscDe . ,+ ; + !1. R4!1.K. O"!3T A R. QSRU^dm6c@r}RsîW>@W>m°enRsW)kUvnh_h@#hDPQSRUW>h@vgW4V <¬. M Y`PZa M.k I. \. QSRUW>h@vgW4V

(108) ^dmwjshfc@kUkUb`îW o enh)egRUWz^dmnmnaUW

(109) h@N Gj o ^`jU)enRsWzh@v}myen r>c@mnW¯h<klen^`VcDbsfc@biaUWzhD crh<j_@Wt[h@lxyW=ren^`@W

(110) asj o W4v @W>jUW4v}cDb`^%&4W o îjsW {ascDb`îeyp"rh<jsmyegvgc@îj{e}m4¬ · · * *Kl ´ ! r + C$ A l CI#"C C k A l Cq 8

(111) }£D¦! :¨ ¦!s£ ", l¦

(112) :¨ª£f¦? G

(113) }£f¦ CP¨/ !:¢$

(114) ^ Ñ£ ' © ¨ª© 4¤ (A :"4¦ $&%(' c d-<B "+ %R0!1.. *),+. . T C. R , + %R0!1.aNM. k I. F. J .$ %(' ced-$B ""+ ; + !1. R0!1. ; ¢s£f¤ ¥f¦®£f§/¨ª©f¤ RhO"! S T A R ,+ ; + ! S . R0! S .'aNM k I F \ / ),+ ced-B "+ %R4!1. ;T C _R ,+ %R0!1.VaNM k F c@j o c<mnmnaUVXWegRscfe20 aXv43 @n£=£-,*Ah W4e10 1J 0 $.%(' ) enRsW r>c@mnW I 0 J v43 s

(115) RU^`r}RvgW {aU^`/vn),W=+ m

(116) myegvgc@î<R<enh@vgc@v o c o c@klegcDen^`h@jsm>_^`m

(117) b`W ezenh/enRUW)vgW>c o W4v *¬ $ ^`vgmqe>sh@jUW«Rsc<m4_h<v6W4<W4vgp !8T AV5 ced-B "+ "; + !1. R0!1. <; kGh<bip_jUh<VX^`c@b R'O"! S T A R ,+ <; + ! S . R4! S .'aNM k F65 ced-B "+ %R4!1. JT C R ,+ DR4!1.haNM k F o asW I I. enh/egRUW)îjGrbàsmq^`h@j*h@ºenRsW« svgmqe6mqW4e6îj_<h@b`@W o îjegRUWmqW=rh<j o h<jUW@¬PQSR_asm> 0 K $&%7' c d8-<B ""+ ; + !1. R4!1. ; kNh@b`p_jUh@VX^dcDb RO<! S T /),+. w%wyxzB{+|~}. A R. ,+ ; + ! S . R0! S .'aNM. k I. F \.

(118) M jenRUW[hDegRUW4v6RGcDj o N_p o W4 sjUîen^`h@j ced-B "+ %R4!1. LT C R ,+ DR4!1. aNM k F8K 0h@v6W>@W>vnp ! T A¬SQSR_asm>sh<v Dc j_pr8s kslh@vzc@j_p ! T AsenRUW>vnW)W4tl^`mqegm LT C ³mnasr}RenRGcfe8 ,+ %R4!1.àNM k I Dc j I o ""+ DR4!1.ha 0 v r_¬Ñj*hDenRsW4v6h@v o m> h@v6c@j_p r.s kU_enRsW«h@b`bihf

(119) ^`jUXkscDv}cDVXW4enW4vn o W4kNW4j o W4j{e D7J^`mW=c@mnîUb`W5 O"!.T A R?79 T C. ""+ %R0!1.Y 0 R k I. Y r. . b BM k I

(120) \ o W4 sjUW o h<jtCFI

(121) _pQ5+ R<P.[a b BM W a kc@j o aGmqWhDzQSRUW>h@vgW4V @ h@v/cDj_pr=s ks#egRUW4vgW"W4tl^`mqegm[c k. ,+ DR4I !1.. a. 6W>vnW<°W o W4jUh@enW{p a b BM enRUW*kUvgh o asreXh@v o W>v/ vgW4bdcfegîh<j P9a MLk ¬QSRUWrh@jsWHCY G ^`m[kUvgh@kNW4v[îj]CFI

(122) wc@j o 5_p ¢s£f¤ ¥f¦®£f§/I ¨ª©f¤5VcDk "; A l C *mnasr}R"egRscfe O"!3T A R ,+ ; + !1. R4!1.aNM k c@j o "+ ; + !1. R4!1.a I . QSR_asm>_h@v6cDj_p mnhs_h@v6c@j_p. r8s. ced-B. "+ . r.s. k. U. $.%(' ced-B "+ . *),+. s_h@v

(123) W>@W4vgp k. ; + !1. R0!1. ; ; + !1. R4!1. ;. QSRU^dm

(124) vgW>mnaUb¡e}m sjsc@bib`p^`j_5. kNh@b`p{jsh@VX^`c@b R'O"! S. !8T. 0. v r \. A. kNh@b`p_jUh@VX^dcDb RO<! S T. T A R. ,+ ; + ! S . R0! S . aNM. F K k I 3. A R. ,+ ; + ! S . R0! S '. aNM. F K k I 3. ""+ . ; + !1. R0!1.a 0. v r R. ""+ ; + !1. R4!1.ha *),+ 0. v r \. Gk h<bip_jUh<V/^dcDb R'O"!SUT A R ,+ ; + !S. R4!S.a M3k I F3K 0 R

(125) RUW>jsrW«egRUW)rbdcD^`V/W o W {ascDb`îeyp@¬PQSRU^dm

(126) W4j o menRUW)kUvgh_hD hDP¹¯h<vnh<bibdcDvgp"l¬ %

(127) f S1

(128) ¯

(129) `+)u5¬®6kfcDvg^dcDj ¬ ¬®Q#ascD]j ):D<@ *¬suPcDv}cDVXW4enW4vg%^ &4W o D7Jym6^`jJrh<j{envgh@b egRUW4h<vnp< 5 £B¦N©D¤5£D¦"!w£f¦ g£f¤P©f¦u # ¢ :¨ §/%¨ $>© K¨ª£D'¦ &)(jshYs=DYs+ *N= (DY Á& -,G¬ u5¬@6asUîjº_¬_¹¯W>bib`îjGc )y> D Y *

(130) ¬ .¨ / +!¦ K¨ª©D0¤ ¦

(131) 4¤ ¨ª£f¦ A1 32 ©D¤ $?u ©g¢ ©f"¦ u 2 ¨ª©4¨ ¤ ¨/ :¥k:"}£¥fs\_kUvgîjU<W4vn 4PW>vnbdcDG W>vnb`î5j 6W>^ o W4b`GW>vn W>S 0wh<<v Qºh {p<h ! ¬ W4jlÑQ#c@bKl¬ W>V/^`vghf_<m _"^ )y>< g*¬U|

(132) h<Uasmqe

(133) r4h@j_@W4th@klegîVX%^ &>cDen^`h@j © -Aw-£ , # $¢ +A16 A !&jUhXYGG (@3 *< Y ! ¬ W4jlÑQ#c@bKl¬ W>V/^`vghf_<m _"^ )y><@g *¬U|

(134) h<Uasmqe

(135) mnh@bàlegîh<jsmenhXaUjsr4W4vnegc@îj*b`îjUW=cDvSkUvgh@<vgc@VXm> # ¢ A16 A . 6A !87 + *N> &D ¬ W4jlÑQ cDb:T °:¬ 9w<b ; RscDh<aU^:p °¬ W4VXîvghflm _^ ):D<@ *¬º|

(136) h<Uasmqe[mqW>VX^ o W4 sjUîenWkUvnh<@v}cDVXVXîjssw¨ >¦ =©D¦ u}£=@£ ? £D¦ §/x¨ u}w¦G/¨ r@n£ g©f§/§[¨ ¦ D ¬ h@b @hf

(137) ^d r &<_|¬G\lcD^`<c@bK °¬ 4wcDj o W4j_GW>vn<RUW«W o m>¬` A«bia_W4v

(138)

(139) r4c o W4VX^dr«uwaUUb`^dmqRl W>vgm>B ¯h{myegh@5j zh<v o vnW=r}R<Ee h<j o h<j ><B *N~ (< (! ¬ W4jlÑQ#c@bKU¬ W>VXîvghflm _"^ )K@@< *¬ M jenv}c@regcDsbiW)cDkskUvnhtl^`Vcfen^`h@jGm°h@ aUjGrW4vnegc@îjb`îjUW=cDv

(140) Vcfegvnît"^`jUW {asc@biîen^`W>m c #NW=renW o _pîj{enW>vnfc@baUjsrW>vqe}cD^`j{eyp@8 0 5C A # Q¢ K¨ I§ A !jUhs U@+ *<@ ~ Q ¬ W>jl Q cDb:¬ W>VXîvghflm _h^ )KD<< *¬®|

(141) h@UaGmye)mqh<biaUen^`h@jsmhD°asjsrW>vqe}cD^`j {asc o v}cfeg^`r[cDj o rh<jU^`r {asc o v}cfen^dr)kUvgh@U b`W4Vm> 0 5DC A # ¢ :¨ I§ A &*jUhl! @ B*B(< ¬ W4jU Q cDb:G¬ W4VXîvghflm _^^ )enhcDkUkNW>c@v *¬G|

(142) h<Uasmqeh@kUen^`V/%^ &>cDen^`h@Ej *[7WenRsh o h@b`h@@p*cDj o cDkUkUb`^dr4cfegîh<jsm> © §© :¨

(143) }©f¤ @g<£ n©f§/§/¨ g¦ GF ¨ H )u5¬ Q ¬ b`îVc@]j ) eghcDkskGW=cD v *¬®6jJW4tl^`mqenW>jsrW[vnW=mqaUbiezh<vkNh@b`p_jUh@VX^dcDb mqh<bialegîh<jsmhDwksc@vgc@V/W4enW>vq o W4kNW4j o W4j{he D7Jym4 N¥ 6A5©f"¦ uI!w£f¦ /A . 6A `> )u5¬ % ¬ bi^`VcDj )KD<@g *¬ M j kGh{mqîen^`@W>jUW>mgm«hDVXcDenvg^¡t_ fcDbàUW o kGh<bip_jUh<VX^`c@b`m«cDj o vgh@sasmyemnW4VX^ o W sjs^¡egWkUvnh<@v}cDV/ VX^`jUs@|6W4kNh@vne5vgW>mnW>c@vgr}RjUh)Y<< (U& N| y¬@#fcD^`b`c@Ub`Wh<jUb`îjUW

(144) cDe J0K0KL<MONNP0P0P<QSRTURBVWQYXUZNU0U[U0KNUU8\B]0^0_0àQJ0Kb8c $&%(' c d-(B ""+ . *),+. ; + !1. R4!1. ;. w$.

(145) `@ -,G¬ z^`W4a o h@jUj )q>(< *¬#£l¦"u@© :¨ª£f¦$ £, £Wu ¦ 5 ¦N©f¤¡¥ }¨ D9wjUbdcDvg@W o cDj o r4h@vgvnW=renW o kUvgîj{egîjUG¬SuwaUvgW c@j o zkUkUb`îW o 7JcfenRsW4Vcfeg^`r>m<4Ph@b:¬ >Dil

(146) r4c o W4VX^dr uwvnW=mnm> W>S 0wh<v< h@j o h@j `=& ° ¬ 9°b ; RscDh<aU^K ¬ W4svnW4e )q>@_*¬<|

(147) h<Uasmqe

(148) mnh@bàlegîh<jsmwegh[b`W>c<myen m!{ascDvgW>m°kUvgh@Ub`W4Vm

(149) ^¡egR"aUjGrW4vnegc@îj o cfe}cU80 5 A © i¨ 5 ¦®©f¤ A 5 ¢@¢®¤ A (º >< B*N> (DY `> ° ¬ 9°b ; RscDh<aU^KB $¬ M asmqenvgp@ ¬ W>UvgW1e )y>< g*¬_|

(150) h@UaGmye

(151) mqh<biaUen^`h@jsm¯enh/aUjsr4W4vnegc@îj"mnW4VX^ o W GjU^¡egW«kUvnh<@v}cDVm>Z 0 5 A5£f¦ # Q¢ K¨ I§ A s<B *@ `4Y 96 ¬ 7³^`r}RGcDW4b )q>g ( *¬s¹¯h@j{en^`j_aUh@asm

(152) mnW4b`W>ren^`h@jsm 5 ¦G¦N©D¤ )£ , © A8& U (U *l s +. w%wyxzB{+|~}.

(153) Unité de recherche INRIA Rocquencourt Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France) Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France).

(154). . ISSN 0249-6399.

(155)