Efficient Calculation of Jacobians Using Dynamic Programming
38
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Efficient Calculation of Jacobians using Dynamic Programming Uwe Naumann. N° 3689 Mai 1999. THÈME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5)
(6)
(7)
(8) ! #"$"% &(')* # + ,.-&-
(9) ++/ #& *0 132547698;:<6>=;=@? ABDC/E3FG
(10) HJILK/MDNOFQPSRUTVNSWNOF/P FXYWZ[P\W]^P`_bacE
(11) d>RUPSN\eV]^F fhgiR[jkFX Aml nLfhoqpr l Z[s^s9RVgbX tuFQgiF/WvBDF/giWvB^F.M>w;xUyVzU{|HJ}~ZUN/{V{U{QHJx[s^ZUTUF/_ % /DUU ABDFQWvB^Z[NSMgi]DPSFh]DM^tDZUEFMXiZUPRUg ]DXqRUEZ[XqN\WQYNO>F/gqF/MXqN\ZXqNSRUML WZUMd>FZ[su s^PONSF/tXqRWRUEsD]uXvZXqNSRUM9Z[PTUgvZ[sDB9_ giFs^gqF_bF/MVXiNOM^T VF/WXiRUg]DM^WXqNSRUM^_ NOM~Z[gidDNOXqgvZ[giaRUgvtuFgv_gqF_b]DPOXqNSMDTNSM tDNFgiFMXmRUs>FgvZXiNORVM^_mWRV]DMXi_RUgXiBDFWZUPSW]DP\ZXqNSRUM7R[%XqBDF/NOgLUZVWRUd^NSZUM#EZXigqN\WF_; hFgiaF/¡¢ZU]uXqBDRVgi_ B9Z£UF PSRcRU¤UFtZX XqBDN\_NOMXqF/gqF_kXiNOM^T
(12) _b]^dujkF/WX_qRZ[gZ[M9tXqBDF/gqFNS_ MDR TUFM^FgvZ[PSPOaZUW/WFsDXqF/t3XiFgiENOMDRVPORVTUa RVg3tDF/Z[PSNSMDT|¡mNOXqB<XqBDF_bF!WRVE
(13) dDNSM^Z[XqNSRUM^_ R[ XiBDF7RUgi¡ZUgit¥ZUM^t¦giFVFgv_bF#E3RutuF_3R[
(14) ABDF7ENOM^N ENS§/Z[XqNSRUMR[XqB^F Mc]DE
(15) d>Fg R[¨Z[giNXiBDEFXqN\WmRVs9F/giZ[XqNSRUM^_;giF/e]DNSgqFt RUghXiBDFYWZUPSW]DP\ZXqNSRUMRU>XiBDFYWRUEsDPSFXqF VZUWRUdDN\Z[MPOFZUtD_XiRZ3WRUEsD]uXvZXiNORVM^Z[PSPOa#B^Z[gvtWRUE dDNOM9ZXqRVgqN\Z[P>RUsDXqNSE3NS§/Z[XqNSRUM!sDgiRUdDPSFE! o©M<XqBDN\_3s^Z[s>Fg3¡F#¡mNSPOPmtuF_qWgqNSd9F!Z[MªZ[sDsDgiRVZVWvBXqR|XqBDF!_qRUPS]uXqNSRUM¦RU XqB^FFtuTUFFPSNOENSM^ZXiNORVM<sDgiRUdu PSFE$NSM!WRUEsD]DXiZXiNORVM^Z[PTVgiZUsDB^_«XqB^Z[XdD]^NOP\tD_RUM#XqBDFN\tuF/Z R[%RUsuXiNOENS§NSMDTWvB^Z[NSMDF/t*EZ[XqgiN¬*s^gqRutu]^WXi_ ]9_bNSMDTYtuacM^ZUENSW«sDgqRVTUgvZ[EENOM^TXqF/WvB^MDNSe]DF_%|F ¡mNOPSPctuNS_iW]9_q_®XqBDF«XqBDF/RUgiaLZUM^tQsDgiF/_qFMX%_qRUEF«XqF/_bX%giF _q]DPOXi_hdcagiFTZ[gvtuNSMDTYXiBDN\_Z[sDs^gqRZUWvB
(16) NSMWRVE3s9Z[giNS_qRUM ¡mNXiB3RUXqBDF/ghEFXqB^Rct^_;RUgWRUEsD]uXiNOMDT
(17) VZUWRUdDN\Z[M9_ ]9_bNSMDTZ3E3NSMDNSEZ[P`Mc]DE d9F/gmR[hZ[giNXiBDEFXqN\WLRUs>FgvZXiNORVM^_ ¯~°±²i³
(18) ´ µ U p RVEsD]uXiZ[XqNSRUM^ZUP¨TUgvZ[sDB®¶uF/tuTVFLF/PONSENOM9ZXqNSRUM®¶DtuacM^Z[EN\Ws^gqRVTUgvZ[EENOMDT. ·«¸k¹\º »v¼¾½\¿DÀ®Á¨¸Â Ã%»vÄ£º »vÅ£Å[ÆÇÉÈʣˣ¼Ì»Â ¼¾Å£Í¼Ì»Â ÎSÍ. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.
(19)
(20) 7m"$ 37 m"7- b* /"®Q
(21) 7 7-%&
(22) -%
(23) + +
(24) )* # + .
(25) RU]^_s^gqK_bF/MVXiRUM^_ ]DMDF7MDRV]DUF/POPSF7ZUsDsDgiRuWvBDFtuF~W/Z[P\W]DPmtuF VZUWRVdDNSFMDMDF_
(26) d9ZU_qKF_q]Dg P KPSNOENSM^ZXiNORVMªtuF_Z[gvW_3tDZ[M^_3PSFTVgiZUsDBDF!tuF!WZ[P\W]^PÉ RVdujkF/WXqNOLtuF~WFXbXiFEKXqBDRutuF!F/_bXPSZ|ENOM^N EN\_qZ[XqNSRUM tu] MDRUE dDgiF!tDF~E
(27) ]DPOXqNSsDPSNSW/ZXqNSRUM9_*_qW/Z[P\Z[NSgqF_3MDK/WF/_i_qZUNOgiF/_ P ZUW/W]DE ]DP\ZXqNSRUM tuF~P\Z¦UZVWRU d^NOF/MDMDFt ]DM^F#RVM^WXiNORVM¦UFWXqRVgqNSFPSPSF ]DM Z[giTU]DEFMX5fRU]Dg3WFP\Z NSP Z[]uXgqK_bRV]^tugiF]DM<s^gqRVdDPOC/EF t RVsuXqNSENS_iZXiNORVM7WRUE
(28) d^NOM^Z[XqRVNOgiFU ®Z3EKXiBDRutuFtuFQP\Z3sDgqRVTUgvZ[EEZXiNORVMtuacM^ZUE3N\e]DFR[gqFP\Zs9R_q_qNSdDN PSNOXqKtuFgiK/_qRU]^tugiFWFQsDgiRUdDPSCEFV ´ ² 7 ILgvZ[sDBDFQtuFQW/Z[P\W]DP ¶uKPSNOENSM^ZXiNORVM~tuF/_mZUgiW/_¶usDgiRUTVgiZUEEZ[XqNSRUM#tDaM9Z[ENSe]DFV.
(29) x.
(30) . " / ´ µ %[ ´ % ´(' $ ' !#" ± $ & GDO p B9Z[NSMDF/t~}~Z[XqgiN¬#fhgiRutu]^WXi_ QQLQQQQQQLQQQQQQQLQ GD G p P\ZU_i_q*N )9W/ZXiNORVMJQQQQQQLQQQQQQLQQQQQQQLQ GD x VZUWRUdDN\Z[M9_ZV_Yp B^Z[NSMDFt7}~Z[XqgiN¬7fhgqRutu]9WXi_7QQQQLQQQQQQQLQ GD p RVEsD]uXiZ[XqNSRUM^ZU,P +]DR[XiNOF/MX ILgvZ[s^B^_ QQQQQQLQQQQQQQLQ ° 0 %µ ± -/. D 1 354 ° 6 U #° / µ ; ` ´`(´ = 0 D (± 9 . ´ %: ´ <. ?,? Å @8ACBCDCE. (. V / z GUx. !(2 !87 -(>.
(31)
(32)
(33) .
(34) %- !#« l F/_qF/Z[gvWvB
(35) NSM3XqBDF )^FP\t3R[
(36) ® ´ u: " ° ° : D: ´ " tDZXiF/_hd^ZVWv¤
(37) ZU_ZUgZU_m{UyU^¶¡mBDF/M l mU FM^TUFgqXY FM^yU )^gv_kXsDgiRUs>RV_qF/t
(38) XqB^FYZ[]uXiRUEZXiNORVM RUXqBDF W/Z[P\W]DP\ZXiNORVM3RUtDFgiNOZXiNOVF/_;dca Z s^gqRVTUgvZ[E NSMQRUgiE RUuXqBDF«d^ZU_qNSWhRUgi¡ZUgitLERutuFU;rcNOM9WFhXiBDFM
(39) Z PORUX®R[u¡RUgi¤YB^ZV_`d>FFM tuRUMDF«NOMQRVgituF/g¨XqR EZU¤UFmY ZU_bXqFg Z[M^t3ERUgiFm¡mNStDFPSa Z[s^sDPON\WZUdDPSF_qFF Ìp RILgv{D >ZUM^t pI{Uy ; N\_ZLZU_bX«Z[M9t WRUMcUF/MDNSFMX¡Z£aRUgmW/Z[P\W]DP\ZXiNOMDTtuNSgiF/WXiNORVM^Z[P¨tuF/gqNSZXiNOVF/_R[UF/WXqRVg ]^M^WXiNORVM^_TUNSUF/M7ZV_WRUEsD]uXiFg s^gqRVTUgvZ[E_M]^E3F/gqN\WZUPOPSa]DsXiREZUWvBDNSMDFmsDgiF/WNS_qNSRUM` R[XiNSWFU¶VXqB^Z[X Y NS_«WRUEsDPSFXiFPSa3tDNFgiFMXhgiRUE XiBDFZ[s^sDgqRZUWvBXiR*WRVE3s^]uXqNSMDTtuFgiNS£Z[XqNSUF_M]^E3F/gqN\WZUPOPSaXqB^gqRV]DTUB!tuNSN\tuFt7tDNFgiFM^WF/_/ ABDFWRUEsD]uXvZXiNORVMRU%XiBDF
(40) UZVWRVdDNSZUM#EZXigqNO¬#RUZ3UFWXqRVg]DM^WXiNORVM k N\_F_q_qFMXiNSZUP«NSM¦EZ[Mca|Mc]DEF/gqN\WZUP Z[PSTURVgqNOXqB^E_/ DRVg
(41) sDgvZUWXqN\WZ[P gqFZU_qRUM^_ER_kXW]DgigqF/MXqPSa|Z£Z[NSPSZUdDPSF _qR[ Xk¡Z[giFs^ZUWv¤ZUTUF/_s^gqRcN\tuFRUMDPSa Xk¡R Z[s^sDgqRZUWvBDF_LXqR5W/Z[P\W]DP\ZXiNOM^T!XqBDFVZUWRUdDN\Z[MEZXigqNO¬|RU Z[XXqB^F7W]DgqgiFMX ZUgqTV]DEFMX |XiBDF*RVgq¡Z[gvtZ[M^t¥XqBDFgqF/UFgv_qFE3RutuF_
(42) ¡mB^NSWvB<ZUgqF#d^ZU_qF/tRVM¥XqBDF ZUsDsDPSNSW/ZXiNORVM RUmXqBDFWvB^Z[NSM¥gq]^POFXiR NSMXk¡ R5tDNFgiFMX
(43) ¡Z£au_ R¡FVFg¶`XiBDFWvB^ZUNOM¥gi]DPSF#WZUM¥d9F ZUsDsDPSNOFtªXqR¦WRVEsD]uXiZ[XqNSRUM^ZUP TUgvZ[s^B^_R[UFWXqRVg]DM^WXqNSRUM^_NSM Z[Mca<ZUgqd^NXigiZUgqa¦RVgitDFg¶«¡mBDN\WvBPOFZUtD_ XiR tDNFgiFMXRUs>FgvZXqNSRUM9_
(44) WRV]DMXi_ RUg XqB^F7W/Z[P\W]DP\ZXiNORVM¦R[ XiBDF UZVWRVdDNSZUM¥EZXqgiNO¬ ;¦ABDF7TUF/MDFgvZ[P XvZU_q¤~R[«F *WNSFMXqPSa~FZ[PS]^Z[XqNSMDT ¥]9_bNSMDT!Z[M|ZUsDsDgiRVZVWvB ¡mBDN\WvB5N\_L_qRUEFXqNSE3F_LgqFFgigqFt!XqR!ZU_ NS_hWRUMjkFWXq]^gqFtXiRLd>F f; B^ZUgit¨;ABDFZUWX;XqB^Z[XVZUWRUdDN\Z[M9_%W/Z[M
(45) d>F WZUPSW]DP\ZXqFt dca|FPSNOENSM^ZXiNOMDT~NSMXqF/gqEF/tDNSZ[XqFUF/gbXiNSWF/_QNSM¥WRUEsD]DXiZXiNORVM^Z[PhTVgiZUsDB^_N\_Q¡FPSP¤cMDR¡mM¥_bNSM^WFXiBDFP\ZXqF {Uz _ABDF/gqFZUgqFQZ3F/¡¢s9Z[s>Fgv_mdca#Z[giNORV]^_mZ[]DXqBDRVgi_XiB^ZXYERUXqNS£Z[XqFZWPOR_bF/gmPORcRU¤7ZXmXiBDNS_ XqRVsDNSW ¾ILgvlmF/{^ ¶ N\_q{Vy YR¡ F/UF/g/¶hXiBDFgiF!NS_M^R TVFMDF/giZUPOPSa¦ZUW/WF/suXqFt¦XiFgiE3NSMDRVPORVTUaRUg*tDF/Z[PSNSMDT|¡mNOXqB XiBDF/_qFQWRVE
(46) dDNSM^ZXiNORVM^_R[%XqBDFRVgq¡Z[gvt#ZUM^tgqF/UFgv_qFERutuF/_RU;
(47) ¶9_bR3Z[g o©M RU]DgZ[s^sDgqRZUWvB!¡F
(48) F¬us>F/WXXiBDF VF/WXqRUgY]DM^WXqNSRUM XiR#d>F3_q]^WvB~XiB^ZX NXYW/Z[M#d>FQtuF/WRUEs>RV_qF/t*NSMXqRZ3_bFeV]^FM^WFRU®]DM^WXqNSRUM^_ XqB^Z[X7XvZ[¤VF|ZªUF/WXqRVg ZU_XqB^FNSg!ZUgqTV]DEFMX7ZUM^t giFXi]DgiM Z<ZUPO]DF i |F WZ[PSPY_q]^WvB ]DM^WXqNSRUM^_° ° ° .o©M ERV_bXWZV_bF_XqBDF UF/WXqRVg¨]DM^WXqNSRUM NS_®TUNSUF/MZV_`Z WRUEsD]uXiFg`sDgiRUTVgiZUE ¡mgiNXqXqFMQNSM_qRUEFhBDNSTUBu POF/UFP®sDgqRVTUgvZ[EENOM^T P\Z[MDTV]^Z[TVFL_q]^WvB~ZU_ RUg ¨;ABDNS_Y_bs>F/W*N )9W/ZXiNORVM R[ NS_~W/Z[PSPOFt ° %u: ´ ´ ®: °NO NOX!W/Z[M d>FdDgiRU¤UF/M tuR¡mM@NOMXqR Z|_qF/e]DF/M^WF*RU_iWZ[P\Z[g3ZU_i_bNSTUM^E3F/MXi_RUmXqBDFRUgiE da ZV_q_qNSTUMDNSMDTXiBDFgqF_b]DPOXRU«FVFgia!FPSFEFMXiZUP]DM^WXiNORVM
(49) XiB^ZXQRuWW]Dgi_NSM XqBDF sDgiRUTUgvZ[E XqRªZ<]DMDN\e]DF5NSMXqFgiEF/tuN\ZXiF Z[giNSZUdDPSF U YFgiF 5NS_#XqBDF NOM^tDF¬ _bFX#R[XiBDF|ZUgqTV]DEFMXi_RU 5ZUM^t ¡ F|tuFMDRUXqF NOXi_WZUgituNSM^ZUPONOXka<dca rcNOM9WF~RU]^g3RVdujkF/WXqNSUF7NS_3XiR¥WZ[P\W]^PSZ[XqF7XqBDF WRUEsDPSFXiF~VZUWRUdDN\Z[M<R[LZ TUNSUFM UFWXiRUg]DM^WXqNSRUM¡mBDN\WvB¥WRUM9_bN\_kXv_R[XqBDFs9Z[gqXqN\Z[PtuF/gqNSZXqNSUF_R[XqBDF tDFs>FM^tuF/MX7Z[giN\Z[dDPSF/_ ¡mNXiB giF/_qs9FWX#XiR<FZUWvB RUQXqBDF NSTU]DgiF NOM^tDFs>FM^tuF/MXZUgqN\Z[dDPSF/_ NOX3N\_]^M^tDZ[EF/MVXvZ[PXqR ZU_i_b]^E3F#XqBDF RUPSPOR¡mNSMDT / ® ´ <
(50) 8
(51)
(52) 8
(53) . . .
(54) . . . . . . "!# $. . . . &%('!#)(*,+-%/.. 10. . 2. (. 13. 54. 76. 84. :9<;>=?@?A. 9>=CBDFE-;
(55) G,HJILKNM,KLDPOQERKS=TD. VU. W . T 53. (. cij k . X]a. X
(56) `. mln!# . oqp" k. X_^. *sit+_ou.. r. v. X
(57) [. XZY. xw. X]\. X
(58) `. . zyQ{V|C}C|h~ . . +R s/. *iV+-
(59) ._S. X]a. 8i. 3. X_^. 8. i. . X
(60) [. XZY. 0. X]\. bc+-dfe@gh.. n e 77. . P e 7 . fb. ¢¡. . ¤£ ¦¥. ¬-¸C¨ ¨>©N¨ m¨ P¬ ©fª. ?,? Å @8ACBCDCE. §T¨.
(61) 7¬. ¨7§ ©«ª ¬. ªh¬. Q¹viº´«»(*¼ e½he 77 e@¾W¿. F¨. . Z. . $. C. §¨ >¬. & ¶. e<. eZ. ®ª. <¨nÀÁ¨>©©Â¯ ¨-°. 7¬. . ¯ ¨-°. ¤¨¯. F¨¯± ²c³7ª ¬. ,¹. m¨x°ÄÃC¨@¯. ´]µJ¶T·. . ª ,¨ f¬.
(62) y. (. ÄÀÁ¨. 8
(63) ¤¯m¸ §¨. P¬-©. f¬. fª ªC¹. J¬. ©®¯V¨. <. . Z ¬R¸h¨.
(64) <¨J¹ Q¨ >¬ §T¨. . . ª m¨ P¬R¹. (¹. m¨. ª. C . § ¬ §¨J¹.
(65). iV+R C. . . . Áp. * : F¨. ¸h±. ¸. ¯. . . . . À. . ¬-¸x . . . . AB^F~gqF/PSZ[XqNSRUM d9FXk¡ F/FM XqB^F Z[giNSZUdDPOF_NSM ZTVNOVFM FZUPO]^Z[XqNSRUM giRU]uXiNOMDF W/Z[M d>F cNS_q]^Z[PSNS§F/t dcaªZ tDNOgiF/WXqF/t<ZUWauWPON\W*TVgiZUsDB ¡mBDN\WvBªWRUMXiZUNOM^_ Z[PSPNOMuRVgqEZ[XqNSRUM¦MDF/F/tuFt¥XiR5d>F!ZUdDPSF*XqR WRUEsD]uXiFhXqB^FFMXqgiNSF/_¨RUXiBDF VZUWRUdDN\Z[M` DgiRUE M^R¡|RVMQ¡ Fh¡mNSPOPVgqFFg®XqR ZU_¨XqBDF ´ ®/u ´ ' ZUPS_qR ² ' @ F ¡mNSPOPYtDNS_bXqNSMDTU]^NS_qB d9FXk¡ F/FM` ENOMDNSEZ[P NSM^tuFs>FM9tuFMX ¶ " # S N M q X F i g E / F u t \ N Z i X Q F [ Z ^ M t E [ Z u ¬ O N E [ Z P u t / F 9 s / F ^ M u t F M X ® U / F b g i X S N W / F _ ! *s+ Áe ,.. ¢¡. ®0. Q¡. Q¡. :. n. . %$. . . . e 7. &. eZ . e. u. " %$. . <. e 7 . (' &. eZ . . Z. b. # )$ ('+*. e. v. . ('+* & mNSM-. e 7 . eZ . . AB^FgiFF¬uNS_bXi_hZtuNSgqFWXiF/t3F/tuTVF , ®WRVMDMDFWXqNSMDTQZLUF/gbXiF¬ ¨¡mNOXqBZLUF/gbXiF¬ NO tuNSgqFWXqPSa tDFs>FM^tD_ RUM YNSM Y_3Z[d>RUF*¡F#_qFX /. XqR|d9F#XqBDF!_qFX RU NOM9tuNSWF/_ R[YZUPOPsDgiF/tuFWF/_i_qRUgv_ _q]^WWF/_i_bRVgi_ RUZ7VFgqXqF¬ mW/WRVgituNSMDTXqR _q_q]DEsuXqNSRUM VO3PSZUd9F/PS_ q¶%gqF/sDgiF/_qFMXqNSMDTXqBDFPSRuWZ[P s9Z[gqXqN\Z[P¨tuFgiNS£Z[XqNSUF_¶DZUgqFZXqXiZUWvB^F/t#XqR*Z[PSP¨F/tDTUF/_ 0 1 |F ZUgqFPSRRV¤cNOMDTLRVg«ZLE3FXqBDRut3R[>XqgvZ[M9_kRVgqENSMDTLXqBDF W TVgiZUsDB
(66) RU ¢_b]9WvB XqB^Z[X¡FTUFX XiBDFUZVWRUd^NSZUM ZXXiBDFPOR¡F/_bXs>RV_i_qNOdDPSFWRV_bXNOMXqF/gqE_R[%XqBDF M]^E
(67) d>Fg
(68) RU_iWZUPSZUgQE
(69) ]DPOXqNSsDPSNSW/ZXiNORVM^_QNSMVRUPSUFt5NSMXqBDN\_s^gqRuWF_q_/#o©M ZVWX/¶NO da*_q]^W/WF/_i_qNOVFPSa
(70) FPSNSE3NSM^Z[XqNSMDT3ZUPOP>UF/gbXiNSWF/_«gqF/sDgqF_bF/MXqNSMDTNSMVXiFgiEF/tuN\ZXiFYZ[giN Z[dDPSF/_#NOM XiBDF ]DM^tDFgiPOacNSMDT¦FZUPO]^Z[XqNSRUM sDgiRUTVgiZUE ¡mBDN\WvBN\_F/e]DNSZ[PSFMX*XqR FPSNOENSM^ZXiNOMDT ZUPOP;FtuTUF_B^Z£cNOMDT7FNOXqB^FgZ[M NSMVXiFgiEF/tuN\ZXiF VFgqXqF¬ ZU__bRV]DgvWFU¶ RUgB^Z£cNOMDT3_b]9WvBZVFgqXqF¬ZV_XvZ[giTUFX/¶RUgd9RUXqB`¶uN FVhZ[PSP 32 (254 i ¡ FTUFX;XqRZL_kXvZ[TUFV¶[¡mBDF/gqFXqB^FW TVgiZUsDB
(71) giFs^gqF_bF/MVXv_;ZL_q]DdDTVgiZUsDB
(72) RU^XiBDF WRVE sDPOFXqFmdDNSs^ZUgbXiNXiFTVgiZUsD7B 6 Z[M^t
(73) XqBDFP\Z[d>FP\_ 3: h<N ; ^¶ ¶ MuvU¶ =j ; D¶ ¶ E v RUM~XiBDF
(74) Ftu9TU8 F_YWRUMDMDFWXiNOMDT#XqBDF ENOMD NSEZ[P UF/gbXiNSWF/_ ¡mNOXqB5XqBDF EZ[¬uNOEZ[P9RUMDF_¶cZ[giF F¬uZVWXiPOa XqBDFMDRUMD §/FgiRQFMXqgiNOF_RU>XiBDFLVZUWRUdDN\Z[MEZ[XqgiN¬ R[ AB^F3F/PONSENOM9ZXqNSRUM|R[«NSMXqF/gqEF/tDNSZ[XqF3F/tuTVF/_LgqF/sDgiF/_qFMXi_YXqBDF3FPSFEF/MVXvZ[P ZUWXiNORVM
(75) XiB^ZX¡F¡mNOPSPDdD]^NOP\t3RUM3NOMRU]^g;ZUsDsDgiRVZVWvB`®o XWZUM d>FmgiFTVZUgitDF/t
(76) ZV_XqBDF WvB^Z[NSM~gq]^POF3Z[sDsDPSNSF/t7XqR#FZ[PS]^ZXiNORVM~gqRV]uXqNSMDF_ NSM~RUgiE RUW TUgvZ[sDB^_/Yp RUM^_qF NSTU]DgiFG eV]^FMXqPSa#¡FtuN\_kXiNOMDTV]DN\_bB!d>FXk¡FFM7Xk¡R¡Z£au_ XqRF/PONSENOM^Z[XqFZUM7FtuTUFNSM> ZUM^t¡ F¡mNSPOP`giFF/gXqR3XqB^FE ZU@_ ? ´ ³ uµ Z[M^t D =¨³ uµ FtuTUFF/PONSENOM^Z[XqNSRUM` ILgvZ[sDB^NSW/Z[PSPOaV¶mXqBDF|RUgi¡Z[gvtªF/PONSENOM9ZXqNSRUM@R[
(77) ZUM F/tuTVF 0 3N\_#Fe]DNOZUPOF/MVXXqR WRUM^MDF/WXqNSMDTªZUPOP s^gqFtuF/WF/_i_bRVgi_3R[ ¡mNOXqB s^gqRcN\tuF/t<XqBDF/aªB9Z£UF!MDR[X*d>FF/M WRVMDMDF/WXqFtªd>FRVgqF ZV_¡F tuR¥MDR[X s>FgiENXE
(78) ]DPOXqNSsDPSFYFtuTUF_iRVPOPSR¡F/tdca ]^s>tDZ[XqNSMDTXiBDFYF¬uNS_bXqNSMDTRVg«TUF/MDFgvZXiNOM^TXqBDFMDF¡PSRuWZ[P9s^Z[gqXqN\Z[P tDFgiNOZXiNOVF/_Z[M^t`¶ )^M^Z[PSPSaU¶XqBDFQtuF/POFXqNSRUM7R[ 0 qABDN\_N\_ NSPSPO]^_bXqgvZXiF/t#NOM NOTV]DgqF3L¡mNXiB#XiBDFBDFPSsRU FtuTUF o©M#WRUgigqF_bs>RUM9tuFM^WFm¡mNXiB*XiBDFWvB^ZUNOM#gq]DPSFY¡F E ]DPXiNOs^POaXiBDFYZ[PS]DF_«RU®_b]^W/WF_q_qNOVF F/tDTUF/_ 0 Z[M^t =A ;¡mB^FgiF/ZU_¡FQZUtDt#XqBDFZ[PS]DF_ RU%s^ZUgiZUPOPSFPFtuTUF_ B9Z£NSMDT XqBDF_iZ[EF_bRV]DgvWFZ[M^t#XqBDF _iZ[EF#XiZ[giTUFX/ AB]9_¶;XiBDF*RVgq¡Z[gvtFPSNOENSM^ZXiNORVM¦R[LZ[M¦FtuTUF 0 LNSMcURVPOVF/_Z5M]^E
(79) d>Fg3R[_iWZUPSZUg E ]DPOXqNSsDPON\WZ[XqNSRUM^_LXiB^ZXN\_QFeV]9Z[P;XqR7XiBDF*WZUgituNSM^ZUPONOXka~R[XqBDFs^gqFtuF/WF/_i_bRVgL_qFXRUNOXi_Q_qRU]DgvWF q|F ¡mNSPSPW/Z[PSP^XiBDN\_ Mc]DE d9F/gXqBDF ² µ ° ' °c°RU@g ? ´ ³ uµ u =9´c³ 3 B!µ ° ' °c°3R[ , hZ[M^ttuFMDRUXqFLNX dca DC 8 =E F. . + e»f.. . j. Z. . . $. . m( f>. . ¤ . <. + e»f.. p. . F. (4. X a. X `. X ^. X Y. X [. X \. ¤KNDFE_HJ;<MnH VK OQE_HxH. X a. X `. X ^. X [. 0. <. $. T. P. WU. 77. . Â. X Y. . 7. WU. hH>?. X \. hbc+<¼ eZdf.. + @e_»f.. . . Á+ e»f.. 0. +RdfegC. . + e»f.. 8+N»Ve F.. + e»f.. , . t+ e»f.. . . *. Ä . F Ã ?GF<H.
(80)
(81) . A B^F5TUgvZ[s^BDNSW5NOMXiFgisDgqFXiZ[XqNSRUMR[QXiBDF d^ZUWv¤c¡Z[gvt FPSNOENSM^ZXiNORVM R[ N\_ _qBDR¡mM NOM NSTU]DgiF*Gu*Y_NOM XqB^F*WZU_qFR[ RUgi¡ZUgit5FPSNOENSM^ZXiNORVM ¡F_bNSEsDPSa B9Z£UF XqRQNSM^_bF/gbXM^F¡ F/tuTVF/_hWRVMDMDFWXqNSMDT >¡mNXiBZ[PSP^_b]9WWF_q_qRUgv_R[ hNOXqBDF/a tDR MDR[X F¬uNS_bX ZUPOgiF/ZVtuaDZ[M^t¥TVFMDF/giZ[XqFMDF/¡ RUg]DstDZ[XqF*XiBDF#F¬uNS_bXqNSMDT FtuTUF P\Z[d>FP\_YWRUgigqF_bs>RUM9tuNOM^TUPSaU NOM^ZUPOPSaU¶ «N\_YgiFERVF/tgqRVE XiBDF W TVgiZUsDB`o X XvZ[¤VF/_ .GC 8 =E _iWZUPSZUg¨E
(82) ]DPOXqNSsDPSNSW/ZXqNSRUM9_XqRmF/PONSENOM^Z[XqF«ZUMF/tuTVF , Dd^ZVWv¤¡Z[gvt¨ .GC =E tuFM^R[XqF_mXiBDF ´ ` ² µ ° ' °c°| %^ =¨³ uµ u =9´c³ 3 B µ ° ' °c°uR[ 0 8 h¡mBDNSWvB!N\_F/e]^ZUPXqRXqB^FQM]^E
(83) d>Fg . R[;_b]9WWF_q_qRUgv_R[%XqBDFXvZ[giTUFX ®FX XiBDFQPOF/MDT[XiB!R[hZs^ZXiB!WRUMDM^F/WXiNOM^TZUM!NOM^tDFs>FM^tuF/MXYUF/gbXiF¬#¡mNOXqB Z tDFs>FM^tuF/MX RUMDFLd9FtDF )^MDFtZV_XqBDFMc]DE d9F/gmR[%FtuTUF_NX WRUM^_qNS_bXi_RUkABDFM RVMDFW/Z[M7_bBDR¡ XiB^ZXXiBDFL_q]DE$RU`XqBDFLXiR[XiZUPPOF/MDT[XiB^_R[%ZUPOPtuN\_kXiNOM^WXms^ZXiB^_NOM XiBDFW TUgvZ[s^B#N\_ _kXigqN\WXiPOaERUMDRUXqRUM^NSW/Z[PSPOa#tDF/WgiF/ZV_bNSMDTtu]DgiNOM^T XiBDFsDgiRuWF_q_R[ F/PONSENOM9ZXqNSMDTQFtuTUF_|FYEZ£a3WRVM^WPS]^tuFXiB^ZX«FtuTUFmF/PONSENOM9ZXqNSRUM¡mNSPOP>Z[PS¡Z£au_ XiFgiENOM^Z[XqFV;AB^NS__qFFE_ XqRd>FRUdccNORV]^_«d^]uXmNXmN\_WFgqXiZUNOMDPSa*Wgi]^WNSZUP^RVgRV]Dg NOTV]DgqFQx ZUsDsDgiRVZVWvB` ABDFRUgi¡Z[gvt d^ZVWv¤c¡ZUgit >FPSNOENSM^ZXiNORVM#RU%Z[PSP9RV]uXb F/tDTUF/_ NOMu F/tDTUF/_ R[%Z VFgqXqF¬ POFZUtD_«XqR
(84) XqBDFFPSNOENSM^ZXiNORVM*R[ NOXi_qFPO NSTU]DgiFx«p RUM^_qF/e]DF/MXqPSaU¶VXqBDFFPSNOENSM^ZXiNORVM*R[®ZUM NSMXqF/gqEF/tDNSZ[XqFmUF/gbXiF¬ ®NOMcVRUPSUF/_ . _iWZUPSZUghE
(85) ]DPOXqNSsDPSNSW/ZXqNSRUM9_;ABDN\_hZ[PS]DF N\_h]^_q]^Z[PSPOa gqFFgigqFt XiR*ZU_ XqBDF u =9´c³ B|µ ° ' °°#R[ ¾ILgvlmF/{^ o©M!XqB^F
(86) Z£Z[NSPSZUdDPOFQPSNOXqFgvZXi]DgiFXqBDF
(87) ZUsDsDPSNSW/ZXiNORVM7RU XiBDFmWvB^Z[NSM3gq]DPSFXqRQW TUgvZ[s^B^_B^ZU_;d>FF/M NSMXqFgisDgiFXiF/t3ZU_;UF/gbXiF¬F/PONSENOM^Z[XqNSRUM` hVFM XqBDFF/¡ Z[XbXqF/EsuXi_ XiR~ENOMDNSENO§/FXqB^FM]^E
(88) d>FgRUE ]DPOXqNSsDPON\WZ[XqNSRUM^_MDFFtuF/t|XqR W/Z[P\W]DP\ZXiFXqBDF#VZUWRUdDN\Z[MZ[giFd^ZV_bFt5RVM XiBDFNStDF/Z7R[FPSNOENSM^ZXiNOMDT~VFgqXqN\WF_3É_bF/F3RUgF¬DZ[EsDPSF N\_q{Vy RUg ¾ILgvlmF/{^ R¡FUF/g/¶>XiBDFgiFZ[giF s^gqRVdDPOF/E_ ¡mBDF/gqF
(89) XqBDF3RUsuXiNOEZUP%VFgqXqF¬!FPSNSE3NSM^Z[XqNSRUM5_qF/e]DF/M^WF3tuRcF/_MDR[XLE3NSMDNSENO§/F
(90) XiBDF Mc]DE d9F/gRU E ]DPOXqNSsDPON\WZ[XqNSRUM^_/ ®FX ]^_mNSPSPO]^_bXqgvZXiFXqBDN\_m¡mNOXqB!XiBDFQBDFPSs~R[hZ[M7F¬DZUE3s^POFtuN\_qsDPSZ£aVF/tNOM NSTU]DgiFQ^o X _qBDR¡ _ Z#W TUgvZ[sDB!R[Zs^gqRVdDPOF/E ¡mNOXqB Xk¡ RNSM^tuF/s9F/M^tuFMX(¶ )9UF
(91) tuF/s9F/M^tuF/MVX¶¨Z[M^t7Xk¡RNOMXiFgiE3FtuN\ZXqF ZUgqN\Z[dDPSF/_/AB^FgiF#Z[giFXk¡ R tDNFgiFMX
(92) VFgqXqF¬Z[M^t Mc]DEFgiRU]9_tuNO>F/gqF/MVX F/tuTVF*FPSNOENSM^ZXiNORVM¥RUgvtuFgv_/ AB^FXk¡RYUF/gbXiF¬QFPSNSE3NSM^Z[XqNSRUM
(93) RVgitDFgv_`giF/_q]DPXNOM. Z[M9t. E ]DPOXqNSsDPON\WZ[XqNSRUM^_/#rcR9¶®]^_qNOM^T!Z7sD]^gqFVFgqXqF¬|FPSNOENSM^ZXiNORVM _bXqgvZXiFTUa5RUM|XqBDN\_QUF/gqa|_bNSEsDPOFF¬uZUEsDPOF TVNOVF/_]^_`XqBDFUZVWRUd^NSZUMYRVg®Z WR_kX`RUDZX`PSF/ZU_bX«/mE
(94) ]DPOXqNSsDPSNSW/ZXqNSRUM9_ R¡Q¶_q]DsDs>RV_qF¡FhFPSNOENSM^ZXiF , _qFs9Z[gvZXqF/POad9FRUgiF RUPSPSR¡ FtdaXqB^F«FPSNSE3NSM^Z[XqNSRUMQR[ AB^NS_%¡ RV]DP\tLXiZ[¤VFRUM^POa E ]DPXiNOs^PON\WZ[XqNSRUM^_ ¡mB^NSWvB3NS_RUdccNORV]^_bPSaQPSF/_i_XqB^ZUM $ & NSM3XqBDFmsD]^gqFUF/gbXiF¬F/PONSENOM^Z[XqNSRUMERutuFU ^]DgqXqBDF/gqERUgiFU¶u¡FB^Z£UFQ_qBDR¡mM7XqB^Z[XmXqBDF >° ° ²i° µ '>° µ [ ° % ±¦tuRcF/_mMDRUX F¬DWF/F/t7Z3ZUWXqRUg RU RUgmW TUgvZ[sDB9_ WRUMXiZUNOMDNSMDT Xk¡ R3NSMVXiFgiEF/tuN\ZXiFLVFgqXqN\WF_;ABDFsDgiRUdDPSFE giFEZUNOM^_ ]^M^_bRVPOVF/tRVgW TUgvZ[sDB^_
(95) ¡mNXiB ! ~NSMXqFgiEF/tuN\ZXiFVFgqXqN\WF_ YR¡ F/UFg¶hdD]DNSP\tuNOM^T|RVM<Mc]DEFgiRU]^_ XiF/_bXmgqF_b]DPOXi_¡FQWRUM[jkF/WXi]DgiFYXiB^ZXmXiBDFUFgqXqF¬c FtuTUFLtuNS_iWgiFs9Z[M^Wa3¡mNSPSP`d9FPSF/_i_RUgF/e]^ZUPXqR*GQRVgXqBDF TVFMDF/giZUP¨WZU_qFU ILNSUF/MªZ[MªFZ[PS]^Z[XqNSRUM<s^gqRuWFtu]DgiF#RUZ5VF/WXqRUg ]DM^WXqNSRUM ¡F7ZUgqFTURUNSMDT5XqR|XqBDNSMD¤<ZUd9RV]uXZ ¡Z£aXqRWRUEsD]uXiFQNXv_ UZVWRUd^NSZUMZX Z3ENOM^NOEZ[P%WRV_bX/ ^RUgmgiF/ZU_qRUM9_tDF/_iWgiNOd>F/tNOM ZU]^{U{Ud `¡ FB^Z£VF tDF/WN\tuFtXqRgiFTZ[gvt XqBDFM]^E
(96) d>FgR[¨E
(97) ]DPOXqNSsDPSNSW/ZXiNORVM^_«giF/e]DNSgiF/t XqR3WRUEsD]DXqF XiBDFWRUEsDPSFXiFLVZUWRVdDN\Z[M ZV_XiBDFWRV_bXZUM^t*¡FY¡mNSPOPtuF/MDR[XiFYXiBDNS_ RUdDjkF/WXiNOVF ]DM9WXqNSRUMdca 5$ & rcs>F/WN )9W/Z[PSPOaV¶¡FY¡mNSPSP9XvZ[¤VF XiBDF*W TUgvZ[s^B R[ ZUM^t5¡F¡mNSPOP«_qF/ZUgiWvB5RUgZUM FtuTUFF/PONSENOM^Z[XqNSRUM¥_qF/e]DFM9WF3XqB^Z[XENOMDNSENO§/F/_ +<¼ eZdf.. X. 0. . X]a. X
(98) `. F . X_^. Ä+
(99) e @.. c0. . . . . . c+ e»f.. . . + e»f.. . c . XZY X
(100) `. X [. X \. X
(101) [. X]\. X. X]a. XZY. fbÄ . 0. . C. . . . Z. R0. Ä F . . u z. J. /. . T. m. . 3. 10. .
(102) * g¤¿ ¼ *.<¼Tg. +Z+- e< . m+Z+- . eZ .
(103) *5 d¿ ¼ *.<¼ d. z+ e_»Q.. ¼ d:*. 0. +R <eZ .@e7+- heZ
(104) .. . t+. ½Q+½ . ¼. Q . . . ¡. ½.<. . . ½. º3. 5. u0. ¢. "!$#&% V4. 5$ &. "!$#&% V4. c. . ?,? Å @8ACBCDCE. . C.
(105) z. (. ÄÀÁ¨. AB^F*_b]^W/WF_q_qNOVF F/PONSENOM9ZXqNSRUMRUFtuTUF_LgqRVE XqB^F#W TUgvZ[sDB tuF )9MDF/_XiBDF*_qR[ W/Z[PSPOFt ° ' . *. +. :.Ä*. . X. Q¡. ª. . =. . +
(106) e
(107) .. XiBDF VFgqXqN\WF/_. R[Q¡mBDN\WvB giFs^gqF_bF/MVX#ZUPOPtuNFgiFMX#W TVgiZUsDB^_3XqB9ZX WRU]DP\t*s>RV_i_qNOdDPSad>FtDFgiNOVF/tgiRUE .dcaF/tuTVFF/PONSENOM9ZXqNSRUM® ®Z[d>FPSNSMDT
(108) XiBDF FtuTUF_`NSM ¡mNXiBXiBDF WRV_bX®R[DTVFXbXiNOM^TmgqRVE¢XqBDF TUgvZ[sDBgiFsDgiF/_qFMXqFtdcaYXiBDFNSg _qRU]^giWF;XqRmXiBDF«RVMDF«ZU_i_qRcWNSZ[XqFt¡mNOXqBXqBDF/NOg®XiZ[giTUFX`¡ F«FM^tQ]^sQ¡mNXiB
(109) Z _qBDRUgqXqF_kX s9ZXqBs^gqRVdDPOF/E RVMXqBDFEFXiZUTUgvZ[sDB®ABDFYF/tuTVF PSZUd9F/PS_Z[giF WRVM^_qNStuF/gqFt3XqRd>F XiBDF tDNS_bXiZUM^WF_ZUM^t~¡F
(110) ¡mNSPOPgqFFgXqR#XqBDN\_LsDgqRVdDPSFE ZU_YXqBDF '9° ° £ ° µ '>° ° $ D: ´ % ´ ° ABDFtuN W]DPOXqNSF/_ ZUgqN\_bFLgiRUE$XiBDFZUWXmXqB^Z[X d9RUXqB XiBDFM]^E
(111) d>Fg;R[>UFgqXqN\WF_%ZUM^tQXiBDFM]^E
(112) d>Fg;R[^FtuTUF_NOM
(113) XqBDFEFXvZ[TUgvZ[s^BTUgiR¡ NOTV]DgiFL rc]DgisDgqN\_qF F¬us9RVMDFMXqN\Z[PSPSa ¡mNOXqB#XqBDFLMc]DE
(114) d>FgR[`NSMXqFgiEF/tuN\ZXiFYVFgqXqN\WF/_ NSMXqBDFLRUgiNSTUNSM^Z[P W TVgiZUsDB`;ABDFgiFRVgqFV¶uZ[M7F¬uB^Z[]9_kXiNOVF_qF/ZUgiWvB7ZU_¡FPSP`ZU_mZUMa*ZUPOTVRUgiNXiBDE$RVgWRUEsD]uXiNOM^T*Z3_qBDRVgbXiF/_bX s9ZXqB!NSM Z[giFMDR[X s^giZVWXqN\WZUdDPSFU;o©M!RUgvtuFgXqR*tDF/WgiF/ZV_bFXqB^FWRUEsDPSF¬uNOXka*R[XqB^FQsDgqRVdDPSFE XiR_bRVPOVF ¡F
(115) B9Z£UFXiREZU¤UF
(116) WFgqXiZ[NSM5giF/_bXqgiN\WXqNSRUM9_¶9XqBc]^_LgiF/tu]^WNOM^T#d>R[XqB _bNS§F3R[hXiBDFEFXiZUTUgvZ[sDB tDF )^MDFt dca XiBDF#Mc]DE d9F/g
(117) RUNOXi_3_bXiZ[TVF/_ZUM^t XqB^F#Mc]DE
(118) d>Fg R[YtuNOFgiFMX
(119) s^Z[XqB^_
(120) XqR5WvB^F/Wv¤ ABDN\_
(121) Z[s^sDgqRZUWvB¡mNSPOP PSF/ZVt¥XiR _q]DdDTVgiZUsDB^_ ¡mBDNSWvB Z[giF*XiBDFM _q]DdujkF/WX XiR¥Z[MªZUM^Z[PSRUTVRU]^_ _bB^RUgqXqF/_bXs^ZXiB<sDgiRUdDPSFE!¦NOXqB F/UF/gqagqF_kXigqN\WXiNORVM ¡F W/Z[M ZU_i_qRcWNSZ[XqFZWRUgigiF/_qs9RVM^tuNSMDTENOMDNSEZ[P;WR_kX $ & R[«WRUEsD]uXiNOMDT XiBDFLVZUWRUdDN\Z[Mdca_bRVPOcNSMDTQXiBDF_qBDRUgqXqF_kXs^ZXiB*sDgiRUdDPSFE RUM*XqBDFNOM^tD]^WFt*_b]^dDTUgvZ[sDB JRU¨XqBDF EFXiZ[TVgiZUsDB`¶`N FU $ & 5$ & RUg_qRUEF ndcNSRU]9_bPSaU¶¨¡F¡ RV]DP\t5PSNO¤VFXqBDF ZVWXiRUgXqRd>FZV__bEZ[PSP`ZU_s>RV_i_bNSdDPSFQZU_ RUgP\Z[giTUFL£ZUPO]^F/_ QXiBDFQWvBDRV_qFMgqF_kXigqN\WXiNORVM ¡RU]DP\t#M^R[Xmd9F VFgia~]^_qF]DP nMDFs>RV_i_bNSdDNSPONOXka N\_LXqBDFgiF/_bXqgiNSWXqNSRUM|XqR!FPSNSE3NSM^Z[XqNSMDT~UF/gbXiNSWF/_LNOM XiBDF*W TUgvZ[sDB|¡mBDN\WvB ¡mNSPSPd9FF¬usDPORVNXiF/t NSM|XiBDN\_Qs^Z[s>Fg*ABDN\_Z[s^sDgqRZUWvB PSF/ZVtD_XiRXiBDF*_qR[©WZ[PSPSF/t 9° £ ° ° ' £ Z[MNOM9_kXvZ[M^WFRU®¡mBDN\WvBN\__bBDR¡mM#NOM NOTV]DgqF QRVgmZ W TVgiZUsDB*WRVMVXvZ[NSMDNSMDT NOMXiFgiE3FtuN\ZXqF VFgqXqN\WF_ DRUg«]DgqXqBDF/g NSMuRUgiEZXiNORVM3RVMXqB^F TUF/MDFgvZ[PDFtuTUFYFPSNOENSM^ZXiNORVM*sDgiRUdDPSFE gqFFghXiR ZU]^{U{Ud FB^Z£VFhtuFVFPSRUs>F/tLMDF¡Z[M9tQZUtDZUsuXqFtL_qRUEFh¡FPSP ¤cMDR¡mM ZUPOTVRUgiNXiBDE_~RVg _qRUPScNOMDT XiBDF WRUE dDNSM^ZXiRUgiNSZUP RVsuXqNSENO§ZXiNORVM7s^gqRVdDPOF/E!ABDF_bFQEFXqBDRutD_WRUMXvZ[NSM7PSR[ W/Z[P BDF]DgiN\_kXiNSW/_
(122) ZU_
(123) ¡ F/POPZU_Z5WRUPSPSF/WXiNORVM¥R[ _qNOE ]DPSZ[XqFt ZUMDMDFZ[PSNOMDT_iWvBDF/tu]^POF_ZUM^t
(124) tDaM9Z[ENSW sDgiRUTVgiZUE3ENSMDTZUP TVRUgiNXiBDE_RUgXqBDF¥WRVEsD]uXiZ[XqNSRUM@R[ M^F/Z[giPSa RVsuXqNSEZ[P VFgqXqF¬¦FPSNOENSM^ZXiNORVM _qF/e]DF/M^WF_<AB^F7P\ZXqXqF/g¡mNOPSPmd9F PSRcRU¤VF/t5Z[XERUgiF3WPOR_bF/POa NSM|XqBDN\_Qs^ZUs9F/g/ PSPhXiBDF*Z[su s^gqRZUWvBDF_YsDgiRUs>RV_qF/t Z[giF3NOEsDPSFEFMXiF/tZU_s^ZUgbXv_LR[Z s^gqRVTUgvZ[E M^Z[EFt ; 0 . ; % Z[]^{V{UZ ¶D¡mBDN\WvB7ZUPOP RV]DgXqF_kX giF/_q]DPOXi_¡mNSPOP®d9FQd^ZV_bFt#RVM` p RVM^_qNStuF/gqNSMDT*PSRuWZUP%BDF/]DgiNS_bXqN\W_YRUgF/tuTVF
(125) RUgLUF/gbXiF¬ NOTV]DgqF hF/gbXiF¬~}!FXvZ[TUgvZ[s^B F/PONSENOM9ZXqNSRUMªNOM W TUgvZ[s^B^_XiBDFgiF!Z[giFU¶RVdcNSRU]^_qPSaU¶;Xk¡R XigqNScNSZUP W/ZU_qF/_ ®FX tuFMDRUXqF#XqBDF!_bNOXq]9ZXqNSRUM<¡mBDFgiF#Z VFgqXqF¬ NS_ FPSNSE3NSM^Z[XqF/t<d9FRUgiF AB^F7F/PONSENOM9ZXqNSRUMªRUgvtuFgacNSFP\tuNOM^T. ¡mNSPSPmd9F!giFFgigiF/t¥XiR ZV_3XqBDF ? ´ ³ uµ 9° £ ° ° $ u ´ ´ µ ° ;YM^Z[PSRUTVRU]^_/¶;¡ FtuF )^M^F#XiBDF D =¨³ uµ >° ² ° ¢° $ u ´ ´ µ ° RUXqB ZUM^t Z[giFWRVM^_bN\tuF/gqFt~XqR~d>FF/e]DNSZ[PSFMXQXqR p. r. X . . . . X . ¡. L6. 0. Pb. . "!$#&% 4. . . "! #% V4. *. . "!$#&% V4. "¼. . . . . 8. 0. . f¡. . Ä0. n. C. '"$&)!. '"%$%!. "#!. '"&#!. (&)!. '$%!. !. "#!. $&#!. "%$#!. "%$'&)!. $'&)!. "&#!. &#!. $%!. ,+. 0. vQb. *. b. , .-. . . . . . /. . r. . jp0. . -. 21. . )46587x. )46589m Ä. 46587. n . 3-¦». 46589. F à ?GF<H.
(126) {.
(127) . XiBDF*WRVgqgiF/_qs>RUM^tuNSMDT7F/tuTVFFPSNOENSM^ZXiNORVM|ERutuF_ruNOM^WF*RU]^gQRUdujkFWXqNSUFN\_XqR~ENSMDNSE3NS§FXiBDF#WRV_bXRU WRUEsD]uXiNOM^T~XqBDF!WRVEsDPOFXqFVZUWRUdDN\Z[M¥NOX3WFgqXiZUNOMDPSa EZU¤UF_
(128) _qFM^_qFXqR5XqBDNSMD¤¥Z[d>RU]DX BDR¡$WvBDFZ[sDPSa Z s9Z[gqXqN\W]DP\Z[gQNSMXqFgiEF/tuN\ZXiFUF/gbXiF¬ YWZ[M¥s>RV_i_qNOdDPSa5d>F*F/PONSENOM^Z[XqFt¨7AB^F*PORVTUN\WZUPhgqF_b]DPOX¡RU]DP\td9F XiRRVgitDFgZ[PSPhNOMXqF/gqEFtuNSZ[XqF3UF/gbXiNSWF/_NOM^WgqFZU_qNOM^TUPSa7dca~XiBDFNSg}~Z[gi¤UR¡mNOXq§3tuFTVgqF/F/_LZXQF/ZVWvB5_bXiZ[TVF RU XiBDF#EFXiZ[TVgiZUsDB` XZ~s^Z[gqXqN\W]^PSZUg
(129) _kXvZ[TVF. ¡F*FPSNSE3NSM^Z[XqF*XiBDF#VFgqXqF¬ ¡mNOXqB¥XiBDF#PSR¡F/_bX } Z[gi¤UR¡mNOXq§YtuF/TUgiFFLZ[ERUMDT3Z[PSPNOMXqF/gqEFtuNSZ[XqFUFgqXqN\WF_;ABDN\_Z[sDsDgiRVZVWvB*N\_ ¤cMDR¡mMZU_«XqBDF «´c³ ° / ² u =9´c³ B ² " ° ' °c°V² / _kXigiZ[XqFTVa 8 . r. )465. 7. r. p. . Fb. . & . . ¢p. -j . . . 1. . . . . . . . .. V. . . YFgiF . tuFMDRUXqF_QXqB^F#Mc]DE
(130) d>Fg R[ sDgiF/tDF/WF_q_qRUgv_ _b]^W/WF_q_qRUgv_ RU Z~UF/gbXiF¬ ZX Z WF/gbXvZ[NSM _bXiZUTUF. NSM<XiBDF¦VFgqXqF¬^
(131) EFXiZUTUgvZ[sDB®ªY_Z|¡FPSP ¤cMDR¡mM<BDF/]DgiNS_bXqN\W*RVgXqBDF ENSMDNSE3NS§/Z[XqNSRUM3R[9XqBDFmTVFMDF/giZ[XqF/t )^PSP NOMtu]DgiNSMDTLXqBDFm_qRUPS]uXqNSRUM3R[_bs^ZUgi_qF_bau_bXqFE_R[>PONSMDFZ[ghF/e]^Z[XqNSRUM^_ XiBDF}~ZUgq¤VR¡mNXi§ d9ZU_qF/tZ[sDs^gqRZUWvB XiR!XqBDF#UFgqXqF¬5FPSNSE3NSM^Z[XqNSRUM¥sDgiRUdDPSFE NOM¥W TVgiZUsDB^_B^ZV_QZ[PSgqFZUtua d>FF/M<F¬uZUENOMDFt¦NSMª_qFVFgvZ[P«s9Z[s>Fgv_
(132) PSNO¤VF#RVg NSM^_bXiZUM^WF7NOM ILgvlmF{D R¡FVFg¶Mc]DEF/gqRV]^_XiF/_bXi_ _qBDR¡F/t*XqB^Z[X/¶DNSM!TUFM^FgvZ[P ¶ tDRF_mMDRUXmtDFPSNOVFgmRUsDXqNSEZUP¨FPSNOENSM^ZXiNORVM~_bFeV]^FM^WF/_/ ®FX#]^_WRVM^_bN\tuF/g*Z[MNSE3s^gqRVF/tªUFgv_qNORVMª#RU LXi" BDF ZU_ B^A|FN]DgiXiNS_bBDXqFN\W[giF#¢Z[ giFF5s^tuZFXi)9B^MD_F~WRUXqMDB^MDF F W XiNOMD ®T Z ² µ ° ° µ ° ± µ ° ' °c° RU Z!UFgqXqF¬ EZ[¬cNSE
(133) ]^E$R[ A*E3NSMDNSEZ[P¨UF/gbXiNSWF/_ ¡mNXiB YM^Z[PSRUTVRU]^_XqBDFQ´ ` ® ² µ ° ° µ ° ± µ ° ' °c°R[%Z >" N\ VFgqXqF¬ _
(134) A~NOmZ#EZ¬uNSE
(135) ]DE R[ A5EZ¬uNOEZUPVFgqXqN\WF_LZUgqF gqFZUWvB^ZUdDPSFgiRUE ^RUgmZ UFgqXqF¬ " ¡FLtu F )^MDFNOXi_ µ ° ° µ ° ± µ ° ' °c°*ZV_
(136) ABDFQtuF/s9F/M^tuFM9Wa tDFTUgiFFRUZ!VFgqXqF¬|NS_QNSMcZ[giNSZUMVXQ¡mNOXqB¥giF/_qs9FWXQXiR!XqBDFsD]^gqFVFgqXqF¬|FPSNOENSM^ZXiNORVM_bXqgvZXiFTVa ¡mBDN\WvB EZU¤UF/_NXNStuFZ[PuRVgXiBDFYNSEsDPOF/EFMXiZ[XqNSRUMR[¨MDF/¡ BDF]DgiN\_kXiNSW/_;o©Ms^ZUgbXiNSW]DPSZUg/¶V¡ FmB9Z£UFmNSE3s^POF/E3F/MXqF/t XiBDF «´c³ ° / ² #° u 9°V² u =9´c³ 3 B ² " ° ' °c°V² / BDF/]DgiNS_bXqN\W ® F . 3. ,. p0. r.
(137) . ¢ vp. . J º3. 465. ¡. 465. ¡. ( 1p. . *. ¡. . . p. . 0. . ¡. *. . ¡. p. . . p. 7. & . . -j . Ä . 1. 465. . b. . . . F . . . . . C P . . ]DEFgiRU]^_XqF_kXv_
(138) _qBDR¡ Ft|XqB^Z[X
(139) XqB^NS_ BDF]^gqN\_kXiNSW*NS_3_b]^s9F/gqNSRUgQXiR NOM<E3R_kX3WZU_qF/_/~ F#¡mNSPOP SN PSPO]^_bXqgvZXiFmXqB^NS_«]^_bNSMDTQXiBDFYF¬DZ[EsDPSFYW TUgvZ[sDBtuN\_bs^PSZ£aVF/tNSM %NSTU]^gqFYy^hndccNSRU]^_qPOaV¶UNOX«N\_«FZU_qaXqR _bRVPOVF XiBDFgiF/_q]DPOXqNSMDT UF/gbXiF¬LFPSNOENSM^ZXiNORVMsDgiRUdDPSFE@NOMQXiBDgiFFNSMXqFgiEF/tuN\ZXiFZ[giNSZUdDPSF/_/`o X®N\_`FVFMQs>RV_i_bNSdDPSFhXqR WvB^F/Wv¤Z[PSPtuNOFgiFMX%RVgituF/gi_/ RUXqN\WF«XqB^Z[X tuRcF/_%MDR[X;tuFPSNOVFg®XqBDF E3NSMDNSE
(140) ]DE.RVs9F/giZ[XqNSRUM^_®WRU]^MVX NSM|XqBDN\_UF/gqa~_qNOEsDPSFWZU_qFU
(141) o Xd>FB9Z£UF/_PSNO¤VF gqF_b]DPOXqNSMDT7NOM¥GUG#E
(142) ]^PXiNOsDPSN\WZXiNORVM^_/3p RUM^_qN\tuFgiNOM^T ¡FB^Z£UF Z[M^t_bNSM^WF XqB^FLVFgqXqF¬ NS_F/PONSENOM^Z[XqFt )9gi_bX/X XqBDF
(143) MDF¬cXY_bXiZ[TVFQ¡ FQTVF X Z[M^t7XiBDFgiFRVgqF ¡ RV]DPSt!ZVWX XiBDF_qZUEFQ¡Z£a ZV_ tuFPSNSUFgiNSMDT
(144) XiBDFQENOM^NOEZ[P®RUs>FgvZXqNSRUM9_WRU]DMXm¡mBDN\WvB!NS_z
(145) RVgXqBDN\_mF¬uZUEsDPOFV p RVM^_bN\tuF/gqNSMDT~_kXigiZ[XqF/TUNSF/_LRUg
(146) F/tuTVF3F/PONSENOM9ZXqNSRUM¥¡FB^Z£VFU¶®ZUE3RVMDT!R[XiBDFgv_¶%sDgiRUs>RV_qF/t5XqBDF#WPSZV_q_ RU )^PSP NSM5d^ZV_bFt~BDF]^gqN\_kXiNSW/_AB^F )^PSPO NSM5TVFMDF/giZ[XqF/t da!XiBDF3FPSNOENSM^ZXiNORVM5R[Z[M5NSMXqF/gqEF/tDNSZ[XqF
(147) FtuTUF 0 NS_#tuF )^M^F/t ZU_3XiBDF~Mc]DE
(148) d>Fg*RULFtuTUF_NOM XiBDF W TUgvZ[sDB Z XiFgENSM]9_XqBDF~Mc]DE d9F/g*R[F/tDTUF/_ d>FRVgqF*XqBDFFPSNOENSM^ZXiNORVM¥R[ , i hUF/gqa F/tDTUF*P\Z[d>FPSF/t¥¡mNOXqBªZ[M¥FPSFEF/MVXvZ[gia5s^ZUgbXiNSZUP tuF/gqNSZXiNOVF N\_YZ*s9RUXqFMXiNSZUP`ZUWXqRVgYNSM!XqBDF FPSNOENSM^ZXiNORVM sDgiRcWF/_i_m¡mBDN\WvB~gqF/sDgiF/_qFMXi_XiBDF WRUEsD]uXvZXiNORVM^Z[P`s^gqRuWF_q_ RUZVWW]DE
(149) ]DP\ZXiNOM^TXiBDF*WRVEsDPOFXqF#VZUWRUdDN\Z[M`$PSRUTVNSW/Z[PhWRVM^_qF/e]DFM9WFR[XqBDF_bFRVd^_qFgi£Z[XqNSRUM^_LN\_XqR ¤VFF/s~XqBDFMc]DE d9F/gLRUXqB^F/_qF
(150) ZVWXqRVgi_ZV_YPSR¡ZU_s>RV_i_bNSdDPSF ¡mBDN\WvB5NSEsDPSNOF_LXqBDF3ENOMDNSENO§ZXiNORVM5R[ XqBDF PSRuWZUPOPSa
(151) sDgiRutu]^WF/t )^PSP NSM`AB^NS_«NStuFZQN\_F¬usDPSRUNOXqFt3NOMXiBD F ´c³
(152) ° ² ² ² / F/tuTVFmFPSNOENSM^ZXiNORVM B^F]DgiNS_bXqN\W F/gqFV¶u¡ FQZ[PS¡Z£ac_F/PONSENOM^Z[XqFXiBDFF/tuTVFQsDgqRutu]9WNSMDT
(153) XiBDFQPSR¡ F_kX )^PSP NSM7M^F¬cX/ r. 4. 5. 0. 465. 46587. 465. . *. Qe. x*. . . x*. -. . 8-. d. . . 465. 46589. + e»f.. v+ e_»Q. . 7. +. ?,? Å @8ACBCDCE. 5. 7. ¤3. 7.
(154) . (. U. ÄÀÁ¨. ª. @tuNO>F/gqF/MVXZ[sDs^gqRZUWvB3XqR3_bRVPOcNSMDTXqBDFTUF/MDFgvZ[P9F/tuTVF FPSNOENSM^Z XiNORVMsDgqRVdDPSFE_hN\_hdD]DNSPX RUM3XqBDFYNStuFZR[¨_bNSE
(155) ]^PSZ[XqF/tZUMDMDF/ZUPONSMDT9 ruNOE ]DPSZ[XqFtQZ[MDMDFZ[PSNOM^T NS_ZmTVPORVd^Z[P[RVsuXqNSENO§ZXiNORVMQE3FXqBDRutXqB^Z[X tDNS_bXqNSMDTU]^NS_qBDF/_7d>FXk¡FF/M¢tuNOFgiFMX~PORuWZUPRUsuXiNOEZD rXiZUgbXiNOM^T giRUE Z[M7NOMDNOXqN\Z[P¨s>RUNSMX/¶cXiBDFZ[PSTURVgqNOXqBDE XvZ[¤VF/_Z_kXiFs!Z[M^t#XqBDF ]^M^WXiNORVM~NS_YFZ[PS]^ZXiF/t¨BDF/M ENOM^NOENS§NSMDT#Z]DM9WXqNSRUM®¶>ZUMa tDR¡mMDBDNSPOP_kXiFs¦N\_ ZVWWFsuXiF/t¥Z[M9tXqBDFsDgiRcWF/_i_QgiFs>F/ZXv_QgiRUE XiBDN\_M^F¡ s>RUNSMX/ M|]DsDBDNSPSP;_bXqF/s5EZ£a!d9FZVWWF/suXqFt¨QABc]^_¶ XiBDFZ[PSTURVgqNOXqB^E WZUM7F_qW/Z[s>FgqRVE PSRcW/Z[P`RVsuXqNSEZD«AB^NS_m]^sDBDNSPOP tDF/WN\_qNORVM
(156) N\_%EZVtuF dcaQXiBDFm}!FXigqRVs9RVPON\_;WgiNXiFgiNORVM`%_®XiBDFRUsuXiN ENS§/Z[XqNSRUM3sDgqRuWF/_i_%s^gqRuWF/F/tD_/¶£XqB^FmPOF/MDT[XiB RU^XqB^F _kXiFs^_htuFWPSNOM^F ZUM^t
(157) XqBDFmZ[PSTURVgqNOXqB^E WPSRV_qF/_NOMRVM
(158) XiBDFTUPSRUd^ZUPRVsuXqNSE
(159) ]^E7rcNSM^WF XiBDFZUPOTVRUgiNXiBDE EZU¤UF_«VFgia
(160) F/¡ ZU_i_b]DEsuXiNORVM^_giFTZ[gvtuNSMDTXqBDF ]^M^WXiNORVM~XqR*d>F
(161) RVsuXqNSENO§/F/t¨¶>NOXN\_Ye]DNOXqF
(162) giRUd^]^_kX ¡mNOXqB5gqF_bs>F/WX XiRWRVE
(163) dDNSM^ZXiRUgiNSZUPusDgiRUdDPSFE_/%ABDFYtDFTUgiFFRUgiRUd^]^_kXiMDF/_i_hWZUM d>FZUt£jk]^_bXqFt dca7XqBDF3]^_qFgo©M Z[]9{U{UW ;¡F
(164) B9Z£UF
(165) tuN\_iW]^_i_bFt _qFVFgvZ[P[ZUMDMDF/ZUPONSMDTY_iWvBDFtu]DPSF/_RVg%_qRUPSNSMDTXiBDF«VFgqXqF¬LFPSNOENSM^Z NSTU]DgiFQy XiNORVMs^gqRVdDPOF/E$NOM!W TUgvZ[s^B^_ABDF/_qFQWRV]DPSt#F/ZV_bNSPOad>FQZUtDZUsuXqFt XiR3XqBDFERVgqFTUF/MDFgvZ[PFtuTUFFPSNSE3NSM^Z[XqNSRUM!sDgiRUdDPSFE! DRVgYWRVE3 s9Z[giNOMDT3XiBDFQgqF_b]^PXv_mZUWvBDNSFVF/tda#XqBDFtDaM9Z[ENSWs^gqRVTUgvZ[EENOMDTZ[s^sDgqRZUWvB¡mNXiBXiBDFRVMDF/_mtuF/PONSUF/gqFt dcaR[XiBDFgEFXiBDRutD_¡ FL¡mNOPSPtuFMDRUXqFXqBDFLERV_bXWRUM^_qN\_kXiFMX_iWvBDF/tD]DPOFsDgiRUs>RV_qF/tNSM ZU]^{U{VW dca 0 tDTUFFPSNOENSM^ZXiNORVMNSM~W TUgvZ[sDB9_«EZ[¤VF/_ ]DPSP`]^_qFR[®XiBDFQ_kXigq]9WXq]^giZUP`_bs^ZUgi_qNOXka3RU®XiBDFQTUNSUF/M#sDgiRUdu PSFE! o X3N\_3R[ XiFM¦s>RV_i_bNSdDPSF*XiR|giF/tu]9WF*XiBDF#Mc]DE d9F/g RUYE
(166) ]^PXiNOsDPSN\WZXiNORVM^_ gqFeV]^NOgiF/t XiR ZVWW]^E
(167) ]DP\ZXiF XiBDFWRVEsDPOFXqF
(168) VZUWRUdDN\Z[MdaZ3ZUWXiRUgR[XqB^gqF/FZ[M^tERUgiFWRUEs^ZUgqFt*XiR XiBDFQEFXiBDRut!sDgqRVs9R_bFt*dca F¡ _iZ[EZ[M9t l Z[E_ituFPSP F/l ZVzUx QABDF _iZ£cNOMDT_YWRUEs^Z[giF/t7XiR#XiBDFtuFM^_qFRVgq¡Z[gvt~Z[M9t~gqF/UF/gi_qF ERutuF_ZUgqFLFVFME3RVgqF_qNOTVMD*N )>WZ[MXB^FM7sDgqF_bF/MXqNSMDT
(169) XiF/_bXmgqF_b]DPOXi_NSM rcF/WXqNSRUM#¡F¡mNSPSP`WRUM9_bN\tuFg XiBDFZUWvBDNSFVF/tQZ[PS]DF_%giFP\ZXiNOVFXiRPSR¡ F/g%d>RU]^M^tD_%RUg;Z[PS]DF/_RUDXqBDFd>F/_bXhWvB^RUN\WF«RV]uXhR[9tDFM^_qF«RVgq¡Z[gvt ZUM^tgqF/UFgv_qFERutuF/_Q " ¶DN FV
(170) . .
(171) . . .
(172) . . . . . . . . . .
(173) .
(174) .
(175). . .
(176) .
(177) . . . J.
(178) . . . . . 0.
(179). . Qb. 0. (. @. Â. . T. !$#% . $ &. "! #% "!. $ &. 4. *. $. u+ . !. ¿. .<e . +Rn¿. .@e . +Rn¿. ! & .. e. ZUM^t3XqB^FWRVgqgiF/_qs>RUM^tuNSMDTQENSMDNOE ]DE RUs>FgvZXiNORVM^_«WRU]DMX ZVWvBDNOF/UFtdaZQ]DM^N©tuNSgqFWXqNSRUM9Z[P9ZUsDsDgiRVZVWvB3RU XiBDFQEFXiBDRutdca F¡ _iZ[E ZUM^t!l Z[E_ituFPSP 4 7 ¡mBDNSWvB!N\_ V4. *. $. " $u + . ¿. !. ! & .. . .ZUM^t tDFMDRUXqF~XiBDF5EZ¬uNSEZ[PYMc]DE d9F/g#RUMDRUMu §F/gqRF/POF/E3F/MXi_s9F/g#giR¡ ZUM^t WRVPO]^E3MRUQXqBDF VZUWRUdDN\Z[M®¶giF/_qs>F/WXiNOVFPSaU . . F à ?GF<H.
(180) V.
(181) . ' )* # +,.-&-
(182) ++/ #& acM^Z[EN\W~sDgiRUTVgiZUE3ENSMDT XqFWvBDMDN\eV]^F/_#ZUgqF~VFgia<]^_qF]^PYRVgXqBDF _bRVPO]DXqNSRUM R[sDgiRUd^POF/E_XqB^Z[XWZUM d>F*s^ZUgbXiNXiNORVMDF/tNSMXqR5_q]DdDs^gqRVdDPOF/E_XqBDF7_bNS§F#R[m¡mBDN\WvB¦WZ[M¥d>F#¤VFsuX3_bEZ[PSP !AB^FaZ[giF*d^ZU_qF/t RVM XiBDF3gqFW]Dgv_bNSUF3_bRVPO]DXqNSRUM5RU«F/ZVWvB5RUXqBDF_q]DdDsDgiRUd^POF/E_NSM|RVgituF/gYXiR7WRUM^_bXqgi]^WXXiBDF3_qRUPS]uXiNORVM5R[ XqBDF WRUEs>RV_qNXiFsDgiRUdDPSFE!o hXqBDF3_b]^E RUhXqBDF3_bNS§F_mR[hXiBDF ! _q]DdDs^gqRVdDPOF/E_mNS_ZE
(183) ]^PXiNOsDPSF ! RU ! RUg _qRUEFLWRUM9_kXvZ[MX XqB^FLtuacM^ZUENSWsDgiRUTUgvZ[EENSMDTZ[PSTURVgqNOXqBDE N\_«PSNS¤UFPSaXqR d9FLs>RUPSaM^RUENSZUP9NSM*XiNOEF WRUEsDPSF¬uNOXka R¡FVFg¶VNO%XiBDFQtuNSN\_qNORVMRUZ3sDgiRUdDPSFE RU_qNO§/F tDFPSNOVFgv_ _q]DdDsDgiRUd^POF/E_ RU_qNS§F ! XqBDF/M¡ FWZUMF¬us9FWXQXiBDFgqFW]Dgv_qNOVF3ZUPOTVRUgiNXiBDEXqR!B^Z£VF! F¬us9RVMDFMXiNSZU! PhTUgiR¡XqB` M F¬DZ[EsDPSFRVgXqBDN\_ W/ZU_qFN\_ _q¤UFXvWvBDF/tNSM NS_i{Uy ABDFLXk¡R ¤VFaNSMDTUgiF/tDNOF/MVXv_ XqB^Z[XmZUM#RVsuXqNSENO§ZXqNSRUMsDgiRUdDPSFE E ]^_bXB^Z£VFYRVgmtuacM^Z[EN\WYsDgiRUTVgiZUE3 ENSMDT XiR d>F7ZUsDsDPSNSW/Z[dDPSF#Z[giF*giFF/gqgiF/t XiR5ZU_3´ %:
(184) ® / ®U ® ° ZUM^t¦´ >° ' % ² % ´ ° « sDgiRUdDPSFE F¬uBDNSdDNXv_mRUsDXqNSEZUP®_q]Dd^_bXqgi]^WXi]DgqFNOZ[M!RUsuXiNOEZUP®_bRVPO]DXqNSRUMXqRXqB^FsDgiRUdDPSFE N\_mdD]^NOPOXRVM7RVsuXqNSEZ[P®_qRUPS]uXiNORVM^_XqR_b]Dd^sDgqRVdDPSFE_ D]DgqXqB^FgiE3RVgqFV¶uXqB^F
(185) _bs9ZUWFQRU%XiBDF/_qF
(186) _q]DdDsDgiRUd^POF/E_ E ]^_bXd>F _qEZUPOPmNSM XqBDF~_qFM^_qF7XqB^Z[X#Z gqFW]Dgv_bNSUF7Z[PSTURVgqNOXqBDE RVgXqBDF~s^gqRVdDPOF/E giFs>F/ZXiF/tuPSa¦_qRUPSUF/_ XiBDF*_iZ[EF*_b]^dDsDgiRUdDPSFE_/¶`giZ[XqBDF/gXqB^ZUM¥Z[PS¡Z£au_LTUF/MDFgvZXiNOMDT7MDF/¡ NSM^_bXiZ[M9WF/_/*oktuFZ[PSPOaV¶`XiBDFMc]DE
(187) d>Fg RU tuN\_kXiNOM9WX_b]^dDsDgiRUdDPSFE_LTUgiR¡ _ s>RUPSacMDRUEN\Z[PSPOa~¡mNOXqB5XqBDFNSMDsD]uX_qNO§/F RU«XqB^FWRUEs>RV_qNXiF
(188) sDgiRUdDPSFE! acM^Z[EN\W*sDgiRUTVgiZUEE3NSMDT5ZUPOTVRUgiNXiBDE_QXvZ[¤UF7ZUtuZUMVXvZ[TVF*R[YRVFgiPSZUsDsDNSMDT _q]DdDsDgiRUdDPSFE_ dca_qRUPScNOM^T FZUWvB7_b]Dd^sDgqRVdDPSFE RVM^WFV;AB^FLgiF/_q]DPOXi_mZUgqF_kXiRUgiF/t#NOM!Z XiZ[d^POF¡mBDF/gqFLXqB^Fa#W/Z[M7d9FPSRRV¤UFt*]Ds!¡mBDF/M M^FF/tDF/t¨¶D]9_bNSMDTWRVM^_kXvZ[MXXqNSE3FV. . ¼. 1 3. . 3. ¼. . . ¡. C. f¡®¡. ¡. Â0. .
(189) !"#$!%. B^FM¦tuacM^ZUE3N\WsDgiRUTVgiZUE3ENSMDT#N\_NSMXqgiRutu]^WFt NOM XqB^F*PONOXqF/giZ[Xq]DgiF3XqBDFZ[]uXiBDRUgv_R[ XiFM]^_qFXqBDF#_qR[ W/Z[PSPOFt '& 32 )( +* ,* ZV_QZ[M NOMXigqRutu]^WXqRVgqa~F¬uZUEsDPOF £ *rcNSM^WF XiBDFYWRUMXqF¬XNSM¡mBDN\WvB¡ F ZUgqFmTVRUNSMDTLXqR]9_bF tuacM^ZUENSWms^gqRVTUgvZ[EENOMDTLN\_UF/gqa WPSRV_qFXqRQXiBDNS_«sDgiRUdDPSFE ¡F!tuF/WNStuFt¦XiRB^Z£UF!Z|WPOR_bF/gPORcRU¤¦Z[XNXv_WP\ZU_i_bN\WZUP«RVgqE ]DPSZ[XqNSRUM`p RUM^_qN\tuFg3XqB^F7s^gqRutu]^WXR[ ! EZ[XqgiNSWF/_ . . . . ' ÉGU ¡mB^FgiFF/ZUWvB . B^ZV0_ / gqR¡ _
(190) Z[M^1t / LWRVPO]^E3M9_~ABDF*Mc]DE d9F/gR[mE ]DPXiNOs^PON\WZ[XqNSRUM^_
(191) gqFeV]^NOgiF/t|XqR WRUEsD]uXiF . tuF/s9F/M^tD_m_bXqgiRUMDTVPOaRUM*XqBDFRUgvtuF/g NSM#¡mBDN\WvB*XiBDFEZXqgiN\WF/_ . ;ZUgqFE
(192) ]DPOXqNSsDPSNOFt*XiRUTUFXqBDF/g/ p B^F/Wv¤cNOM^TZUPOPYs9R_q_qNOd^POF!RUgvtuF/gi_N\_*Z[M F¬us>RUMDF/MXqN\Z[P sDgiRuWF_q_/ R¡FVFg¶«tuacM^Z[EN\W!sDgiRUTUgvZ[EENSMDT s^gqRcN\tuF/_Z[,M 2 ! «ZUPOTVRUgiNXiBDE! } ZXqgiNO¬<E
(193) ]DPOXqNSsDPSNSW/ZXiNORVMªN\_*ZU_i_qRcWNSZ[XqNSUF7Z[M^t _qRZUPOPms9Z[giFMXqBDF_bNS§/Z[XqNSRUM^_3acNSFP\t¦XiBDF _qZUEF7s^gqRutu]^WX/ FW/Z[PSPZ5sDgiRctD]^WX3R[ EZXigqN\WF7_ ? ± u ° 3 ° : B ° µ NOYNOX3N\_ FNOXqBDF/g3Z|_bNSMDTUPSF#EZ[XqgiN¬RUg XqBDF s^gqRutu]^WXRU`Xk¡R
(194) ]DPSPSa*s^Z[giFMXiBDF/_qNO§/F/tEZ[XqgiN¬*sDgiRutu]^WXi_/¶c_q]DgigqRV]DM^tuFtdcas^Z[giFMXiBDF/_qF/_/% FQtuFM^R[XqF XiBDFMc]DE
(195) d>Fg
(196) R[mtuNFgiFMXs^ZUgqF/MXqBDF_bNS§/Z[XqNSRUM^_RUZ!sDgiRutu]^WXR[ A5EZ[XqgiNSWF/_dc4a 3 A i!ndccNORV]^_bPSaU¶ ¡FWZ[M_qsDPONOXXqBDFZUd9RVF EZXigqNO¬ sDgiRutu]^WXQd>FXk¡FF/M5XiBDF \ XqBZ[M^t XqBDF ©_kXLZUWXqRVgLNSMXqR7Xk¡R _q]DdWvB^Z[NSM^_mZUM^t#s9Z[giFMXqBDF_bNS§FLXiBDFE NOM^tDFs>FM^tuF/MXqPSaUABc]^_/¶D¡ FTVFXXqBDFQgiF/W]DgigqF/M^WF NO A 3 A 5 6. xV NO A )7 3 83
(197) A º9 ¤OKND¤H MmOQER;@K 8MnBIERK FINKR9JOhERKS=TD. F;>= ISHM. *. . . . x3. V77 . . . . 3. +. .. ¡. :+ ¤.. . :+ ¤.. *. ¼. m*. :+_. + . ?,? Å @8ACBCDCE. 1+ ¤ ¿. ].. 3 . ½. ¼. e. ¼ ..
(198) £G. (. ÄÀÁ¨. ª. XiBDF_qRUPS]uXqNSRUM7R[¡mBDNSWvB!N\_F¬DZUWXqPSaXqB^F_bFeV]^FM^WFLRU . u 5 ° £ 3 A A ¡mBDF/gqF A A A A ruR^¶cXqB^FQM]^E
(199) d>FgmR[htuNO>F/gqF/MX s^Z[giFMXqB^F/_qNO§ZXqNSRUM9_«RU;Z3sDgiRutu]^WX RU AEZXigqN\WF_NS_F¬cs>RUM^FMXqN\Z[P¨NSM>A ¡mB^NSWvB*EZU¤UF/_«ZM^ZUNOVF F¬uB^ZU]^_kXiNOVFY_qF/Z[gvWvBZ[PSTURVgqNOXqBDE NSM^Z[sDs^PON\WZUdDPOFYFUF/MRUg MDR[XUF/gqa3PSZUgqTVFmZ[PS]DF/_ RU A ]uX ¡mB9ZXmNS_mXqBDFtuNOFgiFM^WFXiB^ZXYtDaM9Z[ENSWLsDgiRUTVgiZUEE3NSMDTWRV]DPSts>RV_i_bNSdDPSa*EZ[¤UF rc]^sDs9R_bF*XqB^Z[X ¡F*_bsDPSNOX
(200) XqB^F#WvB^Z[NSMDFt|EZ[XqgiN¬sDgiRctD]^WX
(201) TVNOVFMdca «eV]9ZXqNSRUM GUd>FXk¡FF/MXqBDF ÉXiB7ZUM^t#XqBDF ©_kXmZVWXqRVgNOMXqRXiBDFXk¡R3_q]DdDsDgiRutu]^WXi_ .
(202) . . . (Z[M^t .
(203)
(204) . * . * . ' p RVM^_qNStuF/g*Z[M RUsDXqNSEZUP s^ZUgqF/MVXiBDF/_qNS§/ZXiNORVM`ABDF ¤VFa¦RVd^_bF/gqZ[XqNSRUM NS_XiB^ZXXiBDF s^ZUgqF/MXqBDF_bNS§/Z[XqNSRUM RU . ¡mNOXqBDNSMªZUM¦RUsuXiNOEZUP s^ZUgqF/MXqBDF_bNS§/Z[XqNSRUM¥R[ . E ]^_kX3d9F7RUsDXqNSEZUP«XiRcR^¶«ZV_
(205) NO XqB^FgiF#¡ZU_
(206) Z WvB^F/Z[s>Fg¡Z£a<XqRªs^Z[giFMXqB^F/_qNO§/F . ¶Y_q]Dd^_bXqNOXq]uXiNOMDT NOXNSMXqBDF RUsDXqNSEZUPYs^ZUgqF/MXqBDF_bNS§/Z[XqNSRUMR[ . ¡RU]^PStªgqF_b]^PX*NSMZPOF_q_WRV_bXqPSa¦s^Z[giFMXiBDF/_qNO§ZXiNORVMªRU . rcNSE3NSP\Z[gRUd9_bF/gqZXiNORVM^_3acNOF/PStªXqB^F5_qZUEF WRUMXqgvZUtDNSWXqNSRUM*RVg .
(207) «ABc]^_/¶^Z[M7RUsDXqNSEZUP®_qRUPS]uXqNSRUMXqRXiBDFWvB^Z[NSMDFt#EZXigqNO¬s^gqRutu]^WX sDgiRUdDPSFE WRUM^_qN\_kXv_ RUYRUsDXqNSEZUP _bRVPO]DXqNSRUM^_ XqR¥_q]DdDsDgiRUd^POF/E_/<ABDN\_N\_¡mB^ZX¡ F~W/Z[PSPRVsuXqNSEZ[P _q]Dd^_bXqgi]^WXi]DgiF giFs^gqF_bF/MVXiNOM^TRUMDFLR[%XqBDFLsDgiFgiF/e]DN\_bNOXqF_RVgm_b]^W/WF_q_b]DPSPOaNSEsDPOF/EFMXqNSMDTZ tuacM^ZUENSWsDgiRUTUgvZ[EENSMDT ZUPOTVRUgiNXiBDE ¡mBDN\WvB¥N\_Qs9RVPOacMDRVENSZUPNOMXiBDF*NSMDsD]uX_bNS§FRUXqBDF*s^gqRVdDPOF/E!7ABDF*_qF/WRUM^t NSMDTUgiF/tDNOF/MVX XiBDF*RVFgiPSZUsDsDNSMDT~_b]Dd^sDgqRVdDPSFE_QsDgiRUs>FgqXka |W/Z[M¥d>F*F¬usDP\Z[NSMDF/t¡mNOXqBXiBDF*BDF/POs<R[ NOTV]DgqF_ 7Z[M9t z^
(208) p RUM^_qNStDFgXqBDFWRVE3s^]uXiZ[XqNSRUM RU Z[M|RUsuXiNOEZ[Ps^ZUgqF/MVXiBDF/_qNS§/ZXiNORVM R[«ZsDgiRutu]^WXR[hRV]DgEZXqgiN\WF/_ . . YNOXqB e]^ZXiNORVM<xm¡F
(209) B^Z£VFQXqB^Z[XYXiBDFgiF ZUgqF )9UF ZUPXiFgiM^ZXiNOVFQ¡Z£au_ XqR#F¬usDPORVNXXqBDF ZV_q_qRuWN\ZXiNOcNOXka5R[mXiBDF!WvB^Z[NSMDF/tEZ[XqgiN¬¥sDgiRutu]^WX|ABDF!_qNOMD¤ YNSM¦XiBDF*XvZ[dDPSF#PSRcRU¤]Ds¦TVgiZUsDB tDNS_qsDP\Z£aUF/t5NOM NOTV]DgiF WRVgqgiF/_qs>RUM^tD_YXqR7XiBDF3]DPOPSa5s9Z[giFMXqBDF_bNS§Ft sDgiRutu]^WXRU«XiBDF3RU]DgQEZXigqN\WF_ . dca 0 F tuF/MDR[XiFXqBDF RVsuXqNSEZ[PDs9Z[giFMXqBDF_bNS§FtEZXigqNO¬ s^gqRutu]^WX . qhWvB^Z[NSMDFt EZ[XqgiN¬!sDgiRctD]^WXWRUMXiZUNOM^NOMDT A!ZUWXiRUgv_ WZUM~d9F3_bs^PONOXNSMXqRXk¡R*_b]^d>WvB^ZUNOM9_ NSM F¬DZUWXqPSa A ¡Z£au_ aXqBDF * !F/ZVWvB~R[hXqB^F giF/_q]DPOXqNSMDT#_q]DdDsDgiRUdDPSFE_YB^ZU_ XqR#d>F
(210) RVsuXqNSEZ[P ¡mNOXqB giF/_qs9FWXLXqR!NXv_Ls^Z[giFMXqB^F/_qNO§ZXqNSRUM®ABDFgiFRVgqFV¶XqBDF_qRUPS]uXqNSRUM|R[XiBDNS_ )9M^Z[Ph_q]DdDsDgiRUdDPSFE¡mNOXqB A
(211) ZVWXqRVgi_NSMcURUPSUF_hXiBDFQ_bRVPO]uXiNORVM^_ R[ A _q]DdDsDgiRUd^POF/E_/o XEZU¤UF/_ ]^_qFRU®XiBDFFZ[giPONSFg WRUEsD]uXiF/t!_qRUPS]uXqNSRUM^_RU®XiBDFXk¡ R3XigqNScNSZUP`_b]Dd^sDgqRVdDPSFE_ «Z[M^t «Z[M^t7R[%XqBDFRU]Dg _q]DdDsDgiRUd^POF/E_ q¶ i¶ i¶mZ[M^t q ^]DgqXqBDF/gqERUgiFU¶ ZV_*NSPOPS]^_bXqgvZXiF/t dca<XiBDF5]^sDs9F/g7_qEZ[PSPYsDN\WXi]DgiF5NSM NSTU]DgiF XiBDF3_qRUPS]uXiNORVM XqR7XiBDF_b]Dd^sDgqRVdDPSFE N\_LZUPS_qR7d^ZU_qF/t5RUM XiBDF_bRVPO]DXqNSRUM5RU i rcR^¶`Z M9Z[NSUFgiF/W]^gi_qNOVFZ[PSTURUgiNOXqBDE ¡ RV]DPStB9Z£UFXqR|_bRVPOVFXqBDF7_b]Dd^sDgqRVdDPSFE Xk¡mNSWF*NSM¦RUgvtuFgXi&R )^M9t ZUMRUsuXiNOEZ[P s^Z[giFMXiBDF/_qNO§ZXiNORVM5RVg ZUM^Z[PSRUTVRU]^_ ¡ RV]DPSt d>F_qRUPSUFt Xk¡mN\WF£~ABDF*N\tuF/Z d>FB^NOM^t3XiBDFWRUgigqF_bs>RUM9tuNOM^TLtuacM^ZUENSWms^gqRVTUgvZ[EENOMDTQZUPOTVRUgiNXiBDE N\_hXqR Z£URUN\t
(212) XqBDF giFs>F/Z[XqFt_bRVPO]uXiNORVM RUhXqBDF_bF ** 4 - * !- Ydca~_qRUPSNSMDTF/ZUWvB5R[hXqB^FERUM9WF ZUM^t5_bXqRVgqNSMDTXiBDF3gqF_b]DPOXNSM|Z XvZ[dDPSF¡mBDN\WvB7B9ZU_sDgiF/WNS_qFPSaXqBDF_iZ[EFQ_bXqgi]^WXi]DgqFQZV_XqBDFXvZ[dDPSFQPORcRV¤]Ds!TUgvZ[sDB` ABDFZ[d>RUF RUd^_qFgiZXiNORVM^_®PSF/ZVtXqRXqB^F RVPOPSR¡mNSMDTtuacM^ZUENSW sDgiRUTUgvZ[EENSMDTYZ[PSTURVgqNOXqB^E RVg;_qRUPScNOM^T XiBDFWPSZV_q_qN\WZ[PWvB^Z[NSMDFt¥EZXqgiNO¬s^gqRutu]^WX/ `FX d>FXqBDFE3NSMDNSEZ[PMc]DE
(213) d>Fg3R[ E ]DPXiNOs^PON\WZ[XqNSRUM^_ . RUg ! ndccNORV]^_qPOaV¶ giF/e]DNSgiF/tRVg WRVE3s^]uXqNSMDT . . * NO 5 $ C * E / / / & NO + F.Ä*. ½. ¼. u+ ¤.Ä*. v¿. ". u+. ¼.. . ¼. . . . m+ Q ¿. ¼ .. *. . 7 . . . *. . 7 . . . 2. 12. . e 77. e. . ". z0. . +Z¼T½ dQ.. ¢0. . . Y. <77 . . +. . . e 77. e. V.. 5¼. = uERKNMmOI®? B ? ER;Bh9 E<B;>H9<;@KE_H;@KS=TD. m*. d. . /½Q+. ¼.Ä*. +Z¼ .. +<¼½h. +. dQ. v+Z¼T½h.. +_½ dQ.. 8+Rdf.. 0. +½ dQ.. 0. x+. dQ.. +df.. n+Z¼T½ dQ.. = THJ;<IO. FKLD n?7B. F;J= ISHMm?. . . «x*. ,+<¼½C.. . . . . V7 . . ¼. . ». /*j». . Q. . . ¿. . . L. ¿. . . . ». . F Ã ?GF<H.
(214) x.
(215) (4). (34). (3). . (234). . (123). (4) (23). (2) (34) (3). . (234). (1234). (23) (123). (2). (3). (23). (12) (2). (1). (1). (12). NSTU]DgiF AZ[dDPSF ` RcRU¤ Y s ILgiZUsDB 0. ¡mB^FgiF /. . . Cb. / / N\_XqBDFWRV_bXmR[%E ]DPOXqNSsDPOacNSMDT . C * EL da . ¶uRUg . C + * EN * . +* . * V7 . ZUM^t . . * .. . . *. V7 . .. . AB^F3WRUgigqF_bs>RUM^tDNOMDT7tuacM^Z[EN\W
(216) s^gqRVTUgvZ[EENOMDT7Z[PSTURVgqNOXqBDEW/Z[P\W]DP\ZXiF/_XqBDF NOM|XqB^F3RVgitDFgLR[ NSMu WgqFZU_qNOM^T3tuNOFgiFM^WFLNSM7XqBDF_q]Dd^_iWgiNSsuXi_/ ABDF3XvZ[dDPSFPORcRU¤5]Ds|TVgiZUsDB ZU_i_bRuWNSZ[XqF/t5¡mNXiB XqBDFWvB^ZUNOMDFt5EZ[XqgiN¬ E ]DPXiNOs^PON\WZ[XqNSRUMsDgiRUdDPSFE B9ZU_m_qRUEFQ_bs>F/WNSZUP¨sDgqRVs9F/gbXiNOF_ NSgi_bX/¶u¡FQRUd^_qFgiUFYXqB^Z[X . . u0. /¤ . . p. ¼. $. . e . . & . ½. ¡mB^NSWvB!N\_mtu]DFXqRXiBDFZU_i_qRcWNSZ[XqNScNXka*RU®XiBDFEZXigqNO¬#E
(217) ]^PXiNOsDPSN\WZXiNORVM` WZUMd>FtuNSN\tuFt!NOMXqR 4 ¡mNOXqB@NOM9tuNSWF/_ A U ABDF/gqF Z[giF5F¬DZVWXqPSa A _bXiZUTUF/_*RUg~Z¦EZ[XqgiN¬ WvB^ZUNOM^NOMDTªsDgiRUdDPSFE NSMcURVPOcNSMDT A*ZUWXqRVgi_giF/_q]DPOXqNSMDTNOM~Z XiZUdDPOFPSRcRU¤*]Ds!TVgiZUsDB#¡mBDN\WvB~WRVMVXvZ[NSM^_. A A A .
(218) 7 VFgqXqN\WF_ZUM^t. A A A 7. m? EO hHJ?. Qe ¼ e 77 e. ¼. v¿. *. . ¼. *. ¿. ½. . *. . . ½. . *. . ?,? Å @8ACBCDCE. ¼. ½. . ½. ½. *. . *. . .
(219) /. (. ÄÀÁ¨. ª. (((12)3)4). ((12)3)4 (12)34. ((1(23))4) (1(23))4. 1 2 3 4. 1(23)4. ((12)(34)). (1234). 1((23)4) (1((23)4)). 12(34) 1(2(34)). 3. (1(2(34))). 4. 3. NSTU]DgiFQz «}!FXiZ[TVgiZUsDB. numbers of subproblems 0. Qb. FtuTUF_«ndccNORV]^_qPOaV¶UXiBDFQMc]DE
(220) d>FgR[BDR¡ RU XqFMXqB^F_qRUPS]uXiNORVMRUZ TUNSUFM7_b]^dDsDgiRUdDPSFE Z[Xm_bXiZUTUF NSM XiBDFXiZ[d^POFPORcRU¤]DsTUgvZ[sDBN\_ NOMcURVPOVF/tNSM*XiBDFL_qRUPS]uXiNORVM*R[%Z
(221) sDgiRUdDPSFE$ZX_kXvZ[TVF NS_FNOXqB^Fg§FgiR^¶ NO®XiBDFgiFNS_MDRs^Z[XqB7NOM @WRUMDM^F/WXiNOM^T
(222) XiBDFUFgqXqN\WF_WRUgigiF/_qs9RVM^tuNSMDTXiR
(223) XiBDFLXk¡ R_b]^dDsDgiRUdDPSFE_/¶uRUgNX N\D_ Q¡mB^NSWvBN\_;XqBDFYPOF/MDT[XiB3RU`Z[Mcas^Z[XqBd>FXk¡FFM3XiBDFmXk¡R_b]Dd^sDgqRVdDPSFE_;NOM
(224) ®NOXqBXiBDFmMc]DE
(225) d>Fg RU%_q]DdDsDgiRUdDPSFE_ZXm_kXvZ[TV F m =A «NOM d9F/NOM^T3Fe]^Z[P9XqR A Z[M9tXqBDFQ_qRUPS]uXqNSRUM#R[%ZUPOP s^gqRVdDPOF/E_mZXXqBDN\_ _bXiZUTUFLNOMcURVPOcNSMDT _q]DdDsDgiRUdDPSFE_¡FQFM^t]Ds!¡mNXiB~Z3XqR[XvZ[P¨Mc]DE d9F/gmR[ c». . ». ». u*. fe 7 e ". . ¼.
(226) A" 0. . . 7. +. @.. . _q]DdDs^gqRVdDPOF/E_mXqRd9F_qRUPSUF/t` o©M NSTU]DgiF
(227) z*¡F
(228) B9Z£UFNSPOPS]^_bXqgvZXiF/t7XqB^NS_ZUWXdca!PON\_bXqNSMDT*XiBDF Mc]DE d9F/gi_ RU%_q]DdDsDgiRUdDPSFE_ WRUgigiF/_qs9RVM^tuNSMDTQXqR XqB^FLtuNOFgiFMX_bXiZUTUF_NSM*XqB^FXvZ[dDPSFYPSRcRU¤]DsTUgvZ[sDB` FLF/M^t*]^s ¡mNOXqB!Z[M!Z[PSTURVgqNOXqB^E ¡mB^NSWvB7NS_mW]DdDN\WYNSM7XqBDFMc]DE d9F/g A#R[%ZUWXqRUgv_ NOMXqBDFWvB9Z[NSMDF/t#EZ[XqgiN¬*s^gqRutu]^WX/ 80. . % % # ! ' . ruRZ[g¶V¡FmB^Z£UF ZV_q_q]DEF/t XiBDFtuF/gqNSZXiNOVFmRUdujkFWXi_«ZU_i_bRuWN\ZXiF/t3¡mNOXqBXqB^F UF/gbXiNSWF/_hNSMXqBDFLW TUgvZ[sDB XqR d>F_qW/Z[P\Z[gv_%o©M#TUF/MDFgvZ[P ¶U¡FL¡mNOPSP>tDNS_bXqNSMDTU]^NS_qB#d>FXk¡FF/M#tuNO>F/gqF/MVX * R[®W TUgvZ[s^B^_¶tuFs>FM9tuNOM^T RVM ¡mB^FXqB^FgLXqBDF3Z[PS]DF/_LZU_i_qRcWNSZ[XqFt~¡mNXiB5FZUWvB5RUXqB^FNSgVFgqXqN\WF/_LZ[giF _iWZUPSZUgi_YRUgLUFWXqRVgi_/}!RUgiFRVFg¶ ¡FY¡mNSPSP9PSRcRU¤ZXtDNFgiFMX 2 «RU®WZUPSW]DPSZ[XqNSMDT
(229) tuNSgiF/WXiNORVM^Z[P>tuFgiNS£Z[XqNSUF_d^ZV_bFtRUMXiBDFYMc]DE d9F/g RU XvZ[MDTVFMXi_ TUgvZUtuNSFMXi_ >XqB^Z[XZUgqFLWRUEsD]DXqF/t#dcaRUMDFYRUgi¡ZUgit gqF/UF/gi_qF ¨_b¡FF/sXqB^gqRV]DTUBXiBDFQW TUgvZ[sDB® ENG ÄH>?. M. . Z. = CH>?. . >. F Ã ?GF<H.
(230) .
(231) ". ° ´ <!.
(232) ¹.
(233) 9° [ ´
(234) 6 f¸. £. ¬_¨¯nÀ. ¬R¸1¨. >¸. ¹. ¬-¹W§¨ J¬. . . T. 6.
(235) k. . ~ ² ' . <¨§T¨ 7¬. . . § ©«ªf¨¯T· . k. "!# . Q¡. ©©L¨¯. ¨>¹ . ¨. . &. .
(236) . v¬-¸C¨,¨7©L¨ ,¨ f¬ ©Cª. 7¬. . Q¹. ¼ e 7. »:*. ! e. ¿ . & . ! ²'
(237) FgiNS£Z[XqNSUFUFWXiRUgv_ !"DZUgqFQZV_q_qRuWN\ZXqFt*¡mNOXqB!FVFgiaUF/gbXiF¬#RUZUFWXiRUgmW TUgvZ[sDB® >° U ´ ´ µ ° " ° ´ <! !# $
(238) ¤¯À. . ¬-¸. Q¡. *. (*s¼ V . S. F¯m¬-¸C¨¨>©N¨ m¨ P¬ © ª . 7¬. . Q¹. ©©». <¨:¯V¨. *. ¼. . T¹. . 7. e. ¿. ¬R¸h¨. . ¹. ©©L¨¯. ¬]¨¯ ± i. U D. p . C C : 9
(239) C 6 * C * &%
(240) (' U u ´ µ ° ]DNSP\tuNOM^T RUMXiBDFZUd9RVF*tuF ^) M^NXiNORVM^_¡F*NSMVXigqRutu]9WFXiBDFWPSZV_q_qN*)>WZXiNORVM¥_bBDR¡mM¥NSM NOTV]DgiF#{D ABDF f¸. £. ¯ª. ¤¨. ¬-¸C¨,¨¯ ¨>¹. ´. JÀ.
(241) . <¯·. @¨. Z ¬R¸h¨. ¹¹. <¨7§T¨ ¹7¨J·. ±@¨. ¹@¹. ¤© R¨¯¬ n¬-¸C¨ ¾. z¾*. R¯m¬. . <¨. <¯ ¨¯. ª P¬. ¬-¸C¨. f¬]¨<ÃV¬. ¶¹ÀÁ¨¨ (¬-¸C¨©. ¼. ¤¨ f¬-¹.
(242) . n§¨ 7¬. ©. ZÁ. J¬. v¹. ©Ä¯ ¨. ªh©«¬.
Documents relatifs
constat, unanime en Colombie, que la résolution des conflits par élimination de “l’opposant” est l’une des caractéristiques de la violence nationale. Première
Automatic test data generation, structural testing, constraint solving techniques, global constraints 1.. Structural testing techniques are widely used in unit or module testing
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
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
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP
