Dynamic updates of succinct triangulations
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Dynamic updates of succinct triangulations Luca Castelli Aleardi — Olivier Devillers — Gilles Schaeffer. N° 5709 29 septembre 2005. N 0249-6399. ISRN INRIA/RR--5709--FR+ENG. Thème SYM. apport de recherche.
(3)
(4)
(5)
(6) !"#$
(7) % &'
(8) ()$*,+.-+0/'132546487:94825+0;=<$7 >@? 4876A7625;B2CA78464825;D/ >@E 78464825/F*HGI+02KJ 2C; L:MON'PQR5SUl!TWmncpVX oqQ
(9) \sR,rUY[QDZ]cK\^NDPP_Q
(10) Q=\nZ`m^fit'Z^Y5u PbadcCegfih5jkQDZ v`uKwkw0cKm^\xkQUmnQDtyMOQ'mytyMkQ{z0|$}5~HKVp_Z]QDw[\^QDPakmnQpK5}VKwOuK KQ=Z ∗. †. ‡. Dz'HukKmnQDKt
(11) QDz5\IuKm]\nft'egQCp Q wOm^Q=Z]QDzC\nQDx_uZ]jdt't
(12) fzOt
(13) \!m^QDwkm^Q=Z]QDz5\nuH\nfgcCzcp0\^mnfiupzk Cjkeup\^fcKzOZ\nMOuH\@Z^jkwkw0cKm^\nZ Q'ec[t'uKt
(14) fe¢Q'jkz5w0\xOzOuHu3\^,Q=fZ: CcpuH\nfg\^cCMkzQcK\nw0m^fiQ'upmyzOuH K\^fjkcKeizduHZ'\nfgcCzO`Z'QD m^Q\^MkfiZmnQ'wOm^Q=Z]QDzC\yuH\nfgcCzfiZfPwkmncHKQDx\ncupeecH ¡cCmQ
(15) t'fgQDzC\ z5\nup\^fcKupz¤PcKcCm]\nufg¨DQD\nxm^fiup\nzkfgP CjkQeiuHuK\^zOfcKx¦z.jkzdx[f¥\nQ'M mCmQ'm^\^\^Q
(16) mn§©fuKzkxk KQ'eeQDQ
(17) Zª t\nDfgupcCzzOl!Z¬ad«3mnQQDQDt'xkPf KZ^Q®Q'upefYKOz5 \nfgwduK ZfgzkQ£fgQ=z x¦Z^MkjkcH"zdx[Q'MkmcH"CQ'upm^u\^PQ
(18) Z^§¦cKjOm^t'f\^zOt'ffg¨'Z^zOQ=Q't
(19) xm^\\^f\ncKm^fgPzOQDwkZUQKmnfQDz Z^Q'O(1) m) ¯ jkmZq\nm^jOt
(20) \^jkmnQuKO(lg y t k M f ' Q C ¡cCm\^MOQ©Zq\ncKmyup CakQfg\n¡ZDcC¢mupzO\^Mkx©Q©Z]jkt'ewOuCwdZ^cCZm]cK\yZ \nuCm^x3fio]upuKzOt' KQ'jkzOeit'uHY\nfgcCh5zOjkZ`QDm^fQDfgZb\^M©a0uQ
(21) \qadcCQ'jkQ'QDz¤zOZ_xk\n\^uKMkmnm^fQuKYCzk±fgzk Km^Q=e¡QDcKhCZmnjOPfgfgmnz upfgzO\^f cKzuKZ^\^Y,MO\^P_fQ'PcKwkmn\^QY°cp\n²6fa0uptDz°cKupjkeegQ'zdY §,x¤\^2.17m + o(m) y m © u p u P O(1) zOQ'QDxkQDx¡cKmmnQ'wkmnQDZ^Q'z5\^fzk b\^mnfuKzk KjOeup\^fcKzOZ cp$ KQDz,jOZ g Z]jOm]³uCt
(22) QDZy´¬ cCjkz5\bcp O(g lg m) akfg\nZupmnQ µxOuH¶5\n·±u¸nZ]¹\^mnº jOHt¬»\njkKmn QDZD C mnuKwkMQ'zdt
(23) c[x[fzk OkZ^jOt't'fgzdt¬\x[Y,zOupPfit®xkup\nu_Zq\nm^jdt¬\^jOm^Q=Z'5\^mnfiupzk Cjkeup\^fcKzOZD5 KQ'cCPQ
(24) \^mnfit 2. Ë3Ä6Ãnß6Èq¼¾ÐÌ^½3àO¿Áá
(25) Àâ¬Â±âyãOìÄ6ä¡Åå¬å^½3æ¬Æyæ¬À:æOç¡ÇpèDÈ]éqÈqêkÉçãDÀ8ë¬Ê=ènË3ì¬Ëpâ
(26) ìí'ijî]Ì6á
(27) ÈqïHÍéqðyÇ
(28) ñDÎ_í[Ì6çi½3ò'ó'ÈUånÏHô
(29) ijõyÈqöDÉ3ë¬ÐÑåy½b÷3é^Ò6è¬Óè¬Ô±í'ø5Õ@çúÖùDî]Æyá'À8õ'À8íyÈqò¬À:ò
(30) Í=í¬È®ó'ånÍ3÷
(31) ìí'É=ëyÉ3û
(32) ×qëqÈ]üDÀ¡ãDØå Ë=Ä6ì٬Ä6ÆyÚÛ0ÜD¿ÝÆUÌ8½=ÈÞÈqÃDÐqìÚË Õ¡Õ¡ýýþ¾þ¾ÕúÕúÓ©Ó©ÿ±ÿ±ÞÞÈqÈqììÚÚÈqÈqÌ6Ì6ijij¿Á¿ÁÐ^Ð^ÆÆ ÆyÉ=Í ,Õ@Û dÐqà Á È [à ÎDÌ6ÈqÐѽ3É3 ¿ 'Ê3Ȭ Û
(33) kÆ ÝÆy¿ÁÀ8È]ÆyÊ ,ÕÛOÐqÃÁÈ kà Î'Ì6È]Ð8½3É3¿ 'Ê3ȬÛ
(34) OÆÝÆy¿ÁÀ6È]ÆyÊ ∗. † ‡. Unité de recherche INRIA Sophia Antipolis.
(35)
(36) ¾ #" W#
(37) % &
(38)
(39)
(40) b
(41) w0uOQ'mnz£PUx[Q
(42) upQ\^zO\nwdZupQDjkz5m^\IzPjk\nQ'mnzk\]u3Q\^HmnzdupQfu3eKjk5m zkfD CQt'upQ'P\^z5fcK\DfiZ]z=Q zk
(43) cC®jOoqt'ZcKuCu3jOt
(44) CmQKcKegzOc[UZ±t'uKwkupegzOmnQ QDZIZ^'t'Q'Qz5tD\\n!uKmnt'u3jkQHzkuKxkQfge[QUm^zkQDeiwku_cCmjO\^=ZImnZ]fiu3QDupz5KzkcC\n CuHzOjk\nZ$fgecCupup\^zUPfcKZ^'jOz¾eftD cKt
(45) mfzC \nt'Q@Q
(46) \]x[\nQ=QZ¾m^\nQDm^wkfiupmzkDZ^ CQ'jkz5ei\nuHup\^f\^cKfcKzdz Z \nQ'fg\`cCzQ'l!zu3ejO\^Y5QDZsupP_z5wk\ wdm=Zmt
(47) fiZ]\nQDm^PfiupzkQ'z5 C\DegQ=[Z@zkuKw0cCPjOQ'cKjkZ:m^\ P\^f¢
(48) cK\^upmnz5wkQU\^mnmnP_NDcKZzdfiZ^Z^ZQ jkt
(49) wk®cKwOPoqm^cKQ=PjOZ^mZ^Q'fgz5cCQD\`zzjk\nx[zOQ'QPQZ^wOm^cKQDZ:Pwkt
(50) mPcC=zOQ
(51) Z]QD\yZ]z5Z:\nup\nQ
(52) uHz5\\n\fgOcCupfzwkwmnZ^xNDjOZ t'upft'm zOfg
(53) z5Z^\^Q'\nQ=m^QZ'\^ fxcK zjkzOxkQQU\^Z^mncKfuKPzkP KjOQ
(54) e\yupZ'ª O(lg m) !z ' t ¦ Q 5 h k j \e! QDz5\^mncKwkfQx[Qakfg\neuZDCt'Q'e\uCw0Z^Z^Q'QmnP_x[QDQ'\Z \nxkm^QDfiZupzOmn KQDh5jk$jeiuH'\n\^fgQDcCZszOfsxZ! t
(55) u3uCcCKx3zOQ=o]t:uKt
(56) QDt'jkm^Q'zzOzOQt'a0QcKe!myQ'Q=x¢z5Z]wd\^Cmn#zuKQt
(57) DQ£t
(58) \^mnQ=fij[Z^upZ^\nzkfgfg\ne CfiupZ"egz5Q=C\Z: uCQ'zOZ]z£cpY,\^\^PmnQDQPw[\nZqwOcp\nZs\^m^fijdh5t't¬cKjk\^zOQ'jOPZ]m^\nQ¦uKQDzCzCup\\\]\^x[² QDQ fgz52.17m + o(m) O(g lgm) Z^cKz5\z$=t
(59) QDZnZnupfm^Q=Z@w0cKjkmsm^QDwkm=Z]QDz5\^Q'm:x[Q=Z:\^mnfuKzk KjOeup\^fcKzOZ:x[QZ^jkm]³uCt
(60) Q=Zx[Q KQ'zOm^akQ fg\ngZs´¬Z^ jkwkwO%e DP_QDz5\nupfmnQDZ & º = ¸ ( ' * xkcKzkz$DQDZ: +'cKP'\^) mnc[fh5xkjkupQ= CZ'Q x[Q KmyupwOMkQDZD[m^QDwkm DZ^Q'z5\nup\^fcKzOZ:t
(61) cCPwOuKt
(62) \^QDZD[\nm^fiupzk CjkeiuH\^fcKzdZ'kZ]\^mnjOt¬\njkmnQDZ`x[Q 2.
(63) .
(64) !#"
(65) %$ '&()
(66) . b #$ @
(67) L:uUMOakQUfzOPuKm^c5YZq\s\nm^t'QDcKQ PfiZP\qY,cKwkz£fit'xkupuHe\yeYu_fgZ]P\^mnwkjOet
(68) Q'\^PjkmnQDQDzCZ:\nQDupx_mnQjOQ
(69) Z^fg§[zOwk sef¡t'cCf¥\`mIQDw0uKcKtyfM_z5\^zkQDc[mx[aOQuKuUZ^QDwdxcCm^fgQDz5wk\nQ'mnm$QDZ^\^Q'cz5fg\n\nupZ$\^fecKQ
(70) úzO\@ZDuK-zO,OxcKmmnff KzOM5Zq\!\yupZ]zOcCzOt'QKZ/. uKm^Q:akjOfg\nZ^Z QDxZ^Mk\^cKcjkmneiQ'xwka0mnQDQUZ^Q'Q'z5zk\IcCjku® K\^M¾mnQ'$Q:L:Mkf¥fi\nZ M cKmaOZ^Q'zOmnc,HxkuHQD\^fZDcK$zR,efQDzOuCt'xkQ:ZD\^5Mk CQDfgm^CQQ'zupmnuQ O(m) et'QDeZnuCZ@Z^Z \^MOw0uKzcKfcpz54\^Q'cKmya[x[Z$oq(f cpQ=00t¬±QD\ym^Z]Z:QDf¨'z5cpQ \:O(lg Z^Z^jOf¨'tyQ Mm)\nm^kQD\^akQDc_ZDfg\n \^ZI2m MkQh5jkQ=Zq\nfgcCzMkQ'\^MkQDm\^MOQDZ^QUcCa[oqQDt
(71) \nZtDupza0Q KfKQDzu1 C
(72) "2"2/34#
(73) O[\nMOmuH\`fiZD[MkQ
(74) \nMkQ'mcCzkQt'uKzx[Q=Z]f Kz£uxkuH\yuZq\nm^jOt
(75) \^jkmnQKkZ^jOtyM\^MOup5\ . 6 \^MkQUmnQ'wkmnQDZ^Q'z5\nup\^fcKzupeecH`ZI\^c_upzOZ^ Q'mh5jkQDm^fQDZuKZnZ]c[t'fup\^QDx_\nc\nMkQscCa[oqQDt
(76) \nZfgzt'cKzOZ]\nuKz5\!\^fPQK 6 \^MkQUmnQ'wkmnQDZ^Q'z5\nup\^fcKzupeecH`Z!jkw±xkuH\nQscK¢\^MkQUcKa[oqQ=t¬\yZ!fzw0cKeY5ecK 5upmnf¥\nMkPft \nfgPQUwdQDmcCwdQDmnup\^fcKz¾ 6 \^MkQZq\ncKmyup CQt'cCZ]\cp:\^MOQm^QDwkmnQDZ^Q'z5\nup\^fcKz R cKuKz cKa[oqQ=t¬\fz C PuH\ytyMkQDZuKZ^Y5Pw[\ncp\nftDupeegY fguHz$\ OOzkmyfg\qZ]YK\ cCmnxkQ'mU\^MkQQDz5\^mncKw,Y¦cp\^MkQt'euCZ^5Z . size(R) = log |C | · (1 + o(1)) uCZ m Kc,QDZU\nc \nL:L:jkMOMOmnQQ£QO\^¡cKmyMkZqmf\@mn\^xwOMOm^QwkcCmnwdt
(77) cKeiQDw0uKm]ZnQ'\qZ'Y_m^\qYQ'L:zOY,Z^MkjkfgQQDmneQDxOZ^Z$QDZt'\ncKMOf¥\yzOuHZx\Z^\^jOwkMkt'mnQscKt'fgw0m^zOQDQ't
(78) wkm^\^\qm^zkY¦Q=Q=Z]Z^QD K5Z z5fK.\nQ=uHfZ®\nz fgcC\^MkZ^zcKQ7x[PQDQZ^Q't'mnuCK Z]Q=Q=Z$
(79) Z' \^c&cKa0zkuCQ®QZ]w0t't'cKQDcKt
(80) zOz5\Z^\^ficpQDx[zC@Q'\ymn\nZQDMkxQuKf¥mn\nZQ'M wkumn\^xkQDMkZ^upQQ'\nz5u \yZ]uHQD\^\^u mnfjO8KcKQDzt¬mª 9 /# wkmncKw0Q'm^\qYMkfityMmnQDuCxkZ size(R) = O(|C |) Z]xk\^Y5mnzdjO: upt
(81) P\^MkjkffmnteQDQ¦ZuKm^\^myMOu3Q'QDY[mnm^Q¦<ZQ;ÁfcK>} Z=ÑzO? egu Y ;(@3ei upx[=ÑmnQDO KKx[QQDY,egcCzOef¥wdup\nQ'Q=Pmyx uHfit\nm^jkQ=x[m^t
(82) fQt
(83) QD\^zCcCf\ncKz egzOYCuKst
(84) m^cC¡fcCP_QDmZ wd;AZ^uK@DcKt¬ P\=8OQxkxkuHY5aO\yzduKu°upZ^fiPZqt¦\nm^ftU¡jdjkt¬akzd\^fgxkjO\]ªÑupm^KQ=PQ=Z't¬Q'`\nz5x[cK\ymyY,upBZ zOeuK;Axk@=P>uH=8\yft¦u.Z^Z]jO\^tDmnjOt
(85) ft
(86) zO\^t¬jk\mnQDxOZ£uH\nuKu Z ¯ c¡KcCjkuzOZ^x©jkjkmsfgm]z³uCfgz5\^t
(87) \^MkQ®QDQm^cpQ=¾eZqf¥ K\n\®Q'QDfmyz,ZsuHjO\nfgZzjkm^g CQCQ' cKf¥,kP\nMcCQ'ege\^ucHmnfZ^tffgP_zOxk wOupeg\nQ®upuzadZ]cC\^upmnjkwkjOzOwOt¬xkm^\nc5uKjkuKm^mnYCtyQDM5ZD!Z^\nfg:zdMOt
(88) uHQQ`\\nt
(89) wkMkcCmnzOficHZ@Z^KffiQDx[Z!x©QD\nmDMkZ]dQUjOuKtDP_Zst
(90) Q=c5u_Z^ZqZ]\n\:¡QDjkZqZ]e\y\®up¡t'zOcKuCmxOZ]upQCt
(91) mycCkx_P\nm^\qwkfiY5upm^w0zkQ=Qs CZ^Z^jkcKfei¾cKuHz¾P\^0fcKQDZ^zdM Q Z fwdxkz[fup¡Z]m^cC\^\Dfm^zk P K¯ uHjOjk\nffgZ^mcCM.zPa0up²³Q
(92) wdf\qzcC fgmnz5Q'QD\®QDZ^zjkt'c,eg\^\`cKMkfmyQZ x[fg\nt
(93) zdMkcCuHQP\^Q=¡akcKZnfe´
(94) zOekcHupup\^zOcKfgzkx£mnfi 3upx[. e:mnffgKzkQ¡cKcKmnjkPm`upt'\^cKfcKzOz Z]\^mn²újO\nMkt
(95) Q£\^fcK\^z£mnfuKuKzkt' Kt'cKjOmyeupx[\^fzkfcK _zd\^´bc_up\^zOMkx¤Qb\^t
(96) MOcKQPb KakQ'fzOcCuHP\ncKQ
(97) \^mnmnfuKfit e CD ¶,º ¶
(98) FE3G H I /"29KJL M
(99) NB"2"K//)
(100) 1O!)"
(101) %$ '&(#
(102) PNNB '"Q R3STJ%U$%3 V g W I 1 <&(YX ' "1 V %$Z><)
(103) &&[\?S]"9"2/" X #R"#"
(104) %$&(^U I V_4 I V$ *. +. m. m. m. 2. m. m. I _/)"2K `O I M &A>aO#"
(105) %$ '&()
(106) /bBc-"a1)"
(107) %2.17 $ '&(#
(108) W I m )"
(109) V$&A I 4"2/$% "KKd/ ' "2 X # , 2.17m + O(g lg m) + o(m) LP"# V$YL"2ef5 g$%)
(110) h O(1) ) Y e 4K"2#
(111) P _"# (ij 3k# Yk"lf/"4KJmL )
(112) W I ' Lj K^a_"# (i O(lg m) ) Y• W I L1 K^ _"# (i1# Y]"kf>/"2JZ/&(/#
(113) h"K5$LNnN ?b • O(lg2 m) xOuHQ'\nmnuL:Q©MkZ]zOfi\^cpZomn\jOt¬x[\njkQD uKmnQDe¥a\£Z_
(114) ¡ cKf¥m\nm^M¾Q=\nZ] m^jkfiupeg\£LzOc¤ KQ
(115) jk§,cCei\^uHjkQD\nzOmZfgxkcC58 zOZ£zOZ_cHu°cKmwkegQ=mnt
(116) x[Q'cC, KPfQCcKwkjOeg\^ZpQ'Mk§¤fiZ4 Kfmy#Zup
(117) wO\nMOMkmnZQQDZ^Zqjkd\negmnm^\7Z]jd\£t¬Á; >\^xk=jOY5m^fgzdQ=z Z/up£. PmnMkftDQ'fiupeityuHeUM \^Q=Kjkx¤QDw±mnZ^wOxkfgm^uHcCQD\nz 5QfcpcKcC_jdwdZZ]QDjOmnm^uptDQ=\^t
(118) Z]ffjkcKzOegzOt¬\n\ZZ. þþ Éqrst
(119).
(120) . 4/&&[ B&AK"2 af &&(/"? I </". n\aduKm^m^uKQDQZ^QDfZZ]t\nupP\^fgc[\^fitM x[f%cKndmt'zOupzkc,\^cCfxkzcKQDzOZDZ^Z®djOcKuptDz¦t
(121) z£fzO\^cCMkt¬w[\=Qb\^fzkPcCc[mupx[ex[QDZ^QDZDjOuK±tDe!t
(122) fMkzOf¥fg\nt¬eQM°\szdmnZ]Q'u3fPwO5m^fwk CQ=eZ]upQ'QD\^mzCfcK\yZ]zuH\^\nmncCfgjOcCwdt¬z\nQDjkmnMOupmnuCQD\^Z`fZcKa0zOef(Q'8CZ`QDQuKzm^\^QwkmnQ'm^wdQDcCQDZDwdm]1c5¡cCZ],OQ=m^cKPxhmQD;(x[@=x¦Y,[fgzO z uK@=P>=ftuKegeakcHf\^zOfP_uKfgzOm^QCY O(1) Ñu°zkQ
(123) c[§,x[\nQ'Q©mnzOupupecKe zOO(lg O a ¥ f y \ Z k x H u y \ u p u n m £ Q C u ^ Z ^ Z [ c
(124) t i f H u n \ D Q ¤ x ^ \ c k z [ c [ x D Q D Z : K u k x [ x f k z [ H « [ x D Q g e ' Q ^ \ f k z u e D Q p u U C c mw±xkfgzdupZ]\^QDQ©m]\n:fgzkuK Z n) ° p u z D Q k x K Q n m D Q 5 h k j f ^ m Q p u P K c ^ m ^ \ f ' ¨ = Q ¤ x n \ g f P Q g f z A ; D @ > Ñ = { : L k M © Q ' t C c ] Z \ p c k j O(lg eiuHQ'\nmnQ'QmfxkPQDZ^wkfgm^ CcHzkCQDQDx x¤; \^ kc OO((lg ;(@=>=8n) ) cKPwOuKt
(125) \m^QDwkmnQDZ^Q'z5\nup\^fcKzOZb¡cKmZ]\nup\^fit£wkeiupzOuKm KmyupwkMOZ lg n) ) xkZ^wOQDuCt
(126) cCt
(127) Q
(128) PªÑQ
(129) wdc5Z]t'fgfg\^QDfzCcK\`zOZZ^cKcpe0j[wk\^feicK upzdzO
(130) ZuK=8m\^MO Ct
(131) upmncCuK\sPwkupakMOefegZzkcHuKf zkZ .\^¡cKcZ^jkjOw0m$t'Q'wOt'm^uKfg¡zdcK Kt¬mnQ=P\£ZQDm^ePQDc,wktDa0m^upQDQ=e¢xkZ]zOQDxkz5u3fgzk\n,uH Uf C\nfgcKupcCmI\^zOftDcKZupzzk¡cCfcCz mzkf\^tDmnupQ'e5QDcKZmy\^x[fP_Q'fgmn\^QCfM zkO Cakt
(132) ZDjkcKPb\`L:\^akMkMkffizOQZuHjdY5\nZ]fcKQ'QmneifxkcKuKZ e zOPcKc[zx[\n%f dm^ft',upf\^uKfe5cKt'zOcKZ$PcKaOdfg\nzOMkupQ`\^cC Cm^mnfiuKupwke5M¾x[ QDt': cKPfg\^Mwdc5uZ]fgxk\^fgf cK0±zdQ'mnZQ'Pz5\@u 8CupQDwOZwkf¥m^\$c5MOuKuptyM¾myxHad\nc®uKZ^PQDxbupfcKz5z\nuKZ]fgMOzO(1) \nm^Mk\IQ:Z^Q'Zqwd\nm^upjOmyt
(133) uH\^\^jkcCmnmnQ@ZDpjOuzOx[t
(134) cCQ'Pm$ewOc[uKt't
(135) up\ e K c mnzdQ'u3wO5m^fQ= CZ]upQD\^zCfcK\yuHz\nfgfgcCz z¡cCm®Z^Q'\nwOfgPuKmnQuKakuKegzOQx Cmn¡cKuKmwkMOZMO:ftyuKMZsjkx[w±Q'CxkQ'uHe\ncKQDw0ZbQDupx£wkfw0zoQDuK; m=wd\^Mdc5Z^uHZ^\®fakjdegZ]QQ=Zfz O(n) akfif¥t
(136) \=Q ¢.Z]jkMkwOcHwdcCQDm]K\yQDZ`mef¥c,\tDupfiZ e k w y m K u
(137) t ^ \ xkZ^Q'f¥wdupt
(138) myjOuHe¥\^\_cCmn\^Zcup KmnfQUKO(1) QMOup Cmyc,xc,\nx°cad\^cCmyuKjktzO8xkZbjkzdcKx[z Q'm\nMkec[Q£t't
(139) upcCe¢Z]P\bc[cKx[sf%djkt'w±upxk\^uHfcK\nQDzOZbZD fgz¤\^MkfiZupwkwOm^c5uKtyM¾$up 5upfz°adQ=t'uKjOZ]Q\^MkQ \nQDm^KQDQDQDmD¯ 5Z 3.$jk\nMkmQDQuKZ^wkQx[wkQ= mnt
(140) cKcCcKmKuKP8[tyZw0MtDcCfiupZ^ZQsz_Z]\njOfMkPZ^QQ fgeiZ]tDup\^upmUmnzkjO\ncCct¬zk\njkf\ntDMkm^upQUQbeCf\^MOzCcKfg\nQD\nlc upmnuKe[mncCYtymnMkxkfi&Q't'&mnuKfgmnezkQ' 5 KZfegcKeQDzdfAK8KZ@QDQe$\n\^MkuKMkQ'wkQPwkZ]mnZ^\ncCQ'upeuCzdKtyxkQ=MZupmyjOt'xj[Z]Q=\`wkx©mnfQ'zCfcCmz\nmnZc xk;A@D#Q' km3 cC_@=zwO \n=$fgm^Q=¡QDt
(141) cKQDQDmZDZDH!ak`fzOMkcHuKfi:tym^MY ª fitDZupe±mnQ'cKeimyuHx[\nQDfgCmnQ'ZeYcKzZq\yKupQDakm]e\nQft'jkQDzOZ xkupQ'mnmsQsf\qzOY,Z^wkQ'fim^t'\^uKfegcKez0Y«pwdx[QDQ'm]e\nQ
(142) jk\nfgmncCadzQ=xcKupe\ QDu3eiupCmnQD KZDQ@x[L:fiMkZq\yfiupZ:zO³upt'Q®feiZ`a,YcKz£ec[ Ct'mnupuKe±wkPMOZDc[[x[ad%f dQ=t't'upup\^jdfZ]cKQzOZtDupcpzkcC\^zkMkf¥Q ª CmnuKwkM .$uKZ:fegejOZ]\^myuH\nQDxa,Y1,fg dO}[[\nMkfZ:fiZ:\nMkQPupfzzkQD xkf¥t
(143) jOe¥\qYQMOu3CQs\ncx[QDuKe¢f¥\nM¾ 2. 1+ε. uC Z]QºY,Pt''uKw[ z¤\n¡cp \n\^ Mkfit'Q' uKcC ºegm^eQ'Y© \^ficCt'w[up¯ \^eefjkY PmupjkPe:w0upxOZq\nfuHzcK\^myQupt
(144) cK CuKz5QKzO\n x.m^f:ak\^myj[Qu3\nKfgupcCQ'eiz¾myZ^Z^c©QuCx[uZfiZ^\^Zqt'\ymnjOfuHZ^uK\^ZzkQ= Kx¤\^MkjkfQ£eizuH\nt
(145) fgL:c5cCZqMkz¤\bQ'cCcpm^`fgQD\^wkPM mncH K@,c,fc[x[upxa0fzkcH ¦t
(146) KcKQKuCPt'wkt
(147) fZ_Q=eQ
(148) Z^\n§[Zcfg\q\^Y cwkm^jOuHcH\]Z^C\yfgQzkuK ty\nMkMOuKQ=uHzx \ xOuH\nu£l!my²³uKegAf t
(149) 8K\^Qfit'KuKQDem]f\nPQ
(150) §wkegt'QDc,PcKQ'myx[z5\nfgzdupuH\^f\^cKQ=zOZn´
(151) Z ; =IuKm^Q³upm®¡m^cCP"\nMOuH\upzOx¦jOZ]Q wdt'cCQ@fg\nz5c\^QDupmnz_Zbfg²¡zOQ=t'uKftyxkMQ'z5\n\$m^fi³upuKzkt
(152) CQ3eg´Q . +n 8,zkcH`Zfg\nZ$zkQDfg CM,adcCmnZ$upzdxfg\nZIfzOt
(153) fix[QDzC\ICQ'm^\^fit
(154) QDZpQ=uKtyMCQ'm^\^Q'§MOuKZ$6m U u ^ m ' Q ¡ ' Q n m ' Q O z ¡\ncCMkm@Q'cC\nm^m^fiY upzO KeQsPQDakZ^Mkfg\nQDZ:Zw0Q'fgm \^M \^mnnfuKzkKQ' Km^eQK\^fi t
(155) Q=!Z!C\nQ'MkzfiZfgY,\nfMkQ'eifixkZZ fgcKzKm 8wkmyfuKZ:t¬t'\negfQ=t'upQ mn7egYb· 32\^MkQD=cKmnQ
(156) 224\nftDupaOe85f¥\yfgZ\w0Z]jkQ'm C K\nQ=m^fiZqup\yzkZ@ Cfix[egQCQDCuCcCZ!m¡cCfz m PcCm^Qwkmy7uKlogt
(157) \^fit'mupe0\nmnuCx[Q
(158) ªÑc0¢Z adQ'\qQDQ'zZq\ncKmyup CQ®upzdxuCt't'QDZnZ@\nfgPQC : #
(159) . &' ' cKZ¾\nfL:MkzQMkwkQfgmnzOQ'f¥jk,\nzOffgcCuKx[e¢jOQDZ¢\^m^mne Y,fuKcKfgzOzkmK ° K8sjOcCegeQDzupK\^Z]QDfjOcKe®ztDt
(160) t
(161) cCTfzOzOt¬Z^\fZ]m^\nQDZwkcKm^Q=Z]QDu°z5\nZ^uHQ
(162) \\nfgcCcKzOZ Z];Ájkak=5cCª6\njkm^mfiupZ]zk\^mn CjOjkt¬eiuH\njk\^fmncKQIzdm^ZQDegcpfQDZZ^cKfgz¨DQ ueQ'CQ'eCxkQD\^ZnMOt
(163) upmnfg\w[\nfiZfgcCzu wdfz¤upm^L\^fgup\^akfcKeQzcp0´¬\^$Mk\^Q MOmcCZ^Q\^mnZ]fijOupa[zkª6 C\negm^Q=fiZ$upzOcp KjkTeiuH.\n fgcCQ`zOZfMOegedu3t',upfgzOee ¦) adQ'\q)"QD
(164) Q'zV$ '&A)
(165) P¬uK,zOx[x Q'zOcp\^Q=xΘ(lg a,Y \^mnTfuKm)zk K²6upeQDzOZDxZ]L:\^cCMkm^Q'Q=fx m \njOfgwz,Y\nc Z^fg¨DQ®QDAzOZ^jk\^m^mnQ=fuKZ!zk\n KMOeuHQD\Z jOZ^Q®fzktDup zuZ]Z]\^jkcCakm^Qsª8e\^fgzOMkQDQuptDmuHuK\nP_uKegcCcC jkz5cp\$cpupIeedZ]w0wOcCuCZnt
(166) Z^QCfg aklgeQmx[gf 0±Q'mnQ'z5\ lg\^mnfmuKzk KjOeup\^fcKzOZMOu3,fgzO lg m . . ij. 1 12. 1 4. 1 4. Õ¡ýþ¾ÕúÓ.
(167) }.
(168) !#"
(169) %$ '&()
(170) . uCfZ^/Z^"jk#@u
(171) P Ctyw[UM¦\nfg\ncC\nMkfgzOcCz,ZZ^Y£Qup\^admnmnQcCfiupjkPzkzO CuKxkjkxkuKeQm^upY\^cCfcKKz¤zQ'm^\n\^fiMkZfiQt
(172) uQ=:Zwk\^u3eiMOYupupzO\suKm`Qupmn\nwOQUm^upfiZ^upm^MOzk\^upfg C\^mnjkfQDcKeixuHz.\^a,f\^cKYMOz©Q PmcKf¥mn\nQUM\^mn\^ufMOuKuKa0zkz KcKejOQDzOZ_\nxkfgcpz,up YmnY£T\nm^cp´¬fiupzkuK: Cm^aOjkQ¦f¥ei\nuHmnt'\^uKfuKcKm^egY£ezdZ aZ] f¨' 'Q&[# ²¡ zk&(c \nL:MkfQDz,Z^YQ\^PmnfjkuKzkeg\^ KfwkjOeeQup\^KfcKQDm]zO\nZ$ft'upQDmnZ:Q:t
(173) wOj[uK\t 8C\nMkQDxQ\^a0cKcK CjkQ
(174) zO\nxOMkQ'upmmnY\^ccp¡cC\^m^fP z,Yak\^fgmn Cf KuKQDzkm$ Kt'jOcKeupzk\^zOfcKQDt¬zO\nZ QDxfz\^mnwOffguKQ=zkt
(175) KQDZjOetDupup\^efegcKQ=zO\x Zcp
(176) ±Lup¬a0 cKj[\ Θ(lg m) \yupfzOL:Z:Mka0QQ
(177) \qZ^ QD\^t'Q'mnfcKQ'uKzzOzkx KeeQDlgQ'ZDCkmQ't'e:uKuKcpegezO®QDx xp\^MklgQ£_mZ]\^&mn\^& jOfz5)t¬"Y\n
(178) jk\^m^%mnQ$fuK 'fizkZ_&( Kxk#jO
(179) QDeupZ^fg\^ CfupcKzkzdzOQDxx°ZD x[\^cQDzkx[cpQD\nQDZnt
(180) x mnfgSTa0Q£uK x3o]uCt
(181) Z^Q'Pzdupt
(182) eY e±\^mnmnQ'feiuKuHzk\^ KfcKjkzdeiuHZ\na0fgcCQ
(183) z\q t'Q'cKQDz[z ª \n\nfgc£z,Y_\^fz,\^mnY©fiup\nzkm^ Cfiupjkzkeup C\^jkfeicKuHzO\^Z5fcK.¾zd\nZMkfiupZzOfixZ x[zkcKQDzkfg CQ®M,a,adYbcCm^fz5Mk\^c,mnc[c,xxkjOm^t
(184) QDfezkup\^ bfcKuzO KZ^MkmyupfwOwkZM a0GQ
(185) \q MOQ'cCQ'zZ^Qs\nzkMkc[Q'x[P£QDZ upzdxfZbupmyu£t'Zwket
(186) uKcKzOmnupmnQDmZ^wdPcCuKzOw¾x cK@MOa0cCcKZ^QjkzO³uKxOt
(187) upQ=mnZ`fgQ=MOZ®u3uKCm^QQ_x[upQ'e CegcHm^QDQQDxOuH´
(188) \U egQ= uKZ]Z^\ P3upupeezO\nx¦m^fiMOupzku3, Cfgjkzkei uH\^efc,cKcKz wOZsupzOx£PPbupwOjkZ®e¥\n\^fgwOc£egQbuQD Cx[m^ CcCQDjkZw¦G²6upcKj[\nZ]cpf¨'ªÑfgQ z5\nQ'myZ]Q=t¬\^fcKzdcpZ m) zOc,xkL:QDZ:MkQbcp jkGwkw0OQ'x[m®QDzkegQDcpK\nQ'QDexfZsa,Y zkQ'GQ=x[ QDx\ncx[Q=Z^t'm^fadQbuKx3o]uCt
(189) Q'zdt
(190) YSTm^QDeup\^fcKzOZ:a0Q
(191) \q Q'QDz©Z]PuKege¢\nm^fiupzOΘ(lg ¡cCMOmfty\^MMOfZegfPz wk8[jkZ`mnwduCc5x3o]Z]uKQt' Q'z5Q\`fgZ]z5P\nm^upc[ex[e±jO\^mnt'fiQupzku£ C Kjkmyeupup\^wOfMcKzOFZD $mnQ'wkmnQDZ^Q'z5\^Q=x©fg\^M\nm^jOQwdcCfgz5\nQ'myZcKz O(lg Kjkm)eiuH\nfgakcCfgzO\nZD/Z . mnQDZ^Q'z5\^Q=xQ
(192) d§[wkeMkft'ftyf¥\nM£egYfiZsjOuCZ]fZ]zkY, Plgw[\^mcK\^fiZ]t'f¨'uKQ egeYwdcCzkfgQDz5 K\nQ'efgmy C/Z fg.ake\^QKMk fiZ$ m^ZsQ=h5cKjkwkfgw0mnQDcCZ Z^QDo(m) \n¡cCMOmuH\=\^[MOZIuKQx[x3Zqo]QD\nuCZncKt
(193) t
(194) myQ'mnupfgzda0 Ct
(195) QUQDfxbQDZ^Z!fgfzd`zfz t
(196) Q;Á =Ñ|F upF|mnQ`=fiZ$m^QDOm^wkQDwkmnQDm/lg xup\^ec e m ^ Z ' Q 5 z ^ \ = Q x 5 a Y 0 w K c f 5 z ^ \ ' Q y m Z p c ^ Z g f D ¨ Q n \ O M H u : \ p u n m s Q e , c D t p u d e ^ \ b c D Q K u y t M ^ Z P lg lgcpm\nMkQDZ^Qegc[tDupe±wdcCfgz5\nQ'myZupeiZ]cZ]jOP mnjOQ'w Cfg\^cCcz uGZ^jka[²³ªÑeMkfgzkfQ=tyMupm:MOZquC\nGZcKmyZ]upf¨' CQ QK |G,f|zO=uKegeO(lg ¬ ´ ! : L O M U Q H c C ' Q y m p u e 0 e ' t C c ] Z \ m) CQ'm^\^L:Q'§MkQcpcH CGQ'mycKupee5u_Z^jOwdtDcCt
(197) fgfz5zO\nt¬Q'\nmzkQD\ncZnZIubjk\neg\^fgz,fPYY_uH\n\^m^\^QDfiMkegupYbQzO Kt
(198) x[cKjkcCPeiP_uHQ=\nfzOfgZcCuK¡zm^zCcC\ fP{z£egfzkL\^Q=MOupupQ:aOm:eg³Q uKt
(199) cCt¬ \$Z]\ \nMOupuHmnf\@Z^QDu®Z!\^¡fm^z,cCYP \nm^\^fiMkupzkQ CZqjk\ncKeiuHmy\^upf CcKQz_¡upcKwkm:w0QDQDuCuKtym]M ª fgf\Dzk ©Z^Q'CQ'myupeI\nfgPQ=Zfz T fiZQ
(200) §[wkefit
(201) fg\^eYZ]\^cCm^Q=xcKzkeYcKzOt'QK$f¥\nM¤Z^Q'KQDmnuKeIzkc[x[QDZcp G w0cKfzC\nfgzO ©uH\ #&' '
(202) # ' t
(203) cKPwk\njkfg\nPuH\nQ`fgcCcCzbz Q:cCmnjOxkZ^Z!Q cpfiZ¾\^Z]MOf¨'Q`Q Zq\yupzOxk$uKmnzxbwOv up m^\^T fit
(204) jkPeiupuKm!tyMOxkfgY5zkzdQCuppPffgt`\^MP_uKQDtDPt
(205) QDcKZnmnZ$YbupupzOex_ec,uptDmnuHfg\n\^fgMkcCPzQ
(206) tD\nupfz t cCL:xkwdcKMOzkQDQ mnQUupP¡\^cKc[fcKmx[zOQDaOZ$ekegc[fcpz t ±8[O(1) Z:cp 2 t
(207) cKzdZ]Q=t
(208) j[\nfgCQU cKmyxkZ flgzm\nfgPQ O(2 ) 2. i. 1 3. i. i. 2. i. i. k. . k.
(209)
(210) ! "$# %&'(
(211) *)+-,(
(212) .(. n\MO¯ m^Q'jOfimnupmQUzO Kwkfz jkmnQDeiuHZ^Q'\nfgz5cC\z \n.fgcCuKPeg2m e0QC8©zO Q
(213) u3§,,\^fgQD 5zOuH\nxkfgZcCz_wOm^cCQDwd5QDfmncKupjd\^ZfcKm^zOQDZ!wkmnadQDQ'Z^\qQ'z5QD\nQ'upz\^fcK\nm^zfiup\^zkMO Cupeg\bQ=Z!upwkeegmncHcH ,QDfxkxQDQ
(214) xfz\t'fgQD; >zC=±\buKzOm^Qsu3,uKfge 5Z^uHc\^fZ^cKjkzwkw0fzcKm^\^\^Q=Mkx Q O(1) z K u w0Q'mnPf¥\\nxkcx[fgwd\^QDfcK.!m]¡z°uCcCxkm^\^P xkcZ`\^euc[Mkt'Q=x[uKZ]QDQ£e¢ KP_mnZqQ'\yc[QuHx[\nb%ffdtCtDhCQ'uHm^jO\^\^fQ'Q'cKmn§zdfgQ=Z:fgZzcp \nm^Q\^fiMkupwkQzkmn C\nQDm^egZ^Q fiQ'upz5zk\ C jku©eiuHt
(215) \^cCfPcKz wk. egQ'\^QZ]Q'\_cKsaOuKZ^fitcKw0Q'myuH\nfgcCzOZ\nMOuH\ • Insert(4) 4 .Ix[Q'eQ
(216) \nQDZ`ux[QD KmnQ'Q_KQ'm^\^Q'§¢ • Delete(v) .OfwOZ:\^MOQQDx[ CQUcK 4 cKwkw0cCZ^f¥\nQ®\ncKQ'm^\^Q'§ v • F lip(4, v) þþ Éqrst
(217).
(218)
(219) . 4/&&[ B&AK"2 af &&(/"? I </". \nxkfgfcCZnz0t
(220) L:jO«HMkZnxkZ:Q=Q'Z]efgQ
(221) Q°\`\^fQ
(222) uKcK§[m^zwkQecpf\nt':Mkf¥\nuQ¤Q'eKYKZ]Q'\n m^up\^zdQ'xk§©upcKmyx z\^cCMOwdQQDmnadupcC\^fjkcKzOzOxkZuKm^cCY¦z fi\nZm^x[fiupQ=zOup Keg\jkeifuHz\nfg\^cCMkzOQZ£ZnupPf¥\nMkQcKPjk\¦upzkadzOcCQ'jkmzOZ^xkcuKm^\nYCMOWuH\L: MkQQ x[fc£zOZ]zkQDcpm]\ª . . *( + +-, + . [3 ¡ G mnQ©fiZaOuK²úZ^\^QDfx z,YcC\nz m^fiupu zk\q C jkc°eiuH\^efQ'cKKzdQDZneZ´ kuKx zOQDt
(223) x¶,cC¶ \^PMkwdQDzc5Z]mnfg\^Q'f CcKm^z_cCº jkcp wk0f\^zkMk CQZfzkcpIfg\^upfiZupa0e[PcK\njkm^QDfi\zCup\nzOfgcC KzkjkQDeiuHx \nfgfgcCz z \^f.z,Z^QDOYt
(224) my\^wkZqf\IfcKQDzft'zQDZwkfg²6Q=cKZ]t
(225) jkPQ=mZIupeZqcpe±\n±m^\^Z]jOmnffit
(226) ¨'up\^Q zkjkΘ(lg m) C k j e p u ^ \ fcKzOZy´¬ Θ(lg m) L Z8CQ'Ywkmnc[t
(227) QDxkjkm^Q=Z®\^MOup\MOQ'ewjOZfz\^MOup\x[QDt'cKPwdc5Z]fg\^fcKzupmnQ_xkQDZnt
(228) mnfga0QDxa,Y\^MkQ_¡cCegecHfgzO c \neQ'MkPQPt
(229) cCuKzOZDZ]I\^L:mnjOMkt¬Q\nfgdcCmnz0Z]«3\ jkcCw±zkxkQ®up\^t'QUcKzOcpt'Q'\^mnfzOz5ZIY\n\^MkmnQfuKx[zkQD Kt'jkcKeiPuH\nwdfgcCc5zOZ]ZDfg\^ fcKzcp¾akfzOupmnY_\^mnQ'Q=Z<;A@D>=¾uKzOxfg\ fege±a0Q®jdZ]Q=xfz 3¶ 4
(230) 4$%
(231) °"9` PE3"2G Y/ f4//"`X/^U 9" M<kP)"2K B
(232) X/&(Y n "2 _O I 5L #I Y>9e4$"KKB") #-
(233) _mO 3 341N PX # "2) f C. .
(234). . . . ^ I I N I (iaf/"Y X)"2/) MQS! b Bi Z^Pup ee±x[\^mnf(00fuKQDzkm^ KQDzCjO\$eupmn\^QDfZ^cKjkzOe¥Z5\N. ;Á~=[t'cKzOt'Q'mnzkfzk `cKmyx[QDm^Q=xU\^mnQ'QDZfege5adQ jOZ^Q
(235) ¡jke5¡cCmt'cKzOZ]\^mnjOt¬\nfgzO ®upzdxjkw±xkuH\nfgzk G /N V KP
(236) /"a "2/"2`#"KK B n alk> ) f>a 344$%"RP"2Y/" ¶
(237)
(238) ° b al K < 'e ) Y`a &[7Oa X #"KKe Kf>/" %$p I l" g$ &!#"KK ^ M ≥2 I 9 /" /B3&[\9 I / "_"2O(n) #_ l/) MQl I 9&&( W %$ P)"2 3
(239) Yo I / "a (i ef/B" X #"KK B /) MQS! kB k ≤ 3M − 4 bc '" I "Y"K^U B a< K o I a"2 W I f i i i b kB k ≥ M M. O(n) 3M ≥ kBi k ≥ M. B. n\¡cCMk mQKPmn Q' upwk zOmnKuKQDb KZ^Q'f» zkz5· b\nup P\^#fcKQD
(240) P_z³cCjkm^zOY»x[[QDjODm`Z]©Q=jkxw±'DMOxk Q'uH mn\nQUQDpZ` fi Z`t'cKu¶zOx[Lt'Y,GQ'mnzOzOuK¯ ZP_zk\^fiMkQ®tQt'xkm^cCuHjOm^\y 5t'ufupuKZqzked\nfm^uC¨DjOupZ]w0t
(241) \^\^fQDcKjkt
(242) zmn\QcKfzt'uKPcKegjkeQDQDm xP_ZqcC\n2mnJLm^upY\^QDZq \n KcKYb
(243) myX/up¡&(cK_ Km QCP""2uKfgHz58K \yQ'upYfzk\^fgc,zOcK e Zmn^jkQDt'wkcKw0mycKxzm^\nQ'Zs§5fg\^\nZqMQ'\yuHzOf\^xkzOfifgtx[akQ'uKeQ§ zOxupmnmnx[²#u3Y,$YzO"2 upt
(244) PcCz5´
(245) fid\ntupx[cKffizOw0ZnZt'Q'upmynmyuHx[\nQ=ffghCzkcCjdzO _up/Z \^eg. ªÑMkZ^uKQfg¨DtDm^Qst
(246) Q=QDmnt
(247) ZnQDcKZ^t'fgmyzkcKx myxkuZ®f¥\nmn²³MQDt'fgf¥cK\nzOMmyxkxQ
(248) f§zO Cx[fgCQ'Q'§z£²O a0I fgQ
(249) \n"\qZ` fOzOQ'Q'´¬x[zQ'§¢L:00MkuKt'QzOm^Q=xzkuHcC\^nP_fzk−f zO1uKu´ezkupZ]QDfzO¨' x Q cKuK: z£MkuKm^QDmyz°u3Yt
(250) cCzOf¥Z]\nfiM x[QDnm^nfzkmnQD £t
(251) cCumnxOt
(252) W ZcKeQ=eQDuKt¬ty\nMfgcCcpz$cKZ]f ¨'QQ'§,r\^Q'fzdZx[cKfg aOnregQuKaOm^f¥my\yu3Z'Y[ Z'¢ Qt'uKnzuCxkx\^MkQ¡cCegecHfgzO £xkY5zdupPft \ncCt'MkcKwdQ¦eQDegQ=mnPupt¬\n\^Q'fgfcCcKPz_zOcCZ5Mdm^. Y uKcreate(r tZ
(253) cCm^mnm^QDQ=Z^t
(254) wdcCcC)mnzOxkmnx[ZDQ
(255) p\nfzkjkQ= uKm^zdty\^MZ!c ucp\n¾zkMkZ^QDQfg.¨DQ uKQ'm^§5my\nu35Q'Y zOQsxkAfgZnaku3feYz Qs\nuK\nMOm^MkmyuHQ©u3\@Yt
(256) \^MkcCMOegQ®u3eQD,zkt
(257) fgcKzO\^Pf cKz¾fm^zOQ= upt
(258) e0cKÑmyZ]x_f¨'\nQ`Z]MkfQcK¨'Q±i\^r\^MkM Q® destroy(A) uKQ'm^z5my\^u3fm^Y Q®At
(259) cKeefQDz t¬¡\nmn\^fgQ'cCMkQ=z QZ fiZ PR,cCnPQr cC2m 8[nZ:fz5\^mnc,xkjOt
(260) fzk Z^wOuKt'Q
(261) ªÑQ
(262) rt
(263) fQ'z5\sZ^cKej[\^fcKzdZ:¡cKm\nMkQfPwkeQ'PQ'z5\nup\^fcKzcK$x[Y,zOuKPftuKm]ª mymnQDu3t'Y[Q'Zz5MO\u3fgCPQwkadmncHQDKQ'QDz.PwkQ'm^z5cC\ wdwOc5m^Z]Q=Q=Z]x QDzCO² \n;Á>}QD=¡x´¬fgz L:;AMk@D>Q£=x[uKQDzOZnxt
(264) mnQ
(265) fg§[wkwk\^fmncKQDz ZnZ]cpQ=x®cKfzjkmb\^MkP_QQD¡PcCegcKecHmnYfgZ]zO\^ cCmn¡cCuK Km^PZQ.fiZaduKZ^QDx cCz¤Z]cCPQ ¶ Z
(266)
(267) °/ 4YG X/ /_ V I \ _PL
(268) I /"h "21&&( / (i5#
(269) b H OI /ha KI JL/4"2/YKJL
(270) X M&Ah# 1""2 > K / WI /U>/"2 "2/a3 4#&<
(271) (i7 M I s i. . . i. i. i. i. i. i. i i. . w. W. Õ¡ýþ¾ÕúÓ.
(272) ~.
(273) !#"
(274) %$ '&()
(275) I. X/ #NO])PL KRB "#^ e '"]Y5L&'OU < ')
(276) P^ Cu t't'&&(QDZn Z)
(277) _PY/""2# (#i
(278) 1 VP/# Y )"Ks+O(aw+ KL V$ W " # saw) V$ O(1) # Y t
(279) mnQDuH\nQ^± KmncH Z]MkmnfzP87K/"2)
(280) 5b O(1) fuKzzOx¦uK:zZu Qup mnZ^I mnMOu3"uK YCeg e5¦zk: Q'fZ®Q=MkxQ'wdzQDuKm]zm^¡Q=cCQ
(281) t
(282) m^§,cCP\^mnmyQ=x u`x¢icC®fwdZL:QDx[mnMkupQ'fiZ®\^eQ
(283) fcKcK\nQDzw0xQ'cCmyfzuHz\^Q
(284) fup§,cKz\nzQ'upzOmnmnQDx[mnh5fu3akjkYefQmncKQDuK¾Zsm^Z]myfuK¨'u3eQY[Z^cZ/n.0\n+\^MkMOQ1QCjkLmnw±QDxk&(t'/upcK)\^my
(285) Q_x cpn!cpfi0mnZQ
(286) upt'¡zQ'cKmnuKwkQ'm^fzdQDakxt
(287) fg\^QDmyupZup\\^mncfgYs\nZ@mnmnQDQDwkt't'ecKcKuCmymyt
(288) xx Q n t'cCZ]\L:MkQfgee¾uKa0PQcKQDm^uK\^fZ^¨'YQDx\^ct
(289) QDc5HZqup\ejOcpuH\n\^QKMO Qt
(290) cKw,YO«HZ^Mkmnfgz 8cCwdQDmnup\^fcKzOZUfiZ O(1) uKzOxfgzcKjOmt'uKZ^Q_\^MkQjOw0xkup\^Q √. . . . t
(291) QcCjkm$m^QD\nm^wkfimnupQDzOZ^ KQ'ez5QD\nZDup¢\^fcKQzt
(292) fiZ$fg\^aOQuKupZ^zQDxbQ'cKz,zbjkP\^MOQDQ mnupcC\^w[fcK\^fz©PmnupQDekZ^t'jkc,eg\®xkfg¡zkcC m K\nc Mk fiuKZ` egt
(293) e
(294) ei\^uK¶MOZn3QZ kcp\^ $mn fº cKuK©a[zkoq KºQ=jkt¬ ei\nuH'ZD\n [fg³cCQ
(295) zO§[ Z®wkmnMO QDu3Zn'6,Z^[QDfg zkx º fz jk w\^Mk\^QcR,¡fcCzOΘ(lg egecHm)fzk ¡cCm^P²ú¡cCm`u_Z28KQ'\ntyMcp\^MkQwkmnc,cp$Z]QDQY;(@=¡´. f/¶ "
(296) #
(297)
(298) °X/ ' ]G H !I 7 3 '&[ ')_ &AX /" /$% K)^!"
(299) M%X$ ' '&(#
(300) `P7X O7Z&[b/$% I f5 V$ p )"
(301) V$&(^ W I "
(302) ". 22.175p. &'% &
(303) & 'b #
(304) % &
(305)
(306) # y !# aOQDC KegQ=QD±Z m^·Y_A\^'mnfi³upQD zkuC CtyMjk eupZ]'6\^\^[cCfcK m^z¾fºzk[ uK m^\^QUMkQwdz£cCefifgZqz5cK\\njkQ'mscKmy Z@wkupm^\nQDece$,upfg\^cCmnzjOfiupQ
(307) Zzk§[ CwkjkcKefeKm t'up8\f¥\^\f;cKmnzOQ'=80wkZULmncKQDuK:Z^akQ'Z^ez5fgQ ¨D\nQupA\^ifcKt
(308) zcC@ezC\ygQDupP_fzkQDQDz5x \nZcKflgz\nmLMkupQwdaOt
(309) cCegQcKfgz5mnAmn\^QDQDZ^mnwdZcCcC\^zkzOcQ_x[Lf¡zkcKuH mª tf'zcKPb\^MkakQ_fgzd\^uHf\^z,cCY£m^fi\^upmne¾fuKZ]zk\^mn KjOjOt
(310) e\^upjk\^fmncKQKz¾ ¾ uCZsz,jk\nMkPQa0uKQ'x3mso]cpuCIt
(311) QDfgzkzO¡t
(312) cKY£mnPmnQ'upeiuH\^f\^cKfcKzOzdZ`Z® a0uCQ
(313) Z`\q Zq\nQ'cKQDmnz¦QDxA\nm^\^ficupzkuK CegeegcHQ=Z' bQ
(314) TcKt
(315) mnfQ'Q'cHz5C\sQ'zOm=u30,uKfz Cup\^fcKz tmn'QDc[t'x[Q'QUz5\@¡cKt
(316) m:cCQDPuCwOtyMuKt
(317) \n\!m^fiQ'upzOzkt' Cc,jkxkeifguHzk\^ fcK² zcpZ^f¨'akQ f¥\yiZ!fiZ^Zj[t
(318) cKPt
(319) QKwk,jkZ^Q'\^QDQkx;A@up@zd=ú´x.uC\nMkZ^Z^fc[Zt
(320) x[fiuHc,\^QDQ=ZIxw0\nQ'cbmnP\nMkf¥\@Q \^AcfzOx[Q'§bQ
(321) ,¡cCt'egefgcHQDzC\nfO(i) zkY_ _fzu g e \y;A@up=¾ak¡ecCQDZmAPcK±mnQQ'zOxkZ^Q
(322) jk\nmnuKfgzkfgei Zupua0egcKfzkjkQ=\up4i\^m®Mk\^−QfP_t'2cKQ_zOt
(323) Z]\^c5mnZqjO\`t¬¡\ncCfgcCmsz\nMkwkQbMduKt'cKZ^QzOZ]t'\^cCmnZ]jO\nt
(324) Zy\^´¬f cKzcpI\nMkQQDz5\^fm^Qbm^QDwkm^Q=Z]zOQ
(325) \nup\^fcKz ²³Z^Q'Q \n\nc¦m^fiupcKzOakz K\njkcCupmneifuHzxk\nQ'fgum¢cCzO\nzkc®Z'QDx[ Q=zupQ'eK§[wOwkupfgegm^\^fi\^t
(326) Mfifgt
(327) \egjkc[mneit'upQ'uKm=wkeK5mnjk\^QDcw±Z^Q'xkfz5P_up\y\^uHwOQD\^ZegfQDcKcpP_z,QD\n\^z5MkMd\`Q!uHeg\n\_c[m^fit'uKupuKegzkee±cH CK`jkQ'eiZUm^uH\^\^\^Q'fc©§cKzwdfgzdDQDZ] m]QD¡Q!cCm]\nm^Q'fgPzOcCzOm^fiegZ:tyc[MfgtDz up\^Mke!QPwkc[mnx[Q'\^,%f dffgP_cCt'upjOQC\^ZkfcKxkzOQDQZnZt
(328) uCfgmnxkzfgw[x\n\n\^fgfgz,cCMkzY Q O(1) ¡cCegecHfzk dQ'eixkZ:\^c_\nMkQQ
(329) §[wkeft'f¥\`mnQ'wOm^Q=Z]QDzC\yuH\nfgcCz A . c\yCupa[ak\neuKV QfgzO²³QDcKAxzkQba,Y¡cKuKmUxkQD.add xkuCfgtyzkM \^umnvertex fiCupQ'zkm^ C\^Q'egQ§_ffi\nz¦Zc\nu \nMkMkQb\yQUup\^t'akmnjkefQ©uKmnm^zkQDt' KzCcKjk\z5ei\nuH\^uKf\nz,fgfgzkcCYfzdzk\^´` ¤mnft'uKcKuKzkz5ege® K\njkuKwdeifgc5uHzd\nZ^ZsfgZ^cCfu akzegQ©fgz \^AmnfuKzkI KL:jOfgzOeMkupxkQ \^Q
(330) f§£kcK\^zO\^MZMOupm^cKQ=\Ut
(331) w0cKZ]myQ'f¨'xmnQPfzf¥i\yZ®+\^MO\^f2c Z uCt't'QDZnZ@\nc\^MkQPc[x[%f OQDx\^mnfiupzk Cjkeup\^fcKzfgz A OcKa[\yupfzkQDxuKxkxkfgΘ(lg zk um)CQ'm^\^Q
(332) §\nc\^MkQ k\^M³uKt
(333) QC V A .del vertex fZ`uZ^fgPfeuKm \nupaOegQ¡cCm`upee¢wdc5Z^Z^fgaOegQx[QDegQ'\^fcKzOZcKx[QD KmnQ'Q_KQDm]\nft'QDZD V A .f lip edge fiZuZ]fPfgeiupm:\yupakeQU¡cKmsuKege¢w0cCZnZ^fgakeQUOfwOZ' "KK¶ d/
(334) ' "2
(335) °k
(336) Gh9H I 41#
(337) 4&"2&g/ $%lO H X/ #X/&(b A^7Oe&&! I e "Y)
(338) >/5 /
(339) W I H X/&( A . . 1 4. i. i. explicit i,j. explicit i,j. i. explicit i,j. explicit i,j. ij. i+2,j 0. explicit i,j explicit i,j. i. o(m). þþ Éqrst
(340).
(341) . 4/&&[ B&AK"2 af &&(/"? I </". PQDU"z52fi\^up5mneCfgQ=fgzb Z:icpDZ \^w0MkegcCcKQ@zket'Y, _cCegcCZ]uC\ CZ!uKcp\nm^5Mkfg\^\^QMOMkQ@PfgzkQ
(342) fi¡§[t®cKMOmnZ^PuKf¨'jOupQKZ]\^ \^ffcKKzQ!upt'up\]\y\nuKuKtyegcCMk Q=xmnQ'\^PcuKufgzO\^Zfz5Z]YjkaO\negm^ffizkupQDzOuK KmjkZ^eifguHzO\nt'fgcCQIzf¥\$cpt
(343) $cCZ]zOf¨'Z]fiQ Z]\niZ¢m^cKQD PO(2uKfgzdZw0cKeY,zkcp)ª ¯ mnKQ¦\^MOup\\nMkQ dQ'eix add vertex upeecH`Z\nc¤w0Q'm^¡cKmnP \nMkQegc[t'uKe®fzOZ^Q'm^\^fcKz cKbu°CQ'm^\^Q'§ fCz Q'm^\n\^fgQ'P§©aOQ Z^fgQ'zdO(1) IcCzOjOZUzkeg\^Q=MkZ^fiZZ\^tDMkupQzkzk\^fcKz,\YMO\nupm^wkfiupw0zOQ' Kzjkei\nuHc5\ncfgcCcKzú\^a0QDQDzt'cKuKPzOx QDZ\^c,c¦akuKfP ©cKuKm^zO\^fx ¨'QDPxjdt
(344) Zqc5\Zq\a0QfiZZ^cKwkakef¥\n\=uppfzk,kQ=cCx¢mwkL:jOMkm^QQ ] Z D Q ] m n \ g f dQ'eixkZ del vertex uKzOx f lip edge uKeZ^c°upeegcH O(1) \^fO(1) \nec[m^fit'upuKzOe¢ KcKjkw0eiQ'uHmy\nuHfgcC\^zfcKzdakZj[\sPupu3\`Yua0\nQMkmnQ'QDcCh5m^jkQ'\^fm^fit'Q=uKxe0upeQ'mnCakQ'fg\^e±my\nupMkmnQ'fgeYYx[cpcú\nQ'zkz¾cp\MkQDPegw£Q¦P¡cKjdmtyMegc[a0t'uKQDtDesupcCjOwdZ^QDQKmnkupuC\^ZfcK zOQZZ]fMdzOupZ^fex[e¾QZ]QDuQK[\^zkfz,cCzY _º »k · ³ tzO'cKQ'z5QDxk\nuKQDfgxzOfg\^zkc upuKzOegZ^ed ak Q'fg\]mªÑmnK¶ uKQDpPz t
(345) \^8º cCupHmnzOZI x_cKZ^L:Q'Z]fMke¨'QDQ£Qt¬\!pt'h5upupjk\nzOupQDexm^cKfQD © ZQ'cpffz_® KM5uKt'\ cKege zOqadZ]¡\ncCcKuKjkm zCzOp\xk\^<uKfPm^YQKlg akfg¯ m\aOKZ^\nQ=Q'cKt¬mn K\^KQ'cCQ@\^mbMk\^MOt'QDcKm!upzO\Z^\nfgfMk\^Z]M\nQDZbZ^\nQ Mkcp\nUQsuKakLfz[eguKQ=¡akcKZImnegt
(346) Q=PcCZ zCuHB\n\yfgupcCfzz O(m ) Z]Z^\^jkcCwkmnw0uKcK Km^Q:\UQ'mnuCQDz5xkh5\nm^jkx[fffQDm^zkZ:Q= ,Z!cK«Hum^QDw0zkPcKQDecH KY,5eegfgfcC Czk Cfg [akup«HemnQ`tyfg\^MOupMkuKPPzkcC KfijktUfzkz5Z^ _\@f¨'cKcpQ ¾zk.$Q_Z^\nwOMkakuKQ'fgt'Y\UQKft'z¦uKzz\nMkwOa0QbupQm^Ct
(347) \^QDficCt
(348) t
(349) zO\^jOcKZ]e\^mUuKmnmIjOfz\^t¬Mk\nt
(350) QDQ=cCxZ]zOQ®fgZ]z¦L\nupuKZ^z5akjk\®egakQ=\^eZ@fgfzOP_tDQDupQupzm:uKadZ®\nQ®fgP:Q'uKzkQZUMduKupx[zOzOcKxt'zkQD\^Qx_Mk¡QD\^cKfgc mm LupaOegQ ²ú\nMkfiZ`t'uKza0QjOZ^QDx\^cfP_wOegQDP_QDz5\`Q
(351) t
(352) fQ'z5\`fzOZ]QDm]\nfgcCzcKa0cKjkzdxkupmnYKQDm]\nft'QDZy´¬ . 'bX#$
(353) % &
(354) ' ²³zm^Q=Z]; w> =:$Z^PQupfez5ei´\^mn\nc[m^x[fiupjOzOt
(355) KQjku¦eiuH\nPfgcCupzOw Z' G ²¡mnQDZ^w¾ F ´\ncx[Q=Z^t'm^fadQ\^MkQ£uKxHo]uKt
(356) QDzOt
(357) YmnQ'eiuH\nfgcCzOZa0Q
(358) \q Q'QDz°\^fz,Y PuKw z_IGL:\^MOMk±fQsZ!PZ^MkQDfiuKt
(359) ty\^w M¦fcKt
(360) z_cC²6m^uKmnQ:QDZ@Z^wkwdmnQDcCcHegzO,eOxkfuCxkZ:Z Q@\n\ncMk´$\nQ`PMkx[cCu3QDZ^YZnQt
(361) MOmnzku3fc[w[Cx[\^Q:fQ=cKPZ`z_cpjkcpeg\^dGf\^wkMkea0Q®QQ'PupemycKQ't'zOPZ$ KcCfcCzkm!m^ Yec5\^cCcCcm^wO 5\^ZIupMkzkakQ_fjk¨DZ^\upuK\^upPfecKeOQzfg\nZ]mnZ$PQ'³eiuCupuHt
(362) e\ne¾Q=fgCZ!\nQ@m^MOfi\nupu3cUzOC K\^Q:MkjkxkQ`eiQ'uHZ^ K\njkfgmncCa[Q'z Q ª ST @uKtyMuKmnt`cpG G adQ'\qQDQ'z TFT upzOx T T t'cKmnm^Q=Z]w0cKzdxkZ$\^cbuZ]fix[QUZ]MOuKm^Q=x_a5Y T T uKzOx T T ≥3 2.17 41 lg m. pq. 1 4. 1 4. i. i. . j. j0. $
(363) ,( * '(* #* $ )
(364) -
(365) .(. j. j0. subQ'zkmnc[Qsx[ Q Q® Cfg,C\nQ®MOu_uH\`x[Z]Q
(366) \^\ycCupm^fQsegQ=\^xMkx[QQ=fZ^z[t'¡m^cKfmnw[P\nfguHcC\^zfcKcpz¾\nm^MkQDeQup\^}fKt'QscKe\^egcbQ=t¬\^\nMkfgcCQzOt
(367) Z@cCcKPakQ
(368) f§,zO\nupQ'\^zOcKx[mnffiakupe±eQUZq\nuKm^m^jOmyt
(369) u3\^Y[jkZ'mn5QKuK5Zn\nZ]Mkc[Qt'fadup\^cCQDjkxzOxkuKfg\^m^MY e\niupm^a0fiupQ'zOee Kfgjkzkei GuH\nupfgzOcCz¾x\nL:MkQMOQDuCZ^x3Qo]zkuKt'cpQ'\yzOuH\^t'fYcKzdm^ZQDeQ'up§,\^\^fcKQ'zOzdZxcKuKszOxupee@upmn\nQMkQt'cK\nMkfgz,QDm^YQDz5\^mn\:fiupzkfg\^ CMjke\nupMk\^QfcKzkzOcpZ\yuH\nf¥fg\ncCMkzOfgz¤Z cp\^UMkQ; =ÑZ^ uKPQZ]PuKege 6 zQ'§,\^Q'zdx[fgaOegQ upmnmnu3Y S fiZ¾jOZ^QDx\ncsZ]\^cKmnQ!uKxHo]uKt
(370) QDzOt
(371) YUmnQ'eiuH\^fcKzdZ¢adQ'\qQDQ'zZ^Pupeep\nm^fiupzk CjkeiuH\^fcKzdZ fg¨DQ Θ(lg m)kf¥\ afk²¡Z`mnfgQ'\nPwkZDkmnjOQDegtyfiZ^M£Z]Q'\^z5fZ]zk\nPQD _xuK\^egMkea5Q'QYmzkupcCQDmyzfgt' CZu3M5Cfga0zQ'cKmyPmyupZ KupQ_cpw ²³Z^F\^Q'Mk Q´ Q.$ ¾Z^\njkQDMkPa[fZsªÑPPupumnuKmnw u3
(372) YGa0MOQ'euCcHZ sO(lg eg´¬\^ MOcKjk Cm)M SmnQDt
(373) PcCu3mnxOYZ'MO,u3QDCuCQUtyMZ^fcK¨'Q Z^O(lg m) 6 zQ
(374) §,\nQ'zOx[fakeQ`upmnmnu3Y T fiZIjOZ^QDx\^cZ]\^cKmnQ fgz[¡cCm^Pup\^fcKzOZ$mnQ'eiuH\nfgCQ@\ncQDuKtyMb\^fz,Y\^mnfiupzk Cjkeup\^fcKz . \^t
(375) MkcCQzOt'm^upQ=\^t
(376) Q'cKzdmyuHx \^fTcKz[j]cpkmn\^Q'MkeiQuH\^¡fcCKegQecH\ncfzk\^Mk QO\nQ'fgeiz,xkYZ5. \^mnfuKzk KjOeup\^fcKz T T t'cKzOZ^fiZq\yZ:cp\^MkQ O(lg lg m) akfg\ i. i. 2. i. i. 3. i. i. i,j. Õ¡ýþ¾ÕúÓ.
(377) .
(378) !#"
(379) %$ '&()
(380) . fZ:\nMkQz,jkPa0Q'mcK\nm^fiupzk CegQ=Z:fgz T T fZ:\nMkQZ^fg¨DQUcK\nMkQadcCjkzOxkuKm^Ycp T T G fZ:\nMkQx[QD KmnQ'QUcp\^MkQzkc[x[Q G fz\^MkQPuKw G G G \nMk Qt
(381) cCfiZ`Pu_akfm^zOQ'up¡Q'\^cKmnQ'mnzOfiupt'e$QUZq\^\ncm^jO\^t
(382) MO\^Qjkmnm^QQ=t
(383) cpcC mnx¢T,Tfz¦upfz£ZupfPmnmnwku3Yegfit
(384) cKfg\^eY\nMkZ]Q\^cCt
(385) cCm^Q=egexQDt
(386) uC\^ZfcKuz Pm^Q'A¡Q'mnQ'adzOQDt'egQbcHfz kLMOuKQ'akmnegQQ A G \nMkQa0cKfZ`jkzOuxOmnupQ
(387) mn¡YQDm^eQDuKzOadt
(388) QDQ®ege\^fczk \nMkcpQ TmnQDTt
(389) cCmnx¾fi[ZfgfzP_upwOz£egfit
(390) upfgmn\^myeYu3YZ]\^cpcCm^\nQ=MkxQuCt'ZcKubeegQ=mnt¬Q
(391) \^¡fQDcKm^z QDzOPt
(392) QUBfz£adLQDegupcHaOegQ kBMO Q'mnQ G fzOt'fx[fiQDZz5u_\\^m^cQ'¡Q'zkmnc[Q'x[zOQ t'QKG,fz uKzupmnmyu3Y_cK\nMkQt
(393) cKeeQDt¬\nfgcCz P E a0Q'ecH5\^c_\^MOQUefiZq\cpMOupeg³upmyt'Z @uKtyMcpI\nzkMkc[QDx[Z^QDQ ZOuKQDzOexOx ZUtDupz¦a0Q_m^QDuKwkmnm^tDQ=Z'Z] QDz5\^QDx£cCz O(lg lg m) akfg\nZD¢Z]fzOt'QPupw G MOuKZUuH\UP_c5Zq\ O(lg m) O(lg m) t'cKeegQ=t¬\^fcKz K c ¾ ´At
(394) cC`zO\^Z]MkfiZ]Q\nZ:t
(395) cpcCPakPfzO√Aup\^cKmnfiupQ
(396) e§,Q'Z]\^§,\^QD\^mnzOQ'jOZ^zdt
(397) fgx[ak\^jkfgeaOQ®mnegQDuKQZ®m^uKmycpu3m^ImyY[\nu3Z$MkY[fQ/Z Z.\njO\^fgZ^z,MkQDY£Q x\n\nm^\ncfiMupZ]zk\^up CcKmnjkmnmnQ`u3eiuHYf\^PffcKzwkzdeg\nZ`fiMkt
(398) cpfgf\^Zs eY¦t
(399) GcK²³euCeQDZ!t¬L:mn\nQ
(400) MkfgcC¡QbQDzm^t'QDMdcKzOuKet
(401) egZ Q=Q=t¬ZIm^\nQ=\^fgt
(402) cCcbcCz mnLxkPuKZ akAcKegQ Z]f¨'Q k√lg mO( @uKlgtyMm)m^Q=t
(403) cCmnxfZPQ=upz5\:\^ct
(404) cCz5\nupfkzuwdupfm cK\nMkQ¡cKmnZP . \nL:m^MOfiupQszOf KzOjkx[eiQ
(405) uH§\nfgcCcKz¢uMOuC\^fZz5Y_Z]f¨'\nQ m^firupzk CjkeiuH\^fcKzfzLupakeQ A $L:MOfZfgzdx[Q
(406) §MOuCZ@Z^fg¨DQ 2.17r akfg\nZf¥¾\nMkQ akf¥\yZ:fgzdx[Q
(407) §jOZ]Q=x£uKZ aOuKt 8,:upmyxw0cKfz5\^Q'mfz\nuKakegQ T lg lg n wOQ'®zkupupcCf\nmjkub KfZwOMupuKmnfegmyQD:Z@t'cKu3myY[xkfZbegZ$e±ua0¡00cCQm@Q=uKt¬fg\^\@xkQ=x[\^x cQ=x¢\nkc,\Dm^I\nQDMkL:PQMkcHQ®KupQDmnxmncCu3uKYmnxkzOZ!xm^fgP\^QDM.wkc[m^x[Z^Q=P%f Z]OQDupQDz5ex\^egQ=fzkfgZqz \ P\^fzOMkAx[Q=Q
(408) Z]Qs§ akwOj[kup\fupmnZDPQUKcKQDZ^zOzOMO t
(409) uKc[ege0uKx[Q'm^fzkzOmyu3 Z^Y[jkfZmnPQswk\nf¥eMO\nft'M.uHf¥\:\neiQ'QDupeuCmnYty KMuQ \^\^fMkz,fiYZwO\nm^uCfixkupx[zOf Kzkjk eiuHcK\nw0fgcCQ'z¾myuHO\nupfgcCmnQzwOx[uCc,xkQ=x[Z:QD x£uCcCZqj[\`\`uH\\ncP\^cCMkZ]Qb\ zk√Q
(410) §,\sPbjkakegf¥\^\yfZwkw0egQbQ'm:cp \^f√z,Ylg\nmm^fiup. zkeg CQ'\sjkeijOuHZs\^fcKcKzaOZ^ Q'mnKQ\nMOuH\ lg m t'cKeegQ=t¬\^fcKz p c ¾
(411) Q , § n \ ' Q O z ^ Z g f O a g e s Q K u ^ m y m 3 u [ Y $ Z f Z O j ^ Z D Q x ´Bx[(f 00QD\nm^MkQDQzOt
(412) a0Q cKjk\^MdzduHPxk\IupBf¥mn\!Yt'akcKfgz5\s\nuKKfgQ=zOt¬Z\ncKfzOmyZ'x[@fit
(413) L:Q=ZMOQcKdt
(414) a0cKcKeejkQDt¬zd\nxkfgcCupzmnY\nPcakBfgZ]\$\^CcKfiQDmnZQ`t
(415) \^PfcKPc[myZwkx[fgQ'egzfiet
(416) QDfgLx\^euKY¦upakúe²³\^Q uCQ'Z!m mnPpQ
(417) f¡AzOQDm^ZqQD\nQDzOuCt
(418) fg\^xQ=M£ZIcp\^\n0cbMkfgzdQLx[cKuKfzkt'akQDeegY QZ cpm^Q'¢¡\nQ'fgmnz,Q'YbzOt'\^QDmnZ:fuKmnzkQD Kh5jkjkeifuHm^\nQ fgcCzOZD- ,kcCmuak\nfg\nfgz,ZDY_ \^mnfiupzk Cjkeup\^fcKzfg\^Ma0cKjkzdxkupmnYbZ^fg¨DQ Bp uKzOx q Z]fix[QDZDC\^MkQ=Z]Q O(q lg p) t'cKeegQ=t¬\nfgcCz K c fgzdt
(419) fix[Q'z5\\^c\nMkPQEzkc[x[¾Q=Q
(420) Z §,G\^QDzOZ^ fgakeQ®uKm^myu3Y[Z$fZjOZ^QDx\ncbZ]\^cCm^Q\nMkQ²³t't' Z]cCm]\nQDxO´IegfiZq\yZ@cK¾MOupegupmyt'Z ,kcCmQDuKtyMMOuKe¥úªupmytp5\^MOQ¡cKeegcHfzk O(lg lg m) aOf¥\ OQDexOZupmnQZ]\^cCm^Q=?x . G .source zOc,xkQcp\nMkQfiupZmyu£tD´ mn Q
(421) ¡QDm^QDzOt
(422) Qfz°LuKakeQ T \^c£\nMkQmnQDt'cKmyxuCZ^Z^c[t
(423) fiuH\^Q=x©fg\^M G ²³Z^cKjOmnt'Q G w0cKfz5.target \^Q=xa,Yf\nZMkubQmnMOQ
(424) uK¡Q'e¥³mnuKQ'mnzdtt
(425) QU² Gfgz£LuKfZ:ake\nQ MkTQ\nuK\nc_m^ C\^Q
(426) Mk\:QcpmnQD\^t'MkcKQmyxMdupuKegZn³Z]upc[myt'tDf´ up \^QDxf¥\nM G [MkfityMfZ Gti,j. i,j. b i,j s i,j PA i,j. i,j. i,j. i. i. ij. PB i,j. i. ij. E i,j. i. ij. i. 2. 6. i. i. i. i. i. 6. i. i. 6. i. i. i,j. T ij. i. T ij. i. i0 j 0. þþ Éqrst
(427). ij. i0 j 0.
(428) @= . √. 4/&&[ B&AK"2 af &&(/"? I </". lg m bits. √ 2 lg m bits √ 3 lg m bits. ktij k = r. √ 4 lg m bits. P Ai. √ k lg m bits. 2.17 r .... √ lg lg m O( lg m) . . . ... backward wasted pointer space ... ... ... .... .... lg m bits. u,fZ^ KPjkmnupQee±@L\^. mnfuK) zkcC KegjkeQDeit
(429) uH\^\nffgcKcCz z. P Ai ST i. Z]\^cCm^fzk \nMkQsfPwkeft'f¥\:m^QDwkmnQDZ^Q'z5\nup\^fcKzOZ@cp¢\^fz,Y_\^mnfuKzk KjkeiuH\nfgcCzOZ!eY,fgzO fz. a0Q'mnfzk cpIfiZ]Z fix[\^MkQDZQupfzO\:x[\^Q'Mk§ QkcCwkcpwdc5Z]\^fgMk\^QQZ^zkfc[xkx[QQ t
(430) cKGmnmnQDZ^wdcCzOx[fzk \nc\^MkQt
(431) jOm^mnQ'z5\`upmytUfgz\^MkQz,jkP_ª G .small cK G fz\^MkfQZsPuuKwdfgcCzfgz5P\^QDupmw \^Fc_\n²³Mkf¥ QGZ^PuK=ege¾G\^mnf,uK\^zkMk KQDjkz eiuHG\nfgcCz G fiZkfgZ]zQ'\\nMk\^c Q0ef´
(432) Z]\`cp\^MkQzOQ'f KM,adcCmnZ zkc[x[Q upzOx lg mGlg lgtDmupz©akMdfg\nu3ZDK QbxkQ' KmnQ'QbadQ'\qQDQ'jz @upzdx lg m ¾Z^c\nMOuH\fg\UmnQDh5jkfm^Q=Zsa0Q
(433) \q Q'QDz lg lg m L:MkQt
(434) cKeeQDt¬\nfgcC z @uPKtyEMzOfc,Z@xk\^QsM,jOfiZZ@Z]\n\^u cC8Km^Q'Q=zxcpfgz `u=m^Q=√t
(435) cClgmnx_mcp¢lg\nMklgQmupmnmnuKu3m^Ymyu3Y[ZIfg\^Mf¥Z]\nPMuKmnegQDet
(436) QDcCZ]\@mnxOfzOZ!x[cpQ
(437) § Z^f¨'Q Mdk`u35f¡zkcC m k = 1, . . . , ` k ePuKm^uH C\]Q\nQ'Q'mszkZ^cCfzOjkt
(438) KQUM\^m^MOQ=Qt
(439) cC\^mncpxk\yupZDe¢z,jkzPb\^adMkQDfiZm:cp$u3YKQDx[ CO(`) k a g f n \ Z 0 w ' Q m = Q [ x K Q K u ^ m Q : K u ] Z ^ \ = Q ¢ x ¾ k a [ j \ ^ \ k M i f Z x[c,QDZzkcp\ QDZ:fz G fiZ O(m/ lg m) 0. Gij .back. i0 j 0. ij. i. i0. i. small ij. i0. i,j. i. . $
(440) )
(441) *
(442) , *&. . ¶
(443)
(444) ° G H I "25$LaOYK G F "2d ' "2>9 4#
(445) &&[ 2.175m + o(m) X #/b U"25b Q
(446) \_jOZOmnZ]\bmnQDtDupeeZ^cKPQaduKZ^ftfx[QDz5\^fg\^fQDZ_cKz \nMkQz5jOPa0Q'm_cpsupmyt'ZbupzOx°zkc[x[QDZ_fz°PupwOZ upzOx F upZ^zOPx uKege\nm^fiupzk C\njkm^eifiuHup\^zkfcK CzegQ=Z't
(447) cCzC\yR,upfzOfzOt'ZQ©uH\n\MkQPcCz,Z]jk\ PblgadQDmm£\ncpfgz,Y\nfgz,\nm^Y fiup\^zkmn CfiupjkzkeiuH C\^jkfecKupzd\^Z'fcK±zOMkZQDzOzkt
(448) Q'Qf Ka0M,Q
(449) a0\qcK mnQ'fgzOQ'z G · lg m lg m i f Z @\^MkQ£z,jkPbadQDm_cK®upmyt'ZbfzZ^jka[ªÑPupw G fZuH\PcCZ]\ O(lg m) L:MkQ'mnQ£upmnQ G G ≤ lg m n = Θ(m/ log m) cCmnQDzktDeupYeeg³fuKzkt' bQDZ\^MOcKup\ x[QD KmnfZQ'Qzkuc[≥Px[QD3upZ wOfZ]z cpc_$G\n KMOkQDuHz,ak\ jOjk2aZ\ \nMk=egQfA8KPcHQ KQDmnd(f#uKeg!je0k)z,e≥jkQ'Pm 3fZ:a0Q'¡cCm m^aPbf¥\nMcKjkeifubupmymn\nt'QDMkZuCQxkfiZ:z,Z jkegfPzkQDa0uKQ'm:m`fgcKz n³uC.$t
(450) fgQ=zOZ:xkcpQ'QDx GGdupMdzOuKx¢Z \nMOuH\`fiZD a ≤ 3nG+ 6(g − 1) ²6upz£upzOuKegcCg KcKjdZ@mnTQ'eiuH\nfgcCzMkcCexOZ ¡cKm`upmyt'Z:uKzOx3(azkc[+x[QD2)Z:fz£=P3nuKfg+zP3fupw+F6g´¬. 1 12. ij. 1 3. 2. s ij. 2. 1 4. 1 4. 2. i. 2. f. Õ¡ýþ¾ÕúÓ.
(451)
(452) !#"
(453) %$ '&()
(454) . @L@. R,fzOt'Q®\nMkQUz5jOPa0Q'm:cpzOc,xkQDZ cp G fZ:uH\:PcCZ]\ 5 QUcKa[\yupfz\^MOQs¡cCegecHfgzO a0cKjkzOxcKz\^MkQ Z^jkP cK\nMkQ'fmsx[QD KmnQ'Q=ZU²³MkfityMfiZ:\qfit
(455) QU\^MkQz,jkPbadQDm`cp$upmyt'Zy´. 1 12. 2. ,OcKm. X. Gsij ≤ 2(3. m lg m. m + 6(g − 1)) lg m. PuKw F bu Z]fPfgeiupm m^QDeup\^fcKzMkcCexOZ'[upzdxm^Q=t'uKegefgzO \^MOup\ F MOuKZ uH\ P_c5Zq\ z,jkPbadQDm a cKupmyt'Z²¡\qft'QU\^MkQZ^jkP cKx[QD KmnQ'Q=Z:cpfg\nZ`zkc[x[QDZy´:Z^up\^fiZ dQDZ5. ij. 1 12. 1 1 12 3. m lg2 m. zkc[x[Q=Z',fg\nZ. F. aF = 2. X. Fis ≤ 2(3. m + 6(g − 1)) lg2 m. ,OcKmIQDuCtyMcKk\^MkQQ'§,\^Q'zdx[fgaOegQupmnmyu3Y,i Zx[QDZnt
(456) mnfadQ=xupa0cHKQ. fg\^M\nL:MkMkQQupuKj[P_§[fcCegjkfiupz5mn\IYcpZ]¢\^Z]cKwOmyupuC Ct
(457) Q:QK5zkzkQDQ'QDQ=x[x[Q=QDxx£\ncuCt'Zqt
(458) \ncCcKmnmnxkQ:fgzkuKeg be[w0\^ccKfez5Q'\^PQDmnPZ$ ua0Q Q
(459) [t'\qcK PQ'QDwkz_j[\nuCQx3o]\nuKMkt'Q'Q'fmIz5\!zkcCZ]PP_upfzOee[uK\ne,m^Z^fifup¨'zkQ C\^jkcCei KuHQ
(460) \^\nfcKMkzdQ'mZ fiZzk•QD Kefg CfgaOegQCZ^fgzOt'Q\nuKakegQ=Z S ²³cKzkQ¡cCmQDuCtyMZ^PupeeI\^mnfiupzk Cjkeup\^fcKzd´Ut'cKz5\nuKfgzfzcHCQ'myupee O( ) mnQDt'cKmyxk ZDQ
(461) 5\Q=jOuKZtyMt'cKcKzOz Z^fix[O(lg ak\^f¥Q'\yZ'zd x[fgaOegQ upmnmnu3Y .¾QDuCtyMcpkfg\nZ¾mnQDt'cKmyxkZ¢MOuCZZ^fg¨DQ m) ' Q ¢ m n \ k M @ Q ' Q , § IR,fgzdt
(462) Q@fzu T\nfgcCzOZD3\^MkQ:zkcCP_fzOuKe,Z^f¨'Q:cp0QDuKtyM O(lgflg m) a\nOMkegc[Q'tz•8 \^QsMOQ'tDmnupQ:zupt
(463) \cCPzOt
(464) c5eZqjO\ x[O(lg ^ \ f 5 z Y ^ \ n m f K u k z K k j i e H u Z m lg lg m) Q\nMOuHm)\fgzcHCQ'myupee5\^MkQUZq\ncKmyup KQ:cK¢uKegedupmnmnu3Y[Z T \nu 8KQ O( T lgO(lg m lg lg m)) = o(m) Q
(465) \@jdZ@t
(466) cCzOZ^fx[QDmI\^MOQ`fgzk¡cKmnPup\^fcKzZ]\^cCm^Q=xbfz\^MOQst
(467) cCegeQDt
(468) \^fcKz \nt'Q'cKmnPP•wkj[¡cC\nmfgzO\^ ®Mk\nQMkQ`Z]\^zkcCcCmnuKP KfgQ_zOuKcpek:Z]cKf¨'jkQmcKmndQ'\nwOMkm^Q`Q=Z]t
(469) QDcCzCeg\yeQDuHt
(470) \n\^fgcCfcKz zO.®Z eQ
(471) \bjOZ5uKt
(472) ZIcCP Q'wkej[e,\^¡cKQmIPup\n\AMkQOCmnZ]\MOfgf\ntyZupMzOzk Cx cCfgPCQDfgZ$zO\nuKKMke@ QsZ^Qfgx[¨DcCt
Documents relatifs
cosinus (en bleu à gauche) et d’une droite (en noir à droite) sur les données simulées pour 4 années à une température de 45°C, avec un bruit de fond interne réduit de 100,
Florence CARRÉ ~ Réoccupations funéraires de sépultures collectives néolithiques dans la boucle du
2 Vue plus en détails dans le chapitre 1... 2 phénomène d’agrégation des protéines amyloïdes en fibres et d’autres facteurs impor- tants doivent être pris en compte comme
In this chapter, we prove an a posteriori error estimates for the generalized overlapping domain decomposition method with Dirichlet boundary conditions on the boundaries for
Revue française d’héraldique et de sigillographie – Études en ligne – 2020-10 © Société française d’héraldique et de sigillographie, Paris,
Dans ce cas, comme les coulées du Bras de Sainte-Suzanne appartiennent au massif de La Montagne daté à plus de 2 Ma (McDougall, 1971), l’ensemble des coulées pahoehoe
In infantile Pompe disease patients, the glycogen storage diffusely affects brainstem motor and sensory neurons, and the whole spinal cord sensory neurons, interneurons, and
De ce point de vue, il est possible d’affirmer que la mission est accomplie : les projets de renouvellement urbain (GPV et ORU) élaborés depuis 1998 dans une centaine de villes