Optimal succinct representation of planar maps

HAL Id: inria-00070221

https://hal.inria.fr/inria-00070221

Submitted on 19 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Optimal succinct representation of planar maps

Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer

To cite this version:

Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer. Optimal succinct representation of planar

maps. [Research Report] RR-5803, INRIA. 2006, pp.26. �inria-00070221�

ISRN INRIA/RR--5803--FR+ENG

a p p o r t

d e r e c h e r c h e

Thème SYM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Optimal succinct representation of planar maps

Luca Castelli Aleardi — Olivier Devillers — Gilles Schaeffer

N° 5803

12 janvier 2006

'()+*-,.*0/13254648794825*0:<;7

∗

^=> 4876?7625:.@2A?78464825:B/

†

^=C 78464825/.D)FEG*02IH2A:

‡

JKMLN.O$P5QSRUTVP+WYX[Z\LBN]O<X^X\W5N_a`Abdcfe5ghOBX

ikjl`nmoOZqpSOB`IN.OZlj\cfrs

t^sIuhu0`Ij\ZvhOj\O<rwKhOjwrwKhOyx0z{I|I}I~T€<‚^m[snx+ƒ+cdOBjq‚n}I}A„TU‚n„]uMsI…IO<X

†ˆ‡Š‰B‹ŒFhŽI‹I

JKMcXŠuMsIuaOBjŠsAvhvYjlOBXlX[O<X‘Z\KMOuhjl`I_MbdOBN’`I“MjlOuhjlOBX\Ox5Z\cxh…ZlKhOr`IxMxhOBrZ\cƒ5cdZoW”cdxh“•`IjlN.snZ\c`Ix`I“

…AO`AN]OZ\jlcr`A_YmoOBrZlXgMX[cxh…$sAXkbc–Z\Z\bOqN.ON.`Aj\W.sIXGu0`AXlX\cd_hbOI—G˜™Xk`IuMua`5X[O<v]Z\`$jws3š›r`IN.uhjlOBXlX\cd`Ax]cfXlX[ghO<Xœ

ZlKhO&“•`YrgMXcXžKMOjlOŸ`Ix›vYOBX\cd…Axhcxh… vhsFZws¡XoZlj\gMrZ\ghjlOBX]ZlKMsFZuhj\O<X[OBj\ƒAOˆZlKhOŸu0`AXlX[c_hcbdcdZoW¢`I“”sIxMX[šOjlcxh…

cxMrcvYOBxMrOe5ghOjlcdO<Xcx$r`IxMX[ZlsIxAZZ\cN.OI—Š£Ouhj\`Aua`5X[Ocdx$uMsnj\Z\cfrghbfsnjZ\KhO¤MjwXoZŠ`IuYZlcdNžsIbAjlOuhjlOBX\Ox5ZwsFZ\c`IxaX

“•`Aj$~F¥¦r`AxhxhO<r§Z\O<v¡uhbfsnxMsIj…IjwsnuhKaXsnxMv¨Zlj\cfsnxM…IghbfsFZlcd`AxMXœšKhcfrwK snjlO.Z\KhON]`5XoZ]XoZwsnxMvhsIjlv¡rbsAX\X\OBX`I“

…AjlsIuhKMX©ghxavYOjlbdW+cxh…^N.OBX\KhO<X‘šc–ZlK$X\uhKhOjlcfrsnbnZ\`Iu0`Ib`I…AWI—ª™uYZlcdNžsIbIN.OBsIxMX‘ZlKMsFZ«ZlKhOBX\OkjlOuhjlOBX\Ox5ZwsFZ\c`IxaX

sAX[W+N.uYZl`nZ\cfrsIbdbW¢NžsnZlrwK›Z\KMO¬jlOBX\uaO<r§Z\cƒIO¬Ox5Z\jl`Iu+W¢`I“Z\KhO¬Zoš`-rbfsIXlX[O<XœxMsIN]OBbdW­‚¡_hcdZlXu0OjˆO<vY…IO

“•`Aj~F¥¦rˆuMbsIxMsnjž…AjlsIuhKMXBœsnxav®€A—„5‚¯_hcdZlXuaOBj.Z\jlcsIxh…IbO&`Ij.OBe5ghcƒFsnbOx5Z\bW-~M—‚n°_hcdZlXuaOBjžƒIOj\Z\O±“•`Ij

Zlj\cfsnxM…IghbfsFZlcd`AxMX—

²Ÿ³5´©µl¶$·

ŒF¸Š‰I

…AjlsIuhK›OxMr`+vhcdxh…aœX[gMrBrcxMr§Z#vhsFZws XoZlj\gar§Z\gMj\O<XœZ\jlcfsnxh…AghbsnZ\c`IxMXBœ…IO`AN.OZ\jlcfr#vMsFZls

X[Z\jlgMrZ\ghjlOBXB—

¹«º3»½¼¾©¿§À6Á.º3Âw¼ÃnÄ[Äoŝ¼8Æ<Ç3Çn¿§ÀÉÈ6ÄoÊÃË]È6º3ÄSÌFÀÉÄoÅ3ÍκÏ6ÐÑ©ÒÓÂw¼8¼8Äo¼Ê<ęÊ3¿§Å<Å3ÔoÄ[¼•Õ”Ç<À6¿§Ö§À6ÂwהØ0ÙB»ÚÂSÈ8º<ÄۊÄo¿BÍo¿§×Ç

Ç3À6¿lÜ6ÄoͦÈ\ÝMÞߧßwàMá•â§â\ã§ã§ãMä•åBæoçhäàBè§ålé§ßêë[ÞìFæoíwîBêYäfïðâlñòwóBè§âwô3æ\å§å§êõ5ä÷öBë[Þòêwï§ïê§ðâlôêèwøèoùBàBâ

∗

ҕúŠû«Ò÷Ьü©ÛŠÄo¿§×ÄoÈ6ÀÉ»½Í\ÂÂwÅ<ÊSý+Ò÷þØnÿaÍo¿½ÄY¿ËBÈ6ÄoÍκ3Å3»Æ3Ä§Ø hÂÚÂw»½¼8Ä[ÂwÆ

†

ҕúŠû«Ò÷Ьü©ÛŠÄo¿§×ÄoÈ6ÀÉ»½Í\Â

‡

ý+Ò÷þØnÿMÍo¿½Äh¿ËÈ6Ä[Í8º3Å3»Æ3Ä§Ø MÂÚÂw»½¼6Ä[ÂwÆ

‰  snxaXrOZ\jws3ƒ3sIcdbxh`AgMXr`AxMX\cvBj\`AxMX™bdO.uhjl`I_hbLN.O.vYO.j\OBuhjBX\Ox5Z\OBj™bcxY“•`Aj\NžsFZlcd`AxvYO

bfs]r`IxMxhOBrZ\cƒ5cdZ”v`I_YmoOZlX…`INZ\jlce5ghO<XgYZlcdbcfX\sIxAZbOSN.`AcdxMXu0`AXlX[c_hbOSvhOSNBN]`AcdjlOI—G˜qb`Iuhu0`AX”vYOBX

e5ghO<XoZlcd`AxMXvYOX\cdN.uhbO$r`IN.uhjlOBXlX[c`Ix«œ+xh`IZ\jlOsFZ\Z\Ox5Zlcd`Ax#O<XoZ^u0`Ij\ZBOX[gMjbsžr`IxMrOuYZlcd`Ax&vhOXoZlj\gMrZ\ghjlOBX

vhO$vY`IxMxO<XuaOBj\N.OZ[ZlsIx5Z™vYO$jlOu0`IxavYj\OžvhOBX^jlOBe5gZ\O<X^vcdxMrcvhOxMrO$Ox&ZlON.uMX™r`IxaXoZwsnx5ZB—kx¯uMsIj[¥

ZlcrghbcdOBjBœ©xh`AgMXquMj\`Aua`5X[`AxMXbOBX™uhj\OBN.cdLBj\O<XqjlOuhjBX\Ox5ZwsFZ\c`IxaX`IuYZlcdNžsIbdO<Xqu0`Ighj™bdO<XS…IjwsnuhKhO<XuhbfsnxMsIcdjlOBX

~n¥Îr`IxhxMO±YOBXOZbOBXZ\jlcfsnxh…AghbsnZ\c`IxMXBœYe5ghc«X[`Ax5ZbOBXuhbgMXu0`IuhgMbsIcdjlOBXrbfsIXlX\OBXvYO”…IjwsnuhKMOBXX[`AgMX[¥dm[sArOx5ZwX

sIgY±¬NžsncbbsI…IOBXSKh`AN`IN.`Aj\uhKMOBXgMxhOX[uMKhLjlOI—ˆª™uYZlcdNžsnbOBXX\c…Ixhcd¤MOže5ghOžrOBX”jlOuMj<X[OBxAZwsFZlcd`AxMX™snZ[¥

ZlOc…IxhOBx5ZbOBx5Z\jl`IuhcOqjlOBX\uaO<r§ZlcdƒAOSvYO<XvYOgY±ˆrbsAX\X\OBXBœ5xh`nZwsnN.N.Ox5Z‚$_hcdZlXuMsIjsIj\OZ\OSua`AghjbdO<X…AjlsIuhKhOBX

~n¥Îr`IxhxMO±YOBXBœ+OZ€I—„A‚_hcdZlXuasnjZ\jlcsIxh…IbO”`Ig&~h—½‚F°]_hcdZlXuMsIj^X[`AN.N]OZua`Aghj^bOBXZ\jlcfsnxh…AghbsnZ\c`IxMXB—

· ‹<‰ µ Ž! ‰”#" `Yvhsn…AOvYO…IjwsnuMKhOBXBœFXoZlj\gMrZ\ghjlOBXŠvYOvY`AxhxO<XX\gMrBrcxAZlOBXBœ3Z\jlcsIxh…IgMbsnZ\c`IxMXBœFXoZlj\gMrZ\ghjlOBX

vhO”vh`IxhxBOBX…`INZ\jlce5ghO<X—

) *

#

+-,$+ ."/01012435768965:;89<>=2?/@A25CBC:

˜ …AO`AN]OZ\jlcr`I_hmoOBr§ZcfX”`n“÷ZlOx¡jlOuhjlOBX\Ox5Z\O<v¬_+W¬s#u0`IbW+…I`IxasnbGN.OBX\KšKMcrwKr`Ax5ZlsncxMX™Zoš`ED+cxMvhX`I“

cxY“•`Aj\NžsFZlcd`Ax?F‘ZlKhO…AO`AN]OZ\jlWsnxMvZ\KhOr`AxhxhO<r§Z\cƒ+c–ZoWA—JKhOr`IxhxhO<r§Zlcdƒ+cdZoWScfXsq…AjlsIuhKšKhcfrwK.vYOBXlrjlcd_0OBX

KM`Fš ƒIOj\Z\cfrO<XsIj\O¬bdcx7DIO<v _+W›OBvY…AOBX#snxMv “ÉsIrOBXBœqšKhcbdO¬Z\KhO¡…AO`IN.OZ\jlW"r`IxMX\cX[ZlXcx Z\KMOƒAOj\Z\cfrOBX

r`+`IjwvYcdxasFZ\O<X—1G¦x¯gMX\gMsnbŠj\OBuhjlOBX\Ox5ZlsnZ\c`IxMX^X\gMrwK¬sAX1HSt^RJI “•`IjlN.snZ™`Ajqu0`IcxAZlOjwXqjlOuMj\O<X[OBxAZwsFZlcd`AxMXcx

NžsIcdx-N]OBN.`IjlWLK{M8œZ\KhOŸr`AxhxhO<r§Z\cƒ+c–ZoWcfX]Z\KMO#N.`5XoZžO±Yu0OxMX\cƒIO#uMsnj\ZNF#c–Zr`AX[ZlX]K+ghxMvYjlOBvhX]`I“™_hcdZlX

u0OjƒIOBj[ZlO±šKMcdbOžZ\KMOˆ…IOB`IN.OZlj\Wr`AX[ZlX$`IxhbWZ\OxaX`n“_hcdZlX$uaOBj$ƒAOj\Z\O±‘—Ÿ˜qXsŸNžsFZ\Z\Oj`n““ÉsIrZBœcx

X\gMrwK¡“•`Aj\NžsFZwX$šKMOjlOžZ\KhO#r`AxhxhOBrZ\cƒ+c–ZoW¡cfX$jlOuhjlOBX\Ox5ZlOBv¡_+Wx+ghN_aOBj\cxh…¬Z\KhOƒIOj\Z\cfrO<X$sIxMv…Icƒ+cdxM…

cxMvYO±YOBXBœYZ\KhOr`AX[Z^`n“Gr`AxhxhOBrZ\cƒ+c–ZoWKMsIX`AjlvYOBj

Θ(n lg n)

—P+cxMrO”Z\KhcfXcfXZ\KhO$N]`5XoZ^O±YuaOBxMX[cƒIO”uMsIj[Z<œ

šO”X[KMsIbdb«r`IxMrOx5Z\jwsFZlOqcx#Z\KhcfXuMsnu0Oj`AxjlOBvYgarcxh…$ZlKhOr`AxhxhO<r§Z\cƒ+c–ZoWr`AX[ZBœhsIxMvˆbOBs3ƒAO^ZlKhOuhjl`I_hbON

`I“kj\O<vYgMrcdxh…Z\KhO]…IOB`IN.OZlj\W&r`5XoZ™sAX[cfvYOA—q£¨O`A_MX[OBj\ƒAOKh`FšOƒIOBjZ\KasFZ™`Aghj”XoZlj\gMrZ\ghjlOcfX™r`IN.uMsnZ\c_hbdO

šcdZ\KX\OƒAOjwsnbY`I“0ZlKhOqX[ZlsIxMvhsnjwv.snuhuMj\`5sIrwKhO<XZl`…IOB`IN.OZlj\Wr`IN.uhjlOBXlX\cd`Ax]X\gMrwKžsIX…Icƒ5cxh…r`+`AjlvYcxMsnZ\OBX

cxŸs]bd`YrsIb©“•jlsIN.Oš`IjOD0—

+-,P ."/@AQ1B724<R<R6S/T0U89<><RVW336$0135X<Y5CBVW35CV1B724<

˜ …AO`AN]OZ\jlcr™`I_hmoOBr§ZqrBsnx#_aOjlOuMj\O<X[OBxAZlOBvˆOcdZ\KhOBj^cdxŸs]bcdxhO<snj“•`Aj\NžsFZ“•`Aj^vYcXDX[Z\`AjlsI…IOS`IjxhOZoš`AjD

ZljlsIxMX\N]cfXlX[c`Ix«œY`Aj^XoZl`IjlOBvcdxŸNžsIcdx&N.ON.`IjlWž“•`AjZ\KhOO±Yuhbd`AjlsnZ\c`Ix#`n“ŠZ\KhO$`I_YmoO<r§ZB—G¦xZlKhO¤MjwX[ZqrsIX\OIœ

jlOBvhgMrcxh…Z\KhOX\c&ZBOScfXrsIbdbOBv 1! œMsIxMv#r`IN.uhjlOBXlX\cdxh…$Z\KhOr`IxhxhO<r§Zlcdƒ+cdZoW`n“ƒFsIj\c`IgMX%D+cxMvˆ`I“

N.O<X[KhO<XKMsIX_0OOBxŸX[gMrBrO<X\X[“•ghbbdWˆsnZ[ZwsIrDIO<vcx&j\O<rOx5ZWIO<snjwX[Kd€\5œ«€B|hœ‘€<‚+œa‚I}Yœ«€^]YœM|Yœ«€<~_MΗ

G¦xZ\KhcfXuMsnu0OjšOSvhOBsnb0šcdZ\KZ\KhOX\OBr`AxMvrBsIX\Oq`n“ŠNžsncxˆN.ON.`IjlW.j\OBuhjlOBX\Ox5ZlsnZ\c`Ix«œ+snxMvˆ`IghjsncN

cfXZ\`žvYO<X[c…Ix&s.vhsFZws.XoZlj\gMrZ\ghjlO”KMs3ƒ+cdxM…]s.X\N.sIbdb«X\c`ZOsnxMv#snbb`Fšcdxh…Z\`žsIxMX[šOje5ghOBj\cOBXcx&r`IxMX[ZlsIx5Z

ZlcdN.OA—baqX\gMsnbe5ghOjlcdO<X$r`IxMX\cX[Z$cx …I`AcdxM…&“•j\`AN s&“ÉsArOˆZ\`¯cdZlXxhOc…IK+_0`Ij`AjsAX$D+cxh…Ÿc–“Zoš`¯ƒAOj\Z\cfrOBX

sIj\OŸsAv3m[sIrOx5Zcdx"ZlKhO¯N.OBX\K«—’PYgMrwK­sXoZlj\gMrZ\ghjlO&cXˆrsnbbOBv O cd“”Z\KhO¯r`AX[ZˆsIX\W5N.uYZl`nZlcrBsnbbdW

NžsnZlrwKhO<XZlKhO”Ox5Z\jl`Iu+W.`n“Z\KhO”rbfsIXlXsnxMv 17 Y cd“cdZNžsFZlrwKMOBXc–ZghuZ\`.s]r`IxaXoZwsnx5Z“ÉsAr§Zl`Ij<—R¯`IjlO

uMj\O<rcfX[OBbdWAœ0…AcdƒAOx¬s#rbfsIXlX™`n“`A_YmoOBrZlX™šc–ZlK¨sX[c`ZO]uMsnjwsnN.OZ\Oj

n

^cOA—…a—”Z\KhO.x+ghN_aOBj™`I“ObON.Ox5ZwX™`I“

X\`IN.OdD+cdxave§œašOr`AxMX\cvYOBjZ\KhO$x5gMN$_0Oj`n“`I_hmoOBr§ZwX`n“GX\c&ZBO

n

cx#Z\KhOrbsAX\XB—fGΓZ\KhcfXx+ghN$_0OjqKMsIXsIx O±Yua`AxhOx5Z\cfsnbY…Aj\`FšZlK`n“©`IjwvYOBj

2 ^αn

^šKhOx

n

…I`+OBXZ\`”cxY¤MxhcdZoWIœIZ\KhO

g h

`n“aZ\KhO^rbsAX\XŠcfXGvYO¤axhOBvZ\`

_0O

αn

^—k˜ jlOuMj\O<X[OBxAZwsFZlcd`AxcXZlKhOx

1 i

cd“ŠcdZgMX\OBX

O(n)

_hcdZlXqsnxMv

O

cdZ^gMX\OBX

αn + o(n)

_Mc–ZwX—ª™_MX\OjlƒIO™Z\KasFZ^s.r`IjljlOBr§ZjlOuhjlOBX\Ox5ZlsnZ\c`Ix#rsnxMxh`nZgMX\O

o(αn)

_Mc–ZwX“•`IjcdZ^N$gMX[Z_aOu0`AXlX\cd_hbOSZ\`

vhcX[Z\cxh…IgMcX\K#sIbdb`I_YmoO<r§ZlXB—

+-,j kL24012?B7lfmonOBlp@A2qr/-B7s

JKMO…IOxMOjwsnb+“•jwsnN.Oš`IjODšOgMX\O“•`IjvYOBX\cd…Axhcxh…sr`IN.uMsAr§ZG`IjkX\gMrBrcxMr§ZvMsFZls”X[Z\jlgMr§ZlghjlO“•`Ijks”…IcƒIOBx

rbsAX\X`I“Š`A_YmoOBrZlX`n“X[c`ZO

n

cXqX$DAOZlrwKMOBvKMOjlOiF

•

^t cdjwXoZZ\KMOS`A_YmoOBrZcfXX[uMbdcdZcx5Z\`Z\cx+WžuhcdO<rO<X`I“X\c&ZBO

O(lg n)

^{œ h} N.OBsnxMcdxh…]X[NžsIbdb©OxM`Igh…AKˆX[`Z\KasFZ s$rsFZwsnb`I…`I“«snbbau0`AXlX[c_hbOquhcOBrOBXrsnxˆ_aOSr`IxaXoZlj\gMrZ\O<v.cdx

o(n)

ZlcdN.O”snxMvžX\uMsIrOI—JKhOx#s”Z\cx+W.uhcdO<rO cfXj\OBuhj\O<X[OBx5Z\OBv_5W.cdZlXcxMvYO±cxZlKhO”rsFZwsnb`I…aœAsnxavžZ\KMOSX\ghN`n“‘ZlKhOX[c`ZO<X`I“snbb©cdxMvhO±YOBXcXO±+u0OBrZ\O<v

Zl`.N.snZlrwK#Z\KMOSOBx5Z\jl`Iu+W`n“Z\KhOrbsAX\XB—

•

JKMO¯cdxarcfvYOxMrO¯jlObfsFZ\c`IxaXžvYOBXlrjlcd_Mcdxh…KM`Fš ZlKhO¬X\uhbdcdZ[ZlcdxM… cdx5Zl`Z\cx+W-uhcOBrOBXžKasIXž_0OOBx®vY`IxMOŸcX OBxMr`YvYO<v cx s-…IjwsnuhK

G

`n“Zlcdx+W­uhcOBrOBXB— P+cdxarOZ\KhOBj\O¡snjlO

O( _lg ⁿ _n )

Z\cx5W­uMcdO<rOBX#šcdZ\K’s¢bcdxMOBsnj x+ghN_aOBj™`I“kcdxarcfvYOxMrOBX™_aOZošOBOxŸZlKhON&œ‘sˆrbsAX\X\cfrsnbj\OBuhj\O<X[OBx5ZlsFZlcd`AxŸ`n“GZlKhcX™…IjwsnuMKŸgMX[cxh…ua`Acdx5Z\OBjlX

`I“b`I…5snjlc–ZlKhN.cr”X\c&ZBO”r`AX[ZlX

O(n)

sIxMvZ\KhcfX^sIuhuhjl`AsIrwKsnbj\O<sIvYWžW+cObfvhX^s.r`AN]uasIr§Z^vhsnZls.X[Z\jlgMr§Zlghj\OA—

•

⁽ uMcdO<rOBX`I“

O(lg ² n)

X\c&ZBOsnjlOSr`IxMX[Z\jlgMr§ZlOBv_+Wmo`Icxhcxh…

lg n

Z\cx+WuhcOBrO<Xœ+ZlKhcfX^snbbd`Fš^XZl`]gaX[O u0`Icx5Z\OBjlX`I“ŠX\c&ZBO

O(lg n)

`IxhbW_0OZošOOxŸX\Nžsnbb‘uhcdO<rO<XšKhcdbOsIv3m[sArOBxMrcOBX_0OZošOOBxˆZlcdx+WˆuMcdO<rOBXsIj\O vhOBXlrjlcd_0OBvšc–ZlK.bd`YrsIbYua`Acdx5ZlOjwX`n“0X\c`ZO

O(lg lg n)

—GP+cxMrOZlKhOx+ghN$_0OjG`I“©X\NžsnbbhsnxMv$Z\cx+W$uhcOBrOBXGsIj\O jlOBX\u0OBr§ZlcdƒAObW

O( _lg ⁿ 2 n )

^snxav

O( _lg ⁿ _n )

œIZ\KhcfXGNghb–Zlc–¥ÎbOƒIOBbMsnuMuhj\`5sIrwKW5cObfvhXGX\gh_hbcdxMOBsnjkr`AX[ZlX`I“

O( ⁿ _lg ^lg 2 n ⁿ )

sIxMv

O( ^{n lg lg} _{lg n} ⁿ )

^“•`Ij

G

œhNžsD+cxh…]Z\KhOX[Z\jlgMr§Zlghj\OX\gMrrcdxar§ZB—

+-, 24m$l 5R2 B24<RV1m57<

£¨O]_hj\cOaWŸj\OBƒ5cOšycx¯ZlKhcfXX[O<r§Z\c`Ixs“•OBš j\O<X[gMb–ZwXSsI_a`AgYZ”j\OBuhj\O<X[OBx5ZlsFZlcd`AxMX^`I“…IjwsnuMK¯r`IxMxhOBrZ\cƒ5cdZoW

“•`Ajq~F¥¦r`AxhxhO<r§Z\O<vˆuMbsIxMsnj…AjlsIuhKMXsnxav#Z\jlcsIxh…IghbfsFZlcd`AxMXB—kJKhOBX\OjlOBX\ghb–ZwXrsIx#_0O…AcdƒAOx&cdx&ZlOjlNžX`n“

n

ZlKhOSx5gMN$_0Oj`n“ƒAOj\Z\cfrO<Xœ

m

Z\KhOSx+ghN$_0Oj`I“«“ÉsIrOBX`Ij

e

Z\KhO”x+ghN$_0Oj`n“ŠOBvY…AOBXB—G¦xZ\KMOSX\uaO<rcfsnb‘rsAX[O

`I“GZ\jlcsIxh…IgMbsnZ\c`IxMXq`n“sžZl`Iu0`Ib`I…AcrBsnbX\uhKhOBj\OAœ

6n ' 2e = 3m

sIxMvŸZlKhO$OBxAZlj\`Au+WcfX

1.62m = 3.24n

_Mc–ZwX9K½‚Y€MΗ

t

`IjkuMbsIxMsnjGZlj\cfsnxM…IghbfsFZlcd`AxMXšc–ZlKs”_a`AghxMvhsIj\WAœFZ\KMO^Ox5Z\jl`Iu+WcX

2.175m

^{_hcdZlXB— t} `Ij…IOxMOjwsnb

~n¥Îr`IxhxMOBr§ZlOBvˆuhbsIxMsnj…AjlsIuhKMXZ\KMOOx5Z\jl`Iu+WžcfX

2e

^{_hcdZlX K½‚A‚^M8—}

ª™xSZ\KMOkuhjwsIr§ZlcrBsnbnX\cvhOIœFrbfsIXlX[cfrsIb3N.sIcdxN.OBN]`Aj\Wqj\OBuhj\O<X[OBx5ZlsFZlcd`AxMX©gMX\OGua`Acdx5ZlOjwXF

n+6m

u0`Icx5Z\OBjlX sIj\OxhOBOBvYO<v]“•`IjGZlj\cfsnxM…IghbfsFZlcd`AxMXGsnxMv

n + 6e

“•`Ij~r`IxhxMOBr§ZlOBv]…IjwsnuMKEK½{^MΜ5šKhOjlO^s”ua`Acdx5ZlOjkN.OBsIxMXk~5‚

_Mc–ZwXšc–ZlKŸj\O<snb«u0`Icx5Z\OBjlXsIxMv

lg n

gMX\cdxM…žcdxMvhO±YOBXB—˜ rwKMOBsnu0Oj^X\`IbgYZlcd`Ax#šcdZ\K

2e

u0`IcxAZlOjwX K€°MŠKMsIX _0OOBx¯uhjl`Iu0`AX\OBv#šcdZ\K¯ZlKhO$uMj\cfrO`I“sžKhc…IKhOBj™sArrO<X\Xqr`AX[Z^Zl`ˆxhOBcd…AK5_0`IjwXB—^`IxMO`n“GZlKhOBX\O

O(n lg n)

X[Z\jlgMrZ\ghjlOBXsnjlOr`AN]uasIr§Z<—

JKhO”sn_0`FƒIO^“•jlsIN]OBš`AjDKMsIX_0OOxcdx5Zlj\`YvYgMrOBv“•`Ij_asnbfsnxMrOBvžuMsIj\OBx5Z\KhO<X[cfXkš`IjwvhX

c

W+rD.š`IjwvhXe

_+W5sIr`A_MX\`IxLK€I€M“•`IjZ\KMO#r`IN.uMsIrZjlOuhjlOBX\Ox5ZwsFZ\c`IxœksnxMv_+W RŸgMxhj\`¨snxMv¢t^snNžsnx Kd€3{^M“•`Ij]Z\KhO

X\gMrBrcxMr§ZjlOuhjlOBX\Ox5ZlsnZ\c`Ix«—

JKhO¯X\c`ZO&uMsnjwsnN.OZ\Oj.`I“”s¨uMsIj\OBxAZlKhOBX\cfXš`Ijwv-cX.cdZlXžx+ghN_aOBjž`n“rwKMsnjwsIrZ\OBjlX]snxMv-`IuhZ\cN.sIbdcdZoW

N.O<snxMX€_Mc–Zžu0OjžrwKMsnjwsIrZ\OBjB—"G¦x¢ZlKhcfX]r`Ix5Z\O±+ZZlKhOxasFZ\gMjlsIbe5ghOBj\W¡cfXZ\`¡sIXD“•`Aj]Z\KhO&NžsFZwrwKhcdxM…

uasnjlOx5Z\KhO<X[cfX`n“ZlKhOuMsIj\OBxAZlKhOBX\cfXsnZs]…AcdƒAOxˆu0`AX\cdZ\c`Ix«—GJKhO<X[O”jlOBX\ghb–ZwX`Ix#uMsnjlOx5Z\KMOBX\cXš`IjwvhXsIbdb`Fš

“•`AjqX\gMrrcdxMrZ™jlOuhjlOBX\Ox5ZwsFZ\c`IxaX`n“GuhbfsnxhO

c

sDFs.`IjwvYOBj\O<veZ\jlOO<X^gMX\cdxM…

2n

_hc–ZwX—^JKMOx¯sžuhbfsnxasnj^Nžsnu rBsnx¡_0OˆvYOBr`IN.u0`AX\OBv¨cdx5Zl`¯X[OBƒIOjwsnbZlj\OBOBX”šKhcfrwK rsIx¡_aOˆX\gMrBrcxMr§ZlbdWj\OBuhj\O<X[OBx5Z\OBv«—^`FšOƒAOj<œ‘Z\KMcX

ZljlsIxMX[“•`IjlN.snZ\c`Ixž“•jl`IN…AjlsIuhKMXZ\`]Z\jlOO<X_aOBcdxh…]xh`Ax_hcmoOBrZ\cƒIOAœYc–ZW+cdOBbvMXjlOuMj\O<X[OBxAZwsFZlcd`AxMXk“•`AjuhbsIxMsnj

…AjlsIuhKMXŠZlKMsFZsIj\OxM`nZX\gMrrcdxar§Z_hghZ`IxhbW.r`IN.uMsAr§Z<—Š˜qbd`Axh…”Z\KhO<X[OqbdcxhOBXBœ+s”j\OBuhj\O<X[OBx5ZlsFZlcd`Ax`I“‘uhbsIxMsnj

…AjlsIuhKMXgMX\cdxM…

2e + 8n

_hcdZlX^šsAX…AcdƒAOx"K€<{^MŠsnxMvˆZ\KhOBx&cdN.uhjl`FƒIO<vžZ\`

2e + 2n

^{_hcdZlX K\YœM„_MΗ}

G¦x&`IgMjuMj\OBƒ5c`IgaXš`AjD K€MΜhšO”KMs3ƒAOSX\Kh`FšxKh`Fš Zl`]O±+Z\OxavˆZlKhOS“•jlsIN.Oš`IjODX[`Z\KMsnZ^c–ZqrBsnx#_aO

sIuhuhbcdO<v¬vYcjlOBr§ZlbdW¯Z\`Z\jlcsIxh…IghbfsFZlcd`AxMX™šc–ZlK¨s_a`AghxMvhsIj\W¯sIxMv¯uMj\`Fƒ+cfvYOBvsX\gMrrcdxar§Zj\OBuhjlOBX\Ox5ZlsnZ\c`Ix

“•`Aj”Z\KhcfX

c

bfsnjl…IOBje™rbfsIXlXS`n“Z\jlcsIxh…IgMbsnZ\c`IxMXB—JKhcfXsnuMuhj\`5sIrwKšsAXSsIbX\`&X[gMrBrO<X\X[“•ghbGcx¡vhOBsnbcxh…šcdZ\K

b`YrsIb«vYW+xMsnN.cfr™gMu0vhsnZ\O<X`n“Z\jlcsIxh…IghbfsFZlcd`AxMX`n“Khc…IKhOBj…IOx+gMXX\ghj\“ÉsIrO<XdK‚_M8—

£­cdZ\K¨sX[bc…IK5Z\bWvYc©OjlOx5ZSX[Z\jwsFZlO…IWAœ! bsIxMv+“•`Ajlv 9 " K°iMŠX\Kh`FšOBv&Kh`Fš Z\`#vYOBX\cd…Ax¯sr`AN.uMsIrZ

vMsFZls¬XoZlj\gMrZ\ghjlOˆX\ghuhu0`Ij\Z\cxh…¬sAv3m[sIrOxMrW¨sIxMvvYO…Aj\OBOBXeAgMOjlcdO<X`Ix ƒAOj\Z\cfrO<X”“•`Ij]X[u0OBrcsIbrbsAX\X\OBX`I“

…AjlsIuhKMXŠKMs3ƒ+cxh…X[NžsnbbhX\OuMsIjlsnZ\`IjwXB—#^`FšOƒAOjZ\KhcfXksnuMuhj\`5sIrwKxhOO<vhXGO$rcdOBxAZksIbd…A`Ijlc–ZlKhNžXŠ“•`Ij¤MxMvhcdxh…

X\OuasnjwsFZ\`AjlXŠsnxavZlKhOO±hsIrZkr`AX[Z`n“0Z\KhOjlOuhjlOBX\Ox5ZwsFZ\c`Ix$cXkvhc%$rgMb–ZGZl`”rwKasnjwsIr§ZlOjlc&ZBOI—˜™Xcdx.uhjlOƒ+c`IgMX

š`IjODYXœI`IghjkN.`YvYOBba`I“‘r`IN.uhgYZwsFZlcd`Ax]cfXst^˜qR NžsArwKhcdxMOIœIšcdZ\K

O(1)

Z\cN]OSsIrBrOBXlXG`Ax]š`IjwvhXG`I“«X[c`ZO

Θ(lg n)

^—

· ‹Œ•‡‹· JKhOr`Ix5Z\jlcd_MgYZ\c`Ix#`n“ŠZ\KhcfX^uasnu0OjcfXZoš`I“•`Ibfv‘—k˜qX“Ésnj^sIX^j\O<X[ghbdZlXsIj\Or`IxMrOjlxhOBv‘œ

šO”uhjl`Iu0`AX\OqZlKhO”¤MjwXoZqX\gMrrcdxar§Z^vhsFZws.XoZlj\gMrZ\ghjlOBX“•`Ajj\OBuhjlOBX\Ox5Z\cxh…]uhbsIxMsnjZlj\cfsnxM…IghbfsFZlcd`AxMXšc–ZlKh`IgYZ

_0`IgMxMvhsnjlW

c

Zlj\cfsnxM…IghbfsFZlcd`AxMXS`n“sZl`Iu0`Ib`I…IcfrsIbGX[uhKMOjlO^eSsnxMv¨~F¥¦r`AxhxhO<r§Z\O<v¯uhbfsnxasnj”NžsnuMXBœsIXX[ZlsnZ\O<v

cxŸJKhO`Aj\OBN €”_aOBbd`Fš—

³+· Œ ³ O YTT g!

•

S#%& g! iC& ! 7f CO C Y ! R h1 g! h

1.62

^{%7 g! i&}

•

^S#

3

O O1& i 'OCE _h1 g! h

2

^{%7 "}

O g! W^i T& ^O Y ^ g! b

O(1)

^{"!-R "#Yg}

$#[%$N

O( ^{n lg lg} _{lg n} ⁿ )

^"

t

j\`AN ZlKhON.OZ\Kh`YvY`Abd`A…Icfrsnbua`Acdx5Z™`I“Gƒ5cOšœ0šO“•`IjlNžsnbc&ZBOZ\KhO]rsnZlsnb`I…I¥6Zlcdx+W5¥¦X[Nžsnbb©“•jwsnN.Oš`IjOD©—

£­cdZ\K¬j\O<X[u0OBrZqZ\`Z\KhO]X[OBN]cxMsIbŠvhsnZlsX[Z\jlgMrZ\ghjlOBXquhj\`Aua`5X[O<v“•`IjSš`AjlvhXqsnxMv#Zlj\OBOBX Kd€A€nœ€3{^M8œ‘sIxMv#“•`Ij

Zlj\cfsnxM…IghbfsFZlcd`AxMX$cx"`Ighj.uMsIuaOBjEK€MΜkZlKhO&uhj\O<X[OBx5Z“•jwsnN.Oš`IjOD¡NžsDIO<X$O±YuhbdcfrcdZ.Z\KhO&b`Yrsnbuhbfsnxasnjlc–ZoW

uMj\`AuaOBj[ZlcdO<X^`IxŸšKMcrwKŸZlKhOsIuhuhjl`AsArwK#cfX™_MsIX\OBv‘—

t

ghj\Z\KhOBj\N.`Aj\OcdZ™jlObfsF±YO<XZ\KhOuhjl`Iu0Oj\ZoWIœ©rOx5ZljlsIbcx

ZlKh`AX\OuhjlOƒ+c`IgMX^š`AjDYXBœYZ\KMsnZqZlcdx+W&uhcOBrO<XqX\Kh`IgMbv&_0OZwsDIOBxŸcdx¯sˆrbfsIXlX^šcdZ\KŸZlKhOXlsnN.OOx5Zlj\`Au5W&sIX

ZlKhO”NžsncxrbfsIXlX`n“`A_YmoOBrZlXjlOuhjlOBX\Ox5Z\O<v‘—

t

cdxMsIbdbWIœ+cx`AjlvhOjZ\`.vYOƒAOb`Iu`IghjZoš`$xhOBš snuMuhbdcfrsnZ\c`IxMX

c

Z\jlcsIxh…IgMbsnZ\c`IxMXsnxav~n¥Îr`IxhxhO<r§ZlOBvuhbsIxMsnjNžsnuaXOeœhšOvYO<X[c…Ix#xhOBš’X\uhbc–Z\Z\cxh…X\rwKMON.OBXB—

qO±+ZX[O<r§Z\c`IxšcdbbŠ“•`IjlNžsnbc&ZBOZ\KMO.rBsFZwsnb`I…n¥8Z\cx+W5¥ÎX\Nžsnbb‘“•jlsIN.Oš`IjOD0œ0šKhcbdOP+O<r§Zlcd`Ax~#vYOBXlrjlcd_0OBX

cdZlX^gMX[OS“•`AjuhbsIxMsnjNžsnuaX^snxMv&P+O<r§Z\c`Ix&°]“•`IjZlj\cfsnxM…IghbfsFZlcd`AxMX—

& ')(

” $+*-,Y/.0,M  !3Š 1 32

G¦x.ZlKhcfXX\OBrZ\c`IxžšO^NžsDIO…AjlsAvYgMsIbdbWN.`IjlO^uhjlOBrcX\OZ\KhO™…IOBxhOjwsnbY“•jwsnN.OBš`AjD$XDIOZlrwKhO<v.cdxˆPYOBr§Zlcd`AxŸ€I—

˜Zˆs¤MjwX[ZbdOBƒIOb`I“”vhOZlsIcdbfXBœZlKhO&“•jlsIN.Oš`IjOD snuhuhbcOBX]Z\` sIx+W¢vhsFZwsXoZlj\gar§Z\gMj\O&šKhcfrwK-KasIXžbcdxMOBsnj

OBx5Z\jl`Iu+WsnxMv"rsIx¢_0O&vhOBr`AN.ua`5X[O<v¢cx5Z\`¨j\OB…Ic`IxMX]r`AxhxhOBrZ\O<v¢_+W s¨…Ib`I_MsIbdbWX[uasnjwX[O#…IjwsnuhK4FZ\KMcX

cxMrbdgMvhOBXuMsIj\OBxAZlKhOBX\cfXš`AjlvhXBœ3Z\jlOO<XœAsnxMv]…IjwsnuMKMXŠ`Ix.X[ghj\“ÉsIrOBXB—JKhO“•jwsnN.OBš`AjDcfXŠZ\KhOBxžX[u0OBrcsIbdc`ZO<v

Zl`žr`IxMxhOBrZ\cƒ5cdZoWˆX[Z\jlgMr§ZlghjlOBX`n“N.OBX\KhOBXB—

P ,$+ 4 W65768965i:A/-n 56592 240T5RB/-Q%:Ulf0 56592 3l 5Clpm$/-=

G¦x]`IjwvYOBj“•`AjZ\KhO“•jwsnN.Oš`IjODSZ\`snuhuMbdW”Zl`”s”rbsAX\XŠ`n“©r`AN$_hcxMsFZl`IjlcsIbA`A_YmoOBrZlXBœFšO¤MjwX[ZŠxhOBOBv$Z\KMsnZGZ\KhO

OBx5Z\jl`Iu+W_0O]bdcxhOBsIjB—”RŸ`Aj\OuMj\O<rcfX[OBbdWŸr`AxMX\cvYOBj™srbfsIXlX

C = (C n )

`n“k`A_YmoOBrZlX™šKhOjlO

n

cfXScdx5Z\OBxMvYO<v sAX”s#X\c`ZO.uMsnjwsnN.OZ\Oj

c

Z\KhO.x+ghN$_0Oj`I“X\`IN.O.ObON.Ox5ZwsnjlW O e”sIxMv¨sIXlX[ghN.O]Z\KasFZ”Z\KhOX\OZ

C n

`I“

`A_YmoOBrZlX`I“ŠX\c&ZBO

n

KMsAXs$¤axhc–ZlOrsIjlvYcxMsIbdcdZoW

|C n |

—kJKhO”Ox5Zlj\`Au5W

||C n ||

œhvYO¤axhOBv#_+W

||C n || := lg |C n |

šcdZ\K

lg(x) = dlog ₂ (x + 1)e

œYN.OBsAX[gMj\O<XZlKhOvYcƒIOBjlX\c–ZoWˆ`n“ZlKhOrbfsIXlXB—

˜yrbsAX\XKMsAXbdcxhO<snjOx5Zlj\`Au5Wžcd“ŠZ\KhOBj\O”O±YcfXoZwX^s.r`AxMXoZwsnx5Z

α

X\gMrwKˆZlKMsFZ

||C n || = αn + o(n),

^šKhOx

n

…I`+OBXZl`]cxY¤MxMc–ZoW

.

G¦x&`IZ\KhOBjZ\OBj\NžXBœYZ\KhOrsnjwvYcxMsnbcdZoW`n“ŠZ\KhOrbfsIXlX

C n

…Aj\`Fš^Xjl`Igh…AKhbdWˆbdc`DIOsžX\cdN.uhbOO±Yu0`IxhOBx5Z\cfsnb

2 ^αn

^œ

sIxMv

αn

_hcdZlXGsIj\OxhOO<vYOBvZ\`ScdxavYO±$sIbdb+ObON.OBxAZwX—ŠJKhOr`AxMXoZwsnx5Z

α

cfXŠX\`IN.OZ\cN]O<XrsnbbOBvZlKhOOx5Z\jl`Iu+W u0OjX[c`ZOqghxhcdZNF

α = 2

_hcdZlXuaOBjxh`YvYOq“•`Ij_McdxMsIj\W$Z\jlOO<Xœ+snxMv«œ5sAXkcxMvYcfrsFZlOBvsI_a`FƒAOIœ

α = 1.62

^_Mc–ZuaOBj

Zlj\cfsnxM…IbOBX“•`AjkZ\jlcfsnxh…AghbsnZ\c`IxMXBœIsIxMv

α = 2

_hc–ZwXu0OjOBvY…AO“•`Ij~F¥¦r`AxhxhOBrZ\O<vuMbsIxMsnjk…AjlsIuhKMXB—Gª™_aX[OBj\ƒAO KM`FšOBƒIOj©ZlKMsFZX[`AN.OkrbfsIXlX[O<Xœ<bdc`DIOkZ\KhOrbfsIXlX[O<X‘`n“Yu0OjlN$gYZwsFZ\c`IxaX«`n“

{1, . . . , n}

`Ij«`I“h…IOxMOjwsnb

n

¥ÎƒIOj\Z\O±

…AjlsIuhKMXKMs3ƒAO™xh`Ax&bdcxhOBsIjOx5Z\jl`IuhcOBXBœY`n“Š`IjwvYOj

n lg n

^—

£¨Ocx5Z\OBxMvZl`vYO<r`IN.u0`AX\OOBsArwK `I_hmoOBr§Z]`n“

C

cdx5Zl`¬uhcOBrOBX$ZlsDAOx“•jl`IN srsFZwsnb`I…¯`I“qX[NžsIbdbOj

`A_YmoOBrZlXNFsAXG`Iuhu0`AX\OBvZl`uhjlOƒ+cd`AgMXš`IjOD+XBœnšO^vY`xh`IZkj\O<e5ghcdjlOZ\KasFZkZlKhcXrsnZlsnb`I…r`Ix5ZlsIcdxMXOBbdOBN.Ox5ZlX

`I“

C

œ_MgYZjlsnZ\KhOBj”Z\KMsnZ”cdZ$r`Ax5ZlsncxMX”OBbdOBN]OBx5ZlX”`n“s&rbfsIXlX

D = (D m,k )

œX[garwK¬ZlKMsFZZlKhOjlO.O±YcX[ZlXs r`IxMX[ZlsIx5Z

β

sIxMvs]u0`AX\c–ZlcdƒAOS“•ghxMr§Zlcd`Ax

g(m) = O(lg m)

X\gMrwK#Z\KMsnZ

||D m,k || ≤ αm + β k lg m + g(m)

^{c €_e}

sIxMv

|D m,k | = 0

^cd“

k ≥ Km

^c“•`AjqX\`IN.Or`IxaXoZwsnx5Z

K

^e§—

JKhO`A_YmoOBrZlX`I“

D m,k

sIj\Ocx5Z\OxavYOBvZ\`_0OgMX\OBv$Z\`vYO<X\rj\c_0OZlcdx+WuhcdO<rO<X`n“©ObON.Ox5ZlX`I“

C

^œnšcdZ\K

m

Z\KhO™x+ghN$_0Oj`n“‘ObON.Ox5ZwsnjlWrOBbdbfXBœ5sIxMv

k

suMsnjwsnN.OZ\Oj<œArBsnbbdO<v]Z\KhO C OW $#9i œYvYOBXlrjlcd_Mcdxh… ZlKhO™r`IN.uhbO±YcdZoW`I“0ZlKhOS_a`AghxMvhsIj\W`n“‘Z\KMOquhcOBrOI—pG¦xžZ\KMO™sn_0`FƒIO_0`IgMxMv.Z\KMO™r`AxMX[Zlsnx5Z

α

cfXO±+u0OBrZ\O<v Zl`_0O]Z\KhOžXlsnN.O.sIX™“•`Ij

C n

œsnxav

αm

^{cXSZlKhO 7} `I“Z\KMO]OBx5Z\jl`Iu+WIœ©šKhcbdO

βk lg m

^cfXSZ\KhO

O±+Z\jwsžsnN.`Ighx5Z^`I“kOx5Z\jl`Iu+WˆvYgMOZ\`Z\KhO$X\uhbc–Z\Z\cxh…cx5Z\`žZlcdx+W#uhcdO<rO<X— W#vhO¤MxhcdZ\c`Ix¬`n“Z\KhO$Ox5Z\jl`Iu+WIœ

||D m,k ||

_hcdZlXˆsnjlO&X\g $rcOx5Z.Z\`cxMvYO±"sIx"OBbdOBN.Ox5Z`n“

D m,k

cx›s¨Zwsn_hbO&j\OBuhjlOBX\Ox5Z\cxh…snbbZ\Kh`5X[O

OBbdOBN.Ox5ZlXB—£OsAX\X\ghN.O”N]`Aj\O”uhjlOBrcX\ObWžZlKMsFZOBsArwKOBbdOBN.Ox5Z

M

^`I“

C n

rBsnx#_aOvhOBr`AN.ua`5X[O<vˆcx5Z\`

s.r`IbbOBr§Zlcd`Ax

(M 1 , . . . , M p )

`I“ObON.OBxAZwX`n“

D

^œhšcdZ\K

M j ∈ D n j ,k j

“•`Aj^X[`AN]O

n j

œ

k j

—

snxMv#snx#`IjlcOx5Z\O<vˆ…AjlsIuhK

G

šcdZ\K&ƒAOj\Z\O±ˆX\OZ

{N 1 , . . . , N p }

œhvYOBXlrjlc_hcdxM…Kh`Fš Z\KhO”Zlcdx+WuhcOBrOBX

{M 1 , . . . , M p }

sIj\O”…IbghO<vZl`I…IOZ\KhOBjZ\`.“•`Aj\N

M

œYcx#Z\OjlNžX`n“sIv3m[sArOBxMrcOBX_0OZošOOBx&X\cfvYOBX`I“

Z\KhO

M j

—

R¯`IjlO™uhjlOBrcX\ObWIœhs]ƒAOj\Z\O±

N j

`I“

G

r`AxAZwsncxMXZ\KhO”“•`Abdb`Fšcxh….cdxY“•`Aj\NžsnZ\c`Ix?F

n j

œ

k j

œhsnxavˆZlKhOcxMvYO±`n“

M j

cx

D n j ,k j

œ

cdxMvhO±YOBXqZ\`žZlKhO$xMOc…IK+_a`AjlXq`n“

N j

cx

G

^c“•`Aj™O<sIrwK¯X\cvhO`n“

M j

œaZ\KMO$cxMvYO±Ÿ`I“GZ\KhO]r`IjljlOBX\ua`AxMvYcxh…

xMOc…IK+_a`AjsnxMv&X\cvYO_e§—

G¦xuMsnj\Z\cfrgMbsIj^Z\KMOx+ghN_aOBjS`I“kOBvY…AOBX™cdx¬Z\KhO.…AjlsIuhK

G

cXS_0`IghxavYOBv¬_5W&ZlKhOZ\`nZwsnbŠx+ghN$_0Oj”`n“X\cfvYOBX cx#Z\KhO

M j

—

£¨O¤MjwX[ZqxhOO<vŸsnx&K+W+ua`IZ\KhO<X[cfX^OBxMX[gMj\cxh….Z\KasFZ^ZlKhOsAvhvYcdZ\cƒIOuMsIj[Zq`I“Z\KhOOBx5Z\jl`Iu+WˆNžsFZwrwKhOBX^Z\KhO

OBx5Z\jl`Iu+W

αn

`n“Z\KhOrbsAX\XZl`.šKhcrwK

M

_0Ob`IxM…AXB—

&´· ‹ ³ ‰ ɉ

7 i 1 _! X g _ >7%$^d7 &( hJ

"

n 1 + . . . + n p = n + O n

lg n

,

ª™_MX\OjlƒIOZlKMsFZkšOvY`xh`nZkjlOBe5ghcjlOZlKhO^rbfsIXlX

D m = S

k D m,k

Z\`”KMs3ƒAOZlKhOqXlsnN.OOx5Z\jl`Iu+W$sAX

C m

F

cx#uMsnj\Z\cfrghbfsnjcx`AghjZoš`]NžsncxO±YsIN.uhbdO<X_aOBbd`Fš šO”šcdbb‘KMs3ƒAO

||D m || ∼ α ⁰ m

^šcdZ\K

α ⁰ > α

^—k˜qXs

r`IxMX\OBe5ghOBxMrOAœ+cdx#`IjwvYOj“•`AjZlKhOjlOuhjlOBX\Ox5ZlsnZ\c`IxžZl`._aOr`AN.uMsIrZšO”xhOO<vs]X\OBr`AxMvK5W+u0`nZlKhOBX\cX`Ax

ZlKhOx+ghN$_0Oj`I“X\cfvYOBXB—

&´· ‹ ³ ‰ ɉ

7i 17 g! r _ _ ( [C ' S#di

k 1 + . . . + k p = O n

lg n

.

JKhcfX#X[O<r`Ixav›K5W+u0`nZlKhOBX\cXcN]uMbdcOBXˆZ\KMsnZˆZlKhO¬šKh`AbdO¨r`5XoZˆ`I“$XoZl`IjlcdxM…cdxMvhO±YOBXˆZ\`"snbb^Z\KMO

M i

jlONžsIcdxMX`I“Š`AjlvYOBj

αn

^—

qO±+ZK+W5u0`nZlKhOBX\cfX”OxMX\ghjlOBXSZ\KasFZZ\KMOžObON.Ox5ZlX`n“

D

œxhOBOBvYO<v¨cdx¨Z\KMOvYOBr`IN.ua`5X[cdZ\c`Ixœ‘¤hZcx¡s X\Nžsnbb«rsnZlsnb`I…a—

&´·

‹ ³ ‰ ɉ 7 YO 9 _g! b i

M j

[ Y S#1%$^ OO

c

3 lg n

c lg n

^!

O

c < 1/α ⁰

^{! f}

α ⁰

^{g h[d%$^ CT $#}

D

^"

G¦xMvhOOBv¢sIXlX[ghN.OžZlKMsFZZ\KhOcdxavYO±YOBX]snjlOžu0`IcxAZlcdxM…¬cxAZl`¬sŸZwsn_hbO

A

j\OBuhj\O<X[OBx5Z\cxh…ŸO±Yuhbcrc–ZlbdWsIbdb OBbdOBN.Ox5ZlX`n“

D m

“•`Ij

m ≤ c lg n

“•`IjX[`AN.Oqr`AxMXoZwsnx5Z

c

^— GΓ‘ZlKhO”r`IxaXoZwsnx5Z

c

cfXrwKh`AX\OxX\NžsnbbaOBxh`Igh…AK«œ

ZlKhOx+ghN_aOBj$`n“OBxAZlj\cOBX$cdx¡ZlKhOZwsn_hbOcfX$X\gh_Y¥ÎbdcxhO<snj^F$cxMvYOO<v

||D m || = α ⁰ m ≤ cα ⁰ lg n

œGX[`ŸšcdZ\K

c < 1/α ⁰

œaZlKhO]x5gMN$_0OjS`n“OBxAZlj\cOBXqcdx¬Z\KhOZlsI_hbO$cfX

O(n ^{cα 0} )

—JKhO$Z\`nZwsnbGX[Z\`Ijwsn…AOr`5XoZS`n“JŠsn_hbO

A

ZlKhOx¡jlONžsncxMX”X\gh_Y¥ÎbdcxhOBsIjsIX”b`Ixh…ŸsIXSZlKhO.cdxh“•`IjlN.snZ\c`Ix“•`IjO<sIrwK¨uhcdO<rO.cfX”ua`AbdW+xh`AN]cfsnbGcx¡c–ZwXX[c`ZO

m = O(log n)

—fG¦x&uMsnj\Z\cfrghbfsnj<œ+O±Yuhbcrc–ZqsIxMX[šOjwXZ\`.b`+rBsnb«e5ghOBj\cOBXrBsnx#_aOX[Z\`Aj\O<v‘—

P ,P ."/@AQ1lf3570924<R<

qW+ua`IZ\KhO<X[cfX‚sn_0`FƒIOOxMX\ghjlOBXqZ\KMsnZ™ZlKhO]…IjwsnuhK

G

^KasIX

O(n/ lg n)

OBvY…AOBXBœ©sIxMv qW5u0`nZlKhOBX\cfX”~ZlKMsFZ cdZ^KMsAX

O(n/ lg n)

ƒIOj\Z\cfrO<X—GJKhcfXcfX^snbj\O<sIvYWžOBxh`IgM…IKZ\`.`I_YZwsncxŸr`IN.uMsAr§ZlxhOBXlX—

³

  i hO 7 ! !T 7' O $#di O!

G

^C

O(n)

^{! "}

N $#" t^OBrsIbdbZ\KasFZ”OBsIrwK¬ƒIOj\Z\O±

N j

`I“

G

r`AxAZwsncxMXNF

n j

œ

k j

sIxMv&ZlKhOcxMvYO±¯`n“

M j

cdx

D n j ,k j

œ«sIX

šObb«sIXcxMvYO±YOBXZ\`.ZlKhOxhOBcd…AK5_0`IjwX`n“

N j

cdx

G

^—

˜™X

n j

snxav

k j

sIj\O¬X\NžsnbbdOBjžZ\Kasnx

c lg n

^snxMv

Kc lg n

jlOBX\uaO<r§ZlcdƒAObWIœšO¬rsIx XoZl`IjlOŸZ\KhOBNcdx

2 lg lg n + O(1)

^_hcdZlXB—

£­KhOBxŸX[ghN.N.cxh…ž`FƒIOBjZlKhO

O(n/ lg n)

ƒIOBj[ZlcrOBX`n“

G

^šO”…IOZqs

O

n lg lg n lg n

_Mc–ZwXr`AX[ZB—

a™X[cxh… e5gMsnZ\c`Ix

c

€_eZ\KhOcxMvYO±#`I“

M j

jlOBe5ghcj\O<X

αn j + β k j lg n j + O(lg n j )

_hcdZlXB—P+ghN.N.cdxh…

`FƒAOjqsIbdb

M j

W+cObfvhX”s…Ib`I_asnbr`AX[Z™`I“

α P

j n j + β( P

j k j ) lg(max j n j ) + O P

j lg n j

= αn +

O(n/ lg n) + O(n/ lg n) lg lg n

^—

a™X[cxh… qW+ua`IZ\KhO<X[O<X¯€¬sIxMv ‚YœZlKhOr`AX[Zˆ`n“sIbdbScdxavYcrOBXZ\`-JŠsn_MbdO¬˜ Z\K+gMXˆj\O<vYgMrO<XžZl`

αn + O

n lg lg n lg n

_hcdZlXB—

P+cxMrO.Z\KhOBj\OsIj\O

O(n/ lg n)

ƒAOj\Z\cfrOBX”cx

G

œZlKhOcxMvYO±¨`n“s#xhOc…IK+_0`IjgMX\OBX

lg n + O(1)

^_Mc–ZwX—

HGOBj[ZlO±

N j

KMsAX

O(k j )

xMOc…IK+_a`AjlXBœ©Z\K+gMXSZlKhO]Z\`IZlsnbGr`AX[ZS“•`AjXoZl`Ijlcdxh…cdxavYO±YOBXSZl`#Z\KhO.xhOBcd…AK5_0`IjwX™cX

(lg n + O(1)) · P

j k j = O(n)

—PYghN.N]cxh…]snbbMZlKhOBX\O™r`IN.ua`AxhOx5ZwXkW+cdOBbvMXGZ\KMOSrbsIcdN.OBvžr`IN.uhbO±YcdZoWI—

P ,j V1336013570924<R<

G¦x]ZlKhO^uhjl`+`n“a`I“ION.Nžs.€Z\KhOqbdcxhOBsIjGuMsnj\Zk`n“0Z\KMO^XoZl`Ijwsn…IOrBsnN.O“•j\`AN Zoš` D5cxMvhXk`n“‘r`Ix5Zlj\c_hgYZlcd`AxMXF

ZlKhO.r`Ix5Zlj\c_hgYZlcd`Ax¬`n“cdxMvhO±YOBXScx¯Z\KMO.rBsFZwsnb`I…šKhcfrwK¨cX”vY`AN]cxMsnZ\OBv¬_+W&Z\KhO]Ox5Z\jl`Iu+W

αn

œsnxMv¯Z\KhO r`Ix5Z\jlc_hgYZ\c`Ix¡`I“ZlKhOxhOBcd…AK+_a`Aj\cxh…ŸjlObfsFZ\c`IxaX”cdx¡ZlKhOˆ…AjlsIuhK

G

^— G¦x¡ZlKhcXX[O<r§Zlcd`Ax«œZlKhOˆr`AX[Z$`n“Z\KMcX X\OBr`IxMvuMsIj[ZcfXj\O<vYgMrO<vZl`ž_aOX\gh_Y¥ÎbcdxhO<snj<—

JKhO…AjlsIuhK

G

cfXuMsIj[Zlc–Zlcd`AxhOBv$cdx5Z\`

(

uhcdO<rO<X…AsFZlKhOjlcxh…

O(lg n)

Zlcdx+WuhcOBrOBXB—ŠRŸ`Aj\OuhjlOBrcX\ObW

šOsIXlX\ghN.OZlKMsFZšOsIj\Ožsn_MbdO.Zl`¯r`IxaXoZlj\gMrZ$s&…IjwsnuhK

G ⁰

`A_YZlsIcdxhO<v¨_5WN.Ojl…Icxh…ŸX[OBƒIOjwsnbƒAOj\Z\cfrOBX

`I“

G

cx¯sžƒAOj\Z\O±#`n“

G ⁰

sIxMv&bcdx7D+cxh…žZoš`X[garwKŸƒIOj\Z\cfrO<Xcd“GZ\KhOBj\OcfXqsIxŸOBvY…AOcdx

G

_0OZošOOBx&Zoš`ž`I“

ZlKhOcjqOBbdOBN.Ox5ZlXB—qJKhOƒIOj\Z\O±&X\OZ™`n“

G ⁰

^cfX

{N ₁ ⁰ , N ₂ ⁰ , . . . N _p ⁰ 0 }

snxavŸšOvYOxh`IZ\O

|N _i ⁰ |

Z\KhOx5gMN$_0Ojq`I“

ƒAOj\Z\cfrO<Xq`I“

G

Z\KMsnZSKas3ƒIO_0OOBxN.Ojl…IO<v&Z\`#`I_hZlsncx

N _i ⁰

^sIxMv

deg ⁰ (N _i ⁰ )

Z\KhO.vYO…Aj\OBO$`I“

N _i ⁰

^cdx

G ⁰

^—˜

ƒAOj\Z\O±

N _i ⁰

^`n“

G ⁰

Z\KMOxŸr`AxMX[cfX[ZlX`n“Z\KhO”“•`Abdb`Fšcxh….cdxY“•`Aj\NžsnZ\c`Ix?F

T

|N _i ⁰ |

^snxav

deg ⁰ (N _i ⁰ )

T ZlKhOcxY“•`IjlNžsFZ\c`Ix“•`Ij^sIbdb«Z\KhO”ƒIOBj[ZlcrOBX

N j ∈ N _i ⁰

œMXoZl`IjlOBvcdx&sžX\cdxh…AbdO”N.ON.`Aj\WZB`IxhOA—

T cxMvYO±YOBXZl`]xMOc…IK+_a`AjlX`I“

N _i ⁰

^cdx

G ⁰

^—

JKMOS…AjlsIuhK

G ⁰

KMsIXN.`IjlO`FƒAOjZ\`žXlsFZ\cfX[“•WZ\KMO™“•`Abdb`Fšcxh….K5W+u0`nZlKhOBX\OBXB—

&´· ‹ ³ ‰ ɉ 9C $# h%! 7 'EO Y( _!

N _i ⁰

^T

¹ ₃ lg n ≤

|N _i ⁰ | ≤ lg n

^"

JKhOx+ghN$_0Oj]`n“^O<vY…IO<X“•jl`IN s¯…AcdƒAOxƒIOBj[ZlO±¡`n“

G ⁰

rsnx¢_aO_a`AghxMvYO<v _+WX[ghN.N.cxh…¬`FƒAOjcdZlX OBbdOBN.Ox5ZlXNF

deg ⁰ (N _i ⁰ ) ≤ P

N j ∈N _i ⁰ deg(N j ) = P

N j ∈N _i ⁰ k j ≤ |N _i ⁰ |Kc lg n = O(lg ² n)

^cšKhOBj\O

K

^cX

s”r`IxMX[ZlsIxAZvhOBXlrjlcd_hcxh…SZ\KMO^X[c`ZO`I“aZlKhO_a`AghxMvhsIj\W$`n“0Z\cx5WuhcOBrO<Xœ5sIXcx5Z\jl`+vhgMrO<v]snZ e5gMsFZlcd`Ax

c

€^ee§—

gYZ^šO”xhOO<vsžX[Z\jl`IxM…IOjK+W+ua`IZ\KhO<X[cfX`Ix#Z\KMO”Z\`nZwsnb‘x+ghN_aOBj`n“OBvY…AOBX`n“

G ⁰

^—

&´· ‹ ³ ‰ ɉ 7 C O' S# Y S#

G ⁰

^{d ! C ' $# _!}

deg ⁰ (N ₁ ⁰ ) + . . . + deg ⁰ (N _p ⁰ 0 ) = O n

lg ² n

.

³   i hO 7 ! ! ! 7 i O!

G

^R

αn +

O

n lg lg n lg n

"

N $#"

t

cjlX[Z”šOxh`nZlcrO$ZlKMsFZ”cdxZ\KMO]sI_a`FƒAO$jlOuhjlOBX\Ox5ZlsnZ\c`IxŸ`I“

G

^cION.Nžs¬€_e§œ«sƒIOj\Z\O±

N j

gMX\OBX

O(lg ² n)

^{_hc–ZwX c}

O(lg n)

_Mc–ZwX^“•`Aj^Z\KMO$cxMvYO±Ÿ`I“

M j

cxŸZ\KhOj\OBbdOBƒFsnx5Z™rsnZlsIbd`A…snxMv

O(lg n)

“•`Ij™OBsArwK

`I“cdZlXBœŠsnZN]`5XoZ<œ

Kc lg n

xhOc…IK+_0`IjwXOe™šKhcfrwK¡…IcƒIOBXSO<sIX\cdbW¬s#_a`AghxMv¨`n“

O(lg ³ n)

“•`Aj”Z\KhOžN.ON.`Aj\W xMOOBvhOBv_5W#snbb‘ƒIOBj[ZlcrOBX`n“

G

ZlKMsFZ^N.Ojl…IOScx&X\`IN.O

N _i ⁰

^—

qOxMrOqs”bd`YrBsnbYjlO“•OjlOxarOZ\`N.OBN]`Aj\WsIvhvYjlOBXlX\OBXjlObfsFZ\cƒIOZl`X[`AN]O D+xh`Fšx

N _i ⁰

j\O<eAgMcdjlOBX

lg lg n + O(1)

^_hcdZlXB—

IOZ$gMX$xh`Fš j\OZ\ghjlx¨Z\`ŸZlKhOcxY“•`IjlNžsFZlcd`Ax XoZl`IjlOBv¨cdx s¯ƒIOj\Z\O±

N j ∈ N _i ⁰

^`n“

G

—¯J`ŸjlO“•OBjZ\`¬s xMOc…IK+_a`Aj

N l

`I“

N j

œYcdxMX[Z\O<sIv`n“ŠgMX[cxh…žsnx&sIvMvYj\O<X\XcxZlKhO”šKh`IbO”N.ON.`IjlWvYOƒA`nZlOBvžZl`

G

œMšO”jlO“•Oj

¤ajlX[ZZ\`.Z\KMOƒIOj\Z\O±

N _k ⁰ 3 N l

snxavZlKhOx&…IcƒIOSZlKhOsIvhvhj\O<X\X`I“

N l

cx#Z\KhON.ON.`Aj\W ZB`IxhOvYOBƒI`IZ\OBvˆZ\`

OBbdOBN.Ox5ZlX`I“

N _k ⁰

^—

tO“•Ojlj\cxh…qZ\`

N _k ⁰

cfXvh`IxhOcdxavYcdjlOBrZ\bW”_5W…Acdƒ+cxh…qcdZlXcxMvYO±cxZlKhOsnjljls3W™`n“hZlKhOIœIsnZN.`AX[ZBœ

O(lg ² n)

xMOc…IK+_a`AjlX`n“

N _i ⁰

—kJK+gMXs$jlO“•OBj\OBxMrOqZ\`]s$xhOBcd…AK+_a`Aj

N l

`n“

N j

r`5XoZwX

O(lg lg n)

_hcdZlXB—GJKhOSsIxMsnbWYX[cfX

`I“ZlKhOX[c`ZO”`I“

G

cXX\cdN.cbsIjZ\`]Z\KMOsnjl…IghN.Ox5ZgMX\OBvcdx ION.Nžs€YFGKhOjlOSZ\KhOr`AX[Z`n“Šs]jlO“•OBj\OBxMrOSZ\`

s]xhOBcd…AK+_a`Ajvh`5O<X…I`“•jl`IN

O(lg n)

^vY`FšxˆZl`

O(lg lg n)

šKhcrwK&W+cObfvhXZ\KhOrbsIcdN.O<vr`IN.uhbO±Yc–ZoWA—

JKhOsAvhvYcdZ\c`IxMsIb0r`AX[Z“•`Aj

G ⁰

cfXX[gh_MbdcxhOBsIjX[cxMrOScdZKasIX

O( _lg ⁿ 2 n )

ƒIOj\Z\cfrO<X_+W qW5u0`nZlKhOBX\cfX°.snxav O<vY…IO<X_+W ^W+u0`nZ\KMOBX\cX^{]snxavO<sIrwK&r`5XoZwX

O(lg n)

^_hcdZlXB—

P , / 3lpmoQ[mSlf09lpB6S5:Ulf0 @A24<5 3/01012435768965i:

JKMO¨sI_a`FƒAOŸ“•jlsIN.Oš`IjOD-O<sIX\cdbW­snuhuhbcOBXZ\`-Z\jlOO<XF¢s Z\jlOO¨šc–ZlK

n

ƒAOj\Z\cfrO<XrBsnx®_0O¨j\O<rghjwX[cƒIOBbdW vhOBr`AN.ua`5X[O<v cxAZl`¨Z\cx5W Z\jlOOBX.`I“™b`I…5snjlc–ZlKhN.crX[c`ZOAœšcdZ\K›X[cfvYO<Xžr`IxaX[cfXoZlcdxM…`I“™OBvh…IOBXžr`IxhxMOBr§ZlcdxM…

xM`+vhOBX`n“GvYc0OBj\OBx5ZZlcdx+WˆZ\jlOOBXB—

RŸ`Aj\O”cx5Z\OjlOBX[Z\cxh…AbdW qW5u0`nZlKhOBX\OBX”€Iœa‚+œM~YœM°]sIxMvŸ{$sIj\O”xMsnZ\ghjwsnbbdWXlsFZlcX[¤MO<vˆšKhOBx#vhOBsnbcxh…šcdZ\K

N.O<X[Kˆr`IxhxMOBr§Zlcdƒ+cdZoW

c

Z\KMsnZcfXBœA“•`AjNžsnuaX`AxˆX[gMj[“ÉsArOBXe§—

t

`Abdb`Fšcxh…“•`IjcdxaXoZwsnxMrO K€MΜ+sZ\jlcsIxh…IghbfsFZlcd`Ax

M

^šcdZ\K

n

“ÉsIrO<XrBsnx­_0Ouasnj\Z\cdZ\c`IxhO<v›cdx5Z\`¢Z\cx+W"jlO…Acd`AxMX_+W›vYOBr`IN.u0`AX\cdxh…-snx®sIj\_hcdZ\jwsnjlW-vhgMsnb X\uMsIxhxhcxh…¨Z\jlOOŸcxAZl`¡Z\cx+W Z\jlOO<X

c

ZlKMsFZcfXBœsX\uMsIxhxhcxh…¨Z\jlOOŸ`n“SZ\KMO¬vYgMsIb^…IjwsnuhKœr`IxhxhO<r§Zlcdxh…sIbdb

“ÉsArO<XsIrrj\`5X\X”O<vY…IO<XOeFghu0`IxjlO“•`IjlN.cdxM…&s

c

bd`YrsIbeuhbsIxMsnj”Zlj\cfsnxM…IghbfsFZlcd`Ax¬“•jl`IN O<sIrwK¨Z\cx+W¯Zlj\OBOIœs

vhOBr`AN.ua`5X[cdZ\c`Ix

(M 1 , . . . , M p )

cfX`A_YZlsIcdxhO<v‘œhX\gMrwKˆZlKMsFZ^F

¥kO<sIrwKZ\cx+WžZ\jlcsIxh…IgMbsnZ\c`Ix&r`Ix5ZwsncxMX_aOZošOBOx

1

12 lg n

^snxav

¹ ₄ lg n

Z\jlcfsnxh…AbdO<X

c

Z\KMsnZ^cXBœ

c = 1/4

^e

¥kO<sIrwKZ\jlcsIxh…IbOS_aOBbd`Axh…AXZl`žO±hsIrZ\bW`IxhOSZlcdx+WžZlj\cfsnxh…AghbfsFZ\c`IxaX

¥_a`AghxMvhsIj\WOBvY…AOBX^sIj\OjlO…Aj\`Aghu0OBv#cdx5Zl` i

c

X\OBe5ghOBxMrO<X`n“GOBvh…IOBXqX[OBuMsnjwsFZlcdxh…žcdZ^“•jl`INZ\KhO]X\sIN.O

Zlcdx+WžZlj\cfsnxM…IghbfsFZlcd`AxMXOe—

JKMO_0`Ighxav`Ix$Z\KhOx+ghN$_0Oj`I“MOBvY…AOBXŠ`n“MZ\KhO…IjwsnuhK

G

Z\KMsnZGvhOBXlrjlcd_0OBXŠsIv3m[sArOBxMrW”jlObfsFZ\c`IxaX_0OZošOOBx X\cfvYOBX`I“Zlcdx+WžZlj\cfsnxh…AghbfsFZ\c`IxaX“•`Abdb`Fš^X“•jl`IN kgMbdOBj Xj\OBbsnZ\c`Ix«—

JKhcfXvYcj\O<r§ZsnuhuMbdcfrsnZ\c`Ix¯`I“Z\KMO$“•jwsnN.Oš`IjOD#Z\`Z\jlcsIxh…IgMbsnZ\c`IxMXqgMX[cxh…&snx¨snjl_hc–ZljlsIj\WŸX\uMsnxMxhcdxM…

Zlj\OBO“•`IjwrO<X^gMXBœ©sIX^O±YuhbsIcdxMOBv&cx>Kd€M8œaZ\`#r`AxMX[cfvYOBj^Z\KMOrsnZlsIbd`A…

D m,k

`I“snbbuhbfsnxMsIj^Zlj\cfsnxh…AghbfsFZ\c`IxaX

šcdZ\K

m

OBvY…AOBXŠsnxMv$`IxhO_0`IghxMvMsnjlW”rWYrbOIœFšKhcfrwK$cfXvYcdƒ+cfvYOBvcxAZl`

k

X[cfvYOBXB—JKMOOBxAZlj\`Au+WS`I“hZ\KMcXGrbsAX\X

`I“Z\jlcsIxh…IghbfsFZlcd`AxšcdZ\Ks._a`AghxMvhsIj\WcXqKh`FšOBƒIOBj

α = 2.17

_hcdZlXquaOBj^“ÉsArO

c

uhbdgaXqs

βk lg m

^{ZlOjlN Zl`}

ZwsDAOkcdx5Zl`™sIrBr`Aghx5Z«Z\KhOx+ghN$_0OjŠ`n“MX\cfvYOBXcdx5Zl`qšKhcfrwKZ\KMO_0`IghxavhsnjlW™cfXŠvYcdƒ+cfvYOBve§—˜qXŠsqr`AxMX\OBe5ghOxarOIœ

ZlKhOˆsAvhvYcdZ\cƒIOžuMsIj[Z`I“ZlKhOOBxAZlj\`Au+W¯bdO<sIvhXZ\`¯s&jlOuhjlOBX\Ox5ZlsnZ\c`Ix¨šKhcfrwKcXr`IN.uMsAr§ZBœŠ_hgYZ]X[gMrBrcxMr§Z

`AxhbW“•`IjrbfsIXlX`n“©Z\jlcsIxh…IgMbsnZ\c`IxMXšcdZ\Ks”_0`IghxavhsnjlW

c

j\O<rsnbb+Z\KasFZkZlKhOqrbfsIXlXG`I“aZlj\cfsnxh…AghbfsFZ\c`IxaX`n“©Z\KhO

X\uhKhOBj\O”KMsAX`IxhbWOBxAZlj\`Au+WŸ€I—„A‚$_hc–ZwXu0OjZlj\cfsnxh…AbdO_e§—

G¦x¨X[ghN.NžsnjlWIœ0`IxMOrsIx¯O±Yu0OBrZqZ\KMO…AOxhOBjlsIb‘“•jlsIN.Oš`IjODˆZl`ˆW+cdOBbv¯OBsIX\cbdW&r`AN]uasIr§ZSj\OBuhjlOBX\Ox5Zlsn¥

Zlcd`AxMX“•`IjN.OBX\K#r`IxhxMOBr§Zlcdƒ+cdZoWžšc–ZlK_0`IgMxMvYOBvˆ“ÉsIrOSvhO…IjlOO<X— q`FšOBƒIOj<œAsAXšOX\KMsnbb‘X[OBOIœ+N.`IjlOSrBsnjlO

cfXxhOBOBvYO<vˆZl`žrwKh`+`AX\O™ZlKhOvYO<r`IN.u0`AX\c–Zlcd`Axˆcx&`IjwvYOjZl`]uMj\`YvYgMrOs]X\gMrBrcxMr§Z^jlOuhjlOBX\Ox5ZwsFZ\c`Ix—

P , / 3lpmol lf3240W3: V924B6S24<X6$0

O (1)

^576$@A2

GÎZqX[Z\cbb«j\OBNžsncxMXZ\`ž`A_MX[OBj\ƒAOqZlKMsFZZlKhONghb–Zlc–¥ÎbOƒIOBb«XoZlj\gar§Z\gMj\O

c

vYOBXlrjlcd_0OBv_+Wˆ…AjlsIuhKMX

G

^sIxMv

G ⁰

^œYZl`n¥

…AOZlKhOjŠšc–ZlKZlKhOcdxY“•`Aj\NžsnZ\c`Ix$sAX\X\`YrcfsFZ\O<v”šc–ZlK$Zlcdx+WuhcOBrOBX

M j

e§œAvY`+OBXŠsnbbd`Fš¡Zl`™u0Oj\“•`IjlN O$rcOx5Z\bW

X\`IN.O”b`+rBsnb«sAv3m[sIrOxMrWeAgMOjlcdO<X

c

xhOBcd…AK5_0`Ijlcxh…žeAgMOjlcdO<X`AxOBbdOBN.Ox5ZlsIj\WˆrObbXe§—

³   RTO 7i% O

M

^{fo YO 9 _g!}

[(M 1 , . . . , M p ); G; G ⁰ ]

^i-

" #oO Y" $# hd!

M j

& ( O 7 N R# io S#oO 7

Y C i h $#( g h o%$N

O(n j )

^{! 7r99 _& 7"}

O(1)

g+7 `! $#

M

^{g! # i YO9 "}

N $#" JKMOcfvYOBscfXqZlKMsFZ”ObON.OBxAZwsnjlW¯rOBbdbfX

c

“ÉsIrOBXBœ‘ƒIOj\Z\cfrO<Xœ©O<vY…IO<XOe™snjlOX\KMsnjlOBv¯_5W¯snZSN.`5XoZ”`IxhO

`AjZoš`¬sIvFm[sIrOBx5ZZ\cx+W¨uMcdO<rOBX

c

_0OBrBsngMX\Oˆ`I“ZlKhO&vYO¤MxMc–Zlcd`Ax `n“…IjwsnuMK

G

eœGO±hrOBuYZ$“•`AjsX[NžsnbbX\OZ

`I“

C&J c

X\KMsIj\O<v_+W¡sIx¢snjl_hcdZ\jwsnjlWx+ghN_aOBj`I“Z\cx+WuhcdO<rO<XOe—¡JKMOˆuhbfsnxMsIj\cdZoW¡`n“^…AjlsIuhK

G

OBxMX[gMj\O<XZ\KasFZ]Z\KhOx5gMN$_0Oj]`n“^N$gMb–ZlcduhbOrObbXcfX

O( _lg ⁿ _n )

œGKhOBxMrO#sIv3m[sArOBxMrW¡e5ghOjlcdO<Xcx+ƒI`Ibƒ+cdxM… NghbdZ\cuhbdOžrObbXrBsnx¬_0OžsnxMX\šOjlOBvŸšcdZ\Ksnx¨sIvhvhc–Zlcd`AxMsnbcxY“•`IjlNžsFZ\c`Ixœ«šKhcfrwK¬jlOBe5ghcj\O<X™cx¨`FƒIOjwsnbbs

xMO…Ibc…Ic_hbdOsIN.`Ighx5Z^`n“GO±5ZljlsžX[Z\`AjlsI…IOA—G¦x5Z\ghcdZ\cƒIOBbdWAœMb`YrsnbŠe5ghOjlcdO<Xcx5ƒA`Ibƒ+cdxh….`AxhbdW#s.Z\cx+WuMcdO<rO

M i

sIj\O”snxaX[šOjlOBvˆbd`+`iD+cxh…žsFZZ\KMOcdxY“•`Aj\NžsnZ\c`Ix&XoZl`IjlOBvcdxŸJŠsn_hbO

A

^—

˜v3m[sArOBxMrWŸe5ghOjlcOBXSr`IxarOjlxhcxh…OBbdOBN]OBx5ZlsnjlW&rObbfXqcxMrcfvYOBxAZSZ\`ˆZ\KhO]_0`IghxMvMsnjlW`I“sžZlcdx+W&uhcOBrO

M j

œMj\OBbdWcxMX[Z\O<sIv#`IxZ\KhO$cdxY“•`Aj\NžsnZ\c`Ix#cdx&…IjwsnuMKMX

G

snxavu0`AXlX\cd_hbW

G ⁰

—P+`IN.OrBsnjlOSNgMX[Z_0OZwsDIOBx Zl`žvYOBsIb«šc–ZlK#Z\KhO”“ÉsAr§ZZ\KasFZqs]…IcƒIOBx#rObbsFZZ\KMON]OBOZlcdxh…žu0`Icx5Z^_aOZošOBOxŸs]bd`IZ^`n“Z\cx5WuhcOBrO<XrsIx

Kas3ƒIO”s$xh`Ax#r`IxMX[ZlsIx5Zx+ghN_aOBj`n“Šj\OBuhj\O<X[OBx5ZlsFZlcd`AxMXNFKh`FšOƒAOjZ\KhOx+ghN_aOBj`n“ŠX\gMrwK#X[u0OBrcsIb«rObbfXcX

xMO…Ibc…Ic_hbdOsIxMvZlKhOW#rsIx_0OvYOZlOBrZ\OBv&snZZlKhO

G ⁰

^bOƒAOb8—

# *

3

^{,h# # $ * (}

G¦x&ZlKhcfXqX\OBr§Zlcd`AxŸX[O<r§Z\c`IxŸšOvYO<X\rj\c_aOs.uMsnj\Z\cfrghbfsnj™rsFZwsnb`I….`n“Zlcdx+W&eAgasIvYjwsnxh…AghbfsFZ\c`IxaXsIxMvŸsnx¯sIb–¥

…A`Ijlc–ZlKhN Zl`vYO<r`AN]u0`AX\OˆsIx5WcdjljlOBvYgMrcd_MbdOˆe5gMsAvYjwsnxh…AghbsnZ\c`IxMX”cx5Z\`ŸZlcdx+W¡jlO…Ic`IxaX”ZlsiDIOx¡“•jl`IN Z\KMcX

rBsFZwsnb`I…M—JKhcfXrsnZlsnb`I….XlsFZ\cfX[¤MOBXe5gMsnZ\c`Ix¡€X[`Z\KMsnZZ\KhO”“•jwsnN.OBš`AjD.W+cdOBbvMXs]X\gMrBrcxMr§Z^jlOuhjlOBX\Oxh¥

ZwsFZlcd`Ax«—¬P+cxMrOcdjlj\O<vYgMrcd_hbOˆe5gMsAvYjlsIxh…IgMbsnZ\c`IxMXsIj\O”mogMX[Z]sIxh`nZlKhOjj\OBuhjlOBX\Ox5ZlsnZ\c`Ix¡`n“^~F¥¦r`AxhxhO<r§Z\O<v

uMbsIxMsnj…IjwsnuMKMXœ5ZlKhOj\O<X[gMb–Z^Kh`AbvMX“•`IjZ\KMOBX\OSNžsIuMX^sIXšObb8—

j ,$+ B724m6$@;6$01l B6S24<d/0

3

3/01012435C2# =B7lpQ51< V9l 1B7lf09=VWmSl 576S/0W< lf0 5CB72?2<

ibsIxhOZ\jlOO<XqsIj\OuMbsIxMsnj^NžsIuMX^šcdZ\K¯`AxhbW`AxhO“ÉsIrOIœaZ\KhO`IgYZlOj™`IxhOA— G¦x¯`nZlKhOjqZ\OjlNžXœauhbfsnxhO$Z\jlOOBX

`AxhbW¯vYc%©Oj“•j\`AN%Z\KhOrbsAX\X\crBsnbŠ`IjwvYOjlOBv¯Z\jlOO<X™cx¨Z\KhO]“ÉsAr§Z”Z\KMsnZZ\KhOBW¬snjlO]xh`nZjl`5`IZ\O<v‘—˜ _hcxMsIj\W

Zlj\OBO$cfX”sˆuhbfsnxMOZ\jlOO.X\gMrwKŸZ\KasFZ”OBsIrwK¬ƒIOj\Z\O±ŸKMsIX”~xMOc…IK+_a`AjlX

c

sIxMv¯KMOxMrO]‚X[`AxMXqcd“jl`+`nZ\O<ve§—˜

ƒAOj\Z\O±cfXqs.bOBsF“Gcd“kc–ZSKMsIXqvYO…Aj\OBO

1

œM`IZ\KhOBj\šcfX\Oc–ZScX™snxŸcxAZlOjlxMsnbxh`YvYOI— vY…AOBXqcdxMrcvhOx5ZqZl`bdO<s3ƒIOBX sIj\O”rsIbdbOBv

œYj\OBN.sIcdxMcdxh…]OBvh…IOBXsIj\OrBsnbbdO<v

Y

—

˜ e5gMsIvYjwsnxM…IghbfsFZlcd`Ax#cfXqsˆuhbfsnxMsIjqNžsnu¯Kas3ƒ5cxh…ˆsIbdbc–ZwX™“ÉsIrO<X^`I“vYO…Aj\OBO

4

^—S˜ vYcfX\X\OBrZ\c`Ix¯`I“GZ\KhO KMO±hsn…A`Ix¡_+W¡e5gMsAvYjwsnxh…AghbsIj”“ÉsIrOBXcfX]sŸuhbfsnxMsIj$NžsnušKh`5X[O`IgYZlOj$“ÉsIrOˆKMsIXvYO…Aj\OBO

6

sIxMv¡cdxMxhOj

“ÉsArO<XKMs3ƒIOvYOB…IjlOOS°M—k˜ye5gMsIvhjlsIxh…IghbfsFZlcd`Axˆ`Aj^vYcXlX\OBr§Zlcd`Ax`I“ZlKhOKhO±YsI…I`Axˆ_+Wˆe5gMsIvhjlsIxh…Ighbfsnj“ÉsIrOBX

cfXXlsncfvˆcj\jlOBvhgMrc_hbOScd“c–Z^KMsAXxh`X\OuMsIjlsnZ\cxh…

4

^{¥ÎrW+rbdO c}šOsnbfX\`.rBsnbb©Z\KhOBN & g! e§—

JKhO.“•`Abdb`Fšcxh…Ÿr`IxaXoZlj\gMrZ\c`Ix¨cXN]`Aj\O.`AjbdO<X\Xs“•`Ib`D+bd`Aj\O.ƒFsnjlcfsFZ\c`Ix¨`IxZ\KMOXoZwsnxMvhsIjlv¨vYgMsIbdcdZoW

r`IxMX[Z\jlgMrZ\c`Ix.“•`IjuhbfsnxMsIjNžsnuMXNFŠ…IcƒIOxs~F¥¦r`AxhxhOBrZ\O<v.uhbsIxMsnjNžsnu

M

œ+r`Abd`AjcdZlXƒIOj\Z\cfrO<Xkcx_hbfsIrD sIxMvuMgYZqs$šKMc–ZlOƒIOj\Z\O±cdxZ\KMOSN.cfvhvYbO”`n“O<sIrwKˆ“ÉsIrOsIxMvžZlj\cfsnxh…AghbfsFZ\OSOBsArwK“ÉsArOS“•j\`AN Z\KhcfXšKhcdZ\O

ƒAOj\Z\O±©—.JKhO.jlOBX\ghb–ZlcdxM…#xMOš O<vY…IO<XS“•`IjlNUs&e5gMsIvYjwsnxM…IghbfsFZlcd`Ax

Q

^cOBsIrwK¬“ÉsIrOžcX”NžsIvhO]`I“ZlKhO.Zoš`

Zlj\cfsnxM…IbOBXcxMrcfvYOBxAZZ\`¨snxOBvh…IO`I“

M

e§—JGÎZ]cXxh`nZ.vYc$žrghbdZ$Z\`¨rwKhOBrD¬Z\KMsnZ$ZlKhO#~n¥Îr`IxhxMOBr§ZlOBvYxMOBXlX

`I“

M

cfXO<eAgMcdƒFsnbOx5ZZl`ŸZ\KMOcdjljlOBvYgMrcd_Mcdbc–ZoW¨`n“

Q

^{— t} cdxMsIbdbW¨bdOZgMX$`I_MX\OjlƒIO]Z\KasFZ$cdZcfXu0`AXlX[c_hbOžZ\`

sAX\X\`YrcfsFZlOqsjl`+`nZ\O<vvYcfX\X\OBrZ\c`Ix

d

`I“‘Z\KhOSKhO±hsI…I`Ix.Zl`]s$j\`+`IZ\OBvžcjlj\O<vYgMrc_hbO™e5gMsAvYjlsIxh…IgMbsnZ\c`Ix

Q

^_+W

vhObOZ\cxh…]Z\KMOj\`+`nZO<vY…IOA—

t

c…IghjlO$€YF

t

cdjwXoZikcfr§Zlghj\O<XvYOBXlrjlcd_0O™Z\KhOrb`AX\ghjlO K|_M«vYO¤axhcdxM…$ZlKhOr`IjljlOBX\ua`AxMvYOxarO^_0OZošOOBxˆuhbfsnxhO

jl`+`nZlOBv›_hcxMsnjlW"Z\jlOO<XsIxMv­cj\jlOBvYgarc_hbdO¨vYcfX\X\OBrZ\c`IxMX`n“ZlKhO¬KMO±hsn…A`Ix«— JKhOvhcXlX[O<r§Zlcd`Ax®snxMv Z\KhO

r`Ijlj\O<X[u0`IxavYcdxM…

3

¥Îr`IxhxMOBr§ZlOBv]…IjwsnuMK.sIj\O^sIbX\`X\Kh`Fšx«— bfsIrD]rcjlrbdO<X

c

jlOBX\u«—šKhcdZ\OqrcdjwrbO^eGj\OBuhj\O<X[OBx5Z

ƒAOj\Z\cfrO<X`I“ZlKhOuhjlcdNžsIb

c

vYgMsIbe…AjlsIuhK«—

G¦x5Z\gMc–ZlcdƒAObWIœhs]eAgasIvYjwsnxh…AghbfsFZ\c`Ix

Q

rsnx_aO”ƒ+cOšOBvˆsAXsIxˆcN.uhbdcfrcdZj\OBuhjlOBX\Ox5ZlsnZ\c`Ix`I“s$uMbsIxMsnj NžsIu«œYcdxavYgMrO<v&šc–ZlKŸs_Mcr`Ib`IjwsFZ\c`Ix`n“c–ZwXƒIOBj[ZlcrOBXNFšKhc–ZlO

c

jlOBX\u«—G_hbfsIrD7eƒIOBj[ZlcrOBX`n“

Q

X[ZlsIxMvˆ“•`Ij

“ÉsArO<X

c

jlOBX\u«—ƒIOj\Z\cfrO<XOe`I“ZlKhO”`Ijlcd…AcdxMsIb©N.sIu

c

X\OO

t

cd…Aghj\O.€_e§—

RŸ`Aj\O$uhj\O<rcfX[OBbdWAœMZlOBX[Z\cxh…sAv3m[sIrOxMrWjlObfsFZlcd`AxMX^_0OZošOOBx¯ƒIOBj[ZlcrOBX™snxMv&“ÉsArO<X^cx¯Nžsnu

M

^r`Ijlj\O¥

X\u0`IxMvhXZl`”sIxMX\šOBjxhOBcd…AK+_a`Aj\cxh…™e5ghOBj\cOBXŠ`AxƒAOj\Z\cfrOBXcxMrcfvYOx5ZZ\`SZlKhOX\sIN]O“ÉsIrOcdxZ\KhOe5gMsAvYjlsIxh…Igh¥

bfsFZlcd`Ax

Q

—pGÎZšcdbb©uhjl`FƒIOqr`Ax+ƒIOxMcdOBxAZZ\`.vYOBXlrjlc_aOS`Ighjr`AxMX[Z\jlgMr§Zlcd`AxcdxˆZ\OBj\N`I“e5gMsIvYjwsnxM…IghbfsFZlcd`AxMX—

j ,P 243/@AQ /<R6576S/T0 /-n 5 512 V1l1B7lf09=VWmSl 576S/0

ª™gMjŠvYO<r`AN]u0`AX\cdZ\c`IxX[Z\jwsFZlO…AWSšcbbAZwsDAOsAvYƒFsnx5ZlsI…IOk`I“hZ\KhO“ÉsAr§ZŠZ\KMsnZcjlj\O<vYgMrc_hbOvYcfXlX[O<r§Z\c`IxaXŠsAvYN.c–Z

s.X\uaO<rcfsnb«rbsAX\X`I“ŠrsIxh`IxMcrBsnb«X\uMsnxhxMcdxh…Z\jlOO<XœMcdx5Z\jl`YvYgMrOBvcdxrK|_MgF

Œ · · ‰É‹ · / 7WY! +! 7W` _ $# h g%

n

^{R i}

J & _ S# & O! 7 f

n

^{!!-R! X 9C}

O(n)

^{g( "}

IOZgaX$X\ghuhu0`AX\OžZ\`KMs3ƒIOsIxcdjlj\O<vYgMrcd_hbOˆvYcfXlX[O<r§Z\c`Ix

Q

`I“Z\KhOKhO±hsn…A`Ix¡šcdZ\K¢e5gMsAvYjlsIxh…IgMbsIj

“ÉsArO<X—

t

`Abdb`Fšcxh…$ZlKhO”Z\jws3ƒIOBjlXlsnb©X[Z\jwsFZ\OB…IWžO±+uMbsIcdxhO<vˆcxrK|M8œhcdZ^cfXua`5X\X\cd_MbdOSZ\`.u0Oj\“•`IjlN snx#`Iu0OxMcdxh…

sIbd…A`Ijlc–ZlKhN `Ax

Q

šKhcrwKžjlOZlghj\xaXs”_hcxMsnjlWZ\jlOOiFZ\KMO^j\O<X[gMb–ZcfXsƒIOj\Z\O±]X\uMsnxMxhcdxM…”Z\jlOO^`I“

Q

^œAšKh`5X[O

r`IN.uhbOZlOkrb`AX\ghj\O K|hœ_I«OBN]Nžsq‚MIcfX‘O±hsIrZ\bW^ZlKhOk`Ijlc…IcxMsnbnvYcfXlX[O<r§Z\c`IxS`n“+ZlKhOkKhO±YsI…I`Ax

c

r`IjljlOBX\ua`AxMvYcxh…

Zl`s

3

¥¦r`AxhxhO<r§Z\O<v]uhbsIxMsnjG…AjlsIuhKe—ŠRŸ`Aj\OuMj\O<rcfX[OBbdWc–ZcfXs”_McdxMsIj\W$Z\jlOO

B

^`Ax

n

xM`+vhOBXGKMs3ƒ+cxh…

n + 2

X[Z\OBNžXsnxMv

(n − 1)

cdxMxhOjO<vY…IO<X

c

Z\KMOr`IjljlOBX\ua`AxMvYOxarOScXcbdbgMX[Z\jwsFZ\O<vˆcx

t

cd…Aghj\Ož€^e§—

IOZ$gMX$j\O<rsIbdbs¯uhj\OBƒ+cd`AgMXjlOBX\ghb–Z$r`IxMrOjlxhcxh…&Z\jlOOˆvhOBr`AN.ua`5X[cdZ\c`IxMXBœXoZwsFZ\O<v¨cdxZlKhOž“•`Abdb`FšcdxM…

ION.Nžs7K€B„^MF

³   h

B n

^{i J o7 g 17}

δ

^!

L J gg! $#

B

^{# ohX S#}

B j

! _ %$^E g#h

δ ≤ kB j k ≤ 3δ

^"

˜quhuhbW5cxh…]X[OBƒIOjwsnb+ZlcdN.O<XkZlKhO™sIbd…A`Ijlc–ZlKhN sI_a`FƒAOIœnšO^`I_hZlsncxsuMsIj[Zlc–Zlcd`Axž`n“

B

cx5Z\`$X\NžsnbbM_hcxMsIj\W Zlj\OBOBX™KMs3ƒ+cdxM…ˆ_0OZošOOx

1 lg ² n

^snxMv

lg ² n

xh`YvYO<Xœ‘šKMcrwK¨snjlOZ\KMOx¡vYOBr`IN.ua`5X[O<vŸcxAZl`ˆZlcdx+WŸ_hcxMsIj\W

Zlj\OBOBXKMs3ƒ+cdxM…¯_aOZošOBOx

1

12 lg n

^sIxMv

¹ ₄ lg n

xM`+vhOBXB—¡P+garwK¢s¬vYO<r`AN]u0`AX\cdZ\c`Ix“•`Aj\N s¯uasnj\Z\cdZ\c`Ix `I“

ZlKhOO<vY…IO<X`n“

B

^cšKhcfrwK¯snjlOOBvY…AOBX`I“ŠZlKhO$`Aj\c…IcxMsIb«eAgasIvYjwsnxh…AghbfsFZ\c`Ixe§— I«OZ™gMX^`A_MX[OBj\ƒAOSZ\KMsnZq`IxhbW xM`+vhOBXBœaZlKh`AX\O$šKMcrwK¬sIj\Oj\`+`IZlX^`I“kZ\cx+W

c

jlOBX\u«—SX\Nžsnbbe^Z\jlOO<Xœ©snjlOX\KMsIj\O<v&_5WŸvYc©OjlOx5Z™Zlcdx+W

c

jlOBX\u«—

X\NžsnbbeZ\jlOO<XF^O<sIrwK¯`I“kZ\KMOBX\Oxh`YvYO<X

c

KMs3ƒ+cdxM…vYOB…IjlOO

d

e™cXSX\uhbdcdZScx5Z\`&sˆvYOB…IjlOO

d − 1

j\`+`IZ™`n“k`AxhO Zlj\OBO

c

i i Z\jlOO_esnxMv#s]bdO<sF“`n“ŠsIxh`nZlKhOjZlj\OBO

c

Zlj\OBO^e—

JKhOšs3WšOˆKMs3ƒIOuasnj\Z\cdZ\c`IxhO<v

B

…IgMsIjlsIx5Z\OO<X”Z\KasFZ$x+ghN_aOBj$`n“Zlcdx+W

c

jlOBX\u«—¬X\NžsnbbeSZlj\OBOBX$cX

Θ( _lg ⁿ _n )

^cjlOBX\u«—

Θ( _lg ⁿ 2 n )

^e§—

j ,j ."/-B7B724< Q /0 9240W32 25qr2?240 576$0T: V9l 9Blp01=V1m$l 5C6$/01<Xlf0 576$0T: 5CB72?2<

JKMOksncN®`n“+ZlKhcXX[O<r§Z\c`Ix”cfX©Z\`™vYOBXlrjlcd_0OksrsIxh`IxMcrBsnbFšs3W^`n“+`I_YZwsncxhcxh…^svYOBr`IN.u0`AX\c–Zlcd`Ax

{M 1 , . . . , M p }

`I“

Q

œMX[Zlsnj\Z\cxh…“•j\`AN ZlKhOvYOBr`IN.u0`AX\c–Zlcd`Ax`I“Z\KMOƒIOj\Z\O±X\uMsnxhxMcdxh…Z\jlOO

B

^—

qOjlO™šOX[ghuMua`5X[OSšO”snjlOq…AcdƒAOx`IxhO™Z\cx+WžZ\jlOOAœ+vhOxh`IZ\OBv

T B j

œYKMs3ƒ+cdxh…

n j ≤ ¹ ₄ lg n

xM`+vhOBXsnxMv

w j

“ÉsnbfX[OžX[Z\OBN.XBœ`A_YZlsIcdxMOBv_5WvYOBr`IN.ua`5X[cxh…

B

FSšOžsnjlO.…I`Icxh…Z\`¯X\Kh`Fš Kh`Fš Z\`Ÿuhjl`YvYgMrO.sZlcdx+W e5gMsAvYjwsnxh…AghbsIjNžsIu`I“X\c&ZBO

Θ(lg n)

^“•jl`IN

T B j

—

˜ Z\cx+W.Z\jlOO

T B j

KMsIX

n j

xM`+vhOBXsnxMv

n j + 2

X[Z\OBNžXFGšO™xM`Fš vYcX[Z\cxh…AghcX\KZoš`oD5cxMvhX`I“bOBs3ƒIO<X—

t

cjlX[Z\bWZ\KhOBj\ONžs3W#O±YcfXoZ™X\`IN.ObOBs3ƒAOBXšKMcrwKŸšOjlOsnbj\O<sIvYWbdO<s3ƒIO<Xcdx¯Z\KhO`Aj\c…IcxMsIb‘Z\jlOO

B

^{—^˜“÷ZlOj}

ZlKhOqvYO<r`AN]u0`AX\cdZ\c`Ixžsnb…I`Aj\cdZ\KhN cXuaOBj[“•`Aj\N.OBv«œnZ\KMOjlO^snjlOxh`Fš"X\`IN.ObOBs3ƒAOBXšKhcfrwKžšsAXGcxhxhOjxh`YvYOBX

cx

B

_0O“•`IjlOšOX[uhbcdZ^Z\KhOBN FkZ\KMOcjqcxMrcfvYOx5Z^O<vY…IO<X^snjlO”xh`Fš’rBsnbbdO<v # —tOBrBsnbb‘Z\KasFZ^Zlcdx+W Zlj\OBOBXsnjlOžj\`+`nZlOBv

c

j\`+`nZwXsnjlOX\KMsnjlOBv¡_+W¡vYc%©OjlOx5ZZlcdx+W¨Z\jlOO<XOeœGsnxMv¨ZlKhOˆx+ghN_aOBj$`n““ÉsIbX\OˆX[Z\ONžX

cxsZ\cx5W¬Z\jlOO.cfXxh`nZ¤M±+O<vsIxMv¨c–ZjwsnxM…IOBXScx

0 . . . n j + 2

œvYOBuaOBxMvYcxh…Ÿ`Ix¨Z\KMOžšs3W

B

^KMsAX_0OOx

uasnj\Z\cdZ\c`IxhO<v‘—

·

ŽI Ž

·

‰ Œ

³

q`Fš cdZX\g $rO<X™Z\`ŸsnuhuMbdW¯s§b`YrsIbŠrbd`5X[ghjlO$snb…I`Aj\cdZ\KhN&œ‘cxMX\uhcdjlOBv¯Z\`#Z\KMO]`AxhO]cdx5Z\jl`YvYgMrOBv¯cx K|M8œ

šKM`AX\OSNžsIcdxŸX[Z\OuaX^snjlO”bdcfXoZlOBv#_0Ob`Fš

c

j\O<rsnbb©Z\KasFZ^cxZlKhO`Aj\c…IcxMsnb‘sIbd…A`Ijlc–ZlKhN `n“ K|_M8œMZ\KhOBj\O”šsIXxh`

vhcX[Z\cxMr§Zlcd`Ax&_aOZošOBOxZ\jlghOsnxMvˆ“ÉsnbfX\O”X[Z\OBNžXOe—

IOZgMXuaOBj[“•`Aj\N srrš"Z\jws3ƒIOjwXlsnb+`n“

T B j

œAX[ZlsIj[Zlcdxh…”“•jl`IN cdZlXkjl`+`nZsIxMv.šsIb&D+cxh…snb`IxM…c–ZwXkOBvh…IOBX

c

cdxMxhOjO<vY…IO<XœhX[Z\OBN.XqsnxMvˆ“ÉsnbfX[O”O<vY…IO<XOe—

£­KMOxŸZljls3ƒAOjwX[cxh…žs.Z\jlghO$X[Z\OBN&œašKhcfrwKŸcfX^uhjlOBrOBvYO<v&_5W&~žcx5Z\OjlxMsIbxh`YvYO<X

c

sIxMv&xh`IZSX[Z\ONžXe§œ

cdZlX^bd`YrsIbrb`AX\ghjlOr`IxaX[cfXoZwXcdx&bcdxD5cxh…žcdZlXqcdxMrcvhOx5Z^xh`YvYOIœMšc–ZlK&Z\KhOuMj\O<rOBvhcdxh…]ZlKhcdjwv#xh`YvYO

c

`Ax&Z\KhO

_0`IgMxMvhsnjlW`I“Z\KMO`IgYZlOj“ÉsIrO^eZl`.rj\O<sFZlO”s.e5gMsAvYjlsIxh…IgMbsIj“ÉsArO

c

s.šKhcdZ\OS“ÉsArOcx

t

c…IghjlO‚e§—

£¨OvY`žxh`nZu0Oj\“•`IjlNZ\KMON]OBj\…AcdxM…]`I““ÉsIbX\OXoZlONžX

c

vhjls3šx#šc–ZlKŸX[Nžsnbb«rcjwrbOBXcx

t

c…IghjlO‚ie§—

£­KMOxZljls3ƒAOjwX[cxh…s

c

Z\jlghO^eXoZlON

s

œAxh`IZuhjlOBrOBvYO<v._5Wž~”Zlj\gMO^xh`YvYOBX

c

`Aj\c…IcxMsIbhxh`YvYOBXO±YcfXoZlcdxh…

cx

T B j

eœ‘c–ZwX”bd`YrsIbŠrbd`5X[gMj\O]r`IxaX[cfXoZwXScdx¨sFZ[ZwsIrwKhcxh…#s

C oh C` # i

c

sˆ…Aj\OBW#“ÉsIrO]cx

t

c…M—&‚ieSZl`&Z\KhO_0`IgMxMvhsnjlW¬`I“

T Q j

œŠcdx X\gMrwKs&šs3WŸZ\KMsnZZ\KMOˆvYghN.N$W“ÉsIrOžcXZ\KhOBxcdxMrcvhOx5ZZ\`

ZlKhO$X[Z\OBN

s

snxav#vh`5O<X^xh`IZqOxarb`AX\Os.“ÉsnbfX[OXoZlON xh`Ijqs Co h Y

c

c8—OI—^snxŸO<vY…IOcxMrcvYOBx5Z^Z\`ˆs

vhghN.N$W”“ÉsIrO^euhjlOƒ+c`IgMX\bdWsAvhvYOBv«—P+cN.cdbfsnjlbWIœFƒIOBj[ZlcrOBXcdxarcfvYOx5ZZ\`vYghN.NW”“ÉsIrO<XœAsnxMv$xh`nZO±YcfXoZlcdxh…

cx#Z\KhO”Zlcdx+WžZlj\OBOIœhsIj\OrsIbdbOBv Cooh _! —

G¦x­ZlKhcfXšs3W¢šO¬uMj\`YvYgMrO¬s uMbsIxMsnjNžsIu šKh`AX\O¯cx5Z\OjlxMsIb^“ÉsIrOBX#snjlO¬snbb™e5gMsAvYjwsnxh…AbdO<Xœsnxav

Kas3ƒ5cxh…sIxŸ`IgYZlOj“ÉsArO`I“snjl_hc–ZljlsIj\WX[c`ZOYFcxhxhOBjqOBvh…IOBX

c

cxŸZ\KhO$Z\jlOO_eNžs3Wˆxh`Fš _0O$cxMrcfvYOx5Z^ZošcfrO

Zl`¨Z\KhO&`IghZ\Oj.“ÉsArOA—"JKhO&uhbfsnxasnjr`AxhxhO<r§Z\O<v NžsnuaX.`I_YZwsncxhOBv-cdx"ZlKhcX.šs3W snjlO&snbfX[`¡rsIbdbOBv h

root

false stem

true stem

t

c…IghjlO¨‚7F ª™gMj#b`YrsIbSrbd`5X[ghjlOI— JKMOjlOBX\ghbdZ#`I“Z\KhOrbd`5X[ghjlO¬`AuaOBjlsnZ\c`Ix®vh`5O<X&vYOu0OxMv `Ix®Z\KhO

vhcX[Z\jlcd_MgYZ\c`Ix"`n“S“ÉsnbfX[OŸX[Z\OBN.XBœsnxMv"vYc0OBjlX]“•jl`IN ZlKhOŸ`IxMO&vhO¤MxhO<v"cdx K|_M8—LG¦x"`IgMjžO±hsnN.uhbOIœZ\KhO

_McdxMsIj\W¬Z\jlOOKMsIX

11

cdxMxhOjƒIOj\Z\cfrO<Xœ

11 + 2

bdO<s3ƒIOBX

c

Z\jlghO#snxMv¨“ÉsIbX\OˆX[Z\ONžXBœcdxMrbdgavYcdxM…¯Z\KMOX[Z\ON

cxMrcvYOBx5Z$Z\`¯Z\KhOj\`+`nZe§œGsnxavrsnx_0Oˆ`AuYZ\cNžsnbbdW¨Oxar`YvYOBv _5WZ\KMOˆ_hcxMsnjlW¨š`Ajlv¨`n“bOxh…IZ\K

2 · 11

^F

1101001011001001011000

<šKhcbdO™Z\KhO”r`Aj\jlOBX\u0`IxMvYcxh…”“ÉsIbX\O™X[Z\OBN.XvYcfXoZlj\c_hgYZlcd`AxˆcfXvhO¤MxhO<v_+W]Z\KhO _Mc–Z\¥8ƒAOBr§Zl`Ij`n“bOxh…IZ\K

13

snxMvšOBcd…AK5Z

4

^F

0000100001101

^—

C` g! 7

c

ZlKhO&j\O<X[ghbdZ`I“^Z\KMOuhjl`YrO<vYghjlOsn_0`FƒIOcX]X\Kh`Fšx cx

t

c…IghjlO#‚e— GÎZ]cfX]OBsAX[W¨Z\`

`A_MX\OjlƒIOZlKMsFZsnbbŠZ\KhO“ÉsIrOBX™`n“kZlKhO.cdxhcdZ\cfsnbGe5gMsAvYjlsIxh…IgMbsnZ\c`IxŸKMs3ƒAO_aOBOx¡sIXlX[c…IxMOBv#Z\`#O±hsAr§Z\bW&`IxhO

Zlcdx+Wˆe5gMsAvYjwsnxh…AghbsnZ\c`Ix«œYsAXZ\KhOBWsnjlOScdxMrcvhOx5Z^OBsArwKˆZl`]`AxhOSZ\jlghOX[Z\ON&—

ª™xMrOSZ\KhOcxhcdZ\cfsnbX\uMsnxMxhcdxM…Zlj\OBO

B

KMsIX_0OOBx&vhOBr`AN.ua`5X[O<v‘œYšOKas3ƒIO™Z\`X\uaO<rcd“•Wˆs.j\gMbdOS“•`Ij^sAXo¥

X\c…Ixhcxh…

c

Zlj\ghO_eGX[Z\ONžXGcxMrcvYOBx5ZGZ\`xh`YvYO<XkX[KasnjlOBv_5W$Z\cx+W$Zlj\OBOBXB—£¨O^uhjl`+rOO<vsAX“•`Ibbd`Fš^XBœIsAX\X\ghN.cdxM…

ZlKMsFZ

v

cfXX\KMsnjlOBv_+WžZoš`Z\cx+WZlj\OBOBX

T B j ⁰

snxMv

T B j ⁰⁰

œhsnxMv&vYOBxh`nZlcdxh…]ZlKhO”ua`5X\X\cd_MbdWcxMrcvYOBx5ZqXoZlON

_+W

s

^cX\OO”bfsIX[ZicrZ\ghjlOBXcx

t

cd…a—€_eF

¥cd“Z\KMOjlOO±+cfX[ZlXScdxZ\KMO]vYO<X\rOxMvMsnx5Z™Zlj\OBO

B

sIx¬cxhxhOj”O<vY…IO

e

cxMrcvYOBx5ZSZl`

v

Zl`ˆZlKhO.bdO“÷Z`n“

s

^œ

ZlKhOx&šOsFZ[ZwsIrwKZ\KhOX[Z\OBN

s

Zl`.Z\KhO”Zlcdx+WˆX\gh_Y¥8Z\jlOO

T B j ⁰⁰

KMs3ƒ+cdxh…

v

sAXj\`+`nZ^sIxMvr`Ix5ZlsIcdxMcdxh…

e

¥`nZlKhOjlšcX\O

s

cfXZ\KMObO“÷ZlN]`5XoZ”X[c_hbcdxM…`n“kxh`YvYO

v

^cx

B

œ0sIxMv&šO]vY`ˆsnZ[ZlsArwK

s

Z\`žZlKhOsIxMrO<XoZl`Ij Zlj\OBO

T B j ⁰

—

Ÿ·+¶ ¸ ·«³ ‰ · Œ8ŒF ³5¶$· Œ¢ ´

³   C& !

Q

^f

n

^{_g!O !% C gg O ihW}

i 17 !

{T Q 1 , . . . , T Q p }

^{h &} iC& g! ( #h 'hO7

! ! ! !d 7 h! W g! S#

Q

^{C h1 g! h}

2n + o(n)

^"

N $#" IOZgMX`A_MX[OBj\ƒAOqZlKMsFZZlKhOsIvhvYcdZ\cƒ+c–ZoWˆK5W+u0`nZlKhOBX\cXKM`IbfvhXœhX\cxMrO

c

Zlj\gMO^exh`YvYOBXcx#Z\cx+Wˆe5gMsIv+¥

jwsnxM…IghbfsFZlcd`AxMX

c

xh`YvYOBX^`n“ŠZ\KhO”Zlcdx+WˆX\uMsnxMxhcdxM…Zlj\OBO^esIj\OSxh`nZqX\KMsIj\O<v_+WžZ\cx+We5gMsAvYjlsIxh…IgMbsnZ\c`IxMXB—

v v ⁰ v ⁰⁰ T Q _j 0

T Q _j 00

e s

v v ⁰

v ⁰⁰ T Q _j 0

T Q _j 00

s v v ⁰

v ⁰⁰ T Q _j 0

T Q _j 00

q

t

c…IghjlO$~F JKMOBX\Oikcfr§Z\gMj\O<XqcbdbgMX[Z\jwsFZlOBXZlKhO$jlghbOsAvY`IuYZlOBv#“•`Aj™vYcfXoZlj\c_hgYZlcdxM…X[Z\ONžXSsnxMv

c

vYghN.N$W7e

“ÉsArO<X_aOZošOBOx#Z\cx+We5gMsAvYjlsIxh…IgMbsnZ\c`IxMXX\KMsnjlcdxM…s.N$ghbdZ\cuhbOxh`YvYO

v

FkZ\KMOjlOsnjlO”vhc%©OjlOx5Z™rBsIX\OBXZ\`

r`IxMX\cfvYOj<œnvYOu0OxavYcdxM…`IxZ\KhOx+ghN_aOBjksnxMv]b`+rBsFZlcd`Ax`I“0X[Z\ONžXcxMrcfvYOBxAZGZl`

v

^ccx]Z\KhObfsIX[ZrsAX[OZ\KhOBj\O sIj\OSxh`IZqXoZlONžXZ\`vYcfX[Z\jlcd_hghZ\O^e—

w ₁ w ₂

w ⁰ T Q _ij

1

T Q _{ij 2}

v v ⁰

v ⁰⁰ v ⁰⁰⁰

T Q _ij 0

T Q _ij 00

T Q _ij T Q _ij 000

T Q _j 0

T Q _j 00

T Q _j

e ⁰⁰ ₂ e ⁰ ₁

t

c…IghjlOž°F G¦x¡ZlKhcfX

t

cd…AghjlOsnjlO.vhOuhcfr§ZlOBv¡uhjl`Iu0Oj\Z\cOBX`I“NghbdZ\cuhbdOƒIOBj[ZlcrOBXBœN$gMb–ZlcduhbOxh`YvYO<Xsnxav

sAv3m[sIrOxMrWjlObfsFZ\c`IxaX_aOZošOBOxZ\cx5W&e5gMsIvMX—kJKhOƒAOj\Z\O±

w

cXs.NghbdZ\cuhbdO$xh`YvYOIœh_0Ob`IxM…Icxh…]Z\`.Zoš`

vhc%©OjlOx5ZZ\cx+WžZ\jlOO<XœYsnxavX\KMsnjlOBvˆ_+WžZ\KhjlOO”sIvFm[sIrOBx5ZZlcdx+Wˆe5gMsAvhXNFcdZlX^rBsnxh`Axhcfrsnb0jlOuhjlOBX\Ox5ZlsnZ\cƒIO™cX

xM`nZŠsIxghxhcfe5ghOƒAOj\Z\O±‘œ<_hgYZGr`AxMX[cfX[ZlX«`I“hs^uMsIcdj`n“hxh`YvYO<X

w 1

sIxMv

w 2

—£­KhOx]r`AxMX[cfvYOBj\cxh…^sNghb–ZlcduMbdO

ƒAOj\Z\O±

v

^cxM`nZkN$gMb–ZlcduhbO^xh`YvYO_e§œ5X[KMsIj\O<v$_+W$X\OƒAOjwsnb+Zlcdx+We5gMsAvhXBœFZ\KhOBj\OO±YcX[ZkvYc%©OjlOx5Zr`IuhcOBX

v ⁰

^œ

v ⁰⁰

^œ

v ⁰⁰⁰

œ‘O<sIrwK¯bW+cdxM…ˆcx¨svYc%©OjlOx5ZSZ\cx+W¯eAgasIv‘œ‘šKh`5X[O]rsIxh`IxhcfrsIbjlOuMj\O<X[OBxAZwsFZlcdƒAOcXSghxMce5ghOBbdW¯vYO¤MxhO<v sIxMvr`AcdxarcfvYOBXšc–ZlKƒIOBj[ZlO±

v

^cx

T Q j

—I«OZgMX`I_MX\OjlƒIOZlKMsFZZ\KhOr`AuhcdO<X

v ⁰

^œ

v ⁰⁰

^sIxMv

v ⁰⁰⁰

`n“hsNghb–ZlcduMbdO

ƒAOj\Z\O±©œ0xh`IZSr`AcdxarcfvYcdxM…ˆšcdZ\K¬cdZlX”rBsnxh`AxhcrBsnbj\OBuhj\O<X[OBx5ZlsFZlcdƒAO

v

œ«sIj\OvYghN.N$WŸƒAOj\Z\cfrOBX

c

cxMrcfvYOBxAZSZ\`

s.vYgMN]NW“ÉsArO^ebW+cdxM…žcdxŸsnx&sIvFm[sIrOBx5ZZ\cx5W#e5gMsIv‘—-IsIX[ZikcrZ\ghjlOBX^cdbbdgaXoZljlsnZ\O”Z\KMOrsIX\O”`n“ŠZoš`]Zlcdx+W

e5gMsAvYjwsnxh…AghbsnZ\c`IxMX

T Q j ⁰

snxMv

T Q j ⁰⁰

šKhcfrwKsIj\OSxh`nZ^sAv3m[sIrOx5ZBœ+OƒAOx#c–“Z\KhOBW X\KMsIj\O s]_a`AghxMvhsIj\W

O<vY…IO

c

snx#OBvY…AOScxMrcvYOBx5ZZošcrO”Z\`]Z\KhO`AgYZ\OBj“ÉsIrOIœYbW5cxh…žcxˆZlKhO”Z\cx+We5gMsAvYjlsIxh…IgMbsnZ\c`Ix

T Q j

e—

Q

cXvYO<r`IN.u0`AX\OBv.cx5Z\`Zlcdx+Wže5gMsIvhjlsIxh…IghbfsFZlcd`AxMX

T Q j

OBsArwKr`AxAZwsncxhcxh…_0OZošOOx

1

12 lg n

^sIxMv

¹ ₄

xM`+vhOBX

c

xh`YvYO<X`n“hZlKhOr`Aj\jlOBX\ua`AxMvYcxh…Zlcdx+WƒAOj\Z\O±X\uMsnxMxhcdxM…qZlj\OBO^eFKhOjlOZ\KhOr`AxMX[Zlsnx5Z

c

cx5Z\jl`+vhgMrO<v cx¯P+OBrZ\c`IxŸ‚cX^X\OZZl`

1 4

—

JKhO#…IjwsnuMK

G

gMX[O<v¡Z\`¨vYOBXlrjlc_aO#sIv3m[sArOxarW¡j\OBbsnZ\c`IxMX$_aOZošOBOxZlcdx+We5gMsIvhjlsIxh…IghbfsFZlcd`AxMXcfXs uMbsIxMsnj]Nžsnu

c

OBsArwK Z\cx+W e5gMsIvYjwsnxM…IghbfsFZlcd`Ax cX.s¨r`AxhxhOBrZ\O<v uhbfsnxMsIjNžsIu«œšKh`5X[OOBvY…AOBX]Nžs3W_aO

cxMrcvYOBx5ZŠZošcfrOZl`SZ\KhO`AgYZ\OBj“ÉsArOAœAsnxavZlKhOxžvY`Agh_hbW$r`Aghx5Z\OBv]sIX_0`IgMxMvhsnjlWOBvh…IOBXeKMs3ƒ+cdxM…q“ÉsArOBX`I“