• No results found

Floating-Point LLL Revisited

N/A
N/A
Info
Download
Protected

Academic year: 2021

Share "Floating-Point LLL Revisited"

Copied!
32
0
0

Loading.... (view fulltext now)

Download now ( 32 Page )

Full text

(1)Floating-Point LLL Revisited Phong Q. Nguyen, Damien Stehlé. To cite this version: Phong Q. Nguyen, Damien Stehlé. Floating-Point LLL Revisited. [Research Report] RR-5387, INRIA. 2004, pp.28. �inria-00070616�. HAL Id: inria-00070616 https://hal.inria.fr/inria-00070616 Submitted on 19 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. Floating-Point LLL Revisited Phong Q. Nguyen, Damien Stehlé. N° 5387 Novembre 2004. ISSN 0249-6399. ISRN INRIA/RR--5387--FR+ENG. THÈME 2. apport de recherche.

(3)

(4) 

(5)    

(6) !" # %$ &('*),+*-/.0213-5476589+:<;>=,?A@B89+DC"EF89'*GBH IJLKFMON3P3QSR TFUWVXNZYX[]\^VX_FVXNFY NF`_bacYX_FdWY<egf,M3h*[]YiVXjdLN k%l[cmgNF`npo"a]_qNqe racoWo*[]lg`sWNZlNq_JLNFl_

(7) JLNtU uv^w^xzyZQ{|[b}zNFMhWlNP^~^~c>QSP^x€o"ac\zNqe ƒ ‚ „q†b‡9ˆW‰z†^ŠŒ‹ }zNFlgf,h7[,s5fpUL[Že`gJLN€2NFULeg`gl

(8) a9‘’2NFULe`gl

(9) a9‘’2[b}^“]eg”>Y•ac`g`gVX_qN3h"a]eVXelNqs5dL_F`gVX[]U–acY—‘ \z[]lgVi`gJWM™˜š22œ›žŽ(JWVX_JŸJ"a]e oWl[b}zNqsOViUp}]acYid"achWYXNViU¡oWdWhWYiVX_ž‘¢zNFf¡_FlgfpoW`

(10) acU"acYif5egVXe£acULsOViU¡MŸacUf []`gJLNFl|¤"NFYXsWeb¥<R Vi}zNFU–acU/ViUp`NF\zNFl d‘’s5ViMONFULegVX[]U"acY%Y•ac`g`gVX_qN>h"a]egVXe Ž(JWVX_

(11) J–}zNq_F`[]le J"aq}zN>UL[]lgMOe eMŸacYiYXNFl€`gJ"acU 22¦[]dW`goWdW`eƒa§e

(12) [c‘’_bacYiYXNqs¨22*‘¢lNqs5dL_qNqs©h"a]egVXe>ViUª`gViMON  dLeViUW\©aclgVi`gJWMONFB`gVX_D[]o*NFl

(13) ac`gVX[]ULeA[]U¦ViUp`NF\zNFle§[c«>hWVi`#‘¢YXNFUW\^`gJ O(d log B) ¥(IJWO(d VXe¬Ž£[]log le`#‘’_bB) a]eN _q[]M¡oWYXNž­5Vi`’fAVXeoWl[]hWYXNFMŸac`gVX_«š[]lY•ac`g`gVX_qNqe|aclgVXeViUW\ƒViU_FlgfpoW`

(14) acU"acYif5egVXeŽ(JLNFlN d []l¯®]acULs log B aclNƒ[c«B`NFU°Y•aclg\zN^¥œ±|ea¬lNqegdWYi`b2`gJLN[]lgVi\^ViU"acY22²VXeacYiMO[^eg`€ULNF}zNFl€dLeNqsViU°oWl

(15) a]_F`gVX_qN^¥œ³´U5‘ e`Nba]sµ []ULN¡acoWoWYiVXNqe¶"[zac`gViUW\]‘¢o7[]ViUp`Z}]aclgV•acUp`eZ[c«£22Œ Ž(JLNFlN€`gJLN€YX[]UW\]‘¢ViU`NF\zNFl3aclgVi`gJWMONF`gVX_ lNqjpdWVilNqs€hf€R l

(16) acM>‘·n,_JWM¡VXs5`Œ[]lg`gJL[]\z[]U"acYiVXe

(17) ac`gVX[]U˜š_qNFU`gl

(18) acY5ViU¡22œ›œVXeœlNFoWY•a]_qNqs>hfZ¶"[zac`gViUW\]‘ o*[]ViU` aclgVi`gJWMONF`gVX_^¥ ¸U5«¹[]lg`gdWU"ac`NFYifzL`gJWVXeVXepUL[Ž(UA`[¡h*NZdWULeg`

(19) achWYXN3ViU¬`gJLNºŽ[]leg`#‘’_ba]eN^»"`gJLN dLed"acY2¶"[zac`gViUW\]‘¢o*[]ViU`Z22¼VXeUL[]`NF}zNFU\^d"acl

(20) acU`NqNqs`[O`NFlgM¡ViU"ac`N^*acULsA`gJLN[]dW`goWdW`h"a]eVXe MŸabf¬UL[]`h*N3<2*‘¢lNqs5dL_qNqsac`ZacYiY¢¥ ³´UA`gJWVXe aclg`gVX_FYXN^"ŽN3ViUp`gl[ps5dL_qN€`gJLN€22 acYi\z[]lgVi`gJWM¬µa ULNFŽ½acULsU"ac`gdWl

(21) acY*¶"[zac`gViUW\]‘¢o*[]ViU`}]aclgV•acUp`[c« <2Ž(JWVX_

(22) J¾oWl[b}^achWYif[]dW`goWdW`e22*‘¢lNqs5dL_qNqs h"a]e

(23) Nqe2ViU3o*[]Yif,UL[]M¡V•acYp`gViMON O(d (d+log B) log B) ¥9IJWVXe<VXe<`gJLN%¤Lleg` 22¾acYi\z[]lgVi`gJWMŽ(JWVX_J lgdWUWUWViUW\A`gViMON¡oWl[b}^achWYif/\^l[bŽe3[]UWYif/jpd"a]s5l

(24) ac`gVX_bacYiYifŽ(Vi`gJDlNqego7Nq_F`Z`[ B Ž(Vi`gJL[]dW`º«¹a]eg` ViUp`NF\zNFl|aclgVi`gJWMONF`gVX_^"YiVizNZ`gJLN «¢acMO[]dLeRZacdLeegV•acUAacULs ‹ dL_FYiVXsWNbacU/acYi\z[]lgVilog `gJWMOe¥LIJLNZ\^l[bŽ(`gJ VXe_FdWhWVX_ «š[]lacYiY2[]`gJLNFl|22¼acYi\z[]lgVi`gJWMOe,UL[bŽ(U2¥ ¿¬ÀzÁ*ÂÃÄ ‡9Å „^Š 22  <ac`g`gVX_qNZlNqs5dL_F`gVX[]U2*Æ[]M¡oWYXNž­,Vi`´fz"k%dWhWYiVX_ž‘’ÇZNFf§Æ£lgf,oW`

(25) acU"acYif,eVXeb¥ 6. 2. 5. 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 (France) Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19. 3.

(26)  >L  *Z !" g o*[] dW„ l(

(27) l Tqs5 dWViŠ lNºI<[]YXNqdWe`(h"YXN|a]eMONqe[]ULsWsWN NZlTq_qe[]NbUWacU"d5a ­ X`(‹ YdL ac_FYiYi\zVXs5[]lgVXNFVi`gULJWebMO"jNºdWsWV2N e  2NqeNF`ULegaq`g}zl

(28) TFa5lWTZ<«¹NF[]ULlg`(eg`gdWl

(29) a>`gViYXNFNZ`(o*2[][bdW}^l(“]egYX”ONqe˜š2_Flg2f,œo5›‘ `

(30) acU"acYif5eNqesWNO_FlgfpoW`[^ef,eg`KFMONqe ¾_FYXTOoWdWhWYiVXjpdLNŸNF`sLacULe3sWNOUL[]MhWlNFd5­°acdW`glNqesW[]MŸacViULNqe¥  `

(31) acU`ŸsW[]UWULTqNdWULNh"a]eN _q[,N Ÿ_FVXNFU`eƒNFU`gVXNFleOs  dWU lTqe

(32) NbacdªsWN¾s5ViMONFULeVX[]U d aq}zNq_¬sWNqe }zNq_F`NFdWle|sWNZUL[]lgMONqeoWYidLeo*NF`gVi`NqejpdLN B "22¼_bacYX_FdWYXNºdWULNZh"a]eN322*‘¢lTqs5dWVi`N>NFU¬`NFM¡oLe o*[]Yif,UL[]M¡V•acY O(d log B)  NFU¨dW`gViYiVXe¯acU`ƒsWNqe¡[]o*TFl

(33) ac`gVX[]ULeƒaclgVi`gJWMOTF`gVXjpdLNqeŸedWlOsWNqeONFU`gVXNFle sWNº`

(34) acViYiYXN log B) ¥7ÆNF`g`Nº_q[]M¡oWYXNž­,Vi`T€sLacULeYXN3_ba]eYXNZoWVilNºNqe`oWl[]hWYXTFMŸac`gVXjdLNo*[]dWlYXNqe lTqe

(35) Nbacd5­€jpO(d dLN£Y  []U¡lNFUL_q[]Up`glNNFU¡_FlgfpoW`

(36) acU"acYif5eN([  NF`¯®c[]d e[]U` e[]dW}zNFUp`%`glKqe\^l

(37) acULsWeb¥ kacl3_q[]ULeTqjpdLNFU`b<Y  acYi\z[]lgVi`gJWMONŸ2< []lgVi\^ViU"acY U  Nqde`ºoWlNqejplogdLN|BmgacMŸacVXeZdW`gViYiVXe

(38) TONFUoWl

(39) ac`gVXjpdLN^¥  Y•a3oWY•a]_qN^[]UeNeNFlg`sWN}^aclgV•acU`Nqe£¶"[]`g`

(40) acUp`NqesWN22 5[ ƒY  aclgVi`gJWMOTF`gVXjdLN NFU`gVXKFlN egdWl£sWN \^l

(41) acULsWe3UL[]M3hWlNqe3lNqjdWVXeNOo"aclZYXN¡oWl[p_qTqsWTŸs  []lg`gJL[]\z[]U"acYiVXe

(42) ac`gVX[]U¼sWNŸR l

(43) acM>‘·n,_JWM¡VXs5`¾˜š_qNFU5‘ `gl

(44) acY sLacULeZ<2œ› Nqeg`ZlNFM¡oWY•a]_qTqNOo"aclºsWN>Y  aclgVi`gJWMOTF`gVXjdLN>¶"[]`g`

(45) acUp`N^¥ /acYiJLNFdWlNFdLeNFMONFU`bœ_qN oWl[,_qTqsWTNqeg`%_q[]UWUpdƒ_q[]M¡MONTF`

(46) acUp` ViULeg`

(47) achWYXN(UpdWMOTFlgVXjdLNFMONFUp`sLacULe%YXN_ba]e%YXNoWVilN^»^ViYLeNo*NFdW` jpdLN Y  acYi\z[]lgVi`gJWMON3<2–¶"[]`g`

(48) acUp`_FY•a]eegVXjpdLN ULN `NFlgM¡ViULNZo"a]ebWNF`jpdLN M FMONºe  ViYµ`NFlgM¡ViULN^"Y•a h"a]e

(49) N>lNFU}z[bfzTqNŸULN¡e[]Vi`ºo"a]eZs5d`[]dW`º<2*‘¢lTqs5dWVi`N^!¥ acULe3_qNF`3aclg`gVX_FYXN^2UL[]dLeZViUp`gl[ps5dWVXe[]ULe Y acYi\z[]lgVi`gJWMON22  jpdWVNqeg`OdWULN¬}^aclgV•acU`NAUL[]dW}zNFYiYXNANF`OU"ac`gdWlNFYiYXNsWN¬2<¦¶"[]`g`

(50) acUp`jpdWV lNFUp}z[]VXN`[]d]mg[]dWleŒsWNqe%h"a]e

(51) NqeŒ22µ‘¢lTqs5dWVi`NqeNFU¡`NFM¡oLeŒo7[]Yif,UL[]M¡V•acY O(d (d + log B) log B) ¥ ³´Yµe  ac\^Vi`sWN Y•a€oWlNFM¡VXKFlN }^aclgV•acU`NºsWNZ2<DsW[]U`YXN `NFM¡oLes  Tž­5Tq_FdW`gVX[]U§_Fl[]VXeeN eNFdWYXNFMONFU` sWNZ«¹a "q[]UAjpd"a]s5l

(52) ac`gVXjpdLNºNFU log B e

(53) acULe(dW`gViYiVXe

(54) NFlsWNZY  aclgVi`gJWMOTF`gVXjpdLNºl

(55) acoWVXsWN^ _q[]M¡MON3#_  Nqeg`YXN _ba]eo*[]dWlYXNqe(_qTFYXKFhWlNqeacYi\z[]lgVi`gJWMONqes  ‹ dL_FYiVXsWN3NF`sWNZRºacdLeeb¥5<a>_q[]M¡oWYXNž­5Vi`TZNqeg`acdMO[]ViULe _FdWhWVXjpdLNZo*[]dWl(`[]dW`NqeYXNqeacdW`glNqe}]aclgV•acUp`Nqe_q[]UWUpdLNqesWNº2< ¥ $Ä †b„  &‰ %  „¨Š <2 lTqs5dL_F`gVX[]U©sWNqe€lTqeNbacd5­µ_q[]M¡oWYXNž­,Vi`T^%_Flgf,oW`

(56) acU"acYif,e

(57) NsWN_Flgf,oW`[^egf5e#‘ `KFMONq'e ¡_FYXT oWdWhWYiVXjdLN^¥ 3. 6. 2. 5.

(58) w. 

(59)  

(60)  ! "$# %. &(')*,+.-/102),34+'. < NF` b , . . . , b h*NYiViULNbaclgYif ViULsWNFo7NFULsWNFUp`œ}zNq_F`[]le<ViU R Ž(Vi`gJ n = O(d) ¥bIJLN e

(61) NF`<[c«WacYiYViU`Nž‘ \zNFl%YiViULNbacl£_q[]M3hWViU"ac`gVX[]ULe[c«7`gJLN b  e^sWNFUL[]`Nqs¡hf L[b , . . . , b ] = nP x b | x ∈ Zo  VXe%_bacYiYXNqsƒ5a 6 78FpacULs [b , . . . , b ] VXe e

(62) acVXs>`[ h*Na:9$; <[c«7`gJ"ac`%Y•ac`g`gVX_qN^¥z± Y•ac`g`gVX_qNh"a]egVXe%VXe dLed"acYiYif¡UL[]`£dWUWVXjpdLN^hWdW`(acYiY7`gJLNh"a]eNqe£J"aq}zN|`gJLN|e

(63) acMONUpdWM3h*NFl d [c«<NFYXNFMONFUp`eb5_bacYiYXNqsŸ`gJLN # => ?  3[c«2`gJLNY•ac`g`gVX_qN^¥p³¢« p`gJLNFlNaclNViU5¤LUWVi`NFYif¡MŸacUfOh"a]eNqe^hWdW`£e[]MON|aclNMO[]lN ViUp`NFlNqeg`gViUW\¬`gJ"acU[]`gJLNFleb»7`gJLNFdf–≥acl2N>_bacYiYXNqA s @$$#BC78D#^¥œr[]dW\^JWYif§ego*Nbac,ViUW\L*alNqs5dL_qNqs/h"a]eVXe VXe¡a§h"a]egVXe>MŸa]sWN[c«lNba]e

(64) []U"achWYif¼egJL[]lg`>}zNq_F`[]le>Ž(JWVX_

(65) J©aclN¬acYiMO[^eg`¡[]lg`gJL[]\z[]U"acY¢F¥ E ViULs5ViUW\ \z[,[,sDlNqs5dL_qNqs¼h"a]eNqe€J"a]e€oWl[b}zNqsªViUp}]acYid"achWYXNViU¼MŸacUfD¤"NFYXsWe¡[c«_q[]M¡oWdW`NFl¡e_FVXNFUL_qN¾acULs MŸac`gJLNFMŸac`gVX_qe¬˜še

(66) NqHN GIb~5D J(KB›ž o"aclg`gVX_FdWY•aclgYifDViUª_FlgfpoW`[]YX[]\^f²˜šeNqLN G P J5P^(P KB›ž¥IJWVXeoWl[]hWYXNFM VXe ,UL[bŽ(U¾a]Me 6 78N@D$#B?7O  ŸacULs_bacUŸViU`gdWVi`gVi}zNFYifƒh7N}pVXNFŽNqsa]eaZ}zNq_F`[]lgV•acY*\zNFULNFl

(67) acYiVXe

(68) ac`gVX[]U [c«\z_qs¾_q[]M¡oWdW`

(69) ac`gVX[]ULeb¥ IJLN¤Lleg`OhWlNbac,`gJWl[]dW\^J ViU©Y•ac`g`gVX_qN¬lNqs5dL_F`gVX[]U sLac`NqeŸh"a]_¨`P [ IQ^Cx IAŽ(Vi`gJ©2NFULeg`gl

(70) a  e _qNFYXNFhWl

(71) ac`NqsªŽ[]lgD[]UªViU`NF\zNFl¡oWl[]\^l

(72) acM¡M¡ViUWP \ GIy,O Ib(x K’ Ž(JWVX_J¨Ža]eb%acMO[]UW\–[]`gJLNFleb<h"a]e

(73) Nqs []UDaƒUL[}zNFY Y•ac`g`gVX_qN>lNqs5dL_F`gVX[]U`Nq_JWUWVXjpdLNA˜BŽ(JWVX_

(74) J°_bacU/h7N€«¹[]dWULs/ViU/`gJLN>oWlNFYiViM¡ViU"aclgf/}zNFl#‘ eVX[]A U GIRy KŒ[cS« GIb(x KB›ž¥µ2NFULeg`gl

(75) a  eºlNqs5dL_F`gVX[]U`Nq_JWUWVXjpdLN¡Ža]e3[]UWYif§o*[]YifpUL[]M¡V•acY—‘¢`gViMON¡«š[]l ¤W­WNqs s5ViMONFULeVX[]U22Ž(JWVX_J¼Ža]e3JL[bŽNF}zNFl>ed Ÿ_FVXNFU`3ViT U GIRy K’¥<IJWVXe3ViULegoWVilNqsD2[}]“]e”Ÿ`[¬sWNF}zNFYX[]o¨a o*[]Yif,UL[]M¡V•acY—‘¢`gViMONZ}]aclgV•acUp`[c« `gJLN3acYi\z[]lgVi`gJWM¬WŽ(JWVX_J§lNba]_JLNqsAa>¤LU"acY*«š[]lgM ViU¬`gJLNZe

(76) NFM¡ViU"acY o"aco*NFU l GIJ(K|Ž(JLNFlN–<NFULeg`gl

(77) a52NFULeg`gl

(78) a¨acULs 2[b}^“]eg”acoWoWYiVXNqs²Vi``[«¢a]_F`[]ll

(79) ac`gVX[]U"acYZo7[]Yifp‘ UL[]M¡V•acYXe€ViU°o7[]Yif,UL[]M¡V•acY£`gViMON/˜Bh"a]_D`gJLNFU2 a¬«¹acMO[]dLeoWl[]hWYXNFMƒ›žœ«Bl[]M Ž(JWVX_J¼`gJLNƒU"acMON <2°_q[]MONqe¥ EWdWlg`gJLNFl|lNž¤LULNFMONFU`e [c«`gJLN322ªacYi\z[]lgVi`gJWM™Ž£NFlNºY•ac`NFloWl[]o7[^e

(80) NqsµLUL[]`

(81) achWYif hpfn,_JWUL[]lgVl G P Q5w^(~ K’¥µ2< acULs§[]`gJLNFl lNqs5dL_F`gVX[]UacYi\z[]lgVi`gJWMOe J"aq}zN¡aclg\^d"achWYifAh*Nq_q[]MON`gJLN MO[^e`œo*[]oWdWY•acl`[p[]Y5ViU€oWdWhWYiVX_ž‘¢zNFf€_Flgf,oW`

(82) acU"acYif,eVXe˜še

(83) NqMN G P J(KB›ž¥^³´U`gJLN£o"a]eg``’ŽNFU`´f‘¹¤L}zN(fzNbacle `gJLNFf–J"ab}zNh7NqNFU°dLeNqsD`[AhWlNbacMŸacUfDoWdWhWYiVX_ž‘¢zNFfD_FlgfpoW`[^ef,eg`NFMOe<ViUL_FYidLs5ViUW\pU"acoLe¯a]_ _Flgf,oW`[^egf5eg`NFMOVe G PzRy K’µr|n,±tViU–o"aclg`gVX_FdWY•acleNF`g`gViUW\zVe G y,v5# K’ Zn,± acULs–egViM¡ViY•aclºegVi\^U"ac`gdWlNqe ViU¾o"aclg`gVX_FdWY•acl|eNF`g`gViUW\zWe GII^Pc K’LMO[^eg`Y•ac`g`gVX_qNž‘¢h"a]eNqs¬_Flgf,oW`[^egf5eg`NFMOWe G P^v5P^(w K’ X47RY R|Vi}zNFUa]e2ViUWoWdW` acUºViU`NF\zNFl d‘’s5ViMONFULegVX[]U"acY,Y•ac`g`gVX_qN h"a]egVXe2[c«5}zNq_F`[]leœŽ(Vi`gJºUL[]lgMOe<egMŸacYiYXNFl `gJ"acU B 9<2¬[]dW`goWdW`eŒae[c‘’_bacYiYXNqs¡22µ‘¢lNqs5dL_qNqsOh"a]egVXe ViU>`gViMON O(d log B) 9dLeViUW\ZaclgVi`gJ5‘ MONF`gVX_§[]o7NFl

(84) ac`gVX[]ULe[]U ViU`NF\zNFle[c«ZhWVi`#‘¢YXNFUW\^`gJ O(d log B) ¥ŒIJWVXeƒŽ£[]leg`#‘’_ba]e

(85) NA_q[]M¡oWYXNž­5Vi`’f `gdWlgULe[]dW``[¡h*N oWl[]hWYXNFMŸac`gVX_ºViU¾oWl

(86) a]_F`gVX_qN^"Nqeo7Nq_FV•acYiYifƒ«š[]lY•ac`g`gVX_qNqeaclgVXegViUW\¡ViUA_Flgf,oW`

(87) acU"acYifp‘ eVXe(Ž(JLNFlN d []l¯®]acULs log B aclNº[c«š`NFU¬Y•aclg\zN^Z¥ EL[]lViULeg`

(88) acUL_qN^"ViU§a>`´fpoWVX_bacY r|n,± acoWoWYiVX_bac`gVX[]U [c« Æ[]oWo*NFlegM¡Vi`gJ  eY•ac`g`gVX_qNž‘¢h"a]eNqs`gJLNq[]lNF[ M G Ry K’,Ž£NMŸaqfƒULNqNqsŸ`[lNqs5dL_qNZ\a Jc]‘’s5ViMONFULegVX[]U"acY Y•ac`g`gVX_qNºŽ(Vi`gJ¬}zNq_F`[]leJ"ab}pViUW\r|n,±‘¢`’f,o7NZ_q[,N Ÿ_FVXNFU`e>]˜ Ib~^Pc]‘¢hWVi`¯›žLViU¬Ž(JWVX_

(89) J§_ba]eN `gJLN3_q[]M>‘ oWYXNž­5Vi`’f¡h*Nq_q[]MONqe ^ d log B = 2 _ ¥,±eaZlNqegdWYi`bp`gJLN[]lgVi\^ViU"acY*22acYi\z[]lgVi`gJWM VXe£e

(90) NFYXsW[]M dLe

(91) Nqs¬ViUoWl

(92) a]_F`gVX_qN^¥ ³´ULeg`Nba]sµ7[]ULNacoWoWYiVXNqe¶"[zac`gViUW\]‘¢o7[]ViUp`Ÿa˜ `4bL›}^aclgV•acU`e [c«Œ22  Ž(JLNFlN`gJLN YX[]UW\]‘¢ViUp`NF\zNFl aclgVi`gJWMONF`gVX_3lNqjdWVilNqs¬hf¬R|l

(93) acM>‘·n,_JWM¡VXs5` []lg`gJL[]\z[]U"acYiVXe

(94) ac`gVX[]U¨˜BŽ(JWVX_JAoWY•abf,e|a 1. n. d. i. 1. 1. d i=1. d. d. 6. 6. ccedfhg!i!jXk. 3. 66. 3. i i. i.

(95) . C   Y B   \= X

(96) Z" . _qNFUp`gl

(97) acY l[]YXN¡ViU2<œ›|VXeZlNFoWY•a]_qNqs–hpfA¶"[zac`gViUW\]‘¢o*[]ViU`>aclgVi`gJWMONF`gVX_§a˜ `"bC›|[]U–MdL_J°eMŸacYiYXNFl UpdWM3h*NFleb¥zIJLNdLeN[c«2`4bC(ViUO22¾\z[,Nqe%h"a]_€`[|`gJLN(NbaclgYif€NFVi\^Jp`gVXNqe Ž(JLNFUO2<¬Ža]e dLeNqs>`[ e

(98) []Yi}zNZYX[bŽ‘’sWNFULegVi`´f¬,U"acoLe

(99) a]_5\e GIF K’¥ ¸U5«¹[]lg`gdWU"ac`NFYifz, `"bC3MŸaqfYXNba]s¬`[ƒeg`

(100) achWViYiVi`’f¾oWl[]hWYXNFMOe h*[]`gJDViU°`gJLNq[]lgfDacULsoWl

(101) a]_F`gVX_qN^ Nqego*Nq_FV•acYiYif–Ž(JLNFUD`gJLNŸs5ViMONFULeVX[]U°ViUL_FlNba]eNqe»2`gJLNƒlgdWUWUWViUW\ `gViMONƒ[cF« `4b–}^aclgV•acU`e>[c«22 egdL_

(102) J¼a]e¡n,_JWUL[]lgl#‘ ‹ dL_

(103) JWULNFl  He G w^(P K£VXeUL[]`3\^d"acl

(104) acUp`NqNqsª`[¬h*N o*[]Yif,UL[]M¡V•acYWUL[]lNF}zNFU>¤LUWVi`N^zacULs>`gJLN[]dW`goWdW` h"a]eVXeœMŸabfUL[]`%h*N22*‘¢lNqs5dL_qNqsac` acYiY¢¥^IJWVXe oWJLNFUL[]MONFUL[]UªVXe€Ž£NFYiY—‘¢,UL[bŽ(U¨`[22²oWl

(105) a]_F`gVi`gVX[]ULNFleb.¥ E"[]lViULeg`

(106) acUL_qN^Nž­5o7NFlgViMONFUp`

(107) acYoWl[]h5‘ YXNFMOeacl[^eNs5dWlgViUW\€`gJLN_Flgf,oW`

(108) acU"acYif,e

(109) NqMe G P^v5P^(w K’pŽ(JWVX_JYXNqs¡`[3_q[]ULeVXsWNFl

(110) achWYXNViM¡oWl[}zNFMONFU`e ViU§npJL[]dWo  e{I(DYiVihWl

(111) aclgU f G w J(K’¥ IJLNFlN/VXeƒJL[Ž£NF}zNFlA[]ULNoWl[}]achWYXN `"b‘¢}^aclgV•acU`¾[c«€<2 (s5dLN`[ n,_JWUL[]lgl G w^(~ K’Ž(JWVX_J eVi\^UWV—¤"_bacU`gYifOViM¡oWl[}zNqe<2  eŽ£[]leg`#‘’_ba]e

(112) N_q[]M¡oWYXNž­5Vi`’fz¥Wn,_JWUL[]lgl  e}^aclgV•acU`[]dW`goWdW`eacUaco5‘ oWl[b­,ViMŸac`NA22*‘¢lNqs5dL_qNqs©h"a]egVXe>ViUª`gViMON O(d log B(d + log B) )  dLegViUW\ O(d + log B) oWlNq_FVXeVX[]\U `"b>UpdWM3h*NFleb¥ [Ž£NF}zNFlb,`gJWVXe(acYi\z[]lgVi`gJWM VXe£MO[^eg`gYifO[c«2`gJLNq[]lNF`gVX_bacY*ViU`NFlNqeg`(acULsƒVXe UL[]`ViM¡oWYXNFMONFU`Nqs/ViU–acUf¬[c« `gJLNMŸacViU_q[]M¡oWdW`

(113) ac`gVX[]U"acYYiVihWl

(114) aclgVXNqe G w J5P^~5P5O IQ(K’¥µIJWVXe|_bacU h*NNž­5oWY•acViULNqsƒhfŸac`ŒYXNba]e`£`gJWlNqNlNba]e[]ULeb»Vi`ŒVXe£UL[]`_FYXNbacl£Ž(JWVX_J `4b?ž‘¢MO[psWNFY7VXe£dLeNqsµz`gJLN|acY—‘ \z[]lgVi`gJWMtVXe%s5V Ÿ_FdWYi` `[ZsWNqe_FlgVih*N^zacULs>`gJLNJWVXsWsWNFUŸ_q[]M¡oWYXNž­,Vi`´f¡_q[]ULeg`

(115) acU`eŒaclNl

(116) ac`gJLNFlŒY•aclg\zN^¥ []lNoWlNq_FVXeNFYifz`gJLN%lNqjdWVilNqsºoWlNq_FVXegVX[]U3[c« `4bUpdWM3h*NFle<ViU G w^(~ KVXeµJWVi\^JLNFl2`gJ"acU 12d+7 log B ¥   " ¥ !N/oWlNqeNFU`A`gJLN<2 acYi\z[]lgVi`gJWM¬a°ULNFŽ acULs egViM¡oWYXN `"b‘¢}^aclgV•acU`¬[c« <2 ViU°ae`

(117) acULsLacls `"bCž‘¢MO[,sWNFY Y•a¾³ ‹ ‹ ‹ ‘·y]vcL<Ž(JWVX_JDoWl[}]achWYif–[]dW`goWdW`e22*‘¢lNqs5dL_qNqs h"a]e

(118) NqeŸViU²o7[]Yif,UL[]M¡V•acY `gViMON^¥£<2 _q[]MONqeViU `´Ž£[°¶ aq}z[]leb¥IJLNA¤Lleg`[]ULNAMŸac`_

(119) JLNqe`gJLN _q[]M¡oWYXNž­5Vi`’f O(d log B(d + log B) ) [c« G w^(~ K’hWdW`¡Vi`¡VXe>M3dL_J egViM¡oWYXNFlŸacULsªJ"a]e>h7NF`g`NFl _q[]ULe`

(120) acU`eb»µU"acMONFYifz<`gJLN>lNqjdWVilNqsoWlNq_FVXegVX[]U°sWNq_FlNba]eNqeZ«Bl[]M 12d + 7 log B `[ 1.812d + ¥9IJLN£eNq_q[]ULs}zNFlegVX[]U>[c«"22 VXeœNF}zNFU€MO[]lNŒViUp`NFlNqeg`gViUW\L»cVi`eœ_q[]M¡oWYXNž­5Vi`’fVXe O(d (d+ log B dLegViUW\Ÿ[]UWYif¬a ‘¢hWVi`|oWlNq_FVXegVX[]U2L`gJ"ac`VXe5ViULsWNFo7NFULsWNFUp`gYif¬[c« log B ¥WIJWVXeVXe log B) log B) `gJLN¬¤Lleg`Ÿ2<Ž(JWVX_

(121) J©lgdWUWUWVi1.6d UW\¼`gViMON¬\^l[Žeƒ[]UWYif¨jpd"a]s5l

(122) ac`gVX_bacYiYif Ž(Vi`gJ©lNqego*Nq_F`O`[ ˜BJLNFUL_qN`gJLN§U"acMON/22 ›ž£Ž(JLNFlNba]e`gJLN§\^l[bŽ(`gJ VXe_FdWhWVX_A«¹[]l¾acYiY|[]`gJLNFloWl[b}^achWYXN/log22B acYi\z[]lgVi`gJWMOe pUL[Ž(U2¥^³’Up`NFlNqeg`gViUW\^Yifz^22§_bacU€h*N}pVXNFŽNqs¡a]e a\zNFULNFl

(123) acYiVXe¯ac`gVX[]UŸ[c«"`gJLN«¢acMO[]dLe RºacdLeegV•acU¬acULs ‹ dL_FYiVXsWNbacU§acYi\z[]lgVi`gJWMOeŽ(JWVX_JA_q[]M¡oWYXNž­5Vi`gVXNqeaclNZjpd"a]s5l

(124) ac`gVX_^5UL[]`_FdWhWVX_ YiVizN `gJLNZ[]lgVi\^ViU"acY 22 ¥ IJWVXeaclg\^d"achWYifMŸaczNqe2< `gJLNZMO[^eg`(U"ac`gdWl

(125) acY<}zNFlegVX[]UA[c«%22 ¥ IJLN£ULNFŽ¨2< acYi\z[]lgVi`gJWM VXeœh"a]e

(126) Nqs€[]U>eNF}zNFl

(127) acY5ViM¡oWl[b}zNFMONFUp`eb^h*[]`gJ>ViU€`gJLN22§acYi\z[c‘ lgVi`gJWM Vi`eNFY—«<acULsƒMO[]lNViM¡o*[]lg`

(128) acU`gYifŸViUƒVi`e£acU"acYif5egVXeb¥ EWl[]M acUacYi\z[]lgVi`gJWM¡VX_|o7[]ViUp`[c«µ},VXNFŽº ŽNºViM¡oWl[}zN`gJLN€a]_q_FdWl

(129) a]_Ff¬[c«%`gJLN3dLegd"acYR|l

(130) acM>‘·n,_JWM¡VXs5`º_q[]M¡oWdW`

(131) ac`gVX[]ULe|hfAaŸegf5eg`NFMŸac`gVX_ dLe

(132) Nº[c« `gJLN>R|l

(133) acM MŸac`glgV—­µ"acULs¬ŽN3a]sLacoW$` #(ach"acV  eULNbaclNqeg`oWY•acULN€acYi\z[]lgVi`gJWM GIK<`S[ `"bC3ViU []lsWNFl`[§e`

(134) achWViYiVi”bNO`gJLNe[c‘’_bacYiYXNqsDegVi”bNž‘¢lNqs5dL_F`gVX[]UªoWl[,_qNqee€Nž­,`NFULegVi}zNFYif–dLe

(135) NqsViU°<2 %¥ !N \^Vi}zN `gVi\^Jp`h*[]dWULsWe[]U¬`gJLNºa]_q_FdWl

(136) a]_Ff¾[c«%R|l

(137) acM>‘·n,_

(138) JWM¡VXs5`|_q[]M¡oWdW`

(139) ac`gVX[]ULe`[¡oWl[b}zNº`gJLNZ_q[]l#‘ lNq_F`gULNqe

(140) e[c« 22 ¥,IJLNZacU"acYif,eVXe£YXNba]sWe`[`gJLN s5VXe_q[b}zNFlgf[c«œegdWlgoWlgVXegViUW\^YifOh"a]sY•ac`g`gVX_qNqeb»p«¹[]l ViULe`

(141) acUL_qN^pŽN«¹[]dWULsav^v9‘’s5ViMONFULegVX[]U"acYµY•ac`g`gVX_qN|Ž(Vi`gU J Ib~^~9‘¢hWVi`}zNq_F`[]leŽ(JWVX_JMŸaczNqe({I(  e 4. 2. 2. 2. 4. 2. 2. 5. 2. 2. 2. 2. &('c)&+*.

(142) v. 

(143)  

(144)  ! "$#. <2 Ek G w J(Kœ˜¹acU>ViM¡oWl[b}zNqsŸ}zNFlegVX[]U¡[c« G w^(P KB›œYX[,[]o>«š[]lNF}zNFlb]Ž(JWVX_

(145) JO_q[]U`gl

(146) a]s5VX_F`eMGIbw(KLŽ(JLNFlN Vi`Ža]e_FY•acViMONqsA`gJ"ac`sW[]dWhWYXN3oWlNq_FVXegVX[]UAŽa]eegd Ÿ_FVXNFUp`ViU G w^P(Kœ`[O22*‘¢lNqs5dL_qN€Y•ac`g`gVX_qNqedWo `[Ds5ViMONFULegVX[]U²P^v^~5F¥ E ViU"acYiYifzŒ`[Nqeg`

(147) achWYiVXegJ a–jd"a]s5l

(148) ac`gVX_AlgdWUWUWViUW\D`gViMON^%ŽN¬\zNFULNFl

(149) acYiVi”bN/a ŽNFYiY—‘¢pUL[Ž(U¾_ba]e_ba]sWNoWJLNFUL[]MONFUL[]UViUŸ`gJLN_q[]M¡oWYXNž­,Vi`´fŸacU"acYif,egVXe[c«µ`gJLN|RZacdLe

(150) egV•acUƒacULs ‹ d5‘ _FYiVXsWNbacUAacYi\z[]lgVi`gJWMOe¥WIJWVXe£VXeMŸa]sWN|o*[^eegVihWYXNhfa3`gVi\^Jp`(h7[]dWULs[]U`gJLN _q[]M¡oWYXNž­,Vi`´f[c« []dWl `"b‘¢}^aclgV•acU`[c%« #(ach"acV  eacYi\z[]lgVi`gJWM¬5Ž(JWVX_

(151) J¾MŸaqfh7N [c«<ViULsWNFo*NFULsWNFU`ViU`NFlNqeg`b?¥ EL[]l(ViULe`

(152) acUL_qN^ ViU AVX_q_FV•acUL_FVX[  e|}^aclgV•acU\` G CP IK[c«%`gJLNRºR  _Flgf,oW`[^egf,e`NFM G (x K’ #(ach"acV  e acYi\z[]lgVi`gJWM VXedLeNqs `[¡sWNq_Flgf,oW`bWŽ(JWVX_

(153) JAMŸaqfh*NZ_q[]M¡oWdW`

(154) ac`gVX[]U"acYiYif¬Nž­,o*NFULegVi}zN^¥    % ¥ §dL_J½Ž£[]lg G wcLw^~5wzy,O IbP5O Ibw5Cw IK¡J"a]e¾h7NqNFUsWNF}z[]`Nqs `[¨ViM¡oWl[b}zN `gJLN€_q[]M¡oWYXNž­5Vi`’f§[c«Œ<2 7hWdW`UL[]ULNViM¡oWl[b}zNqe `gJLN B «¢a]_F`[]lb¥7rac`gJLNFlb `gJLNFf¾«š[,_FdLe[]U `gJLN¡Nž­5o*[]ULNFU`3[c« d ViU–`gJLNO_q[]M¡oWYXNž­5Vi`’fz¥ !NONž­5o*Nq_Flog `ZMO[^eg`º[c«£`gJLNqeN>ViM¡oWl[}zNFMONFU`e€`[h*N a]sLacoW`

(155) achWYXN3`[¡22 ¥ EœYX[zac`gViUW\]‘¢o*[]ViU`>eg`

(156) achWViYiVi`´fJ"a]eºYX[]UW\§h7NqNFUªaM3f5eg`NFlgVX[]dLeVXeegdLN¡ViU¼22 %¥ ! JLNFU°Vi`ºŽa]e lNbacYiVi”bNqss5dWlgViUW\¡Nž­5o7NFlgViMONFUp`e`gJ"ac`_FY•a]e

(157) egVX_bacYµR l

(158) acM>‘·n,_JWM¡VXs5`[]lg`gJL[]\z[]U"acYiVXe

(159) ac`gVX[]U¬_q[]dWYXsh*N }zNFlgf¼dWULeg`

(160) achWYXN^ŒVi`¡Ža]eŸedW\^\zNqeg`Nqs¨ViU `gJLN¾Y•ac`N¬UWViULNF`gVXNqeO`[–dLeNŽNFYiY—‘¢pUL[Ž(U acYi`NFlgU"ac`gVi}zN `Nq_

(161) JWUWVXjdLNqe¡˜šeNqN GIbv5D Q(KB›YiVizN>R|Vi}zNFULel[]`

(162) ac`gVX[]ULeO˜BViM¡oWYXNFMONFU`Nqs/ViU{I( ›[]l []dLe

(163) NFJL[]YXsWNFl lNž¶"Nq_F`gVX[]ULebŽ(JWVX_J€aclN%MO[]lN Nž­5o7NFULegVi}zN hWdW`<eNqNFM `[(h*NMO[]lN eg`

(164) achWYXN%ViU3oWl

(165) a]_F`gVX_qN^¥ |[bŽ£NF}zNFlb «šl[]M aO`gJLNq[]lNF`gVX_bacYœo*[]ViU`|[c«},VXNFŽºL`gJLN3h7Nqe`lNqegdWYi`e,UL[bŽ(U/[]U¬`gJLN3Ž£[]leg`#‘’_ba]eN>a]_q_FdWl

(166) a]_Ff [c«R|Vi}zNFULeºl[]`

(167) ac`gVX[]ULe[]l []dLe

(168) NFJL[]YXsWNFlºlNž¶"Nq_F`gVX[]ULeaclN>UL[]`3eVi\^UWV—¤"_bacU`gYif/h7NF`g`NFl3`gJ"acU–`gJLN e

(169) [c‘’_bacYiYXNqs [ps5V—¤"Nqs¡R|l

(170) acM>‘·n,_

(171) JWM¡VXs5`%acYi\z[]lgVi`gJWM¬¥ #NqegVXsWNqeb9MO[^eg`œUdWMONFlgVX_bacY"acU"acYif5egVXe<lNqedWYi`e lNž«¹NFl3`[Ah"a]_,Žaclsªeg`

(172) achWViYiVi`´f°acULsUL[]`¡a]_q_FdWl

(173) a]_Ff7» egdL_

(174) J¼a¾M¡VXe`

(175) aczNŸVXe3MŸa]sWNŸhpfÇ[bf¼acULs n,_

(176) JWUL[]lgl3ViP U GIb(w K˜¹acULsDacYXe

(177) [ViUDacUDNbaclgYif§}zNFleVX[]U[c« G Cw IKB›žµŽ(JLNFlNƒa`gJLNq[]lNFM «Bl[]M GIb(v K VXe ViUL_q[]lglNq_F`gYifacoWoWYiVXNqsµ¥œ±`Z`gJLN¡MO[]MONFU`b<Vi`ZVXeZ`gJLNFlNž«š[]lNŸUL[]`º_FYXNbaclºJL[bŽt`[¬Nž­,oWYX[]Vi`3pUL[Ž(U lNqedWYi`e%[]UOR Vi}zNFULeœl[]`

(178) ac`gVX[]ULe£acULs |[]dLeNFJL[]YXsWNFl%lNž¶"Nq_F`gVX[]ULe%`[|ViM¡oWl[}zN22¾`gJLNq[]lNF`gVX_bacYiYifz¥ IJWVXeVXe(Ž(Jf¾22 []UWYifƒdLe

(179) Nqea>oWl[,_qNqee(_FYX[^eNZ`[¡_FY•a]eeVX_bacY R|l

(180) acM>‘·n,_JWM¡VXs5`b¥    

(181)  ¥œIJLNo"aco*NFlVXe>[]lg\acUWVi”bNqs a]e«¹[]YiYX[bŽeb¥³´U¨n,Nq_F`gVX[]U PAŽ£NoWl[b},VXsWNULNq_qNqee

(182) aclgf h"a]_

(183) p\^l[]dWULsA[]U¾Y•ac`g`gVX_qNqeacULs¾22Œ ¥ !NZsWNqe_FlgVih*N `gJLN ULNFŽ¦22 acYi\z[]lgVi`gJWM ViU§n,Nq_F`gVX[]U§w5¥ n,Nq_F`gVX[]Uª§oWl[b}zNqe>`gJLN_q[]lglNq_F`gULNqee¡[c«22 <Ž(JWViYXN¬n,Nq_F`gVX[]U¨v§acU"acYif,”bNqe€Vi`e€_q[]M¡oWYXNž­5Vi`’fz¥ ±(sWs5Vi`gVX[]U"acYŒViU5«š[]lgMŸac`gVX[]U ˜šegdL_JDa]eº_q[]M¡oWYXNF`NOoWl[p[c«¹eZ[c«`Nq_

(184) JWUWVX_bacYŒYXNFM¡MŸac`

(185) az›|VXe oWl[}pVXsWNqs ViUAacoWo*NFULs5V—­µ¥ 3. 2. 2. 2. 2. .  0 *,+/'-. acULs h7NZ`gJLN ‹ dL_FYiVXsWNbacU§UL[]lgM acULs¬ViUWULNFloWl[ps5dL_F`[c« ¥WIJLN  %   ) 2NF` UL[]`

(186) ac`gVX[]U dxc sWNFUL[]k.k `NqeŒa|_FYX[^h.,eNqeg.i`%ViU`NF\zNFlŒ`[ x ¥ #[]YXs>}]aclgV•achWYXNqeŒaclN}zNq_F`[]le¥^±YiY5`gJLNRY•ac`g`gVX_qNqe ŽNº_q[]ULegVXsWNFlaclNZViUp`NF\zNFlY•ac`g`gVX_qNqeb"a]edLegd"acY¢¥WIJLNº_q[]M¡oWYXNž­5Vi`’fMO[psWNFYµŽNZdLeN VXe`gJLNºr±' MO[,sWNFY¢ acULsª`gJLN_q[]M¡oWdW`

(187) ac`gVX[]U"acY_q[^eg`¡VXe>MONba]edWlNqsªViU NFYXNFMONFU`

(188) aclgf¨[]o7NFl

(189) ac`gVX[]ULeŸ[]U¨hWVi`eb n. ccedfhg!i!jXk.

(190) C   Y B   \= X

(191) Z"  J. Ž(Vi`gJL[]dW`«¢a]eg`ŸViUp`NF\zNFlAaclgVi`gJWMONF`gVX_AG w^v(K’¥dWl5`"bCž‘¢MO[,sWNFY|VXea°egMO[p[]`gJ Nž­5`NFULegVX[]U [c«º`gJLN ³ ‹ ‹ ‹ ‘·y]vc§eg`

(192) acULsLaclsµ a]eZoWl[b},VXsWNqs–«¹[]l3Nž­LacM¡oWYXNOViU{|I( G w J(KacULs §kFEr G P^x(K’¥!²Vi`gJ°a ‘¢hWVi` Ž£[]lg,ViUW\€oWlNq_FVXegVX[]U2pa `4b‘¢UpdWM3h*NFl£VXe£[c«µ`gJLN(«¹[]lgM x = ±m · 2 Ž(JLNFlN`gJLNMŸacU`gVXee¯a ` VXe `‘¢hWVi`OYX[]UW\DacULs `gJLN¾Nž­,o*[]ULNFU` e VXeOacU ViU`NF\zNFlb¥ !N¾Nž­,o*Nq_F`ŸacYiY(«¹[]dWl m ∈ [1/2, 1[ h"a]eVX:_ `"b‘’[]o7NFl

(193) ac`gVX[]ULe`[Dh7N§_q[]lglNq_F`gYif ViM¡oWYXNFMONFU`Nqsµ»`gJLN§lNF`gdWlgULNqs©}^acYidLN o(a []o b) «š[]l []o VXe `gJLN>_FYX[^eNqeg` `"b‘¢UdWMh7NFlº`[ []o ¥*³´U–[]dWl _q[]M¡oWYXNž­5Vi`’facU"acYif5egVXeb ŽNŸsW∈[¾UL{+, []`−, _q[]UL/,egVX∗} sWNFl3`gJLNƒ_q[^eg`3[c«`gJLNƒaclgVi`gJWMONF`gVX_(a[]U`gJLNOb)Nž­5o7[]ULNFUp`eb»2Vi`3_bacU°h7NŸ_JLNq_zNqs `gJ"ac`Œ`gJLNNž­,o*[]ULNFU`eaclN(ViU`NF\zNFle[c«*YXNFUW\^`gJ O(log(d + log B)) ^e[Z`gJ"ac` `gJLN_q[^e` VXe%ViULsWNqNqs ULNF\^YiVi\^VihWYXN^¥ !Nºa]e

(194) egdWMONZ`gJLN lNba]sWNFlVXe(«¹acM¡ViYiV•aclŽ(Vi`gJAh"a]egVX_ºacYi\z[]lgVi`gJWM¡VX_º\zNq[]MONF`glgf¾[c«UdWM3h*NFl5 e G P^(P K’¥ ‡9ˆ ˆ5†b‡  <NF` b , . . . , b h*N>}zNq_F`[]leb)¥ !NOsWNFUL[]`N¡hf G(b , . . . , b ) `gJLNFVil€R|l

(195) acM MŸac`glgV—­µV¢¥ N^¥`gJLN d × d egf,M¡MONF`glgVX_/MŸac`glgV—­ (hb , b i) «¹[]lgMONqs hf acYiY `gJLN/ViUWULNFl oWl[,s5dL_F`eb¥ ˆ5†q † B‰

(196) À Ä %

(197) À  ± Y•ac`g`gVX_qN J"a]eViU5¤LUWVi`NFYif–MŸacUfY•ac`g`gVX_qNƒh"a]eNqeºŽ(JLNFU ¥ ±Uf>`´Ž£[ºh"a]e

(198) Nqe£aclNlNFY•ac`NqsŸ`[ºLNba]_J[]`gJLNFl hpfOe[]MON(dWUWViMO[,s5dWY•acl£MŸac`glgV—­A˜BViU`dim(L) NF\^l

(199) acY7MŸac≥`glgV—2­ [c«sWNF`NFlgM¡ViU"acUp` ±1›žœacULs°`gJLNFlNž«š[]lNƒ`gJLNŸsWNF`NFlgM¡ViU"acUp`O[c«`gJLNR|l

(200) acM MŸac`glgV—­D[c«a¾h"a]egVXe []UWYif>sWNFo*NFULsWe []U¡`gJLNY•ac`g`gVX_qN^¥zIJLNejpd"aclNl[,[]`[c«*`gJWVXe sWNF`NFlgM¡ViU"acUp`ŒVXe%`gJLN ( B2=> vol(L) ˜š[]Wl #X"@=5

(201) Z Z•›[c« `gJLN Y•ac`g`gVX_qN^¥ ‡9ˆ  ‰ ! BÅ<† Ä ‡9 †  Ä "Ä  ˆ %B„bˆ5 †  Ä   <NF` [b , . . . , b ] h7N YiViULNbaclgYifViULsWNFo*NFULsWNFU`}zNq_ž‘ `[]le¥cIJLN  @$= 

(202) 7 = #@X(2D ,  X,.  Ÿ˜¢R3n Z› [b , . . . , b ] VXe acU¡[]lg`gJL[]\z[]U"acYW«¢acM¡ViYif sWNž¤LULNqsAlNq_FdWlegVi}zNFYifAa]e(«¹[]YiYX[bŽe» b VXe`gJLN3_q[]M¡o*[]ULNFU` [c« b []lg`gJL[]\z[]U"acY `[O`gJLNºegdWhLeo"a]_qN eo"acUWULNqshf b , . . . , b ¥ !N J"ab}zN b = b − P µ b Ž(JLNFlN µ = hb , b i/kb k ¥ IJLN¬Y•ac`g`gVX_qN L ego"acUWULNqs¨hpfª`gJLN b  eOe

(203) ac`gVXeg¤"Nqe vol(L) = Q kb k ¥ IJLN§Rºn «¢acM¡ViYif sWNFo*NFULsWe|[]U¬`gJLN3[]lsWNFl [c«%`gJLNº}zNq_F`[]leb¥ ³¢«%`gJLN b  eaclNºViUp`NF\zNFl}zNq_F`[]leL`gJLN b  eacULsA`gJLN  eaclN ViU¬\zNFULNFl

(204) acY2l

(205) ac`gVX[]U"acY¢¥ µ ˆW‰z† Ä ‡  „ˆ5 †  Ä   IJLNºRºn _bacUh*NeNqNFU¾a]e`gJLN ^ R_ o"aclg`([c«<`gJLN Q · R «¢a]_F`[]lgVXe

(206) ac`gVX[]U QR  [c«`gJLNƒMŸac`glgV—­DlNFoWlNqeNFUp`gViUW\–`gJLNŸh"a]eVXe [b , . . . , b ] 2Ž(JLNFlN Q VXe>acUª[]lg`gJL[]\z[]U"acYMŸac`glgV—­ ›acULs VXe3YX[Ž£NFl>`glgV•acUW\^dWY•aclb¥IJWVXe>sWNq_q[]M¡o7[^egVi`gVX[]Uª_bacU¼h7N ˜BV¢¥ N^¥ _q[]M¡oWQdW`·NqQs–N^¥ =\L¥*QŽ(Vi`g·J/Q`gJL=NŸR|Idl

(207) acM>‘·n,_

(208) JWRM¡VXs5`acYi\z[]lgVi`gJWM a]eZsWNqe_FlgVih*Nqs–ach7[}zN^¥µ³¢« R = (r )  «¹[]lºacUf Ž£N>J"ab}zN acULs«¹[]l3acUf Ž£N>J"ab}zN ¥µ³´U/Ž(J"ac` «¹[]YiYX[bŽe5i`gJLN 

(209) U`Xr=

(210) = sWkbNFUL[]k`Nqe`gJLN r  eacULis >µ j  eb¥Ln,[]MON rViU5«¹[]lg=MŸµac`gVX[]kbU¬VXek lNqs5dWULsLacU` ViUŸVXsWNbacY aclgVi`gJWMONF`gVX_^hWdW`ŒViUO`gJLN_q[]Up`Nž­,`[c«*[]dWl `4b€_bacYX_FdWY•ac`gVX[]ULeVi` VXe dLeNž«BdWY"`[ZJ"aq}zN`gJLNFM acYiYµ`[OM¡ViUWViM¡Vi”bNº`gJLN UdWMh7NFl|[c«%aclgVi`gJWMONF`gVX_[]o7NFl

(211) ac`gVX[]ULe|acULs¾`gJdLe`gJLN oWlNq_FVXegVX[]UAYX[^e

(212) eb¥  À^ ‡ À Å œ‰^ †  Ä   ±h"a]eVXe VXe ! R @$D#BC7!$#€Ž(Vi`gJ¬«¢a]_F`[]l V—« Vi`e Rºn «¢acM¡ViYif/e

(213) ac`gVXe#¤"Nqe |µ | ≤ η «š[b[]l3,ac.YiY . .j, b< ]i ≤ d ¥2±UViULs5Vi}pVXs5d"acYŒ}zNq_F`[]l η b≥ VX1/2 eºegVi”bNž‘¢lNqs5dL_qNqs V—« |µ | ≤ η «š[]lacYiY j < i ¥npVi”bN¡lNqs5dL_F`gVX[]U°dLed"acYiYiflNž«¹NFleº`[ η = 1/2 acULs–VXe3`’f,oWVX_bacYiYif a]_

(214) JWVXNF}zNqs¬hpfegdL_q_qNqe

(215) egVi}zNFYif¾egVi”bNž‘¢lNqs5dL_FViUW\ŸViULs5Vi},VXs5d"acY2}zNq_F`[]lehpfƒViUL_FlNba]eViUW\ŸViULsWNž­ i ¥ ex. x. x. x. 1. 1. d. i. j. 1. ∗ i. 1. ∗ i. i−1. ∗ 1. i−1 j=1. i. d. ∗ d. i ∗ i,j j. i,j. d i=1. i. d. 1≤i,j≤d. ∗ j. i. ∗ i. ∗ 2 j. ∗ i. i. i,j. t. 1. t. i,i. ∗ 2 i. i,j. i,j. 1. i,j. d. i,j. ∗ 2 j. i,j. i,j. d. i. i,j. &('c)&+*.

(216) y. 

(217)  

(218)  ! "$#. À !Å œ‰^ †  Ä   ±©h"a]egVXe VXe%22*‘¢lNqs5dL_qNqsŸŽ(Vi`gJ€«¹a]_F`[]l «¹[]l < δ ≤ a1 ULs 1/2 ≤ η < √δ V—«2`gJLN[bh"a],eVX.e£. .VXe, begVi”b]Nž‘¢lNqs5dL_qNqsŽ(Vi`gJ«¢a]_F`[]l η acULs(δ,V—«<Viη)`eRºn1/4 c ½e

(219) ac`gVXe#¤"Nqe `gJLN (d − 1) 2[b}^“]eg”_q[]ULs5Vi`gVX[]ULe (δ − µ )kb k ≤ kb k ]Ž(JWVX_

(220) JŸMONbacULe%`gJ"ac` `gJLNR3n }zNq_F`[]leULNF}zNFls5l[]o°`[p[¬M3dL_J2¥%npdL_J°h"a]eNqeºJ"ab}zNƒe

(221) NF}zNFl

(222) acYŒdLeNž«šdWY oWl[]o*NFlg`gVXNqe˜šeNqNHGIJ5DJ5 P^(P KB›žp`gJLN«š[]YiYX[Ž(ViUW\>[]ULNViUo"aclg`gVX_FdWY•aclb»p`gJLN¤Lleg`h"a]egVXe£}zNq_F`[]l£VXelNFY•ac`gVi}zNFYifŸegJL[]lg`bpU"acMONFYif*» Ž(JLNFlN β = 1/(δ − η ). kb k ≤ β vol(L) , <2*‘¢lNqs5dL_F`gVX[]U dLegd"acYiYif lNž«¹NFleƒ`[D`gJLNA«¹a]_F`[]l (3/4, 1/2) h*Nq_bacdLeN§`gJWVXeŸŽa]eƒ`gJLN_JL[]VX_qN _q[]ULeVXsWNFlNqs ViU²`gJLN/[]lgVi\^ViU"acYZo"aco*NFU l GIJ(K’¥ #dW``gJLN/_FYX[^eNFl acULs aclNlNqego*Nq_F`gVi}zNFYif²`[ IacULs I®]P5`gJLNMO[]lNƒlNqs5dL_qNqsª`gJLNh"a]egVXe€VXeb¥ IJLN_FY•a]eegVX_bacδY(22ηacYi\z[]lgVi`gJWM []hW`

(223) acViULe¡ViU o*[]Yif,UL[]M¡V•acY7`gViMONZa3h"a]egVXelNqs5dL_qNqsŽ(Vi`gJ«¹a]_F`[]l (δ, 1/2) Ž(JLNFlN δ _bacUh*N|aclghWVi`gl

(224) aclgViYif_FYX[^eN `[ I^¥"IJLNZULNFŽ¦22 acYi\z[]lgVi`gJWM Ž(ViYiYœa]_

(225) JWVXNF}zNa«¢a]_F`[]l[c« (0.998, 0.501) ¥  À ˆ %  Ä ‡ • † !

(226)  IJLNŸh"a]eVX_ƒ2< acYi\z[]lgVi`gJWM GIJ(KVXesWNqe

(227) _FlgVih7Nqs°ViU E Vi\^dWlN I^¥<³´` _q[]M¡oWdW`Nqe|a¡22µ‘¢lNqs5dL_qNqs§h"a]eVXe(ViU§acU¬Vi`NFl

(228) ac`gVi}zNº«¹a]egJWVX[]U2»L`gJLNFlNZVXeacU¬ViULsWNž­ κ egdL_J¬`gJ"ac` ac`|acUf¾eg`

(229) ac\zNº[c«`gJLN3acYi\z[]lgVi`gJWM¬ `gJLNZ`glgdWUL_bac`Nqs¬h"a]egVXe [b , . . . , b ] VXe2<*‘¢lNqs5dL_qNqsµ¥ ±` Nba]_

(230) J/YX[p[]o/Vi`NFl

(231) ac`gVX[]U2 κ VXe NFVi`gJLNFl|ViUL_FlNFMONFUp`Nqs[]l sWNq_FlNFMONFU`Nqsµ»µ`gJLN€YX[,[]oeg`[]oLe|Ž(JLNFU κ NF}zNFUp`gd"acYiYif–lNba]_JLNqe`gJLN¡}^acYidLN 2ViUŽ(JWVX_J¼_ba]eN¡`gJLNONFUp`gVilNOh"a]egVXe VXe3acY—‘ lNba]s5f¾2<*‘¢lNqs5dL_qNqsµ¥µ22°dLeNqed`´+Ž£[ƒ1 pViULsWe[c« []o7NFl

(232) ac`gVX[]ULeb» egŽacoLe|[c«%_q[]UL[beNq,_F.dW.`g.Vi}z, N3b }z]Nq_F`[]le % ‡. 1. d. 2 i,i−1. (d−1)/4. 1. ∗ 2 i−1. ∗ 2 i. 1/d. 2. 2. . 1. κ−1. 1. *. d. !d. 

(233)     [b , . . . , b ] δ ∈]1/4, 1[    

(234)  !#"1%$&'"'(d )+*+-,#.0/1&,#2) (δ, 1/2)  2

(235) 687$%,#"9,#.";:;<=?>@ " AA,#." C   3 54   µi,j B kb∗i k2 B  .A" @2 D  κ:=2 %E κ≤d <%F'"!#"%$&'" $@ G8HI) ) JAG

(236) 2)#-,#.6LK!MG DN >@*+.@&O.P$@7QR,#"'I,#."S:;<@= bκ    B T U/ >@,#.@" 2 (δ − µκ,κ−1 )kb∗κ−1 k2 ≤ kb∗κ k2 κ:=κ + 1   A";W*I7   >%$7Q@),#"X,#.@"S:;<=Y ("O, 6ZR[  V bκ−1 bκ κ:= (κ − 1, 2)  \ =9$@,#7$%,  [b1 , . . . , bd ] . i. g. *. !d. d. &. ]d. 8d. 8d. *JAG

(237) 2)#,#.@6. ca ULs#(ach"acV eULNbaclNqeg`oWY•acULNacYi\z[]lgVi`gJWM GIK˜šeNqN E Vi\^dWlN€Pz›žLŽ(JWVX_J/sW[,Nqeac`MO[^eg` `gl

(238) acULe#‘ Y•ac`gVX[]ULe>[c«(`gJLNŸ«š[]lgM b :=b − mb 2Ž(JLNFlN m VXe€e[]MONOViUp`NF\zNFlOacULs i < κ ¥ npŽdacoLe¡aclN dLe

(239) Nqs>`[ºa]_JWVXNF}zN<[b}^“]eg”_q[]ULs5Vi`gVX[]ULebzŽ(JWViYXN #(ach"acV eacYi\z[]lgVi`gJWM VXe%dLeNqs>`[ZegVi”bNž‘¢lNqs5dL_qN}zNq_ž‘ `[]le¥ !²JLNFUAa>egŽaco¬[p_q_FdWleb,`gJLNFlNZVXeUL[€ULNqNqs¬eVi”bNž‘¢lNqs5dL_FViUW\O`gJLN ULNFŽ(YifƒegŽacoWo7Nqs¬}zNq_F`[]lb h*Nq_bacdLeN Vi`VXeacYilNba]s5feVi”bNž‘¢lNqs5dL_qNqsµ»W`gJWVXe(«¢a]_F`(Ž(ViYiY2h*N ViM¡oWYiVX_FVi`gYifdLe

(240) Nqs¾ViU¬22 ¥ ³¢«%22D`NFlgM¡ViU"ac`NqebLVi`VXe_FYXNbacl`gJ"ac``gJLNº[]dW`goWdW`h"a]egVXe(VXe2<*‘¢lNqs5dL_qNqsµ¥ !²J"ac`VXe(YXNqe

(241) e _FYXNbacl  b @! @ £VXeŸŽ(Jf¨22J"a]eOo*[]Yif,UL[]M¡V•acY—‘¢`gViMONA_q[]M¡oWYXNž­5Vi`’fz¥±™e`

(242) acULsLacls aclg\^dWMONFU` eJL[bŽe`gJ"ac`€Nba]_

(243) J¼egŽaco¼sWNq_FlNba]e

(244) Nqe3`gJLNjd"acUp`gVi`’f ∆ = Q kb k hpfDac`3YXNba]eg`¡a MdWYi`gVioWYiVX_bac`gVi}zN «¢a]_F`[]l δ qŽ(JLNFlNba]e ∆ ≥ 1 h7Nq_bacdLeN`gJLN b  eœaclNViUp`NF\zNFl<}zNq_F`[]leb¥IJWVXeœacYiYX[bŽe ]+^`_acbadI."; )&S. κ. κ. . i. 2. d i=1. i. ccedfhg!i!jXk. ∗ 2(d−i+1) i.

(245) x. C   Y B   \= X

(246) Z" . *. 8d 8d d. '

(247)  ) >-,#J:;<=Y P 0 %"[ [b , . . . , b ] κ   

(248) dI.@"; 1 *+."O#"d +F'"!#"%$&'"Q> (,#.@"X$7Q@),#"(:;<= bκ  @2* c,#2 3 %2 3 M2) i = κ−1  D  bκ :=bκ − dµκ,i cbi  M@2 ,#2 @2  j=1 i T µκ,j :=µκ,j − dµκ,i cµi,j  . d. 8d. i. ]+^`_a. . d. 8d. aHI   @")#"'W,C7@A  "S)A G2#-,#.6 B. ,#2 F'"O #"'@$&". bκ. >2 ,#.),. |µκ,i | ≤ 1/2. /129AA. i < κ. `[egJL[Ž `gJ"ac`Z`gJLN>UdWMh7NFlº[c«egŽacoLeŸ˜¹acULs/`gJLNFlNž«¹[]lN>`gJLN>UdWMh7NFlº[c«YX[p[]o–Vi`NFl

(249) ac`gVX[]ULež›VXe Ž(JLNFlN B VXe acU>dWoWo7NFlh*[]dWULs>[]U¡`gJLN£UL[]lgMOe%[c«7`gJLNViUWoWdW`%h"a]egVXe }zNq_F`[]leb¥^³’` lNž‘ O(d log B) MŸacViULe `[ Nqeg`gViMŸac`N`gJLN_q[^eg`%[c« Nba]_J>YX[,[]oVi`NFl

(250) ac`gVX[]U2¥^IJWVXe_q[^eg``gdWlgULe[]dW``[h*N£sW[]M¡ViU"ac`Nqs hpf O(d ) aclgVi`gJWMONF`gVX_Z[]o*NFl

(251) ac`gVX[]ULe[]U`gJLNºRºn _q[pN Ÿ_FVXNFUp`e µ acULs kb k Ž(JWVX_J¬aclN|l

(252) a9‘ `gVX[]U"acY7UdWMh7NFleŽ(Vi`gJUdWMONFl

(253) ac`[]lacULssWNFUL[]M¡ViU"ac`[]l([c«2hWVi`#‘¢YXNFUW\^`gJ O(d log B) ¥pIJdLebp`gJLN `[]`

(254) acY2_q[]M¡oWYXNž­5Vi`’f¬[c« `gJLNº22¼acYi\z[]lgVi`gJWM sWNqe_FlgVih*NqsViU E Vi\L¥ IZŽ(Vi`gJL[]dW`(«¢a]eg`ViU`NF\zNFl aclgVi`gJ5‘ MONF`gVX_ºVXe O((d log B) · d · (d log B) )) = O(d log B) ¥ 2. 2. i,j. 2. 2. 2. 6. ∗ 2 i. 3. à  †  Ä ˆ5 †   L  Ä   †AˆW‡  † 

(255) À † B‰ IJLNŸ_q[^eg`€[c«(`gJLNŸh"a]egVX_ƒ22²VXe3sW[]M¡ViU"ac`Nqs hpfAaclgVi`gJWMONF`gVX_[]o*NFl

(256) ac`gVX[]ULe|[]UA`gJLN€R3n _q[,NŸ_FVXNFU`e|Ž(JWVX_J/aclNºl

(257) ac`gVX[]U"acYXe|Ž(Vi`gJAJpdW\zN3Upd5‘ MONFl

(258) ac`[]leacULs–sWNFUL[]M¡ViU"ac`[]leb¥2³´`VXe `gJLNFlNž«¹[]lN>`NFM¡oW`gViUW\¬`[lNFoWY•a]_qN¡`gJLN>Nž­Wa]_F`ZlNFoWlNqe

(259) NFU5‘ `

(260) ac`gVX[]U°[c«`gJLNRºn _q[,N Ÿ_FVXNFU`ehf§¶"[zac`gViUW\]‘¢o7[]ViUp`>acoWoWl[b­,ViMŸac`gVX[]ULeb¥ #dW`3sW[]ViUW\Ae[¬ViU°a e`gl

(261) acVi\^J`#«¹[]lgŽaclsMŸacUWULNFl3YXNba]sWe `[ViULeg`

(262) achWViYiVi`’fz¥œIJLNOacYi\z[]lgVi`gJWM VXe UL[YX[]UW\zNFlZ\^d"acl

(263) acU`NqNqs `[ƒh*No*[]Yif,UL[]M¡V•acY—‘¢`gViMON^»*Vi`MŸabf§UL[]` NF}zNFU/`NFlgM¡ViU"ac`N^µh7Nq_bacdLe

(264) N3`gJLN>jpd"acU`gVi`’f ∆ dLeNqs`[ dWoWo*NFl3h*[]dWULs`gJLN_q[]M¡oWYXNž­5Vi`’fD[c«22²UL[§YX[]UW\zNFl3ULNq_qNqee¯aclgViYifsWNq_FlNba]eNqe¡ac`Nba]_JªegŽaco2¥ ±ULs¨V—«3NF}zNFlƒ`gJLN§acYi\z[]lgVi`gJWM `NFlgM¡ViU"ac`NqebŒ`gJLN§[]dW`goWdW`Ÿh"a]egVXeƒMŸaqf¨UL[]`ƒh7NA22*‘¢lNqs5dL_qNqs ac`€acYiY¢2s5dLN¡`[¾o*[]`NFU`gV•acYViU"a]_q_FdWl

(265) a]_Ff–ViU`gJLNƒRºn _q[pN Ÿ_FVXNFUp`eb¥<k%lgVX[]l`[¾`gJWVXeºŽ[]lg72`gJLN []UWYif oWl[b}^achWYXN `"b‘’22 Ža]e¾`gJLN/[]ULN–[c«¡n,_

(266) JWUL[]lgl G w^(~ K’Ž(JWVX_J¦egViMdWY•ac`Nqe¾`gJLN/h*NFJ"aq},VX[]l [c«(22©dLegViUW:\ `"b‘´acoWoWl[q­5ViMŸac`gVX[]ULe€[c«`gJLN¡_q[,N Ÿ_FVXNFU`e€[c«`gJLN>ViUp}zNFleNOMŸac`glgV—­–[c«`gJLN µ MŸac`glgV—­µ» Vi`ƒ_q[]M¡oWdW`Nqea–<2*‘¢lNqs5dL_qNqs²h"a]egVXeOŽ(Vi`gJ©«¹a]_F`[]l ¥(IJLN¬UdWMh7NFl[c« YX[,[]o–Vi`NFl

(267) ac`gVX[]ULe>acULs–`gJLN>UdWMh7NFl>[c«(aclgVi`gJWMONF`gVX_ƒ[]o7NFl

(268) ac`gVX[]UL(0.95, e˜BViUDNb0.55) a]_JDYX[p[]o ›|lNFMŸacViUD`gJLN e¯acMONAa]eŸ2< »£[]UWYifª`gJLN¬_q[^e`ƒ[c«ZNba]_J aclgVi`gJWMONF`gVX_§[]o*NFl

(269) ac`gVX[]U©VXeOsWNq_FlNba]e

(270) Nqsµ¥£³´ULeg`Nba]s [c« J"acULs5YiViUW\¾ViUp`NF\zNFle3[c«hWVi`#‘¢YXNFUW\^`gJ O(d log B)  G w^(~ K%dLeNqe `"b‘¢UdWMh7NFle3Ž(Vi`gJ O(d + log B)‘ hWVi`YX[]UW\AMŸacUp`gVXee Z˜BŽ(Vi`gJ¼Y•aclg\zNŸJWVXsWsWNFU¼_q[]ULeg`

(271) acU`eba]eºMONFUp`gVX[]ULNqs¼ViU`gJLNOViUp`gl[ps5dL_F`gVX[]U ›ž Ž(JWVX_

(272) J¬sWNq_FlNba]eNqe(`gJLN|Ž£[]le`#‘’_ba]eNZ_q[]M¡oWYXNž­,Vi`´f[c«22–`[ O(d log B(d + log B) ) ,Ž(JWVX_J VXe€eg`gViYiY_FdWhWVX_ŸViU log B )¥ #Nq_bacdLeNŸ`gJWVXe>acYi\z[]lgVi`gJWM VXeMO[^eg`gYif[c«`gJLNq[]lNF`gVX_bacY(ViU`NFlNqe`b<`gJLN MŸacViU_q[]M¡oWdW`NFlo"a]_

(273) ]ac\zNqe G w J5P^~5(P K%[]UWYif¾ViM¡oWYXNFMONFU` JLNFdWlgVXeg`gVXM_ `4bp‘¢}]aclgV•acUp`e[c«Œ2< OY•a n,_

(274) JWUL[]lgl#‘ ‹ dL_JWULNFVl G w^(P K<Ž(JWVX_

(275) JAegd µNFl(«šl[]M o7[]`NFUp`gV•acYœeg`

(276) achWViYiVi`´foWl[]hWYXNFMOe¥. i,j. 4. 2. &('c)&+*.

(277) 

(278)  

(279)  ! "$#.   2

(280). . !NUL[Ž. Q. + *3) . Ws Nqe_FlgVih*N`gJLN(22 acYi\z[]lgVi`gJWM¬zŽ(JWVX_JOVXe a|U"ac`gdWl

(281) acY`"b‘¢}^aclgV•acU`Œ[c«*22 ¥zIJLNh"a]eVX_ e`gl

(282) ac`NF\^fOVXeŒ`[zNqNFo\z[p[,s `"b‘´acoWoWl[q­5ViMŸac`gVX[]ULe[c«2`gJLNZRºn½_q[pNŸ_FVXNFUp`eacULsŸ`[MŸaczN egdWlN `gJ"ac`œegd Ÿ_FVXNFU`a]_q_FdWl

(283) a]_FfZVXeµoWlNqeNFlg}zNqs3s5dWlgViUW\`gJLN Nž­5Nq_FdW`gVX[]U€[c«,`gJLN£acYi\z[]lgVi`gJWM¬¥9IJLNFlN%VXe2UL[ ULNqNqsOzNqNFoWViUW\acUƒacoWoWl[q­5ViMŸac`gVX[]Uƒ«š[]lŒacYiYL`gJLN|Rºn ²_q[pN Ÿ_FVXNFUp`eb»zh*Nq_bacdLeN<2¬VXe%Vi`NFl

(284) ac`gVi}zN^ Vi`egd Ÿ_qNqe`[J"aq}zNZacoWoWl[q­5ViMŸac`gVX[]ULe(dWo`[3`gJLN`gJWlNqegJL[]YXs ¥5±(_q_FdWl

(285) a]_FfOVXe}zNFlgfOViM¡o*[]lg`

(286) acU` «¹[]lZegVi”bNž‘¢lNqs5dL_F`gVX[]U°acULs«¹[]lº_JLNq_

(287) pViUW\A<[b}^“]eg”  eº_q[]ULs5Vi`gVX[]ULκeb¥2³’«£[]ULN>VXe UL[]`º_baclNž«šdWY¢µegŽacoLe acULs¬`gl

(288) acULegY•ac`gVX[]ULeMŸabfsWNq_FlNba]e

(289) NZ`gJLNºa]_q_FdWl

(290) a]_Ff¾`[>`gJLNZo*[]ViU`[c«YX[^egViUW\Oeg`

(291) achWViYiVi`´fz¥ 2.   ‡cˆ  ‰ ! BŜ† Ä.  2†bˆ5†  Ä „. ´³ `OVXeƒViM¡o7[]lg`

(292) acUp`Ÿ«¹[]lƒ<2 `[J"aq}zN/a]_q_FdWl

(293) ac`NA«š[]lgMdWY•a]eŸ«¹[]lŸ`gJLN§_q[]M¡oWdW`

(294) ac`gVX[]U [c«3R3n _q[,NŸ_FVXNFU`e¥L³’U G w^P(K’L`gJLN «š[]YiYX[Ž(ViUW\ŸlNq_FdWlegVi}zNZ«š[]lgMdWY•a]eŽ£NFlN3dLeNqsµ» 2. µk,j =. hbk , bj i −. Pj−1. µj,i · µk,i · kb∗i k2 kb∗j k2. i=1. acULs. kb∗k k2 = kbk k2 −. k−1 X j=1. µ2k,j · kb∗j k2 .. ³´UA`gJWVXe«¹[]lgM3dWY•a57`gJLN3ViUWULNFl|oWl[,s5dL_F`e acULs kb k Ž£NFlN>_q[]M¡oWdW`NqsViU `4bCzLŽ(JWVX_J i XY Nba]sWe3`[Aao*[]`NFU`gV•acYViU"a]_q_FdWl

(295) a]_Ff[c« 2hb kb, b kkb 2Ž(JWVX_J°J"a]eZ`gJLN>«¹[]YiYX[bŽ(ViUW\/s5l

(296) aqŽ(h"a]_

(297) 7» k `[/NFULegdWlN`gJLNh"a]egVXe>lNF`gdWlgULNqsªhpf°`gJLN2< acYi\z[]lgVi`gJWM VXe>egVi”bNž‘¢lNqs5dL_qNqsµŒachLe

(298) []YidW`N¾NFlgl[]l h*[]dWULsWeº[]U–`gJLN µ  e3aclN>ULNqNqsWNqsµ`gJLNFlNž«¹[]lN^*V—«`gJLN¡NFlgl[]lZVXeZY•aclg\zNFlZ`gJ"acU 2 kb kkb k  s G Cw IKµ«š[]l`gJLN |[]dLeNFJL[]YXsWNFl `gJLN oWlNq_FVXeVX[]U ` M3dLeg`(h*N Ω(log B) ¥,IJLNºacU"acYif5eNqe([c« G w^(~ K’LacULU []lg`gJL[]\z[]U"acYiVXe¯ac`gVX[]U/sW[ƒUL[]`Ž[]lg§acl[]dWULs§`gJWVXeo*[]ViU`b¥ !N3dLe

(299) N3egYiVi\^Jp`gYif¬s5V *NFlNFUp`«¹[]lgM3dWY•a]e hpfƒViUp`gl[ps5dL_FViUW\Ÿ«š[]l|acUf k ≥ j `gJLNZjpd"acU`gVi`´f r = µ · kb k = hb , b i » k −`. j. k. 2. k. j. 2. −`. k,j. k,j. rk,j = hbk , bj i −. j−1 X. µj,i · rk,i. k,j. acULs. ∗ 2 j. µk,j =. k. j. k. ∗ j. rk,j . rj,j. (± _q_FdWl

(300) a]_Ff¡VXe ViM¡oWl[b}zNqsƒh7Nq_bacdLeN`gJLN(ViUWULNFlŒoWl[,s5dL_F`e£aclNNž­,`gl

(301) a]_F`NqsO«Bl[]M `gJLNNž­Wa]_F`R l

(302) acM MŸac`glgV—­3acULs3h7Nq_bacdLeNŒNba]_J3`NFlgM[c«W`gJLN egdWM¦UL[Ž°[]UWYif lNqjdWVilNqe []ULN%MdWYi`gVioWYiVX_bac`gVX[]U€ViULe`Nba]s [c«(`´Ž£[W» `gJLN¡«¹NFŽ£NFl>aclgVi`gJWMONF`gVX_[]o*NFl

(303) ac`gVX[]ULeb<`gJLNOYXNqee3`gJLNŸoWlNq_FVXegVX[]U°YX[^eeb¥EL[]l k = j 2`gJLN ¤Lle`%«š[]lgMdWY•a VXe r = kb k − P µ · r ]Ž(JWVX_JƒedW\^\zNqeg`e `[ºsWNž¤LULN s = kb k − P «¹[]l¬acYiY 1 ≤ j ≤ k (e[¼`gJ"ac` kb k = r = s ¥(IJLN–jpd"acU`gVi`gVXNqe µ ·r Ž(ViYiY h*NZdLeNž«šdWY<`[ƒa]_q_FdWl

(304) ac`NFYif§_JLNq_§2[b}^“]eg”  e|_q[]ULs5Vi`gVX[]ULeb¥ ³´ULsWNqNqsµ72[b}^“]eg”_q[]ULs5Vi`gVX[]U s _bacUh7NlNFŽ(lgVi`g`NFUa]e δkb k ≤ kb k + µ kb k  (δ − µ `gJ"ac`VXeb )kb k ≤ kb k j−1 i=1. k,i. k,k. k,i. 2 κ,κ−1. k. 2. k,i. ∗ 2 κ−1. i=1. k−1 i=1. k,i. k,i. k,j. ∗ 2 k. ∗ 2 κ. ∗ 2 κ−1. δrκ−1,κ−1 ≤ sκ,κ−1.. ccedfhg!i!jXk. k,k. k. 2. k,k. ∗ 2 κ. 2 κ,κ−1. ∗ 2 κ−1.

(305) Ib~. C   Y B   \= X

(306) Z" . ³’«NF}zNFl3`gJ"ac`>_q[]ULs5Vi`gVX[]U°VXeUL[]`e¯ac`gVXe#¤"Nqsµ<2< Ž[]dWYXsªegŽaco <[b}^“]eg”3_q[]ULs5Vi`gVX[]UA`[>h*NZ_JLNq_

(307) zNqsAŽ[]dWYXs¾h*N^». acULs. bκ−1. bκ.  acULs`gJLNŸULNFŽ. I JpdLebeg`[]lgViUW\°`gJLN}^acYidLNqe s  eNFU"achWYXNqedLeŸ`[¼_JLNq_

(308)  _q[]ULeNq_FdW`gVi}zN/2[}]“]e”/_q[]ULs5Vi`gVX[]ULe ˜BŽ(JLNFU _q[]ULe

(309) Nq_FdW`gVi}zN¬egŽacoLeŸ[p_q_FdWl¯›3Ž(Vi`gJL[]dW`ƒacUpfªa]sWs5Vi`gVX[]U"acY_q[^e`>eViUL_qN`gJLNFfªacoWo*Nbacl¡ViU `gJLN€_bacYX_FdWY•ac`gVX[]U[c« r ¥ IJLN>_q[]M¡oWdW`

(310) ac`gVX[]U[c« r  µ acULs s VXe|egdWM¡MŸaclgVi”bNqs/ViU`gJLN e

(311) [c‘’_bacYiYXNqsªÆ£JL[]YXNqeg,f E"a]_F`[]lgVXe

(312) ac`gVX[]U¨±Yi\z[]lgVi`gJWM ˜¢Æ E5±Z›º[c« E Vi\^dWlNw5¥ «_q[]dWleN^œh*Nq_bacdLeN δrκ−2,κ−2 ≤ sκ,κ−2.. κ,j. k,k. k,j. k,j. k,j. 

(313) dI.@" :J 6 6Z),#-[  2 / (b1 , . . . , bd )    

(314) JAA ,#." C  '> )A2 G *+-,#. ri,j B µi,j B ,#2 @2 3 M@2 i=1 d  M2) ,#2  2 % D j=1 i . *. T. i. \. j. d. ,#.". . sd,j B . (0). . g. !d. . ri,j :=hbi , bj i  ,#2 %2 M2 k=1 j−1 (k) (k−1) (k−1) ri,j :=ri,j − rj,k · µi,k  U/ > (j−1) (j−1) i > j µi,j :=ri,j /rj,j  =9$%,#7$%, 1 / ) 2 (j−1) ri,j :=ri,j i ≥ j =9$%,#7$%, /12) µi,j i > j =9$%,#7$%, (j−1) /129  sd,j :=rd,d j. &.  . k .  . !d. ]+^`_aadI.@". !d *JAG

(315) 2)#,#.@6. .2A "0M)&,#2##),#2. K. M. *. N. ][ ULNºdLeNqe `4b?^W`gJLNºNž­La]_F`(}]acYidLNqeaclNZdWUWpUL[Ž(UA`[>`gJLN3acYi\z[]lgVi`gJWM¬»"ViULeg`Nba]sµL[]ULNº_q[]M¡oWdW`Nqe `"b‘´acoWoWl[b­,ViMŸac`gVX[]ULe  ¯ acULs s¯ ¥%np`NFoLe¡v§acULs JaclNŸo*NFl#«š[]lgMONqs¼ViU¼`gJLNO«¹[]YiYX[bŽ(ViUW\ r¯ µ Žaqf*»    acULs   r¯ :=o r¯ − o r¯ ·µ ¯ µ ¯ :=o r¯ /¯ r . !NŽ(ViYiYUL[]`¡dLe

(316) N¾Æ E5± s5VilNq_F`gYif°ViU 2< ¥³’ULe`Nba]sµŽ£NŽ(ViYiYdLeNo"aclg`e¡[c«`gJLNAÆ E5± s5dWlgViUW\`gJLNŸNž­WNq_FdW`gVX[]U¨[c«(`gJLNacYi\z[]lgVi`gJWM¬» h*Nq_bacdLeNO`gJLN[]lg`gJL[]\z[]U"acYiVXe

(317) ac`gVX[]UªVXe3o*NFl#«¹[]lgMONqs }zNq_F`[]lœhf }zNq_F`[]lbb`gJLNFlNŒVXeµUL[ULNqNqsºlNq_q[]M¡oWdW`gViUW\|NF}zNFlgf,`gJWViUW\«šl[]M½e_Fl

(318) ac`_

(319) J3V—«W`gJLN r  eœacULs  e(aclNZacYilNba]s5fŸ,UL[bŽ(U«¹[]l i acULs j h*NFYX[bŽ e[]MON|`gJWlNqegJL[]YXsµ¥5{|[]`gVX_qNZacYXe[€`gJ"ac``gJLN r  e µ _bacUƒh7NdWo7sLac`Nq:s ^’ViUŸoWY•a]_qN _ ,Nž­W_qNFoW`Œ«¹[]l h*Nq_bacdLeN`gJLN|s5V *NFlNFUp` ULNqNqsOh*NFViUW\ lNF`gdWlgULNqsƒ`[€_JLNq_ƒ2[b}^“]eg” _q[]ULs5Vi`gVX[]ULeb¥5Ir JLNŽ(JL[]YXNZÆ E5± Ž(ViYiY"oWl[b}zN|rdLeNž=«šdWY"s`[Nqeg`gViMŸac`N|ViU n,Nq_F`gVX[]UƒºJL[bŽ©MŸacUf¡oWlNq_FVXegVX[]UƒhWVi`e£aclN(lNqjpdWVilNqsO`[Z\^d"acl

(320) acUp`NqN`gJLN_q[]lglNq_F`gULNqeeŒ[c«222 ¥ À

(321) % Ä ˆ5 †  W |Ä   †  À ‡c „  Ä  Ä  ˆW‚ ˆ i„Ÿ %  Ä ‡ • † !      † À ‡cˆ5 †  7 IJLN_q[]lNŸ[c«`gJLN22 acYi\z[]lgVi`gJWM VXe>acUDVi`NFl

(322) ac`gVi}z5N `4bp‘¢}zNFlegVX[]U°[c« #(ach"acV  e€ULNbaclNqeg`€oWY•acULN acYi\z[]lgVi`gJWM¬ Ž(JWVX_

(323) J¼VXe€sWNqe_FlgVih*NqsDViA U E Vi\^dWlNŸL¥ ³´ULeg`Nba]s°[c«eVi”bNž‘¢lNqs5dL_FViUW\ b ac`>[]UL_qNƒYiVizN i,j. (k) i,j. (k−1) i,j. i,j. 4. 4. k,i. (k−1) j,k. i,j. i,k. (j−1) i,j. (j−1) j,j. 2. i,j. i,j. i,j. d,d. (j) d,d. d,j. 2. 2. κ. &('c)&+*.

(324) 

(325)  

(326)  ! "$#. *. d. . . d. d. !d. D. \. !d. 8d d. 8d. 8d. d. c. 3. T. d. * 2   G 7%#"'&'2 > 0 c,#"'G

(327) " >  > >@  ` κ (b1 , . . . , bd ) G(b1 , . . . , bd ) $ 6 "# @   +/`2 r¯i,j µ ¯i,j B j ≤ i < κ     %$@6 "#  /12) > C  /12 > > r¯κ,j B j≤κ µ ¯ κ,j B s¯ jP < κ (b1 , . . . , bκ−1 , b0κ , bκ+1 , . . . , bd )   *+."#" 0 κ,j 0 G(b , . . . , b , b , bκ+1 , . . . , bd ) bκ = bκ − i<κ xi bi /12)C2

(328) 68";1  c,#"'G

(329) "#κ−1 Cκ   /12)X  xi B |hb0κ , b∗i i| ≤ 0.501 · kb∗i k2 i < κ C"'7 "),  2

(330) 687@$@,#"9,#.@" '> J  +*+-,#. <c,#"'7 D \ 2)/,#." M *+-,#.  r¯κ,j B µ ¯ s¯κ,j B i = κ   4 4 M2 %2* ,#2 κ,j@B 2 i=κ−1 1  / >,#." >@"'A" >  |¯ µ | ≥ 0.5005 Xi :=b¯ µκ,i e Xi :=0 M@2 κ,i ,#2 >  j=1 i−1 µ ¯ κ,j :=o(¯ µκ,j − o(Xi · µ ¯i,j ))  P 7Q@),#"   >)&'&'2 % G ,#

(331) 2  . (b1 , . . . , bd ) G(b1 , . . . , bd ) bκ :=bκ − κ−1 i=1 Xi bi # c,#AAA CR#" F"#2 Xi B  . . '

(332) . i. II. !d. k. *. 8d. d. &. g. 8d. ]d. !d. d. d. & ,#" ),# "SHI) ) 'J")#"'W,5A !d" *CA G2#-,#.6 [c« E Vi\^dWlNZP5p[]dWl `"b‘¢}zNFlegVX[]U¾[c« #(ach"acV2acoWoWYiVXNqeacUƒVi`NFl

(333) ac`gVi}zN E,± acYi\z[]lgVi`gJWM [c« E Vi\^dWlN|w5¥±`np`NFo J5^Vi`£egd Ÿ_qNqeŒ`[ZdWo*sLac`N. ]+^`_ aadI.". `gJLN []lgVi\^ViU"acY#(ach"acV2acYi\z[]lgVi`gJWM oWl[,_qNqeeŒdLegViUW\ºo"aclg`eŒ[c«µ`gJLN Æ `gJLNZe

(334) _bacY•acloWl[ps5dL_F`e hb , b i «¹[]l i. kb0κ k2 = kbκ k2 + hbi , b0κ i. a]_q_q[]ls5ViUW\Ÿ`[>`gJLNZlNFY•ac`gVX[]ULe» i≤d. κ. X j6=κ. x2j kbj k2 − 2. = hbi , bκ i −. X. j6=κ. xj hbi , bj i. X. «¹[]l. j6=κ. xj hbj , bκ i + 2. X. j6=κ,i6=κ. . xi xj hbi , bj i. i 6= κ.. ˆ   ƒÀ „

(335) % †b„ ± sWNqe_FlgVioW`gVX[]Uª[c«22 VXeº\^Vi}zNFU°ViU E Vi\^dWlNƒv5¥%#£f–eNFYXNq_F`gViUW\§o"aclg`gVX_FdWY•acl}^acYidLNqe3[c« ` µŽ£N. $.  . 2. *. !d. d. d. 

(336)    0?* 2   G 7%#"'&'2 /12)  [b , . . . , b ] `    

(337)  !#"1%$&'"'(d )+*+-,#.0/1&,#2) (0.998, 0.501)   U6ZR,#&'"' ^ !"

(338) 0 c,#"'G

(339) "C6ZR,#[ >%, * 2   >  

(340) "'&,#2 G d×d (¯ ri,j ) (¯ µi,j ) s¯ 2

(341) 687$%,#"9,#.";:J 6 6Z),#-[ 3 G = G(b1 , . . . , bd )  54 > .A" >%2 D κ≤d  r¯1,1 :=o(hb1 , b1 i) κ:=2 %E <%F'"!#"%$&'" $@ G ,#.@";AG

(342) 2)#-,#.6 2/5MG$@#";T U,+$@7Q),#"I,#."S7@7@#2[%6Z),#";:;<@=    b T .A" κ   >@2  κ0 :=κ @E (κ ≥ 2 0.999¯ rκ−1,κ−1 ≥ s¯κ0 ,κ−1 ) κ:=κ − 1  M2 ,#2 > > i=1 κ−1 µ ¯ :=¯ µ 0 ,i r¯κ,i :=¯ r 0  r¯ :=¯ s 0   7Q@),#" )&'&'2 % G κ,i ,#2 ,#.@"Xκ  ",#2 02/κ ,i #κ,κ G. ,C κ"/`,κ 2#" \ . G b κ0 bκ   κ:=κ + 1  =9$@,#7$%,  [b1 , . . . , bd ] . *. *d d. 8d. i. d. g. j. d. k. &. !d. d. d. ]+^`_ a$#adI."S . AG

(343) 2)#,#.@6. []hW`

(344) acViU°s5V *NFlNFUp`22 acYi\z[]lgVi`gJWMOeb¥œ{[]`gVX_qN¡`gJ"ac`3`gJLNO_q[^eg`3[c«`gJLN>¤Lleg`3e`NFoVXeZh*[]dWULsWNqs 2. ccedfhg!i!jXk. 2. .

(345) IbP. C   Y B   \= X

References

Download now ( PDF - 32 Page - 552.09 KB )

Related documents