Broose : A Loose Distributed HashtableBased on the De-Brujin Topology
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Broose: A Loose Distributed Hashtable Based on the De-Brujin Topology Anh-Tuan Gai — Laurent Viennot. N° 5147 Mars 2004. N 0249-6399. ISRN INRIA/RR--5147--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5) "!#$ !%&' !()(*+ #,-/.0213'*54%67&'8%9 :,;< =?>A@BC;EDFBCG HJI BC@KMLN;OPGQLN;;RCO SUT0VWYXYZ\[^]_a`bXacedgfhX'i2`bjg`kilVWYXa` mJnloqpkXi2r\jNnlotsuXv ]wcqxyxCoenbiwzgX%nlXa{?TyXanl{?TyX}|~gZa [Fcenl`weeq[Zax0cqXa` ∗†. ∗†. hatyee% XzgXa`l{'nlvX%cYxCXXnbiboqxCXXn`bjg`kilXW`bWYcenUibo %czgXWYc$v0ce`bXaz,o|hilTyX¡2X¢unldtpk| iloexCoeoej£sibT¤xynbot¥tcevyX{'o|0`¦§`¦ibX|{'j cq|0z¨cqots|yhXa¥eXanbj,WYXa`l`bceeXXfg{?Tcq|yX%ibo,nbXa|y©ªoen?{'X${oe|g i?ce{'i(|y©ªoenlWYcqiboe|3«¤¬wibWYcqibXaj`bWYxyXnloedgil|yFilcqv0XM`(cqnlXhc{?TyXa¥eXMz¤vjWcq|Nilcq|y|yFo|yj¤iksuo ® vyd0{?¯X'i?`±°Aoe© |yXaTvonl`ce|0zhx0nbot¥§zg|0$WctfgWcq3ce{a{'dyn?ce{joq©nbodgib|yilcevyXM`« ² ³N´µl¶(· t¸e xCXXan¦iboexCXXana¹yzy`¦ibnlv0dgibXMz£Tce`bTi?cqvyXe¹g¡AX'±¢unbdtpk|. î éèqïtð'º¼äq»eñ3½qêóº¼ò¾Àìð¿äÆÁäÂkôaÃañtÄÆõMÅköqÇÆìÂkäqÁïqÄÆȪìaɦéÊ
(6) êQ÷ÆË ï ÁÌwÍ?ÎÏÇÆÅEÐÆÅ}ÑÁÒÏÄÆÂkÅbÍ?ÄÊÔÓ?ÕMÖ¦×ØÚÙÅÛÜÆÅkÝÇtÍkÞÊàßtÈÍ?ÇÆÂkÅÊâáaãaäMågæçaèeé'ä êëÆéqì0í ø ÈÍkùÍ?ÎÏÒNútÇÆÍ?ÇÆÂkû/ütÍ?È3ÒÏÅüÆÈóÁ?ýóűÉþyÍ?ÎÏÈóÿþyÍ?ÎÏÈ3ÐÆÅÒ ÿ Û %Í?ÝÝQÅÐÆÅÐÆÁÇÆÇMû¦ÅkÝ ∗. †. . . Unité de recherche INRIA Rocquencourt.
(7) E ,*, !,&' , #£!#,!8 ,' h6&' !"£ &' 8%!%6#£","-/.0213'* ¬2| xynloqilog{'oeX,x0cqn¦
(8) tx0cenY`¦WY§cqnlX %cezyXWY§c7Xa`¦ixynboxoN`¦_`bdync7v0c`¦X z dy|yX iloexCoeoeX|0`bxynl_XuzgdnlcexyTyXJzgXu¡2X¢unldtpk|« 3XM`3i?cqvyXa` zgX nloedyilcqXnbXaxoN`¦Xa|Ni `¦d0n§cwWcq|NibX|cq|0{X zyXYzyXdgf7xooe§`%z cezgnlXa`l`bXa` zgX{'o|i?ce{'il`%`bXdyXWYX|NiM« Xa` _M{?T0cq|yXa` zgXYWYXa`l`bceeXM`AxCXnlWYX'ibibX|Ni(zgX WYXi¦ibnlX \pkoedynw{Xa`UxCooe§`« · M µ £ x0cenb qxcqna¹ilcevyX%zgX%Tce{?T0ceeX zg`¦ibnlvydy_X¹y¡2X¢unldtpk|.
(9)
(10) "!#$%!& '()*!#+#,-.$/01234,65798:#'(9;&<. =. $* , '* SUT0`Yx0cexXanzgXa`l{'nlvXM`¢/nloo`bXe¹uc¤xCXXan¦iboexCXXanzg`¦ibnlvydgibXMz T0ce`bTNilcqv0Xxynloqilo{oe«6@ihcqotsw`$ibo `¦ibonbX,¯eXaje¹/¥Æced0XFce`l`¦og{'§ctilo|0`$| c7ooN`¦X,sucÆj| ibTyXF`bX|`¦X,ibTcti|yogzgXa`|à{?T0cqnleX,oq© `kiloenl|0 ilTyX¥tcqdyXM`wce`l`¦og{cqibXazhibocY¥X|¯eXaj£cenbXzg X A0|yXMz£|FcYoNoN`¦X%sUcÆjh{oe|¥eXanl`bXjYiboWYoN`kiwxynlX¥oed0` zy`¦ibnlv0dgibXMzT0c`¦TNilcevyXa`Jx0nboxoN`¦iboe|0`a«SUTy` ©ªXacqibdynlX2§`/WoN`kiljY|0`bxynlXaz©ªnboWÚ %cezgXaW§Cc B & D«SUTyX WcqpkoenWx0nbot¥XWYX|Niot¥eXanw %cezgXaW§cYnbXM`¦§zgXa`w|,ibT0X(d0`bX%oq©Jc¡AX'±¢/nldtpk|FSoxooej©ªonwnlXazgd0{|0 ilTyX%nloedgil|y$ilcevyX`¦F EX%cq|z£Xa|yT0ce|0{'|yY i?`ce{a{'dyn?ce{je« ¢unloNoN`¦XU©ªootsw`ilTyXwv0c`¦§{wcexyxynloce{?TYoe©Wce|NjYzg§`kilnbvydgilXazTce`bTi?cqvyXa`JsTyXnlXw¯eXajg` cqnlX%HZ Gtvyi v0|0cenbjY`¦ibnl|yN`/ce|0zsTyXanbXAXac{?T|yogzgX2n?cq|zgoeWYjY{?T0oNoN`¦XM` ceI| @k¡
(11) |hibTyXHZ Gtvy i/¯eXj`bx0ce{XeK« J2`u| %czgXWYc0¹Cc£¯eXaje¹¥tcqdyXYce`l`¦og{'§ctilo| ` `¦ibonbXMz oe| ilTyXY|yogzgXa`\{'o`bXilohilTyX¯eXj,©ªon `boeWYX$WXibnl{ |0`¦ibXMcez oe©\`bxy ibib|yibTyX¯Xj `bx0ce{X,ceWo|y7|yogzgXa`Y| c¤nlz Wcq|y|yXana« SUTy§`cqotsw`$xynlot¥ÆcevyX {oe|0`b§`kilX|0{j Xa¥eX| |ÔcT0Tyj zgj|0ceWY{¤ce`bjN|{?Tynbo|yoed`{'oe|NilX'fiaL« @±|`kilXacezàoe©(`kiloenl|0 {'o|i?ce{'i |g©ªonbWctilo| cqvCoedyi|yogzgXM`|à{?T0cqnleXhoq©\`bxCXa{'( A{£x0cqnbil`$oq©AibTyX,¯eXaj `¦xce{'X¹Jvyd0{?¯X'i?`(oe©2xoN`b`bvyX {oe|Nilc{i?`AcenbX$WYce|Ni?cq|yXaz¨s ilTFibT0Xoce oe©/ce{?TyX¥|yhvCXa`¦i%ce{{dyn?ce{'j"« M/oe|Nibn?cqnlj£ibo %cezgXaW§c ilT0ctiWcq|i?cq|0` O(log N ) vyd0{?¯eXil`(©ªoenXac{?T|yogzgX£sT0XnlX N §`(ilTyXh|dyW$vXan$oe©2|yogzgXM`¹J¢unloNoN`¦X Wce|Nilce|` o|yjiksuovyd0{?¯X'i?` xCXnU|yogzgX\cqots|y%ilTyXAx0nboeibog{'oyiboY{'o|0{'Xa|Nibn?ctibX2oe|hc{?TyXa¥|y$vXM`ki c{{dynlc{'joe©ibT0XW« S ocqots ibTy§`a¹qibT0Xwxynloqibog{oe`Jv0ce`bXazoe|$ibT0X2¡2X¢unldtpk|$iloexCoeoejeN« J2 ilTyoed0eTibTy§`iloexCoeoeej(` |Nibnl`b§{'jc`¦jWYWYX'ibnl§{q¹qilTyX2x0nboeibog{'ocqotsw`X O{'X|NiudyxCz0ctibXAoq©ibT0X2vyd0{?¯X'i?`Joq©{oe|Nilc{i |g©ªonbWct ilo|vjd0`b|y`¦W(d0 i?cq|yXaoed0`bjce|0z|0zg( PCXanbXa|iljYiksuo(nlX¥Xn?`¦X2ooe¯dyx£`b{?TyXaWYXa`aQ« Jâoo¯Nd0xhcqotsw` ce|j|yogzgX iboYo{actilX\|0ozyXa`sibRT @k¡\`{'o`bXAiloczyXa`¦ib|0ctilo|,¯Xjvj©ªoots|y`bW(dyilce|yXod0`¦j α xctibT`« S XM{ilo|YAzgXa`l{'nlvXM`ibTyX¡AX'±¢/nldtpk|(iloexCoeoej ce|0z$WYce¯eXM` ce|$ot¥Xnl¥NXsoe©0X'fg§`kil|0 zy`¦ibnlv0dgibXMz Tce`bTi?cqvyXa` `¦odgilo|0`Jvce`bXazo| iM« S Xa{'iboeI| =(zyXa`l{'nlvCXa`JibTyXAvynbXMcq¯NibT0nbodyeTYxynloexCo`bXazvj %cezgXaW$ §cy« S Xa{'iboe|F,zgXa`l{'nlvCXa`2ibT0X$Wcq|¨zgXilce§`2oe©/¢unbooN`¦X ©ªon\czycqxgil|0ibT0X¡AX'±¢unbdtpk| iloexCoeoeej£ibo ilTyXcqW$vyiboed0`Uocq§`uoq© %cezgXaW§czyXa`b|3« /. A13'* %6¤&8' T >. UWVYX. ?. o0oencq|j. Z\[]_^`]baced:fNgihjlk6d/mKn[. vy ivy|0cenbj`¦ibnl|y ¹gXi j] zgXa|yoqilX2ilTyX%`¦dyv`kilnb|y$©ªnboW ibTyX iibT£vy iUilo$ilTyXup th vy iM« 'X fyceWnx0X¹ u = u[1, n] «SUuTyX¡2Xu[i, ¢unldtpk| nlcexyTqpQ`¦XaX+B =D©ªon ce|¤ot¥Xnl¥Xas*rot¥eXan |0ozyXa`\`\zgX A0|yXaz7ce`2©ªoeotsw`«tsJ¥Xnlj,|0ozyX u BT0c`2iksuo£`bd0{a{'Xa`l`boen?` u u[2, n]0 cq|0z u[2, n]1Npóoe=|yX2oq© ilTyXa`bX£`bd0{a{'Xa`l`boen?`%WcÆj7vCX u il`bX©9r«SUTy§``¦WYxyjzgX A0|yXMz en?cqx0TT0ce`(ibTyX,xynloexCXnbikj¤oe©wT0cÆ¥|0 {oe|0`¦ilce|Ni|g±zgXnbXaXcq|0zYodgi¦±zgXnbXaXw cq|0zoecenbibT0W§{Uzg§cqWYX'ilXn «wvA|yXw{ce|YXace`bj"A0|0zc nloedgilX ©ªnloeW u ibo cq|jF|yogzgX v = v · · · v u u[2, n]v → u[3, n]v v → n· · · → u[n, n]v · · · v → v « x2oqilXYibT0cqi(cq|yoeibTyXan%nbodgibX{ce|¤vCX`bWYcenbj ©ªoed0|0z7vNj¨©ªoeots|yXazyeXa` vce{?¯sucenlz3«SUTy§`%nlcexyT {acq|,vX%XMce`bjX|yXanlceF EXMziboc ∆ = 2 zgXnbXaXAnlcexyT£sibT log N/ log ∆ zyceWXibXana« o0oen. 1. n. 1. b. ¿ ¿ÀÇ#y0×MÖ{zÓ. n. n. 1 2. 1. n−1.
(12) . !# ,:, # UWV2U. ^ ] aced:fNg%hYj ^ hd:h f ]
(13) m%[m {]
(14) ] dh{] S X¥eXanlcexynloexCo`biboe|0`"B Zq¹3¹3#DT0cÆ¥XvCXX|¤WcezgX(ibocezycexgi2ilTyX¡AX'±¢unbdqpk| iloexCoeoej£|FilTyX{oe|g. ilX'fi oq©/zg§`¦ibnlvydyibXaz¤T0c`¦TNilcevyXa`a« SUT0XjFcez0zgnbXM`b`2ibT0Xx0nbovyXaW oq©/{oe|0`¦ibnld0{il|0£c,¡2X¢unldtpk|¤¯eX iloexCoeoejFs ilTc¥Æcenb§cqv0XY|dyW(vCXn(oq©U|yogzgXa` N «hSUTyXj7`¦TcqnlXY`boeWYX`bWYcenbibXa`HuXac{?T¤|0ozyX` `bdyxyxCo`bXazibovX\zyX|Nib(A0XazhvjYce| nvy iUvy|0cqnlj`kilnb|y u pªikjNx0{acqj n = 160rJce|0z§`u`bdyxyxCo`bXazibo `¦ibonbXce ¯eXaje¹0¥tcedyXM`2c`b`bog{'§ctiboe|`u©ªoen2`boeWYXn?cq|yX%oq©¯eXajg` I « I `AcqWoN`ki2cesUcÆjg`wcq| |NibXanb¥tcq {oe|Nilce|0|y u w« oyoenUilTyX`lcq¯eX\oq©`¦WYxy{ ikj¹ys/X szgXa|Nib©ªj£c|yogzgX u cq|z£il`
(15) @k¡$« Aooen?zgX BÏ D3zgX A|yXa` c` ilTyX\¯eXjg`u`¦WceXn/ibT0ce| cq|zenlXacqibXanJibTcq|ilTyX\xynbXM{'XMzg|0 @k¡$b« pJw @k¡\`cenbXYoen?zgXanbXMz¤ceo|y,IibTyX{j{Xoe©ud0|0`¦e|0Xaz¤|NibXaeuXanl` oe© n vyil`WYogzgdyo 2 « r`oyo n x2ceoencq|z XazyX+n B # D¹|yogzgX u W(d0`¦i`¦ibonbXhibTyX£¯eXjg`$vXiks/XaX| u cq|zibTyX,|yXfNi @k¡$«SUT0Xj¥Xas ibTyX,¯eXaj` ce|0z¤ibTyX @k¡A`$ce`%ilTyXvy|0cenbj¤nbXaxynbXM`¦Xa|Nilctilo|0`\oq©nlXacq§`%| p §`(ce`l`bo{cqibXMzFilo r v0dgi%oevgi?cq|7c,¥eXanbj `bWYcen%zgX A0|0 ilo|7oe© I R« póSUTy§` ® {'oe|Nil[0,|dy1)od0`Aucexyxynloc{?T°$cqotsw` c£0.u¥eXanb·j · ·|yu§{'X |NibXanbxynlX'i?ctilo|,oe©ibTyX¡2X¢unldtpk| en?cqxyT sTyXanbXibTyX(iks/ox0nbXMzgXa{Xa`l`¦onl`Uoe©ch|yogzgXsibTFnlXace @k¡ r cenbX r/2 cq|0z r/2 + 1/2 « r\@±|¤¡ q¢ B Z D¹Xace{?T¨|yogzgX u Tce` ch§cqvCX u[1, l] sTy§{?T¤§` chx0nb X AyfFoq© u « `AilTyX`¦WcqXa`¦i\|0zgXf¨`¦d0{?T¨ibT0cqiAilTyXYcevXaoq© u §`Ad0|y NdyX« I §`AibTyXa|¤zg X A0|yXaz7ce`2ibT0X¯Xjg` k lczgWY ibib|yYibT0`U§cqvCXc`UxynlX Ayf p r« X{ce|£zg X A0|yX I << 1 c`/ibk[1, TyX%`bX'l]i=oq©u[1, ¯eXjgl]` k `bd0{?T£ibT0cqi 0k[1, n − 1] oen 1k[1, n − 1] §`U| I « SUT0X(v0c`¦§{%§zgXac| ilTyXilTynbXaX(xynloexCo`biboe|0`w{oe|0`b§`ki\|F|y¯|yh|yogzgX ibo£ce |yogzgXa`A|¨{?T0cqnleX%oe© ce|j ¯eXj| I << 1 0« xwoqilX(ilT0cti u WcÆj T0cÆ¥eX$WYoenlX(ilT0cq|h`bd0{a{'Xa`lu`boen?`wsTyXa|¨ilTyX @k¡A` cqnlX|yoqi `bWYooqibT0j£v0cq§cq|0{Xaz« x2cqonwcq|0z XazgXan2|Nibnlozyd0{'X ilTyX ® `bWYooqibT0|yXa`l`±° ρ oq©ibT0X @k¡A`Azg`¦ibnlvydgiboe| c` ρ = max « J2U|yogzgXM`$TcÆ¥eXilTNd`zyXenlXX O(ρ) ¹ TyotsuX¥Xn$ i{ce| vX`bTyots|ibTctiibTyX cÆ¥Xn?cqX(zgXnbXaX(§`%{'o|0`ki?cq|Nia« 2oonlzgX$Wcq|i?cq|0` c{'oe|`ki?cq|Ni zyXenlXX$vjFxo|Nil|y,oe|0j ilotsucenlz0` ilTyX A0n?`ki%|yogzgXYsTyoN`¦XY|NibXnl¥tcq|NibXn?`bXa{i?` I << 1 « s c{?T¤|yogzgXce`boxo|Nil`\ilo,ibTyX|yogzgXYsibT |0X'fi @k¡Eceots|0%ibo A0|0z£cq|yogzgXM`usTyo`bX2|NibXnl¥tcqC|NilXn?`¦XM{il` I << 1 |0Xacqnlje«SUTy§`/nlXa`bdyil`/| c nloedyib|yxynlo{Xazgd0nbX%|0`¦ibXaczoq© O(log N + log ρ) ce`Ace{?TyX¥Xaz£vjhilTyX%iksuooqilTyXn x0nbO(log oxoN`¦ibNoe|0+`a« ρ) SUTy§``bWYooqibT0|yXa`l`©óc{ibon §`3|NibXanbXM`kil|yw©ªoence|0cq%j E|yUibTyX/nbXa§cqvy ikjAoq©ibTyX/xynloqibog{oetilotsucenlzy` |0ozyX%|0`bXnbiboe|Fce|0zzgXX'ilo|3ρ« @©ilTyX @k¡\`2cenbX{?TyoN`¦Xa|nlce|0zgoeWYje¹yi2§`wc{c`b`b{acqnlXa`bdyiiboh`bTyots ilT0cti ρ = O(log N ) « o|0cqj¹ibTyXcevot¥X2xynloexCo`biboe|0`u{ce|£XMce`bjvX X|yXanlceF EXMzvj`¦T0 © il|y b ctiwc(ibWX\iloYceots oo¯Nd0x0`ctiUibT0X{'o`¦ioq©X'fgxCXa{ilXaz,zgXnbXaX O(2 ) « O(log N/b) !(£ &'! E! -' "!#$ !,&' u. u. u. n. n. 1. u. u. u. u. u. |Iu | u,v |Iv |. u. u. 2. b. %. !WVYX. " m ]
(16) #$h{m %czgXWYc B D §`%czg`¦ibnlvydgibXMz7T0ce`bTNilcqv0Xcqn?{?TyibXM{ibd0nbXY`¦WY§cqn. ilomc`kilnbj B G D cqots|yc£oqioe© 'X fgv0 ikj,sibT nlXcenlzhiboYilTyXiloexCoeoejh{'oWxcqnlXaz£ibooeibTyXanA`l{?TyXWYXa`2`¦d0{?T c` M/Tyoen?z\BÏD onibTyX ¡AX'±¢unbdqpk| `l{?TyXWYXM`CB y¹ Z¹DUzgXa`l{'nlvXMzcqvCot¥eXe«SUTyXvce`b{§zgXMc `iboFd`¦XhcFWXibnl{h`¦d0{?TilT0cti ce|j£|yogzgXYcti zg§`ki?cq|0{X d ©ªnboW `¦oWXzgXa`¦ib|0cqiboe|¨`¦ibonbXM`w|¨il`\nbodgib|yi?cqvyX$|0ozyXa`\cti\zy`¦ilce|0{'X '&¿ . . ÿ.
(17) .
(18) "!#$%!& '()*!#+#,-.$/01234,65798:#'(9;&<. nloed0eTyj d/2 « %cezgXaW§cd0`bXa`uilTyX\fon/WYXibnl{\|0zg§{ctil|0(ilT0ctiUiksuo @k¡\`cqnlXA{oN`¦X\ © ibTyXajh`bT0cqnlXAc oe|0Y{oeWYWYoe|,xynlXAyf« SUTyXhWYce|vynlXace¯NibTynloedyT¤oe©w %cezgXaW§c£§` iloFooN`¦Xa|¤ilTyXnldyXzgXA0|0|y sT0{?T|yogzgXM`cqnlX| {?TcqnleXUoq©`¦ibonb|y%¥tcqdyXa`J©ªoenu`¦oWX2¯eXj«SUT0`/`/ce{?TyX¥XazYcqoe|0%s ilThcq|yoeibTyXan/zgXM`¦e|oceysTy§{?T §`ibT0X,n?cqx0z xoxydy§ctiboe| oq©\nbodgib|y¤ilcevyXM`6« oyonibT0cqinbXMce`boe|3¹Jc7|yogzgXxCXnb©ªoenlW|yc7nbX d0Xa`¦i `bd0{a{'Xa`l`b¥Xj{'oe|Ni?ce{i?`cqy|yogzgXM`oe|$ibTyX2nbodgibXuibotsUcqn?zy` ibT0X2zgXa`¦ib|0cqiboe||0`¦ibXMcezoq©d0`b|0%nbodgib|y0« SUT0Xv0ce`b{§zgXac§` ilT0cti(nlX NdyXM`ki?`%`¦T0oedy§zcqots |yogzgXa`\ilo xoxydy§ctibXibTyXannloedyib|y,ilcqv0XM`«hSUT0` x0nbog{'XMzgdynlXJWcÆj%`¦XaXW c2`bWx0XuoexgilWYF Eacqiboe|vydyiiceotsw`cwWctpkon `bWYxy AC{ctilo|(oe©gibTyXU`b{?T0XWY&X u c|yogzgXzyoNXM`w|yoeiAT0cÆ¥X%ibo,zgX'ilXnlWY|yX(ibTyXY`bX'iAoe©J¯eXaj`2 i §`2|¨{?T0cenbXoq©k«\SUTy`AenlXacqibj,ceX¥§ctilX ilTyX xynloqibog{oe`¦|0{XAilTy§``¦XiUd`¦d0cejhzgXaxXa|0zy`Uo|hilTytX @k¡A`Uoe© oqilTyXn|0ozyXa`UsTy§{?T£cenbX {'o`bX\iboibTyX |0ozyX @k¡ WYce¯|yYiwTyeTyj£zgj|0ceWY{\sTyXa|,|0ozyXa`cqnlX\|0`bXnbibXMzcq|0z,zgXX'ilXaz« S o cqots ibT0`a¹UibTyX¨ooe¯dyxàxynlog{'XMzgdynlXceotsw`Yileo A0|0z ibT0X |yogzgXa`sibT {oN`¦XM`kIi @k¡ibo c nlX NdyXM`kilXaz¯eXaje«SUTyXa`bX k |yogzgXM`JsvX2|{?T0cenbXoq©3`¦iboenl|0 ce||yk©ªoenlWYcqiboe|ce`l`bo{cqibXMz$sibTibTyX ¯Xj ©ªon%`¦oWXYxCXnlogz7oq©/ibWYXe«S ocÆ¥oe§zFot¥Xn?{ce{?T0|y¹c£|0ozyXY`¦ibonbXM` c£¯Xj¹3¥tcqdyXce`l`¦og{cqiboe| zydynb|y(c%ibWX2X'fgxo|yX|Nilcej$|¥eXanl`bXj(xynloexCoenbiboe|cqibo(ibTyX2Xa`¦ibWYcqibXMz|dyW(vCXn/oq©|yogzgXa` T0cÆ¥|0 ce| @k¡â{oN`¦Xanibo%ilTyX2¯Xje
(19) « px2oqil{XibT0cqi ¯eXaje¹¥Æced0X2ce`l`¦og{cqiboe|0`W$d0`ki/vXwnlX'xydyv0§`¦T0XazYnlXed0cenbje« r ¢Uce`b§{cqje¹ycY|yogzgX Wcq|Nilce|0`2c$v0d0{?¯eXi ©ªonXac{?T£xynlX A0f i] « s c{?Tvyd0{?¯eXi`wc{ace{?TyX sibT @±mâczyzgnlXa`l`¦XM`woq© uce¥eX$|yogzgXa`AsibT @k¡ `bBT0cqnl|yhch{oeWYWYoe|Fu[1, x0nb X Ayf s ilT u i] = u[1, i] « J ooe¯dyx{'o|0`¦§`¦il` |7ibXanlcqib¥eXaj NdyXanbj|y c,`bX'ioe©u|0ozyXa`\©ªoen @±m/`%oq©cq¥X$u|0ozyv[1, Xa`%sibTcq\| @k¡ {oN`¦X2iboibT0X\nlX NdyXM`kilXazh¯eXjK« s ce{?T£|yogzgX e¥eXa`/il`Uvyd0{?¯X'iUs ilT£oe|0eXa`¦iu{oeWYWYoe|£xynb X AyfhsibT£ibTyX ¯Xj« JuiAXMce{?T ibXanlcqiboe|3¹ibTyXY`bX'iA§`AnbXaxyc{'XMzvNj,ilTyX(|yogzgXM`A{oN`¦XM`kiAibohibTyX$¯eXj,dy|NibibTyX$oo¯Nd0x x0nbog{'XM`b`U{oeWYXa`uiloY0c A0fhxo|NiM« J ¯XjFxCoe|Nioq©u %czgXWYc,§`\ibT0cqi(cq|jF|yogzgXYW$d0`kiTcÆ¥eXYcq|ce{a{'dyn?ctilX$¥Xsoe©/ilTyX |0ozyXa` sibTF{oN`¦XM`ki @k¡iboh i?`wotsR| @k¡(«SUTy§`w|0`bdynbXM`UibTctiwilTyX(ooe¯dyxxynlo{Xazgd0nbX% X PCXM{ib¥eXaj{'ok|¥eXnleXM` ilotsucenlz0`ibT0X k |yogzgXa`usib+T @k¡}{'o`bXa`¦i ilo(ilTyX nbX d0Xa`¦ibXazh¯eXaje
(20) « póSUTy§`UWYxyXM`Uc$`bxXM{'§cqCibnlXacqibWYX|Ni oe©ilTyX%vyd0{?¯X'il``bT0cenb|yo|yeXM`kiw{'oWYWo|£x0nb X AyfhsibT,ibTyX%|0ozyX @k¡(« r i. !WV2U. c f. . ] m. . fd/m. . hj" m ]
(21) #$h{m. JÔ|y§{'Xw©ªXMctildynbXAoq© %czgXWYc%nlXa`b§zgXa` |v0d0{?¯eXi/nlX'©ªnlXa`bTYibTynloedyTnbX NdyXa`¦il`a«Ns/ce{?TilWYX v {oe|Nilc{il` xCXnb©ªoenlWY|yc£nbX d0Xa`¦ia¹ WcÆj nbX©ªnbXM`¦T¨il`\vyd{?¯eX'i\©ªoen pª© nlXx0Xa`r2ce|0z WcÆj nlX'©ªnlXa`bT¨il` u v0d0{?¯eXi/©ªon v « ±@ |hoeibTyXanusuoevn?zy`a¹vCoqilThvyd{?¯eX'i?` Bi oq© u ce|0z u v cenbuXAnbX©ªnbXM`¦TyXMzsTyXaunbX i `/ibT0X\X|0qibT oe©ibTyX$o|yeXM`kiA{oeWYWYoe| xynlX0A f,oe© u cq|z v « X$cenbX(eoe|yYiloh`¦XaXilT0cti\nbX d0Xa`¦il`|0zgXaXaz Wcq|yj. ln X'©ªnlXa`bThv0d0{?¯eXil`UsibTotsâ¥tcqdyX%oq© i « S d0xyxoN`¦X ilT0ctiwXMce{?T,|yogzgX%xCXnb©ªoenlWY`cYnlX NdyXM`kio|0{'X X¥Xnlj `¦XM{'oe|zy`Uoe|cÆ¥eXanlceeXe¹NXac{?ThilWYX ilotsucenlz0`2c,nlce|0zgoWÀ¯Xj« xwots {'oe|`¦§zgXn\Tyots}ilTyXYvyd0{?¯X'il`\oe©/`¦ToWYX$|yogzgX u cqnlXnbX©ªnbXM`¦TyXMz«(SUTyX |dyW$vXanoq©|yogzgXa`UsT0{?T,©ócq3|,ibTyX%n?cq|yX oq© v0d0{?¯eXi B §`nloedyTyj n = « vA|yX oe© ilTy`w|yogzgXa` s{'o|i?ce{'i u cqiibTyX j ilTF`kilXxoq©ibTyX%ooe¯dyx,xynlo{Xazgd0nbX sibTxynloev0cevyikj sTyXnlX α §`UibTyX |dyW$vXanoq©|yogzgXa` d0XnlXMzh| x0cqn?cqX|ilTyX%oNo¯dyx£x0nbog{'XMzgdynlXe¹ 1/2 `ibTyX%xynloevcqvyikjilT0cti u `bT0cenbXM` vyil`wsibT,ilTyXnlX NdyXa`¦ibXMzh¯Xjhce|0z §`UibTyX%x0nbov0cqvy ikjilT0cti u `w{?T0o`bX|cqWYoe|yce |0ozyXa`uibjTcti2`bT0cqnlX j vyil`sibT,ibT0X%¯eXj« B §1/n `UibTd0`UnlX'©ªnlXa`bTyXMz£cqiwnlcqibX O(log N/2 ) « i. i. N 2i. α nj 2 j. j. j. i. ¿ ¿ÀÇ#y0×MÖ{zÓ. i.
(22) G. !# ,:, #. S o£{oexCX$sibT¨ibTy§`\xynbovyXW¹C %czgXWYch|{'d0zgXa`\cnlX'©ªnlXa`bTFxynlog{'XMzgdynlX%©ªoen\vyd0{?¯X'il`2ibTcti%cqnlX |0oqi2`bdO{'X|Nibj£nlX'©ªnlXa`bTyXMzhvjhnlX NdyXM`ki?`« xwoeib§{'X%TyotsuX¥XnUibTctiwvyd0{?¯X'i?`sTyXnlX%enlXacqiwce{{dyn?ce{'jh` nlX NdynlXazcqnlX\ibTyXv0d0{?¯eXil`wsT0{?T cqnlX%Xa`l`w`ki?ctil`¦ib§{cejhnlX'©ªnlXa`bTyXaz,vj,nbX d0Xa`¦il`a«
(23) vA|ibT0X({'o|ilnlcenbj suX(cenbX%xynloexCo`b|yc`b{?T0XWYXsibT oe|0j£iks/ov0d0{?¯eXil`2ceots|yibohc{?TyXa¥eX%WctfgWcq c{{dynlc{'joe© ilTyXW« "'3',h ! #$ !%&' # -/.0213'*54&'69 X|yots xynloexCo`bXuc oo`bX/iloexCoeoejxynloqibog{oey`bWYcenibo %cezyXWY§cA©ªdy|0{'iboe|y|y|y%sibTcAiboxooej {oN`¦X\ilo$ilTyX¡AX'±¢/nldtpk|£nlcexyT3«SUTy§`xynloqilo{oe§`{cqXaz¢unboo`bXe«. *VYX. . ^ hmKj ] # ] d:h hYj/[] ^`] a#ced:fg%hYj wn S ocqotsâc %cezyXWY§cY¯X%ooe¯dyxxynlog{'XM`b`a¹gs/X%|0XXaz,ilozgXA|yX(czg§`ki?cq|0{X%WYX'ibnl§{. 2S dyotxys/xCXao¥e`bXaX na¹Us/ilXTyX7¯|y{otn?s {'d0ilTycen£XF`bzgTy§`k ©i?ilcq|0|0{ X oe©vy| i?`,|dy|ÔW$vibXaTynXoq¡2©\XTy¢uoexnldt`Ypk©ª|nboW iboxco|yoogezgj X Wcq¯eiboXM`hc7i|yogvXMzg`bXX `£iks/|NXaXil`kdy|iloe il@knl¡\¥|yXe` ««. |g©ªonbWctilo|£cevodgiUc¯Xj k «SUTyX d|ildyiboe|,vXaTy|zhilTyX%¡2X¢unldtpk|hiloexouoejY§`uibT0cqi u[dv + 1, n] ¹ ce|0z k sJ`¦T0cenbXc£{oeWYWYoe|Fx0nbX Ayf«SUTyX{'o`bXn u §`A©ªnboW v ¹ilTyXYo|yeXan2ilTyX$x0nbX AyfFsvX« v X ibTd0`zyX A0|yX D (u, k) = u[d + 1, n] ⊕ k[1, n − d] c`ilTyX dT0oex0`Azg`¦ilce|0{'X(©ªnboW u ibo k « X(T0cÆ¥X({?Tyo`bX|ilohd0`bX%ilTyXfgoenAoexCXn?ctilo|Fce`2 %czgXWYc ©ªonJil`J`bWYxy§{'ikj(vydgiucq|j$zg X A0|yiboe|`bd0{?TibT0cqi D (u, k) eXil`J`bWcqXanJce` u[d + 1, n] ce|0z k[1, n − `¦TcqnlXhc¨oe|0eXn$xynlX Ayf suoedy§zvCX,`bdyilcqv0X«FoenlXhxynlXa{`bXje¹Jce|Njzg§`¦ilcq|{'XhWYXibnl{£¥eXanb©ªj|y d] ilTyXibnl§cq|ydycenY|yX Nd0cq ikj cq|0z `bd0{?T ibT0cqi©ªoenhce|Nj vy i?` b ce|0z b ¹Uzg§`ki (u[2, l]b , v[2, l]b ) = zg`¦i (u[1, l], v[1, l])) ©ªoen l ≤ n suoedy§z vCX `¦dyilcevyX£©ªonzgX A0|0|y D (u, k) = zy`¦i (u[d + Θ( « XsuxynlX'©ªXan%ibTyXhfgoen%WYX'ilnb§{Y©ªoen$sTy§{?TibTyXhzy`¦ilce|0{'X§`W$dyibxyXaz vNj 1, n], k[1, n − d]) cq© ibXan`¦Ty© ib|yn?ctilTyXnYilT0cq| ibTyX Xad0{'§zgce|àWXibnl{,©ªonsTy§{?T iWcÆj vX W$dyibxyXazàvj 4 « J22` `¦ilcqibXMz q| B D¹ilTyX(fgon2WYX'ilnb§{¥Xnl A0XM`wilTyXilnb§cq|0edy§cqnA|yX Nd0cq ikj u ⊕ v + v ⊕ w ≥ u ⊕ w `¦|0{X cq|z ©ªoen cq|0z « u ⊕x2woqib=§{'(u X(ib⊕T0cqv)i2il⊕Ty`A(vzg⊕X Aw)|y ilo|Foqa© D+ b(u,≥ k)a ⊕§`Ab |yoqiAa`bj≥WYW0 Xibnl{(b{'≥oe|¥0Xn?`¦XajhiboilTyX$zg§`¦ilcq|{'Xd0`bXaz | %cezgXaWY§cy«SUTy§`%§`zgdyXYiloibTyX|Nibnl`b§{'j¨oenlX|NibXMz¨|0cqibdynlXYoq©uibTyX£¡2X¢unldtpk|7iloexCoeoeej« X szg§`b{d0`b`uilTyX%Wx0§{cqiboe|0`U| S Xa{'iboe|,0« y« d. d. 1. l. l. 2. d. 1. 2. n−d. d. *V2U
(24) f /hYj . m {]
(25) . US T0XhWcq| cezg¥tce|i?cqXoq©2¢unbooN`¦X§`iloFo PXncq| d0 ilWctilXj`¦WYxyXhnbodgib|y i?cqvyXe«-s/ce{?T |yogzgX `¦WYxyj7`¦ibonbXM` iks/o v0d0{?¯eXil` ce|0z « `¦Tyody§z{'oe|Ni?cq|¤ilTyXhxCo`l`bvyX`bd0{{Xa`l`¦onl` oe© cq|0z u §`{'oWYxoN`¦XMz oq©AibTyX δ |yogzgXa` vS sibT P@k¡ S{'o`bXa`¦i$ilo u[2, n] ¹J« X« ilTyo`bX,©ªoenYsTy§{?T D (u,uv) §` WY|yWYce3X¥Xnw`bXXa|,vj u cq|0z`¦ibcq¥Xe« P `¦Tyody§z,{oe|Nilce|£ibT0XxoN`b`bvyX%x0nbXMzgXa{Xa`l`¦onl`/oq© u cq|z §` {'oWxCo`bXazFoq© ilTyX δ |yogzgXM` v ©ªoen sTy§{?T D (v, u) §`\WY|yWcqWp ilTyo`bXsTy{?T`bT0cqnlX$c,{'oWWYo| x0nb X AyfhsibTXibTyXan 0u[1, n] oen 1u[1, n]r« δ §`wcx0cenlceWXibXanuoe© ilTyX%xynloqilo{oe« 1. 1. '&¿ . . ÿ.
(26) .
(27) "!#$%!& '()*!#+#,-.$/01234,65798:#'(9;&<. {cq|¨vX`bxyi%|¨iks/o`bdyvgvyd0{?¯eXil` P ce|0z P ce{{oen?zg|yilohilTy0X A0nl`¦i vy i%oe©JibTyX @k¡\`« 3X'i z g a X |yoqilXibT0X(|dyW(vCXn\|yogzgXce{ild0cqj,`¦ibonbXMz|¨chvyd0{?¯X'ia« xwoqil{XilT0cti i\`A¥eXanbj,dy|y¯Xj\pó © |B| @k¡\`\cqnlX{?Tyo`bX| n?cq|0zyoeWYj/ruilT0cti |P | vCX(W$d0{?T enlXacqibXn2oen2W$d0{?TF`bWYceXn2ibT0ce| |P | «*@±|0zgXXMz¹ i ©ªootsw`u©ªnloeW M/TyXanb|0o P¨vCoedy|z2ibT0cqi P r[|P | ≤ δ] ≤ e « S WYcenbje¹ S {acq|vX`bxy iw|iksuo `bdyvgvyd0{?¯X'i?` « 3X'i u[2, l] vXwibTyXwoe|0eXa`¦i {'oWYWo|Yxynb X AyfYoq©|yogzgXa` | S «¡AX A0|yX S ce|0z S c`ibTyX `bdyv0`bX'i?`woe©|0ozyXa`As ilTFxynlX Ayf l]0 ce|0z u[2, l]1 nbXM`¦xCXa{'ib¥eXaj«w¬w|v0cq§cq|{'Xazv0d0{?¯eXiAcÆ¥eozyce|0{'X §`zg§`b{d0`l`¦XMzh§ctilXn| S Xa{ilo|0u[2, « Gg« P. 0. 1. 0. 1. 0. −δ/16. 1 4. 0. *V !. fn. . 1. ] *fd:]. n*d. S oYWcq¯eX%cYooe¯dyx£©ªoenwcY¯eXaj k ©ªnboWcY|yogzgX u ¹goe|yX`bTyoed0z£Xa`¦ibWctibXce|£d0xyxXanwvCoedy|0z d oq©ibTyX zy`¦ilce|0{'X|Tyox0`A©ªnboW u ibo c£|yogzgX`kiloenl|0£¥tcqdyXM`\©ªoen k «CJ ooe¯dyx`¦Xi L §` |0 ilceFEXMz¨sibT cq|zilTyX ©ªoeots|y ilXn?ctilo|£§`UxXan¦©ªonbWYXMz©ªon i = d − 1, . . . , 0 « M/o|i?ce{'ice|0ozyXa`| L = {u} e c 0 | F z nlX'ilnbX¥XilTyXn v0d0{?¯eXil`a« 3Xi L vXibT0Xd0|yo|¨oe© ibT0Xa`bXe«"@©u i{oe|Nilce|0`\WYoenlX$ibT0ce| L |yogzgXa`a¹0¯XXax,o|yjibT0X S |0ozyXa` ilT0ctiAW|yWY( EaX « §`2cYx0cenlceWYX'ibXanoq©ibT0Xxynloqibog{oe α zy`l{'d0`l`bXaz §ctilXnM« d {cq| αvX zgXMzgd0{vXaz©ªnloeW N `¦|0{X Dd(v,§`$k)nloed0αeTyj log N « S XaX S XM{ilo| « GF©ªoen T0|Nil` cevodgi\XM`kilWcqib|y log N "« J vXi¦ibXancqxyx0nboNce{?T §`2ilo {'oe|Nil|dyod0`¦jXa`¦ibWctibX$ibT0XWcqfWcq T0oexzg`¦ilce|0{'X\ilo¯eXjg`U`b|0{X%T0cq©oq©ilTyX%¯eXajg`cqnlX\cqiwWYcqfgWcqT0oexzg`¦ilce|0{'Xw« Jw|yoeibTyXanwcqxyx0nboNce{?T suoed0z£vX ilo d0Xnlj©ªoen¯Xj u sibT|0{'nlXac`¦|y d dy|Nib u A0|0zy`w i?`ots| @k¡ | L « S o2Xa|yT0cq|{'X vyd0{?¯eXil` ce{{dyn?ce{'j¹Mce|yogzgXM` {oe|Nilc{ilXaz%ctixyT0c`¦X `bTyodyz(vX/|y©ªoenlWXMzoe©0cq¥X |0ozyXa`| L « Pp2Jw¥Xw|yogzgXa` `¦WYxyjWYXace|0`ibT0o`bXUibT0cqi/cq|0`bsuXnlXaz$TyiXnlXe« rIpQSUTy` |y©ªoenlWYcqiboe|Y{ce| XMce`bjvCX%xyejv0c{?¯eXazh|,ilTyX%nbX NdyXa`¦ia« r d. i+1. i. i. 0. i−1. *V 6] ] d i] fn. ] *fd:]. n*d. JÀnlX¥Xn?`¦X£ooe¯dyx xynlo{Xazgd0nbX,``bW§cqnlj zgX A0|yXMz v0c`¦Xo| ibT0X vyd0{?¯X'il`a«6J ooe¯dyx `¦Xi § `%|yib§cq(EaXazsibT L = {u} cq|0z7ilTyXY©ªoeots|y ibXanlcqiboe|§`%xXan¦P©ªonbWYXMz¨©ªon i = d − 1, . . . , 0L« M/o|Nilce{'i(cqJ|yogzgXM`%| cq|0z7nlX'ilnbX¥X$ilTyXn vyd0{?¯X'i?`« 3X'i vCXibT0Xdy|yoe|oq©UilTyXa`bXe«+@© i£{oe|Nilce|0`WonbXilT0cq| L α |yogzgXa`a¹U¯eXaXxàoe|yj ilTyPX α |yogzgXa` v ibT0cqLihWY|0WYFEX D (v, k) ¹wsTyXanbX «So¤X|yTcq|0{X vyd0{?¯X'i?`(ce{a{'dyn?ce{je¹cq |0ozyXa` D {oe|N(v,ilc{k)ilXaz,=ctiv[1,xyT0nc`¦−X ii]`bTy⊕oed0k[iz,+vCX%1,|gn]©ªonb=WYXMDzh(k, oe©cev)¥eX\|yogzgXa`w| L S « x2oqib§{'X ilT0ctiooe¯dyx0`ce|0zhnlX¥Xn?`¦XAoo¯Nd0x0`cqnlX\{oeWYxyXWYX|Ni?cqnlj uoNo¯dyx0`Ud0`bX\ibTyX vyd0{?¯X'il` ce|0zh{oe|NibnlvydgibXAiboilTyX%ce{{dyn?ce{'joq© ibTyX P v0d0{?¯eXil`usTyXnlXac` nlX¥Xn?`¦XAoo¯Nd0x0`ud0`¦XAibT0X PS vyd0{?¯X'il` ce|0z7{'oe|NilnbvydgilX$iloibTyXc{{dynlc{'j oe© ibT0X v0d0{?¯eXil`a« ooe¯dyx0`%ce|0z7nbXa¥eXn?`bX(oNo¯dyx0`%`bTyoedy§z7vX |0zg( PXnlX|Nibjd0`bXaz£©ªoenxCXnb©ªoenlWY|0nlX NdyXM`kSi?`« d. i+1. i. i. i. i. i−1. *V. . ] [. n*d . S o7xynbot¥XilT0ctiYibT0X£ooe¯dyx x0nbog{'XMzgdynlXh©ªnloeW u ©ªon¯Xj k `bd0{a{'XXMzy`a¹ suX,`bTyots ibTcti L cesUcÆjg` {oe|Nilce|ilTyX γ {oN`¦XM`k0i @k¡A`(ibo k = u[d − i + 1, d]k[1, n − i] s ilT TyeT x0nbov0cqvy ikj«7SUTy§`$` ¿3ÅkÂbÍ?ÒÏÒÉQÜtÍlÉuÝ Á ¦Í?ÒÏÒÏÅkÐÛÜÆÅkÈQÇM Á
(28) qÁÄÆÇÆÐÝͦÞaÝ/ÉQÜtÍlÉbÊ0ÉQÜÆÅAÇÄÆ Ì
(29) eÅkÈ Á ÝQÄÆÂkÂkŦÝQÝÅkÝ ÐÆÄMÈQÎÏÇ ÎÏÇÆÐÆÅküqŦÇMÐÆÅkÇÉ Å¦ÈóÇÆÁÄÆÒÏÒÏÎÉÈóμÍ?ÒÏ Ý Î ÉQÜ\üMÈQÁ
(30) t Í
(31) MÎÏÒÏÎ É Þ Á yÝQÄÆÂkÂkŦÝQÝù'ÅkÈóÎ útÅkÝ i. i. p. ¿ ¿ÀÇ#y0×MÖ{zÓ. X(n) 2 P r[X(n) ≤ (1 − )pn] ≤ e− pn/2. n.
(32) !# ,:, #. c{?TyX¥eXMzYvj{?Tyoo`b|y α = O(log n) ce|0z δ = O(log n) `bdO{'X|Nibj§cqnleX2ce|0znlXjN|y$oe|vyd{?¯eX'i c{{dynlc{'j« /³ $:, , &Yt!#9 ! , & ' < 9$: ,
(33) w4$: ,7 tt, & ! #!#, "'(9t.$/!#,. 9 !I9!#, Y 2 8c log &! N4'N4< n. v. . 44$-28: I.$/%#C . Θ(log N ). $ 8 . 44$ $% ;$. US Ty§` XaWWc2` cwzgnbXM{icexyxy{actilo|%oq© M/TyXanb|yo&P$vCoedy|zy` `b|0{'XilTyX x0nbov0cqvy ikjAibT0cqicn?cq|zgoeW ©ócq`(cti(zg§`ki?cq|0{XXM`b`%ibT0ce| c log N ©ªnloeW v §` c log N « 3X'i X zyX|yoeibXYibT0X|dyW(vCXnoe© |0ozyXa`cqi£zg§`ki?cq|0{XFXM`b`ibT0ce| c log N « @i?`WYXace| ¥tcqdyX E[X] §`YibTd0` m = c log N «}SUTyX M/T0Xnl|yo PFvCoedy|zy`w`bWYxyjh`¦ilctilX ibT0cqi P r [|X − m| ≥ m] ≤ sibT « J{a{'oen?zg|y$ibo 3XaWWc,Zq¹ A0f£`¦oWYX γ = c log n `¦d{?ThilT0ctiUibT0X\|dyW$cvXa=neoq©|yogzgXa`cqizy`¦ilce|0{'X cqiWoN`ki x = c log n ©ªnloeWcn?cq|0zyoeW @k¡}§`nbXMctibXan ilT0cq| γ s%« T3« x3«« `bd0{?T7ibTctiilTyX|dyW(vCXn(oq©U|yogzgXa`$cti(zg§`ki?cq|0{Xcti J{a{'oen?zg|y,ibo XWYWcZqQ¹ Ayf WYoN`ki y `uots/Xan ilT0cq| γ s%« T3« x3«w« oy|0=cecj Aylogf cn ≥ c + 2c cq|0z δ `bd0{?TilT0ctiUibT0X\|dyW$vXanUoq©|yogzgXM` cqiwzg`¦ilce|0{'X Xa`l`oenUX dcqibo y + 2x = c log n §`ots/Xan/ilT0cq| δ s%« T3« x3«« Scq¯|ycq|,Xa`¦ibWYcqibXMzhTyox zg`¦ilce|0{'X d `bd O{'X|Nibjh§cqnleX cqotsw` iloce`l`¦dyWYX\ibT0cqi D (u, k ) < WYxyj|y D (u[2, n], k ) `b|{'X D (u[2, n], x/2 ≤ x « 2 J l ` ¦ ` y d Y W y | 7 y v 0 d ' { ¯ ' X i e c a { ' { y d ? n e c { e j ¹ l i y T X zgX A0|0 ilo| oe© δ |0`bdynlXa` k ilT0)cti ≤L 2D s(u[2, {oe|Niln],ce|£k ib[2,TyX n])γ {+oN`¦1XM`ki|yogzgXM`uibo k s ilTnbXM`¦xCXa{'iuilo D « x2ots¤©ªon ¹MX'i v vX oe|yXJoe©ibTyX γ {'o`bXa`¦i3|yogzgXa`3ibo k sibT%nlXa`bxXM{i3ilo D « D (v, k ) < x s%« T3« x3«¹JWYxyij<|0d−1D (v[2, s%« T3« x3«« J2|Nj|yogzgX ceWo|yFilTyXhNcqWYWc¨{oN`¦XM`ki |0ozyXa`ibo k ¥eXnl( A0Xa` D n],(w,kk ) )≤≤2xy s%« T3« x3«àWYxyj|y7ilT0wcti w `cqizg`¦ilce|0{'X cqiYWYoN`ki ©ªnloeW N« @iU` ibTd0`u|ibT0X vyd{?¯eX'iuoq© s%« T3« x«Jcq|0zsvCXA|0{d0zyXaz| «SUT0` y + 2x ilXnlWY|0cqibXM`uibTyv[2,X%xyn]nlooq©vNjhnbXM{'dynlnbXa|0{'X\oqS© ibTyX{oenlnbXM{vil|yXa`l`uoq©ibTyX oNo¯dyxxynbog{XazgdynlXe« L x2oqib§{'XilT0cti ¹3ilTyXYXa|yqilT¤|7vy i?` oq© @k¡A`a¹§`%cilnb¥cedyxyxCXn%vCoedy|z¨oe© ¹3T0ots/Xa¥eXn on 40 ` {Xnbilcq|ynj,c£xyn?ce{'ib§{cq dyxyxCXn vCoedy|0z¨oq© log N cqots|yhchnbXMce`boe|0cevyXlog{?T0Noe§{'X(oe© α = 3030 ce|0z « J `bWYcen(xynlooq©{'oed0zvCXWcezgX©ªoen(nlX¥Xn?`¦XYooe¯dyx3« xwoeib§{'XilT0cti(ibTyXooe¯dyx R x0nbog{'XMδzg=dynlXa500 `cqnlX NdyibX£iboXanlce|iibo7vyd0{?¯X'iY|ce{{dyn?ce{'Xa`$`¦|0{X£i`Y`bd O{'X|Ni$©ªonibTyX,xynloNoe©wibo `bdyxyxCo`bX\ibT0cqiibTyX%d0|yo|£oe©v0d0{?¯eXil`UnlX'ibnlX¥eXMz©ªnloeW L `c{{dynlcqibX« @k¡. 2n N n. 1 N. 2 N. 1 N c0. 0. −2 c/3. 1. 2. 3. 2. 3. d. d−1. d−1. 1. 0. d−1. 1. 0. d−1. d−1. 1. i. i−1. i+1. i. i. i. i+1. i−1. i+1. i+1. *V. . h *hj. f j m{m j
(34) ] "! ^. i. . hd:h f /h j * vA|0XU{acq|{?Tyoo`bX ce|0z s ilTy|cA©óce{'ibon`bdO{'X|Nilj§cqnleX/©ªoenWce¯N|yAibTyXUxynloevcqvyikj%oq©©ócqd0nbX ¥XnljYots pªibTyX xynlαoevcqvyδikjYoq© ©ócqdynlX\sibXa|0zilotsucenlz0`wE XanboYce` N ibX|zy`/iboY|/0A |yikj'r « wotsuX¥XnM¹ ilTy§`{?Tyoe§{'XuWY i?`ibTyXwc{{Xxgi?cqvyX/d0|Nvcq§cq|0{j%|$ibTyX
(35) k@ ¡ zg§`¦ibnlvydyiboe|3«S jxy§{ceje¹qibTyX`bWooeibTy|yXM`b` |Nibnlogzgd0{'XMz,| S Xa{'iboe|Fg«Ï$W(d0`¦iw`ki?cÆjsibTy| O(log n) « ρ xAcqoen/cq|0z XazgXanB #CD zg§`l{'d0`l`|ilXnlXa`¦ib|y sucÆjg`oe©X'ibib|y%vXi¦ilXn/`bWYooqibT0|yXa`l`«
(36) p.@ ©ilTyX2{?Tyo{X oe©A|yXas k@ ¡\`{ce| vCX Xac`¦jibdy|0Xaz iboeXivXi¦ibXanh`bWooeibTy|yXM`b`a¹JilTyXFzgXaXiboe| oq©A|0ozyXa`§`YWYoenlX x0nbovyXaWctib§{q« r 2XnlXe¹suXhxynloexCo`bXhc7`¦WYxyX£`l{?TyXWYX£ceots|y¨cF|0ozyXhilo¤zg§`b{ot¥eXanibTctiY iYT0ce` {?T0o`bX|c ¥eXanbj$xoxydy§cqnJxynlX0A f(©ªoen i?`wk@ ¡
(37) cq|0z$ibTcti/i/`bTyoed0zXacÆ¥eXUilTyXw|yXiks/onb¯$cq|0z\pko|i/cqNcq| sibT c|yXasân?cq|0zyoeWYj{?T0o`bX|+k@ ¡(«. '&¿ . . ÿ.
(38)
(39) "!#$%!& '()*!#+#,-.$/01234,65798:#'(9;&< o0oenilT0ctixydynlxoN`¦X¹cF|yogzgXhWcÆj¨nlXdy§cqnlj7ce`b¯¨il``¦d0{a{'XM`b`boen?`\©ªoen(ibTyXan vyd0{?¯eXil`$cq|0zil` x0nbXMzgXa{Xa`l`¦onl`©ªoenibT0Xn S v0d0{?¯eXil`a«KM/oeWYxydyib|y\ibTyXdy|0o|$oe©ceilTyXa`bXUvyd0{?¯eXil`Pce|0z(¯XXaxy|02ilTyX δ |0ozyXa`3{oN`¦XM`kiilo i?` @k¡ sibT%nlXNcqn?zwilo D i eX'i?`ilTyXJvyd0{?¯X'i R oq©g i?` ® vynloqibT0Xn?`±°« oyon3Xac{?TAvyd{?¯eX'i | B u ¹ h i { e o Y W y x g d l i a X ` b i 0 T X a X y | q l i T e o 2 © b i 0 T F X {'oeWYWYoe| xynlX Ayf oq©%cqW @k¡A`Y| B « l(B) {ceS,| R,vCX P , P l(B) `bXXa| c`cq| XM`kilWcqiboe| oq© log N « @© l(R) `YWYoenlX£ibT0ce| log log N cqvCot¥eX l(S) ¹ l(P ) + 1 ¹/oen ¹X¥X|,ct© ibXanc$`bd0{{Xa`l`¦¥eX\{'o|0`kilnbd{iboe|hoq© ¹ibTyXa|hilTyX\|yogzgX%zgX'ilXa{i?`/ibT0cqiuilTyX%`¦WYooqilTg l(P ) + 1 |0Xa`l`%T0ce`(nbXMce{?TyXMz O(log N ) ce|0z7ibT0cqi(i$`¦T0oedy§z{?T0Rcq|0eXY i?` @k¡$« p wotsuX¥XnM¹© R {'o|Nilcq|0` Xa`l` ilT0cq| δ |yogzgXa`a¹eilTyX\|yX'iksuoenl¯(§`/`¦ib0iloNo$xoonbj$xCoex0dycqibXMzYibo(ilcq¯X2`bd0{?ThczgXM{'§`¦oe|« r xwoeib§{'XwilT0cti ilTyX%xynloev0cevyikjoq©`¦d{?T,cY`b ild0ctilo|£§`otsâcq|zilT0cti2c|yogzgX%sn?cqnlXj{?T0ce|yeX ilW` @k¡$« x2X¥eXanbXa`l`a¹ilTyX%¢unboo`bX2|0X'iksuoenl¯§`U¥dy|yXn?cqvyXAiboYcq|cezg¥Xn?`bcenbj|`¦Xan¦il|y|yogzgXM`/sibTdy|v0ce ce|0{'XMz @k¡\`|,ibTyX%xyd0nbxCo`bXAoe©v0nbXMcq¯|0(ilTyX%|yX'iksuoenl¯« 0. 0. 1. 0. 1. *V. . ^ h f %h j s/ce{?T nlX N dyXa`¦iAc{{'d0nlcqibXjhnlX'©ªnlXa`bTyXM`wXibT0XnwilTyX vyd0{?¯eXil`2oenwilTyX vyd{?¯eX'i?`woe©J|yogzgXa`A{'o`bXaz,ibo ilTyX¯Xj£zyXa`¦ib|0ctilo|3« @ © zyXa`¦ib|0ctilo|0`wcqnlX{?TyoN`¦XaS|,n?cq|zgoeWYje¹gilTy`2PT0cqx0xXa|0` α ibWXM`wxCXnAnbX d0Xa`¦i . |NibXanb¥tcqxCXn |yogzgXs ilT¤x0nbov0cqvy ikj 1/N jXazy|yc£nbX©ªnbXM`¦T¤xXanbogz iks§{'XYo|yeXan\c`wilTyXYWYXacq| nlX NdyXM`ki|NibXnl¥tcqxCXn|yogzgX« S o$¯XXax¯eXaje¹N¥Æced0X\c`b`bog{'§ctiboe|{oN`¦X2ibo(ibTyX\|yogzgXa`usibT @k¡A`U{'o`bXa`¦i ilo(ilTyX\¯eXjYsibT£nbXacqn?z ilo D ¹ ibTyXM`¦Xc`b`bog{'§ctiboe|`%`¦Tyody§z¤vCXnlXxyd0vy§`bTyXaz7nlXed0cenbje«S/jxy{acqj¹© O(N ) |yogzgXM`%XacÆ¥eX onX|NibXanUibTyX%|0X'iksuoenl¯zgdynl|ycxCXnlogz,oq© `¦XM{'oe|zy`¹ilTyXj,`¦T0oedy§zhvCX%nlXxydyv0§`¦T0Xaz log N ) ilWYXM`xXan T `bXa{oe|0z0`«S oYcÆ¥oe§zTyoei2`¦xCoqi?`uT©ªoenxCoexyd0cen¯eXjg`a¹g|NilXnlWXMzg§ctibX |yogzgXM`w`bO(γ/ Tyoedy§z,{ce{?T0X ¯Xj¹g¥Æced0Xce`l`¦og{'§ctilo|0H` u |yogzgXM`{'o|i?ce{'ibXaz,cti2`¦ilceeX i oe©coNo¯dyx£x0nbog{'XMzgdynlX\©ªoenwcY`kiloenlX%`¦Tyody§z ¯XXaxhilTyXce`l`¦og{cqiboe|£zydynb|y T /2 `bXa{oe|0zy`a« SUTyX%ooe¯dyx,xynlo{Xazgd0nbX {ce|,vCXce{a{'XaXanlcqibXazhvjh`¦T0 © il|y vyil`wcqiwc(ilWYX« SUTyX xynloqibog{oe3`¦ib nlXWce|0`/¥eXanbjY`bWYxyX\`b|0{'XAibTyX\|dyW(vCXnuoq© vyd0{?¯eXil`/nbXaWcq|0`uby« wotsuX¥eXana¹eibTyXan`b( EaX δ `bTyodyzhvX W$dyibxyXaz,vj 2 « 0. i. b−1. *V. Wf. . #$# mKd. . SUTcq|y¯g` ibo$c¡AX'±¢/nldtpk|£cexyxynloce{?TYoe©3ibTyX %cezyXWY§c%©ªd0|0{ilo|y|00¹g¢unboo`bXwo&PCXanl`/dyibWYcqibXaj`bW 0x Xnloedgil|y7i?cqvyXa`©ªonce{?TyX¥|yc7zy`¦ibnlv0dgibXMz Tce`bTgilcevyX,xCXXnbiboqxCXXn`bjg`kilXWsibTànlX'©ªnlXa`bT ©ªnlX NdyXa|0{'jhoq©{oe|Nilc{i|g©ªoenlWctiboe|,xynloexCoenbiboe|0ceCiboYoo¯Nd0xh©ªnlX NdyXa|0{'j« À tU* u BZ D%m« oyn?cqe|y§cqd0zce|0z m«r cedynloe|3«SUTyX({oe|NibXa|Ni¦±cezyzgnlXa`l`lcqvyX |yX'iksuoenl¯£z0qv3«wS Xa{?Ty|y§{ce ]Xaxon¦i W] @AZ =q y¹¬w|y¥«ymcqnl`¦ S d0z¹0q& =0« BÏ D/« o0nlce|0`u %cece`bTyoX¯ce|0zh¡\cÆ¥z£]%«y %cqnleXana«3 Aooen?zg&X uKJâ`bWx0X%zgXaenlXX'oexyibWYceCzy`¦ibnlv0dgibXMz T0c`¦T£ilcevyXe« @±| &, ,7 , ! 2 , ! ' $/8 , W 1 1 W < " 5 t¹q& =y« . . . ¿ ¿ÀÇ#y0×MÖ{zÓ.
(40) . . . .
(41) . .
(42) ZM. !# ,:, #. B =#Dou« S « 3 XeTNiloe|3« ,729H #,I 8:!#! '4'( ' !#' ; 44$" ! , "! $%4 ¹e{?TcqxgilXnK=y« =y«y onbNcq|. % cedg©ªWcq|y|3¹Z Ng« B D%m«FcÆjWody|y¯ot¥cq|0z ¡$«C¨c EXnlXa`a«U %cezgXaW§c/u J xXaXnbiboxXaXnw|g©ªonbWctilo|F`¦jg`¦ibXaW v0c`¦XMz o|ibTyXhfgoen(WYXibnl{e« @±| ,: , !##, !#' # #$/8 #, W1#1 9 < " 5 t¹ eey« BÏD« x2ceoence|0z%¬« XazgXanai« xwot¥eXaecqn?{?TyibXM{ibd0nbXM`©ªoen xtxcexyxy{actiboe|` uilTyX/{oe|Nib|dyoed0`¦±zg`l{'nlX'ilX cexyxynloce{?T:« @±| 9 #4,i; .$/ ,74$ !#,7,::! ' <*8/#4 , W!#! '4'( 'b! ' ;i#4.$ ! , ! $%4 b t¹yq& =y« B G#DJ(«]wotsw`kilnbo|cq|0zhm«g¡Anbd`b{?TyXaQ«mc`kilnbj u S {cecevyXe¹gzgXa{X|Nibn?cqF EXazYovgpkXa{'iuog{cqiboe|3¹cq|0zhnbodgi¦ |y ©ªon£§cqnleX`l{ceX xCXXan¦iboexCXXan£`bjg`kilXW` « @±| ,: , !##, !#' , , #, "2 < " 'F!# # &'( ! ƹ NxM S eyZ ¹Nx0ceeXaW` =N
(43) %=ey¹qe0Ze« B¼ D @« S iloe§{cy¹]%« onbnl§`¹¡(«3 %cenbXnM¹« ou« %cece`bTyoX¯¹cq|0z «¢Ucq§cq¯nl`bTy|0ce|3t « M/Tyonlz u*J `l{ce cevyX,xCXXnbiboqxCXXn$oo¯Nd0x `bXnl¥N§{'Xh©ªoenY|ilXnl|yX'icqx0xy§{cqiboe|0`ae« @±|
(44) #4,%;# 4$: . #, 9, 9 ,e!8&8 ' 9! 2 ,/
(45) W $%, #'(9;
(46) W! $%4
(47) ! , 8 9# #' # 8 01 0,: !##,:¹yx0cqXa`\Z
(48) HZ Ge0« J*Mu"mJnlXa`l`¹0ee0Ze«
(49) . . . . . . . . '&¿ . . ÿ.
(50) Unité de recherche INRIA Rocquencourt Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes 4, rue Jacques Monod - 91893 ORSAY Cedex (France) Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France).
(51). . ISSN 0249-6399.
(52)
Documents relatifs
C'est aussi le résidant pas chez leurs parents fréquentent deux fois parativement à la province, les étudiants de Nanterre ne lement ce moindre attachement à la ville
In this paper, we study the performance of an enhanced channel estimation technique combining estimation using an autocorrelation based method and the Expectation-
Selon Laeven et Valencia (2012) , le coût budgétaire de la crise bancaire s’est respectivement élevé à 44 et 41 points de PIB en Islande et en Irlande, ce qui place ces deux
Dans ce travail, nous comparerons les entreprises coopératives, détenues par leurs membres, dont le produit risqué est la ressource critique apportée et dont l’objectif est
À cet effet, un nombre considérable de recherches démontre cliniquement que les enfants de parents souffrant de problème de santé mentale sont plus à risque d’un retard dans leur
usual route to school and provide us with some details about their travel routine (e.g., schedule, mode of transportation, people accompanying them, etc.); 3) recent interventions
La question de l’extension des limites de Paris jusqu’à cette ligne avait été discutée mais ne fut tranchée que par un décret impérial du 9 janvier 1859 qui décidait de