A New Range Reduction Algorithm

Texte intégral

(1)A New Range Reduction Algorithm David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. To cite this version: David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. A New Range Reduction Algorithm. [Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001. �inria-00072320�. HAL Id: inria-00072320 https://hal.inria.fr/inria-00072320 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. A new range reduction algorithm David Defour , Peter Kornerup , Jean-Michel Muller , Nathalie Revol. No 4267 Septembre 2001. ISSN 0249-6399. ISRN INRIA/RR--4267--FR+ENG. ` THEME 2. apport de recherche.

(3)

(4)

(5) "!$#&%'(*),+.- /1032546(879(8/:;+./1<(=/1->5?2A@B(=B<CED'#&FHG (8I6DJ- I&IK(=/1L;2AMN79G5NI&#&( O;(*!.+.IQP RTSVU9WYX;Z;[]\_^9`bacXedcf"ghaci9acX9d X9j ilk=dci9mbdnpoBW;q f"dracstmVX uvf=wpX9j xyv^9`$k=arvX zyk={b{ f"vpj |bX_vXHiESVX9viSVX}`~htZh[ BX9{bjX9W;qbvX Zhh.[ l {$k=gXHn. 3Hl8bh zyk=`bgX_vXH|.mVi9jpacf"àcn k X9o3{ f"ar`tjTf"vgX9jpjpar`bgk"iHi9mbvEk=jX;X9dcX9WYX9`tjEk=vpoQmb`Vi9jpacf"` vf"mbjpar`VXHn*yXar`tjpvfB|.mViHXkY`VX9k=drgf"vparjpSbW jpS$k=jacn ,k"npj Qf"var`b{bmbj_k=vpghmbWYX9`Njneq X9dcf"`bghar`bg jf jpSVX¡WYfhnpj iHf"WWYf"`|bf"W¢k=ar`Vnl£VoX9jyk"iHi9mbvEk=jX¡fl¤X9vyjpSVX&mbdrd¥|bf"mbqbdcXe{bvXHi9acnpacf"`¦vEk=`bgXh ® dcX9WYX9`tjEk=vpo¯Qmb`Vi9jpacf"`Vnl£±°²f"W{bmbjX9v³k=vparjpSbWYX9jpacih£´zyk=`bgXµvXH|.mVi9jpacf"À£ §¦¨© ª«¬ 8h ¶dcfk=jpar`bg"·¸uf"ar`tj_x vparjpSbWYX9jpacih. ¹»º¼¾½,¿lÀ ¼ÂÁÃr½,ÄÅHÆ Ç5ÈVÉ,ÊËQÌ¾Í5ÎÏ¥ÐÑ8ÒÔÓVÏÑÂÕÖHÊ1×"ÒEØKÏÐØQÙYÙ¥Ð¥Ó$ÏÙ¥ØKÐÓ5ÚEÕNØ&ÈbÚ1ÓVÛÊ1ÜÝÌAÏÊEÉ,Þ ßÔÜÝÌAÑ*à8áhâãÉ,äÝÌà8É,ÌAå*Ì5ÕtÖ9Ê1×NÚ9æ8É¸ßÔ×8ÛÌ ç¥è Ìá=ßEÉÍ,ÞÌ×HÍ ÊEéê_ßEÍ,ë8ÌÞ ßEÍ,äÝÛìßÔ×=å_ÎÊÔÞá=à8Í,Ì¾É¥Ñ*ÛäÝÌ×8ÛÌ1Ú"íå8Ì×8ìÌî×8äðï1ÌãÉ,ìäñÍ&ÖHÚ è Ì×8Þ ßEÉ,ò ó ÎÏÐÑÚEÈbÉ,ÊËQÌãÍ ÎÏÐÑ=ÒEÓ$ÏÑôÕÖHÊ1×"ÒEØKÏÐØQÙYÙ¥Ð¥Ó$ÏÙ¥ØKÐÓ5ÚÕNØ&È.Ú1ÓVÛÊÔÜðÌ5Ï¥ÊÔÉ,Þ ßEÜðÌ5Ñ*à=áhâ¾É,äðÌãà8É,Ì å*Ì5ÕtÖ9Ê1×NÚ æ8É¸ßÔ×8ÛÌ õ ÕBßEöhÊÔÉ¸ßEÍ,ÊÔäñÉ,ÌyÙÏíÂÚtî×8äÝï9ÌãÉ,ìäñÍ,âå8Ì ÕtäÝÜðÜÝÌ_÷ ßE×"åØKÏÐØQÙôÚtÈVÉ,ÊËQÌãÍTÎÏÐÑ=ÒEÓ$ÏÑ;ÕÖHÊ1×"ÒEØKÏÐØQÙ'Ù¥Ð¥ÓVø ÏÙ¥ØKÐÓ5Ú*ÕNØ&È.Ú"ÓVÛÊ1ÜÝÌôÏÊEÉ,Þ ßÔÜÝÌôÑlà=áhâãÉ,äÝÌà*É,Ìå8ÌôÕÖHÊ1×tÚ=æ*É¸ßÔ×=ÛãÌ. Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France) Téléphone : 04 76 61 52 00 - International: +33 4 76 61 52 00 Télécopie : 04 76 61 52 52 - International: +33 4 76 61 52 52.

(6) ¦ ¯}AE , y

(7) k v^H|.mVi9jpacf"` |Ýk=vpghmbWYX9`NjYXHnpjmb`VX3^9jEk={ X3i9vpmVi9a k=dcX3{ f"mbvf"qbjX9`barv|bXHn{bvf=·. ghvEk=WWYXHn{bv^Hi9acn|bX ilk=dci9mbde|bXHnf"`Vi9jpacf"`Vn^9dc^9WYX9`tjEk=arvXHnlyf"mVn{bvf"{ fhnf"`Vnmb` `Vf"mb¤X9d k=drgf"vparjpSbWYX±sNmba_XHnpj3vEk={bac|bX´{ f"mbv3dcXHnk=vpghmbWYX9`Njn¦|ñX9`tjpv^HX dcXHn{bdrmVniHf"mbvEk=`tjnl£yjf"mbjX9` ^9jEk=`Nj3{bv^Hi9acn3{ f"mbvYjf"mVn¢dcXHnk=vpghmbWYX9`tjnvX9{bv^HnX9`NjEk=qbdcXHnX9` ¤BarvpghmbdcX$f"jpjEk=`NjX|bf"mbqbdcX {bv^Hi9acnacf"`h ¬ l ª ¶Vf"`Vi9jpacf"`Vn ^9dc^9WYX9`tjEk=arvXHn*£k=vparjpSbWY^9jpacsNmVX |bXHnJf"v|.ar`$k=jX9mbvnl£¢zy^H|.mVi9jpacf"` |Ýk=vpghmbWYX9`Njl£arvpghmbdcX$f"jpjEk=`tjXh.

(8)

(9)

(10) !" . # $ y$ e RTSVXk=drgf"vparjpSbWYnmVnXH|f"vyX9¤hk=drm$k=jpar`bgX9dcX9WYX9`NjEk=vpo¦Qmb`Vi9jpacf"`Vnyf"`bdroghar¤XiHf"vpvXHi9jyvXHnmbdrjn a» jpSVXk=vpghmbWYX9`tjacn arjpSbar`´kYghar¤X9`npW¢k=drdar`tjX9vp¤hk=d,£$mVnpm$k=drdroiHX9`NjX9vXH|´k=j&%lX9vfbTR¥f¢X9¤hk=drm$k=jX k=`X9dcX9WYX9`NjEk=vpo&mb`Vi9jpacf"( ` '*) +-,f"v k=`t. o +¥£.arjacnT`VXHiHXHnnÔk=vpo¢j0 f /V`V|nf"WY2X 1¸jpvEk=`Vnf"vpW¢k=jpacf"4` 3 jpS$k=j W¢k=XHnarj { fhnnparqbdcX_jf|bXH|.mViH X '*) +-,6&vf"W nEf"WYXe¤"k=drmV6X 57) + 0 ,1£.SVX9vX W +@? 8 + 0 £Vilk=drdcXH|jpSVX 94:(

(11) ;"<= £bacn |bXH|.mViHXH|¦&vf"> 8 +X9¤"0 k=drqm$X9k=dcf"jpac`bf"g`nf=jA f 5jp SVX3iHf"`t¤X9vpgX9`ViHX|bf"W¢k=ar` f= jpSVX3k=drgf"vparjpSbW arW{bdcX9WYX9`NjXH| Qf"vjpSVX B¾` {bvEk"i9jpaciHXh£vEk=`bgXvXH|.mVi9jpacf"` `VXHXH|bnyilk=vX;Qf"vyjpSVX;jpvpargf"`Vf"WYX9jpvpaciQmb`Vi9jpacf"`Vnl ³arjpS jpSVXHnEX Qmb`Vi9jpacf"`Vnl£ + 0 acn XHsNm$k=dAjC f +.DFEHG£.SVX9vX Eacn k=`¦ar`tjX9gX9v_k=`VI | G k=` ar`tjX9gX9v Wmbdrjpar{bdcX;f= JLKNM xO { fNf"vvEk=`bgX vXH|.mVi9jpacf"`µWYX9jpSVfB| W¢kHo³dcXlk"| jf ilk=jEk"njpvf"{bSbaci'k"iHi9mbvEk"i9o {bvf"qbdcX9WYn SVX9` jpSVXar`b{bmbj¡k=vpghmbWYX9`tjn¡k=vXd k=vpgX f"vi9dcfhnXjfk=`ár`NjX9gX9v_W;mbdrjpar{bdcXf=P GYQ B¾j acn_Xlk"npo jf mb`V|bX9vnpjEk=`V|JSto'kq$k"|JvEk=`bgXYvXH|.mVi9jpacf"` k=drgf"vparjpSbW ghar¤XHn;ar`$k"iHi9mbvEk=jXvXHnpmbdrjn*RTSVX `$k=ar¤X¡WYX9jpSVfN|¦iHf"`Vnacnpjn f={X9vf"vpWar`bgYjpSVXeiHf"W{bmbjEk=jpacf"`Vn. E R S .G + T + 0 R +UDEHG mVnar`bg¢jpSVX¡W¢k"iESbar`VX{bvXHi9acnpacf"À ³SVX9`VEHG acnyi9dcfhnEX¡jf<+£k=drWYfhnjk=drdjpSVX k"iHi9mbvEk"i9o£a»`Vf"j k=drd,£ acn_dcfhnjeSVX9`±{X9vf"vpWar`bgjpSVX npmbqbjpvEk"i9jpacf"`W+XDYEH G ;¶$f"vear`VnpjEk=`ViHXh£5a»ZG[R k=`V| +WR^]9_ M`9àMb ]9c¦jpSVXiHf"vpvXHi9je¤hk=drmVX f=d+ 0 acneD&f b f9f9f9f9f9f9f9fg `h ] haM haM h gfZiii¾£5k=`V|´JLjpSVK \X iHf"v· vXHn{f"`V|.ar`bg3¤"k=drmVXf=jEacnQc h \9\ fk.6larvXHi9jpdro¦iHf"W{bmbjpar`bgm+UDnE JLK \ f"` kYilk=dci9mbd k=jf"varjpS _8·¸|.argharjTk=vparjpSbWYX9jpaci0ok"nEnpmbWar`bg¡vf"mb`V|.ar`bgjfejpSVX `VXlk=vXHnpjl£Bk=`V|YvX9{bd k"i9ar`bg JLK \ qtojpSVX `VXlk=v· XHnjXpVk"i9jpdrot·,vX9{bvXHnEX9`tjEk=qbdcX `tmbWqX9v O £ jpSVX9`±f"`VXgX9jneD b f \h \aM h ` f9fbqX9`ViHXh£ npmViS±k¢{fBf"v vEk=`bgXYvXH|.mVi9jpacf"`J²f"mbdc|dcXlk"|±jf k¦iHf"W{bmbjXH|¤hk=drmVX¢f=ZrstN) +7e, XHstm$k=dôjfD&f b f \h \aM9M\9\ .k £ SVX9vXlk"n jpSVXeiHf"vpvXHi9j ¤hk=drmVX_acn&f b f9f9f9f9f9f9f9fg `h ] haM haM h gfHgu]] \ c] bbb xvV/ vnpjnf"drmbjpacf"`µjf f*¤X9viHf"WYX±jpSVX {bvf"qbdcX9W iHf"`Vnpacnpjnf=mVnpar`bg W;mbdrjpar{bdcX±{bvXHi9acnacf"` k=vparjpSbWYX9jpacih£ôqbmbjjpSbacnW¢kHo'W¢k=X¢jpSVXiHf"W{bmbjEk=jpacf"` W;mViES ndcflÂX9vlx´ w f"vXHfl¤X9vl£arjacn`Vf"j jpS$k=jXlk"npo¢jf{bvXH|.aci9jTjpSVX{bvXHi9acnpacf"àrjpSSbaciSjpSVX_iHf"W{bmbjEk=jpacf"` npSVf"mbdc|q X { X9vf"vpWYXH|5 w fhnpjôiHf"WWYf"`¢ar`b{bmbjÂk=vpghmbWYX9`tjn6jfejpSVXTjpvpargf"`Vf"WYX9jpvpaciQmb`Vi9jpacf"`VnÂk=vXnpW¢k=drdLQo nÔkHo£dcXHnEn jpS$k=`Y_ O £¥f"vnf"WYX9jparWYXHn;WYXH|.armbWyQo nEklo£q X9j¸²XHX9`Y _ k=`V|'k={b{bvf.p arW¢k=jX9dro \ z {NO RTSVX9ok=vX vEk=vX9dro3StmbgXCQo nEklo£.ghvXlk=jX9vjpS$k=` \ z { O XTk=`tjjf |bXHnpargh`WYX9jpSVfN|bnTjpS$k=j k=vXy,k"npj6f"v²jpSVX QvXHsNmVX9`tj ilk"nXHn*£Vk=`V| k"iHi9mbvEk=jX_f"v k=drdilk"nXHnl Ð¥Ð ×j|}~.

(12) 0 (; & N . . . .

(13). . ¶¥arvnjÂX²|bXHni9vparq X6ukHoB`VXk=`V| q_k=`VX9ñnWYX9jpSVfN| Ý BSbaciS{bvfl¤Bac|bXHnk=` k"iHi9mbvEk=jX²vEk=`bgX vXH|.mVi9jpacf"À£"qbmbj¥S$k"njpSVXÂ|.vEkHq$k"iEf=Vq X9ar`bg ,k=arvpdro¡XpB{ X9`Vnpar¤Xar`jX9vpW f=$f"{ X9vEk=jpacf"`Vnlx QjX9v k nSVf"vpj fl¤X9vp¤BacX9µQf"v iHf"W{bmbjpar`bg¢jpSVXeÂf"vnpj ilk"nEXh£.ar`¦jpSVXenXHiHf"`V|nXHi9jpacf"`¦²X_{bvXHnX9`tjyf"mbv k=drgf"vparjpSbW |bXH|.acilk=jXH|f"v;npW¢k=drd²k=`V|WYXH|.armbW na %lX¢k=vpghmbWYX9`tjl B¾`jpSVXjpSbarv|JnXHi9jpacf"`'²X iHf"W{$k=vX¢f"mbveWYX9jpSVfN| arjpSnf"WYXf"jpSVX9v;kl¤"k=ard k=qbdcXYWYX9jpSVfN|bnl£ASbaciSwmVnpjpa /$XHnejpSVX mVnX f= f"mbv k=drgf"vparjpSbW Qf"v nW¢k=drd¥k=`V|WYXH|.armbW npa %lXk=vpghmbWYX9`tjl . . !"#$"&%(')$"+*-,. %&/ 0214356"87:9<;5=>3?1@&A. Xyk"nnpmbWYXar`3jpSVXTQf"drdcf*ar`bgjpS$k=j6ÂX Tk=`tj²jfe{ X9vQf"vpW}vEk=`bgXvXH|.mVi9jpacf"`¢f"vôjpSVXjpvpargf"`Vf=· WYX9jpvpaci;Qmb`Vi9jpacf"`Vnl£VarjpW S G R JLKNM £5k=`V|¦jpS$k=jyjpSVX;iHf"`N¤X9vpgX9`ViHX|bf"W¢k=ar`´f=jpSVXk=drgf"vparjpSbW mVnEXH|f"v6X9¤"k=drm$k=jpar`bgjpSVXQmb`Vi9jpacf"`VnTiHf"`tjEk=ar`Vn 0R f JLKNM ôx `k"|Vk={bjEk=jpacf"`3jff"jpSVX9v²ilk"nEXHn acn npjpvEk=arghStjf"vp²k=v|5 ¶bvf"W k=` ar`b{bmbjYk=vpghmbWYX9`N< j +¥£²X3Tk=`tjjI f /V`V| jpSVXvXH|.mViHXH| k=vpghmbWYX9`N< j + 0 k=`V| k=` ar`NjX9gX96v E £.jpS$k=j nÔk=jpacn&o CB. (D FE. HG. JI. E R JM + o O M J + 0 R M J +mDWE `ViHX + 0 acnTN`Vf*À£.arj npm ¢iHXHnTjf B`Vfl E WYfB|(_ jfilk=dci9mbd k=jX t -) +7,²f"v&rsta) +7,6Qvf"W + 0 B, + acnYd k=vpgXh£²f"va» + acn¤X9vpo i9dcfhnEXjf'k´W;mbdrjpar{bdcX´f= JLKNM £ÂjpSVX |.arvXHi9jYmVnXf=<o O jf|bX9jX9vpWar`VX0+ 0 W¢kHo¦vXHsNmbarvX;jpSVXB`VfldcXH|.gX f= M KaJ arjpS¤X9vpo¦d k=vpgX{bvXHi9acnpacf"À£Ak=`V| k iHfhnj·¸XpB{ X9`Vnpar¤XW;mbdrjpar{bdcX{bvXHi9acnpacf"`±iHf"W{bmbjEk=jpacf"` a»ôÂXacnpS´jpSVX;vEk=`bgXvXH|.mVi9jpacf"` jf¢q X L. K. FO. NM. P. FQ. SRUT. k"iHi9mbvEk=jXh yf* dcX9j²mVn6{bvXHnEX9`tjTukloN`VXek=`V|Uqk=`VX9 ñn6vXH|.mVi9jpacf"`WYX9jpSVfB| Ý.£. ¸xynEnpmbWYXyk=` ·,qbarj W¢k=`NjpacnnEk.£ vEk"|.a p±Z $fk=jpar`bg{ f"ar`tjf"vpW¢k=j o&jpSVX`tmbW;q X9v¡f=Âqbarjn ar`Vi9drmV|bXHnejpSVX{fhnEnparqbdcX Sbac|b|bX9` qbaruj ? f"var`VnpjEk=`ViHXh£5arjpSk=` B ®ô®6® |bf"mbqbdcX1·,{bvXHi9acnpacf"`±f"vpW¢k=jl£ FR^]9c O X9j +±q X jpSVX $fk=jpar`bg"·,{ f"ar`tjek=vpghmbWYX9`tjyjfq X_vXH|.mViHXH| k=`V|dcX9j ¡qX_arjnmb`Nqba k"nXH| Xp.{ f"`VX9`tjl£Vnf V. W. X. YX. JX. [Z. +R \ SVX9vX acn²k=` ·,qbarjôar`NjX9gX9v²nÔk=jpacn&oBar`bg \ \ X ilk=`k"nnpmbWYX D g oQnar`ViHX a» D gh£b`Vf vXH|.mVi9jpacf"` acn `VXHiHXHnnEk=vpo O X9j i iii { q X jpSVXyar`4/V`barjXyqbar`$k=vpo¢XpB{$k=`Vnacf"`f= R M KaJ £bk=`V||bX/V`VXk=àr`tjX9gX9vT{$k=vEk=WYX9jX9v ¥£NmVnXH| jfn{XHi9a»Qo3jpSVX_vXHsNmbarvXH| k"iHi9mbvEk"i9o¦f=jpSVX_vEk=`bgXevXH|.mVi9jpacf"À6RTSVX9` vX9vparjX R M KaJ k"n X1&j ) 7, \ )w XH|.armbWI) 7, z arghStj ) 7, , \ ]\_^. f\. gX. H`Sa+b4ced \ji. b>a$dfh. [Zlk. b. Zmi. n. n. a$d. n. a o. n. a p. n. a+q. n. a r. s. n. n. ?Z@Ets u^. b>a `vcJoxw. ?Z@Ets. w. ?Z@Ets. u^. a+bya `za$d{ay| E. Ø&ÏÐØQÙ.

(14)

(15)

(16) !" SVX9vX. 1X &ja) 7, R iii wXH|.armbWI) 7, R { iii z arghStaj ) 7, R fb ¶arghmbvXYenSVfl n jpSbacn np{bdrarjpjpar`bg¢f=jpSVXeqbar`$k=vpoXpB{$k=`Vnpacf"`¦f= z arghStj X1Qj w´XH|.armbW ?Z4Ets. . n. . ?Z@Ets. n. n. b>a `vcJo n n b>a ` ced bya ` a+bya `za$d{ay| n n n n a+b>a `Sa o ay| a+b>a `Sa p ay| a+bya `za+qay|. n. ?Z4Ets. a$d. a+b>a `Sa r ay|. iii b. n. . . . iii iii { b iii ¶arghmbvX !

(17) !

(18) M KaJ & 9 9V" !4u RTSVX3q$k"naci¢ac|bXlk´f= jpSVXukHoB`VX1· q k=`VX9 vXH|.mVi9jpacf"` WYX9jpSVfN| acnjf`Vf"jpaciHX3jpS$k=jl£ôa» acn d k=vpgXX9`Vf"mbghSA£7 w XH|.armbWI) 7 , iHf"`tjEk=ar`VnjpSVXf"`bdro¦|.argharjnf= R M KaJ jpS$k=j W¢k=jpjX9vyQf"vyjpSVX vEk=`bgX¡vXH|.mVi9jpacf"À²Nar`ViHX M + R X1&j ) 7, (_ w´XH|.armbWI) 7, \ J z arghStj ) 7, \ jpSVX`NmbW;q X9v X1&ja) 7, U;_ acn k;W;mbdrjpar{bdcX;f=@._ £bnfjpS$k=jTf"`ViHXWmbdrjpar{bdracXH|qto JLKNM Qo nXHX ® s o O O £.arjardrdAS$kl¤Xe`Vf ar` VmVX9`ViHX¡f"`jpSVX_jpvpargf"`Vf"WYX9jpvpaci¡&mb`Vi9jpacf"`Vnl6z arghStja) 7, \ acndcXHnnjpS$k=` \ ?tjpSVX9vX1Qf"vXarjôilk=`¢qXTW¢k"|bX k"nnW¢k=drdk"nô|bXHnparvXH|qNo k"|bXHsNm$k=jX9dro iESVfNfhnar`bg ¥. n. n. 4I.

(19) . a$d. ` |. n. . n. bya `vcJo. .

(20) . bya `vced. v. . n. ` |. . a+b>a `za$d{ay|. v. . n. a+b>a `za o ay|. . . n.

(21) . ` |. . a+b>a `Sa p ay|. . . s. ?Z@Ets. n. ?Z@Ets u^. \. ^. ?Z@Ets u^. w. ?Z4Ets &^. \. ?Z@Ets C^. w. \j^. a ovb>ay|. \_^. a ovbyay|. E. ^. ?Z4Ets. a ovb>ay|. ^. \. ^. a+byay|. s. !. ')5#"%$. $"'&. )(. 3 "&%*&. 5=,+ 1-$+.+0/v5=. ,. $"&;,. %&/&021@356"21. u X9vf"vpWar`bg k=` X9vpvf"v k=`$k=dro.npacn f"v k vEk=`bgX vXH|.mVi9jpacf"`]k=drgf"vparjpSbW vXHsNmbarvXHn jpSVX B`VfldcXH|.gX f= jpSVX

(22) nW¢k=drdcXHnpj {fhnnarqbdcX vXH|.mViHXH| k=vpghmbWYX9`NjQf"vk=drd {fhnEnparqbdcX ar`b{bmbjn ar` kghar¤X9` Qf"vpW¢k=jl °²f"W{bmbjpar`bg jpSbacn ¤hk=drmVXµacn vEk=jpSVX9v Xlk"no£¦mVnpar`bg}k=` k=drgf"vparjpSbW |.mVX jf ¡k=S$k=` ok ° {bvf"ghvEk=W jpS$k=jµarW{bdcX9WYX9`tjn jpSVX WYX9jpSVfN| ilk=` qX f"mb`V| k=j x w k={bdcX {bvf"ghvEk=W acneghar¤X9`'ar` O RTSVX k=drgf"vparjpSbW mVnXHnjpSVXiHf"`tjpar`NmVXH| &vEk"i9jpacf"` jpSVXHf"vpo_¶Vf"v_ar`VnpjEk=`ViHXh£AkYQX9 War`tmbjXHnef=²ilk=dci9m.· d k=jpacf"`npm ¢iHX_je f /V`V|jpS$k=j jpSVXe|bf"mbqbdcX;{bvXHi9acnpacf"`¦`tmbWqX9v ghvXlk=jX9v jpS$k=( ` _.£$k=`V|dcXHnn jpS$k=` D e g b S c a i ¦ S c a. n 9 i c d h f n H X p n. j j Y f k W b m r d p j r a b { c d ; X = f c a n \z JLKNM 43. H. 5,66,798;:,:5,667=<>?@<BADCE,FGCH,CI=<;CKJLG:,MON,FDP5GPKQ. FQ. p. xR àM g9gf \h k `9\h9h ] h9haM \. \9\;b h9h ` ] M`h c9_9] \` ff9fk h k Jk=`V|jpSVX¡i9dcfhnEXHnpjW;mbdrjpar{bdcXf= JLKNM acn c b fk M k fc Wgf \ z b ^. R. RTSVX;|.acnpjEk=`ViHXeq X9j¸ÂXHX9`. a+qSOT. UR. V. Ð¥Ð ×j|}~. T. ^. a$dXWZY. a. o.

(23) 0 (; & N . . Bf a»ÂXk={b{bdrokvEk=`bgX¡vXH|.mVi9jpacf"`¦Qvf"W _ \ z D g jf k=vparjpSbWYX9jpacih£$ÂXedcfBfhnX¡k=jWYfhnpj ` geqbarjn f=ôk"iHi9mbvEk"i9o D 2E. G. p. . D. . D JLKNM JLKNM E.

(24). . ar` |bf"mbqbdcXe{bvXHi9acnacf"`. HG. E e e

(25) e. xnnEk=ac|ar`jpSVX¡ar`tjpvfB|.mVi9jpacf"À£$f"mbv gX9`VX9vEk=dA{bSbardcfhnEf"{bStoacnjpS$k=j ²XeW;mVnj ghar¤XevXHnpmbdrjn h k=dr²kloBnyiHf"vpvXHi9jl£$X9¤X9`f"vvEk=vX¡ilk"nXHnu? Z. k"n sNmbaciBdrok"n{ fhnnparqbdcXf"vQvXHstmVX9`Nj ilk"nXHnl x ²klojf¡|bXlk=dVarjpSYjpS$k=jÂacnjfeqbmbardc|kyk"npj²k=drgf"vparjpSbW f"var`b{bmbj²k=vpghmbWYX9`tjnÂarjpSk_nW¢k=drd Xp.{ f"`VX9`tjl£bk=`V|jf;mVnX_knpdcfl²X9v²oX9jnpjpardrd5k"iHi9mbvEk=jXek=drgf"vparjpSbW

(26) Qf"v²ar`b{bmbj k=vpghmbWYX9`tjarjpS¦k d k=vpgX;X pB{ f"`VX9`tjl Rf;|bfnfb£tar`¢jpSVXf"drdcflar`bgÂX fNi9mVnÂf"`¢ar`b{bmbj²k=vpghmbWYX9`NjnTarjpSk 1¸vXlk"nf"`$k=qbdro¢npW¢k=drd 3 X p.{ f"`VX9`tjlx wf"vX3{bvXHi9acnX9dro£²Xk"nEnpmbWYX¢jpS$k=jjpSVX|bf"mbqbdcX3{bvXHi9acnacf"` ar`b{bmbjk=vpghmbWYX9`tCj + S$k"nk=qVnf"drmbjX¤hk=drmVXdcXHnn;jpS$k=` \ z D ghYX¢k"nnmbWYXjpS$k=jukHoB`VX3k=`VF | qk=`VX9 ñneWYX9jpSVfB| ardrdTq X¢mVnEXH|f"vd k=vpgX9vYk=vpghmbWYX9`Njnl¶Vf"vnpjpvEk=arghSNjQf"vpTk=v| npoBWWYX9jpvpo'vXlk"nf"`Vnl£²Xilk=` k"nEnpmbWYXjpS$k=6j +'acny{ fhnparjpar¤Xh;X k=dcnEfk"nEnpmbWYXjpS$k=6j +'acnyd k=vpgX9vejpS$k=`f"veXHsNm$k=djm f _.¡X jpSVX9` {bvfNiHXHXH| k"nQf"drdcf* n hX |bX /V`VX ) +7,ôk"n +¢vf"mb`V|bXH|Yjf¡jpSVX`VXlk=vXHnpjôar`NjX9gX9vl£Bk=`V| .. ) +7,ôk"n +6D ) +7,1 f"jX jpS$k=j

(27) ) +-,_acn¡X pVk"i9jpdro vX9{bvXHnX9`tjEk=qbdcX3ar`'|bf"mbqbdcXY{bvXHi9acnacf"À£k=`V|±jpS$k=j¡Qf"v + \ £ ÂXS$kl¤X ) +-, Rfk=`V| ) +-,6R +x dcnEfb£Anpar`ViHC X + ^_.£jpSVXd k"npjeW¢k=`tjpacnEnEkqbarj;f=. ) +7,TS$k"nÂX9arghSNj ghvXlk=jX9v jpS$k=`f"v XHstm$k=dAjf \ ? Z. ) +-,²acn np{bdrarjar`Njf¢X9arghSt6j _8·,qbarj {$k=vpjn ) +-,¦iHf"`NjEk=ar`Vn qbarjV { ) +-,¦iHf"`NjEk=ar`Vn qbarjnxn f_ jjff hgu] f=f= )) +7+7,, ) +-,¦iHf"`NjEk=ar`Vn qbarjnng ` jf \ c f= ) +7, ) +-,¦iHf"`NjEk=ar`Vn qbarjn \aM jf c4g'f= ) +7, ) +-,¦iHf"`NjEk=ar`Vn qbarjx \ jjff c9k f=f= )) +7+7,, ) +-,¦iHf"`NjEk=ar`Vn qbarjnn Mc f ) +-,¦iHf"`NjEk=ar`Vn qbarjn _ jf M ]9]h f= ) +7, M z ) +-,¦iHf"`NjEk=ar`Vn qbarjx n ] ` jf ` c f= ) +7, nf jpS$k=j ) +-, R { ) +7, \ ) +-, \ z ) +-, bbb \ z ) +-, b I. p. I. B. B. k. B. r{o. Nk. a+qW. B. I. B. gB. . B. gB. d. B. gB. o. B. . gB. p. B B. gB. q. gB. r. . B. gB. B. B. B. w. gB. S. B. d. w. d. B. o. w. w. r. B. Ø&ÏÐØQÙ.

(28)

(29)

(30) !" . npmViSjpS$k=j ) +-,dR f f"v k=drd. h. yf"jX¡jpS$k=j ar`¦gX9`VX9vEk=d¥jpSVX9vX¡W¢kHoq X;k=`¦ar`NjX9gX9v. i. k $ . fB. xynWYX9`Njpacf"`VXH| k=qf*¤Xh£yf"mbvgfk=d_acn3jf k=drTkHo.n{bvfl¤Bac|bXíHf"vpvXHi9jvXHnmbdrjnX9¤X9`³f"v jpSVXY²f"vnpj;ilk"nXYQf"veSbaciESJ²XYdcfhnX ` g¢qbarjn;f= k"iHi9mbvEk"i9oRTSVX9`'²X`VXHXH|jfnpjf"vX ) ) +7,ÂWYfB| 0 JLK \ ,arjpSk=j dcXlk"npj ` go&dcXlk"|.ar`bUg %lX9vfhn O ]9co&`Vf"`.· %lX9vf3nparghR `ba g9/$g ilk=`tjyqbarjqbn arO jnl @oQX p.jpvEkghm$k=v|qbarjn O M Rf vXlk"iES jpS$k=j{bvXHi9acnpacf"À£Âk=drdTjpSVX`tmbWqX9vI n ) ) +-,ÂWYfN| 0 ,1£ÂSbaciS q X9dcf"`bg±jf D g K \ g K \ £Bk=vXÂnpjf"vXH|ar`jEk=qbdcXHnk"njpSVX²npmbW f=jpSbvXHXÂ|bf"mbJLqbK dcX²\ {bvXHi9acnpacf"``tmbWqX9vn jf \ f= ) ) \

(31) ,TWYfN| 0 JLK \ , )

(32) , iHf"`NjEk=ar`Vn qbarjn f=ÂX9arghSNj )

(33) ,iHf"`NjEk=ar`Vn qbarjn f=ÂX9arghSNj \ jf f= ) )

(34) ,TWYfN| 0 , )

(35) , iHf"`NjEk=ar`Vn qbarjn f=ÂX9arghSNj \ { jf \ f=&) ) \

(36) ,TWYfN| 0 JLK \ , \ \ \ JLK \ tB. w. s. w. w. s. tB. D. E w. I. WG. E. . . a$d. E. `. a+qW. a r. E. S. a.W. S. S. SVX9vX

(37) ca nek=`_8·,qbarjear`tjX9gX9vl f"jX jpS$k=j ) E

(38) , R ) E

(39) , R ) E

(40) , R f Qf"v

(41) R fb6 RTSVX¡jpSbvXHX¡jEk=qbdcXHn £ k=`V| `VXHXH|Wg9g`k" |b|.vXHnn qbarjnl6RTSVX¡jf"jEk=d k=WYf"mb`tjYf=WYX9WYf"vpo'vXHsNmbarvXH| qto'jpSVXH`nE X3jEk=qbdcXHn acnCc<i \ i _WR M _ _qNoNjXHnl'RTSVX a.W. a$d<q. W. S. -3. d{d. d k=vpgXHnpj { fhnnparqbdcX_¤hk=drmVXef=. . ) ) +7,TWYfN| 0 JLK \ , tB. w. ) +-, . { £ SbaciS acn dcXHnn jpS$k=`!. ¶bvf"W]jpSbacn±ÂX |bXH|.mViHX jpS$k=j acn qf"mb`V|bXH| qto \ J " ) +7,0R$#&% k=`V|JS$k"nk=qVnEf"drmbjX ) ) +-, ,' ) +-,eacnkWmbdrjpar{bdcXf=. ¤"k=drmVX´dcXHnnjpS$k=` { _. " I !4 F ( u= *)\ +) , - 9 ;

(42) ., 49 = 9 !" &o arjacnX9¤X9` vX9{bvXHnX9`NjEk=qbdcXarjpSY] \ qbarjn f"`bdro O RTSVX9vX1· Qf"vXh£ÂarjpS k iHf"vpvXHi9jpdro vf"mb`V|bXH| k=vparjpSbWYX9jpacinQo npmViS³k"njpSVX¦f"`VX{bvf*¤Nac|bXH| f"` k=`to npo.npjX9W jpS$k=j Qf"drdcf* njpSVXmB ®ô®6® ·ã 'npjEk=`V|Vk=v| f"v $fk=jpar`bg"·,{f"ar`Nj3k=vparjpSbWYX9jpaci O £²arj ardrdAq X ( " 4 w. d o E B S. w. !. a+qW. . . . [. / å8Ì0"×=Ìå ìà8Û¾ëÍ,ë=ßEÍ21436587:9<;>= ÞÊlå Ç 365@?BA CD36587. Ð¥Ð ×j|}~. . . . . !.

(43) 0 (; & N . .X¡iHf"W{bmbjX. " ) +7,. R. . " ` ) +-, " ) +-,. R. . . # % ) ESB:) +-, , ' . { % ) ESB ) +7, , % { `) ESB ) +7, , { . R. . . w.

(44). . ) +-,. RTSVXHnX²jpSbvXHXnpmbWYnôk=vXTiHf"W{bmbjXH|YXpVk"i9jpdro;ar`|bf"mbqbdcXT{bvXHi9acnpacf"`¢k=vparjpSbWYX9jpacih£NarjpSVf"mbj k=`tovf"mb`V|.ar`bg¦X9vpvf"vl qVnX9vp¤XjpS$k=jjpSVXHnEXnmbWW¢k=jpacf"`Vneilk=`´q XjX9vpWar`$k=jXH| SVX9` npjEk=vpjpar`bgQvf"W R f3k=`V|arj acnB`Vfl`Qvf"W nf"WYX ¢jpS$k=j ) +7, R ff"v V RTSVX;`NmbW;q X9v " ) +7,PR " ) +7, " ) +-, " ) +7,TacnXHsNm$k=d¥jf +´War`NmVnek=` ar`tjX9gX9v W;mbdrjpar{bdcXf= JLK \ {bdrmVn¢k nW¢k=drd X9vp vf" ( v o&qf"mb`V|bXH| qNY o _ \ R \ O £Â|.mVXjf jpSVX¦, k"i9jjpS$k=j3jpSVX¤"k=drmVXHn ) \

(45) ,TWYfN| 0 JLK \ k=vXvf"mb`V|bXH| jf'jpSVXqbarjf=ÂX9arghStj \ µx `V| oX9jl£ " ) +-, acnY`Vf"jjpSVX /V`$k=dyvXH|.mViHXH|³k=vpghmbWYX9`Njl£ npar`ViHX arjnk=qVnEf"drmbjX ¤"k=drmVXW¢kHoqXnpargh`ba /$ilk=`Njpdro d k=vpgX9v_jpS$k=` JLKNM yXjpSVX9vX1f"vXW¢klo S$kl¤Xjfk"|b| f"v npmbqbjpvEk"i9j kW;mbdrjpar{bdcX¡f= JLK \ &vf"W " ) +-,ÂjfgX9j²jpSV6X /V`$k=d5vXHnmbdrjl* lX /V`VX G )EH,1£Bf"v E.Rg \ :c M £5k"n jpSVX¡Wmbdrjpar{bdcXf= \ jpS$k=jyacn i9dcfhnXHnj jf E JLK \ 2 G )EH,TacnyX pbk"i9jpdro vX9{bvXHnX9`tjEk=qbdcXk"n k|bf"mbqbdcX{bvXHi9acnpacf"``NmbW;q X9vld l_X /V`VX G )EH,Tk"n² jpSVXW;mbdrjpar{bdcX¡f= \jpS$k=j acjpn S$k=i9dcjfhacnnôXHni9jdcfhjnf XHnpE jjf E DFJLK G \ D )G EH , DF)EHG ,k=`V| )EHG ,1 )EH,k"njpSVX |bf" mbqbdcXT{bvXHi9acnpacf"`Y`tmbWqX9v JLK \. VXe`Vfl {bvfNiHXHXH| k"nQf"drdcf* n 8 B, " ) +7, JLKNM jpSVX9`ÂX|bX /V`VX P. fB. w. k. w. `. ^. a$d<qS. a$d<qSr. S. a$d<q. HE. E 2E. a+qW. `. a.W. S. `. I. h. ) +7, R " ) +7, ) +7, R " ` ) +7, ` ) +7, R " ) +7, ® dcnXh£dcX9j0E¦q XYnpmViS jpS$k=jeG )E ,_acn;i9dcfhnEXHnpj;jf " ) +7, X3npmViHiHXHnnpar¤X9dro iHf"W{bmbjX4I f B, " ) +7, ) +-, R " ) +-, DFG )E , . ) 7 + , R " ` ) +7,@DFG ` )E, ` ) +-, R " ) +7, DFG )E, . 8. . . Y. ® dcnXh£. . ) +-, ) +7, `) +- , . . . R. R. R. " ) +-, w " ) +7, " `) +7 , w . w. G ) E , G )E, G )E, `. Ø&ÏÐØQÙ.

(46)

(47)

(48) !" x gtk=arÀ£ ) +-, k=`V| ) +7, k=vXXpbk"i9jpdrovX9{bvXHnX9`NjEk=qbdcXar` |bf"mbqbdcX;{bvXHi9acnacf"` k=vparjpSbWYX9jpacih£Vk=`V|5£BSVX9`ViHXh£. jpSVX9o3k=vXyXpVk"i9jpdro¢iHf"W{bmbjXH| oKf"vÂar`VnpjEk=`ViHXh£ ) +-, S$k"nk=`Jk=qVnEf"drmbjX¤"k=drmVXYdcXHnnejpS$k=` \ z \ £¥k=`V|acnkWmbdrjpar{bdcX¢f= \ O RTSVXe¤hk=drmVX ) +7,Âacn iHf"W{bmbjXH| arjpS X9vpvf"v dcXHnnjpS$k=`f"v XHstm$k=dAjf \ RTSVX_`tmbWqX9v <) +-, R ) +7, ) +-, ) +7,ÂacnTXHsNm$k=d5jf + War`tmVn k=àr`tjX9gX9v W;mbdrjpar{bdcXf= JLK \ {bdrmVnk=`¦X9vpvf"v q f"mb`V |bXH|qto \ \ RTSbacn6npjX9{3acnÂk=dcnf¡mVnXH( | ok=dcf"`VXh£BarjpSVf"mbj6jpSVX {bvX9¤Nacf"mVnÂnpjX9{Vn O jf¡vXH|.mViHX npW¢k=drdar`b{bmbj k=vpghmbWYX9`tjnl£dcXHnnjpS$k=x ` _.ÂRTSbacnk=drdcfl nyf"mbvk=drgf"vparjpSbW jfY{X9vf"vpW vEk=`bgX¡vXH|.mVi9jpacf"` Qf"vqf"jpS Bar`V|Jf=yk=vpghmbWYX9`Njnl£ônpW¢k=drdTk=`V|'WYXH|.armbW npa %lXhRTSVX¢vXH|.mViHXH| k=vpghmbWYX9`tj acn `Vf* njf"vXH|k"nyjpSVXnpmbW f=jpvXHX|bf"mbqbdcX{bvXHi9acnpacf"`´`tmbW;q X9vnl X¡`Vfl Tk=`tjjpSVX vXH|.mViHXH|k=vpghmbWYX9`Nj k"nôjpSVX nmbW}f=5j¸²f|bf"mbqbdcXy{bvXHi9acnpacf"``tmbW;q X9vnlR¥f|bf;jpS$k=jl£t²X mVnX_jpSVX_f"drdcflar`bg3vXHnpmbdrj `. w. a+q. `. a+qW. a.W. S. a$d<qW. w. w. `. w. a$d<qSr. a$d<qS. I. -.

(49) Ý.£{$k=gXZhZ.h£RTSbW¦ô° ) ¨t¬ ¨

(50) 5bl b

(51)

(52) ¬ 9 ;

(53) ., 49 = H "D) * ! n ;"<X !4U - u 9

(54) ., !*, . &. " u e u ; m * !U ;

(55) m U !4 !4 , 9*

(56) U

(57) ! " . . . H. . k. . . . ?. 6. ?. L. ?. . 8. P. E. 8 8. X. ;A. P. . . . w. 8. &. 8. A. 8 *?. [. . ,. "! $# &% ' $# )( $# *( ' 4 d - 9 ;

(58) ., 49 =jH;"D) m+ -,X !; 9 9 /. , + R . ( 10 U+ !4 - u 9

(59) ., 4 =d= "D) !!m - P. ". . P. A. . . . !. . . w. U. . !. . . K. w. XardrdgX9jjpSVXU/V`$k=dvXHnpmbdrjYf=_jpSVXvEk=`bgXvXH|.mVi9jpacf"` k"nQf"drdcf* nl X9j q XjpSVX ar`tjX9gX9vy{$k=vEk=WYX9jX9v jpS$k=j acnmVnEXH|jf|bX /V`VX¡jpSVX_vXHsNmbarvXH| k"iHi9mbvEk"i9o 8 B, ) +-, g K \ £.jpSVX9` ÂX¡iHf"W{bmbjX ) 2 2 ,*R ,k"npjEZ"npmb(W ) , b RTSVX \ $fk=jpar`bg"·,{ f"ar`tj`tmbWqX9vn2 k=`V|32 iHf"`tjEk=ar`'jpSVXYvXH|.mViHXH|Jk=vpghmbWYX9`tj arjpS¦vX9d k=jpar¤X¡X9vpvf"v dcXHnEnjpS$k=` \ z \ ? s. Y. |. E. E. . a.W. Ð¥Ð ×j|}~. cF|. w. a.W S W cF|. `. .

(60) 0 (; & N . l. . . .

(61). . 8 B, ) +-, R fb£bjpSVX9`. ÂX¡iHf"W{bmbjX ) 2 2 , R k"njEZ"npmbW() , b Nar`ViHX jpSVX npW¢k=drdcXHnpj_{fhnEnparqbdcX¤"k=drmVX f=ÂjpSVXvXH|.mViHXH|k=vpghmbWYX9`Nj¡acnd k=vpgX9vejpS$k=` \WYX9z `tjy£$jpSVarXjpS \ $f 9k=jp aar`b g"X9·,{ vpvf"f"arv `tjedcXH`Nnn mbW;jpS$q k=X9` vn 2 k=`V| 2 iHf"`NjEk=ar`jpSVXvXH|.mViHXH| k=vpghm.· E. a. E. . `. . o. . \. a$d<qSr. \ z. \. a. w. a$d<qS. \. >a.S{o T. o. 8 B,k"UnjEf Z"npmbW( ) ) +-, g K \ ) +7£, jp,3SVk=X9``V| Â2 X npmVR iHiH XHnnar) ¤+-X9, dro iHf"W{bAmbghj X RT) 2 SV X $fAk=g jp, ar`bg"R · \ {f"ar`Nj`tmbWq X9vn 2 k=`V |2 iHf"`tjEk=ar` jpSVXvXH |.mViHXH| k=vpghmbWYX9`NjYarjpS *) ; X9vpvf"v dcXHnnjpS$k=` \ i. . h. E. |. E. w. `. a.W. x. Z s . Z s . . S. $9<;65=y3?1@ A. Xeilk=` `Vfl npX9jiES jpSVXeiHf"W{bdcX9jXk=drgf"vparjpSbW k"nTf"drdcfl n. I. Ø&ÏÐØQÙ.

(62)

(63)

(64) !". h.

(65) ¬ 1 K

(66)

(67) ¨ ¨ h ¬

(68) . ¥h +) - 9 ;

(69). 4 = H;"D) + f F =

(70) f a

(71) U !4 ; ) ¨ ¬ ¥ ¨ H;"D) Q

(72) 9 a Z ! " &d9 ) - u

(73) 49 =LH;" , ): 2 2 4!U !; 9 D 2<R + DXE 9 " 2 =

(74) E * !V *) ; . JL KN M \ JLKNM f 2 \ Z m 9 a \ 9 !4* u ¨ ¬ Â

(75) + \ z D g ¨. . !4 " !; U Z ¨ & ¨

(76) + _ ¨ " + 0 " f 0 " f 0 ¨ K ¨. s ) +-, 0 +UD 0 " 0 " f 0 " f 0 f 0 « ¨ R f ¬ "C \ 0

(77) " " )

(78) , 0. ". . )

(79) , 0 " " " )

(80) , 0 0 g 0 \

(81) " JLKNM ¨ E "!$# Hr # ) " , ,+.-0/ " " ) D g , %'&)(* G )EH, 0 " " %

(82) &)(* ,+ -0 / G ) D g , )EH, 0 " " ) D g , %

(83) &)(* ,+.-0/ G ) EH, 0

(84) " \ ¨. ) 2 2 , 132 t4 t56I) " " , 0 \ ¨ K ¨

(85) " R f ¨ ) 2 2 , 132 t 4 \ 5t 6I) " " , 0 ¨ K ¨ ) 2 7, 132 t 4 \ 5t 76() " " , 0 " 0 2 ! 9 & 4 ) " , !; ( !I 9 ("e; E JLK \ 8 ¨ ¨ u= X ! ) G )EH, G )EH, G )EH, , . . . . !. . . . . . i. x. i. V. . a.W{rScF|. . !. i. h. . Y. . {. . . . Vk. !. . . . s. Y. a.W. . S. i. h. ay|. o . w. V. . . . . p. @. {O. . . . . h. `. B. +T. B. `. B. B. S. E. w. `. B. B. +R. E. w. `. `. w. E. w. S. k. . w. `. w. `. . `. . w. ay|. Y. E. E. `. E. E. `. E. . . . Ð¥Ð ×j|}~. . s Z Zs. E. `. w.

(86). . . . E. @. . ` . E. . . . . v. .

(87) 0 (; & N . lZ. . . .

(88). . b ¯ . °²f"mb`Njpar`bg'jpSVX`NmbW;q X9v f=_|bf"mbqbdcX {bvXHi9acnpacf"` $fk=jpar`bg{ f"ar`tj¢f"{ X9vEk=jpacf"`VnY²Xm/V`V| f"v + £AjpS$k= j R gf c s

(89) +£a,ñXhr£jguc c M £k=`V|'jpSVX`tmbWqX9vf=jEk=qbdcX. \ z z dcfBf"N·,mb{Vnac2n c s

(90) + x¤"k=vpa k=`Njef=Âf"mbz v¡k=drgf"vparjpSbW iHf"`VnacnpjnarÌ/VvnjiHf"W{bmbjpar`bg " £ " k=`V| £ f"`bdro;RTSVX9À£5|.mbvpar`bgjpSVX /bQjpS±npjX9{´f=²jpSVXk=drgf"vparjpSbW¦£5a»6jpSVXk"iHi9mbvEk"i9o |bfBXHn`Vf"j_nm ¢iHXh £ iHf"W{bmbjX k=`V| RTSbacnnpdrarghSNjWYfN|.a /$ilk=jpacf"` ilk=`³vXH|.mViHX´jpSVX `NmbW;q X9v¦f=;X9dcX1· WYX9`NjEk=vpof" {X9 vEk=jpacf"`Vnar`jp SV. X o&WYfhnpjT&vXHsNmVX9`tj O ilk"nXHnTSVX9vXe`VfX p.jpvEkk"iHi9mbvEk"i9oacn `VXHXH|bXH|5 X¢ilk=`'k=dcnfvXH|.mViHXjpSVXjEk=qbdcX¢npa %lXqto _ _qNoNjXHn;qto±npjf"vpar`bg¦jpSVX ¤hk=drmVXHn¡ar`nar`bghdcX {bvXHi9acnacf"` f"`bdro£bar`VnpjXlk"|¦f=mVnpar`bgY|bf"mbqbdcX;{bvXHi9acnpacf"À B¸` jpSbacn³nXHi9jpacf"` ÂX iHf"W{$k=vX f"mbv WYX9jpSVfN| jf f"jpSVX9vµk=drgf"vparjpSbWYn f"` jpSVX nEk=WYX ar`b{bmbj¢vEk=`bgX _ \ z D g ukloN`VX´k=`V | q_k=`VX9ñnWYX9jpSVfB|bI n oQnEXHXBXHi9jpacf"` ohr O O k=`V| jpSVX WYfB|.mbd k=v;vEk=`bgX¢vXH|.mVi9jpacf"`'WYX9jpSVfB|'|bXHni9vparq XH|ar` ÝZ ¸°²f"`ViHX9vp`bar`bg ukHoB`VX3k=`V | q_k=`VX9 ñn WYX9jpSVfB| ÂX¦mVnXH| jpSVX¤X9vnpacf"` f=_jpSVX¦k=drgf"vparjpSbW mVnXH| qto Nmb ` waci9vfhnpo.npjX9WYn ¸ X iESVfhnX¢k"n¡i9vparjX9vpa kQf"v;jpSVXYX9¤"k=drm$k=jpacf"`Jf=TjpSVX3k=drgf"vparjpSbWYn¡jpSVXjEk=qbdcX3npa %lXh£AjpSVX`NmbW;q X9vf= jEk=qbdcX²k"iHiHXHnn¥k=`V|;jpSVXô`NmbW;q X9vf= $fk=jpar`bg"·,{ f"ar`tjW;mbdrjpar{bdracilk=jpacf"`Vnl£t|.ar¤Nacnpacf"`Vnk=`V|k"|b|.arjpacf"`Vn* ¯® dcX9WYX9`NjEk=vpo R¥k=qbdcX Rk=qbdcX;npa %lX f"{ X9vEk=jpacf"`Vn k"iHiHXHnnXHn ar` _qNoNjXHn mbvyk=drgf"vparjpSbW l "= "Z= * o&t O ukloN`V Blh .r9 wvEk=`bfBg|.XembX d vk= XHv |.qmVi9k=jp`Vacf"X9` Z i. w. p. h. o{r. h. o{r. `. FQ. `. 3. )D 2E. p. G I. . . . 3. P. K. RTSVXôjEk=qbdcX6nSVfl n¥jpSVX{f"jX9`Njpa k=d.k"|.¤hk=`tjEk=gXHnf=Vf"mbvk=drgf"vparjpSbW f"vAWYXH|.armbW ·¸npa %lXH|ar`b{bmbj =k vpghmbWYX9`NjlukloN`VX k=`V|(q_k=`VX9 ñn WYX9jpSVfB| fl¤X9vyjpS$k=j vEk=`bgX|bfNXHnp` j `VXHXH|¦W;mViESWYX9WYf"vpo£ qbmbjvf"mbghSbdrovXHsNmbarvXHnjpSbvXHXejparWYXHnk"nTW¢k=`tof"{X9vEk=jpacf"`Vn*ôRTSVX w´fN|.mbd k=vvEk=`bgXevXH|.mVi9jpacf"` S$k"nÂjpSVX_nEk=WYXiS$k=vEk"i9jX9vpacnpjpaciHn k"nTukHoB`VX_k=`Vm | q_k=`VX9ñnÂWYX9jpSVfB|3iHf"`ViHX9vp`bar`bgjpSVXyjEk=qbdcX_npa %lX `VXHXH|bXH| k=`V|jpSVX;`NmbW;q X9v_f=²X9dcX9WYX9`tjEk=vpof"{ X9vEk=jpacf"`ár`t¤f"dr¤XH|5£ qbmbjvXHstmbarvpar`bgWYf"vXjEk=qbdcX k"iHiHXHnEnXHnl mbvk=drgf"vparjpSbW acn jpSVX9` kgfBfN| iHf"W{bvf"WacnX;q X9j¸²XHX9`±npa %lXejEk=qbdcX k=`V|¦`tmbWqX9v f=f"{ X9vEk=jpacf"`Vnf"vvEk=`bgXevXH|.mVi9jpacf"`f=WYXH|.armbW npa %lX¡k=vpghmbWYX9`Njl P. Ø&ÏÐØQÙ.

(91)

(92)

(93) !". l. ¥$E . XS$kl¤X{bvXHnX9`tjXH| k=` k=drgf"vparjpSbW Qf"vYk"iHi9mbvEk=jXvEk=`bgXvXH|.mVi9jpacf"` f=ar`b{bmbj¢k=vpghmbWYX9`tjn arjpS³k=qVnf"drmbjX¦¤hk=drmVXdcXHnn¢jpS$k=` \ z D gh RTSbacn3jEk=qbdcX1·,q$k"nXH|³k=drgf"vparjpSbW ghar¤XHn3k"iHi9mbvEk=jX vXHnmbdrjn Qf"vjpSVXWYfhnj &vXHsNmVX9`tj¢ilk"nEXHnlYB¸` f"v|bX9vjf±iHf*¤X9v¢jpSVXSVf"dcX¦|bf"mbqbdcX{bvXHi9acnacf"` |bf"W¢k=ar` Qf"v ar`b{bmbj3k=vpghmbWYX9`Njnl£²ÂX¦npmbghgXHnjjfmVnXukloN`VX´k=`V| qk=`VX9 ñn¢k=drgf"vparjpSbW f"v SNmbgXyk=vpghmbWYX9`Njnlôx³W¢k8wf"v²|.vEkHq$k"iE3f=Af"mbv6WYX9jpSVfB|YdracXHn6ar`¢jpSVX jEk=qbdcXynpa %lX `VXHXH|bXH|5£NjpStmVn k_&mbjpmbvXyX f"vpjÂardrd$q Xjf¡vXH|.mViHXyjpSVXjEk=qbdcXnpa %lXh£SbardcX XHX9{bar`bg k¡gfNfB|jpvEk"|bXHf ¦q X9j¸ÂXHX9` n{XHXH|¦k=`V| k"iHi9mbvEk"i9o p. H . . r * °²fB|.o_k=`V|¡ 9'k=arjXh d V H d ! "<= - u "uvX9`tjpaciHX1· qk=drd,£ ® `bghdcX9²fNfB|´°Âdra 5nl£

(94) V£A h. ÝZ 0wJ* lek=mbW¢k"nl£ ° w ak %lX9`Vih£dwX9vpvpSVX9arW¦£ k=`V|

(95) $dw w mbdrdcX9vl wfB|.mbd k=v¢vEk=`bgX¦vX1· |.mVi9jpacf"` yx `VX9k=drgf"vparjpSbW f"vk"nj_k=`V|±k"iHi9mbvEk=jXYiHf"W{bmbjEk=jpacf"`f=²jpSVXX9dcX9WYX9`NjEk=vpo &mb`Vi9jpacf"`Vnl ; 9A AH * " 4 : £ o O rlhZ * £ w´k=viES' Ý 0l _`NmbjpSA !4XQ * " 4 :

(96) 9"0"e

(97) £_¤f"drmbWYX'Z.¯x|b|.acnf"`µXHndcX9o£ z Xlk"|.ar`bgVH£ w´x£ ".

(98) V wJN w mbdrdcX9vl " = 7; =Q

(99) !" P " " = ²arvpNS$k=mVnEX9vl£ ²fhnjf"À£5 B .° gV¥x vpghmbWYX9`NjTvXH|.mVi9jpacf"`Qf"v²StmbgXek=vpghmbWYX9`tjn Â\_fBfN|¢jf;jpSVXd k"npj²qbarj oQilk=`q X f"qbjEk=ar`VXH|¦qtonX9`V|.ar`bgk=` X1·,W¢k=ardAjfjpSVX;k=mbjpSVf"v 6N²f" `bg X9`bgVñnmbÀñiHf"W O ²R¥XHiSb`bacilk=d vX9{f"vpjl£Nmb`Vuôvfb£A Z. Ý 0wJ"ukHoB`VX k=`V|z; q_k=`VX9Vzk"|.a k=` vXH|.mVi9jpacf"`Qf"vjpvpargf"`Vf"WYX9jpvpaci&mb`Vi9jpacf"`Vnl! "#$ # £A r BZ=V£¥ h. ð z;xBNWarjpSAAxµiHf"`Njpar`tmVXH|B·QvEk"i9jpacf"`k=`$k=dro.npacnÂf=Ajpvpargf"`Vf"WYX9jpvpaciek=vpghmbWYX9`Nj²vXH|.mVi9jpacf"À %&& * " ; £bh= oh O rl=* l h£ fl¤X9WqX9v {. . . . S. . . W. I. v. W. 3. . v. . H. [. . I. K. . D. . . [. . [. . I. 3. I. 6. W. FI. . . . . Ð¥Ð ×j|}~. D. D. [. . I. K.

(100) Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité 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)

(101). ISSN 0249-6399.

(102)