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++cdOBjqn}I}ATUn]uMsI IO<X
BFhII
JKMcXuMsIuaOBjsAvhvYjlOBXlX[O<XZ\KMOuhjl`I_MbdOBN`IMjlOuhjlOBX\Ox5Z\cxh ZlKhOr`IxMxhOBrZ\c5cdZoWcdxh`IjlN.snZ\c`Ix`I
AO`AN]OZ\jlcr`A_YmoOBrZlXgMX[cxh $sAXkbcZ\Z\bOqN.ON.`Aj\W.sIXGu0`AXlX\cd_hbOIGXk`IuMua`5X[O<v]Z\`$jws3r`IN.uhjlOBXlX\cd`Ax]cfXlX[ghO<X
ZlKhO&`YrgMXcXKMOjlO`IxvYOBX\cd Axhcxh vhsFZws¡XoZlj\gMrZ\ghjlOBX]ZlKMsFZuhj\O<X[OBj\AOZlKhOu0`AXlX[c_hcbdcdZoW¢`IsIxMX[Ojlcxh
cxMrcvYOBxMrOe5ghOjlcdO<Xcx$r`IxMX[ZlsIxAZZ\cN.OI£Ouhj\`Aua`5X[Ocdx$uMsnj\Z\cfrghbfsnjZ\KhO¤MjwXoZ`IuYZlcdNsIbAjlOuhjlOBX\Ox5ZwsFZ\c`IxaX
`Aj$~F¥¦r`AxhxhO<r§Z\O<v¡uhbfsnxMsIj IjwsnuhKaXsnxMv¨Zlj\cfsnxM IghbfsFZlcd`AxMXKhcfrwK snjlO.Z\KhON]`5XoZ]XoZwsnxMvhsIjlv¡rbsAX\X\OBX`I
AjlsIuhKMX©ghxavYOjlbdW+cxh ^N.OBX\KhO<XcZlK$X\uhKhOjlcfrsnbnZ\`Iu0`Ib`I AWIªuYZlcdNsIbIN.OBsIxMXZlKMsFZ«ZlKhOBX\OkjlOuhjlOBX\Ox5ZwsFZ\c`IxaX
sAX[W+N.uYZl`nZ\cfrsIbdbW¢NsnZlrwKZ\KMO¬jlOBX\uaO<r§Z\cIO¬Ox5Z\jl`Iu+W¢`IZ\KhO¬Zo`-rbfsIXlX[O<XxMsIN]OBbdW¡_hcdZlXu0OjO<vY IO
`Aj~F¥¦ruMbsIxMsnj AjlsIuhKMXBsnxav®A5¯_hcdZlXuaOBj.Z\jlcsIxh IbO&`Ij.OBe5ghcFsnbOx5Z\bW-~Mn°_hcdZlXuaOBjIOj\Z\O±`Ij
Zlj\cfsnxM IghbfsFZlcd`AxMX
²³5´©µl¶$·
F¸I
AjlsIuhKOxMr`+vhcdxh aX[gMrBrcxMr§Z#vhsFZws XoZlj\gar§Z\gMj\O<XZ\jlcfsnxh AghbsnZ\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\jws33sIcdbxh`AgMXr`AxMX\cvBj\`AxMXbdO.uhjl`I_hbLN.O.vYO.j\OBuhjBX\Ox5Z\OBjbcxY`Aj\NsFZlcd`AxvYO
bfs]r`IxMxhOBrZ\c5cdZv`I_YmoOZlX `INZ\jlce5ghO<XgYZlcdbcfX\sIxAZbOSN.`AcdxMXu0`AXlX[c_hbOSvhOSNBN]`AcdjlOIGqb`Iuhu0`AXvYOBX
e5ghO<XoZlcd`AxMXvYOX\cdN.uhbO$r`IN.uhjlOBXlX[c`Ix«+xh`IZ\jlOsFZ\Z\Ox5Zlcd`Ax#O<XoZ^u0`Ij\ZBOX[gMjbsr`IxMrOuYZlcd`Ax&vhOXoZlj\gMrZ\ghjlOBX
vhO$vY`IxMxO<XuaOBj\N.OZ[ZlsIx5ZvYO$jlOu0`IxavYj\OvhOBX^jlOBe5gZ\O<X^vcdxMrcvhOxMrO$Ox&ZlON.uMXr`IxaXoZwsnx5ZBkx¯uMsIj[¥
ZlcrghbcdOBjB©xh`AgMXquMj\`Aua`5X[`AxMXbOBXuhj\OBN.cdLBj\O<XqjlOuhjBX\Ox5ZwsFZ\c`IxaX`IuYZlcdNsIbdO<Xqu0`IghjbdO<XS IjwsnuhKhO<XuhbfsnxMsIcdjlOBX
~n¥Îr`IxhxMO±YOBXOZbOBXZ\jlcfsnxh AghbsnZ\c`IxMXBYe5ghc«X[`Ax5ZbOBXuhbgMXu0`IuhgMbsIcdjlOBXrbfsIXlX\OBXvYO IjwsnuhKMOBXX[`AgMX[¥dm[sArOx5ZwX
sIgY±¬NsncbbsI IOBXSKh`AN`IN.`Aj\uhKMOBXgMxhOX[uMKhLjlOIªuYZlcdNsnbOBXX\c Ixhcd¤MOe5ghOrOBXjlOuMj<X[OBxAZwsFZlcd`AxMXsnZ[¥
ZlOc IxhOBx5ZbOBx5Z\jl`IuhcOqjlOBX\uaO<r§ZlcdAOSvYO<XvYOgY±rbsAX\X\OBXB5xh`nZwsnN.N.Ox5Z$_hcdZlXuMsIjsIj\OZ\OSua`AghjbdO<X AjlsIuhKhOBX
~n¥Îr`IxhxMO±YOBXB+OZIA_hcdZlXuasnjZ\jlcsIxh IbO`Ig&~h½F°]_hcdZlXuMsIj^X[`AN.N]OZua`Aghj^bOBXZ\jlcfsnxh AghbsnZ\c`IxMXB
· < µ ! #" `Yvhsn AOvYO IjwsnuMKhOBXBFXoZlj\gMrZ\ghjlOBXvYOvY`AxhxO<XX\gMrBrcxAZlOBXB3Z\jlcsIxh IgMbsnZ\c`IxMXBFXoZlj\gMrZ\ghjlOBX
vhOvh`IxhxBOBX `INZ\jlce5ghO<X
) *
#
+-,$+ ."/01012435768965:;89<>=2?/@A25CBC:
AO`AN]OZ\jlcr`I_hmoOBr§ZcfX`n÷ZlOx¡jlOuhjlOBX\Ox5Z\O<v¬_+W¬s#u0`IbW+ I`IxasnbGN.OBX\KKMcrwKr`Ax5ZlsncxMXZo`ED+cxMvhX`I
cxY`Aj\NsFZlcd`Ax?FZlKhO AO`AN]OZ\jlWsnxMvZ\KhOr`AxhxhO<r§Z\c+cZoWAJKhOr`IxhxhO<r§Zlcd+cdZoWScfXsq AjlsIuhKKhcfrwK.vYOBXlrjlcd_0OBX
KM`F IOj\Z\cfrO<XsIj\O¬bdcx7DIO<v _+WOBvY AOBX#snxMv ÉsIrOBXBqKhcbdO¬Z\KhO¡ AO`IN.OZ\jlW"r`IxMX\cX[ZlXcx Z\KMOAOj\Z\cfrOBX
r`+`IjwvYcdxasFZ\O<X1G¦x¯gMX\gMsnbj\OBuhjlOBX\Ox5ZlsnZ\c`IxMX^X\gMrwK¬sAX1HSt^RJI `IjlN.snZ`Ajqu0`IcxAZlOjwXqjlOuMj\O<X[OBxAZwsFZlcd`AxMXcx
NsIcdx-N]OBN.`IjlWLK{M8Z\KhOr`AxhxhO<r§Z\c+cZoWcfX]Z\KMO#N.`5XoZO±Yu0OxMX\cIO#uMsnj\ZNF#cZr`AX[ZlX]K+ghxMvYjlOBvhX]`I_hcdZlX
u0OjIOBj[ZlO±KMcdbOZ\KMO IOB`IN.OZlj\Wr`AX[ZlX$`IxhbWZ\OxaX`n_hcdZlX$uaOBj$AOj\Z\O±qXsNsFZ\Z\Oj`nÉsIrZBcx
X\gMrwK¡`Aj\NsFZwX$KMOjlOZ\KhO#r`AxhxhOBrZ\c+cZoW¡cfX$jlOuhjlOBX\Ox5ZlOBv¡_+Wx+ghN_aOBj\cxh ¬Z\KhOIOj\Z\cfrO<X$sIxMv Ic+cdxM
cxMvYO±YOBXBYZ\KhOr`AX[Z^`nGr`AxhxhOBrZ\c+cZoWKMsIX`AjlvYOBj
Θ(nlgn)P+cxMrOZ\KhcfXcfXZ\KhO$N]`5XoZ^O±YuaOBxMX[cIOuMsIj[Z<
OX[KMsIbdb«r`IxMrOx5Z\jwsFZlOqcx#Z\KhcfXuMsnu0Oj`AxjlOBvYgarcxh $ZlKhOr`AxhxhO<r§Z\c+cZoWr`AX[ZBhsIxMvbOBs3AO^ZlKhOuhjl`I_hbON
`Ikj\O<vYgMrcdxh Z\KhO] IOB`IN.OZlj\W&r`5XoZsAX[cfvYOAq£¨O`A_MX[OBj\AOKh`FOIOBjZ\KasFZ`AghjXoZlj\gMrZ\ghjlOcfXr`IN.uMsnZ\c_hbdO
cdZ\KX\OAOjwsnbY`I0ZlKhOqX[ZlsIxMvhsnjwv.snuhuMj\`5sIrwKhO<XZl` IOB`IN.OZlj\Wr`IN.uhjlOBXlX\cd`Ax]X\gMrwKsIX Ic5cxh r`+`AjlvYcxMsnZ\OBX
cxs]bd`YrsIb©jlsIN.O`IjOD0
+-,P ."/@AQ1B724<R<R6S/T0U89<><RVW336$0135X<Y5CBVW35CV1B724<
AO`AN]OZ\jlcr`I_hmoOBr§ZqrBsnx#_aOjlOuMj\O<X[OBxAZlOBvOcdZ\KhOBj^cdxs]bcdxhO<snj`Aj\NsFZ`Aj^vYcXDX[Z\`AjlsI IOS`IjxhOZo`AjD
ZljlsIxMX\N]cfXlX[c`Ix«Y`Aj^XoZl`IjlOBvcdxNsIcdx&N.ON.`IjlW`AjZ\KhOO±Yuhbd`AjlsnZ\c`Ix#`nZ\KhO$`I_YmoO<r§ZBG¦xZlKhO¤MjwX[ZqrsIX\OI
jlOBvhgMrcxh Z\KhOX\c&ZBOScfXrsIbdbOBv 1! MsIxMv#r`IN.uhjlOBXlX\cdxh $Z\KhOr`IxhxhO<r§Zlcd+cdZoW`nFsIj\c`IgMX%D+cxMv`I
N.O<X[KhO<XKMsIX_0OOBxX[gMrBrO<X\X[ghbbdWsnZ[ZwsIrDIO<vcx&j\O<rOx5ZWIO<snjwX[Kd\5«B|h<+aI}Y«^]YM|Y«<~_MÎ
G¦xZ\KhcfXuMsnu0OjOSvhOBsnb0cdZ\KZ\KhOX\OBr`AxMvrBsIX\Oq`nNsncxN.ON.`IjlW.j\OBuhjlOBX\Ox5ZlsnZ\c`Ix«+snxMv`IghjsncN
cfXZ\`vYO<X[c Ix&s.vhsFZws.XoZlj\gMrZ\ghjlOKMs3+cdxM ]s.X\N.sIbdb«X\c`ZOsnxMv#snbb`Fcdxh Z\`sIxMX[Oje5ghOBj\cOBXcx&r`IxMX[ZlsIx5Z
ZlcdN.OAbaqX\gMsnbe5ghOjlcdO<X$r`IxMX\cX[Z$cx I`AcdxM &j\`AN s&ÉsArOZ\`¯cdZlXxhOc IK+_0`Ij`AjsAX$D+cxh cZo`¯AOj\Z\cfrOBX
sIj\OsAv3m[sIrOx5Zcdx"ZlKhO¯N.OBX\K«PYgMrwKsXoZlj\gMrZ\ghjlO&cXrsnbbOBv O cdZ\KhO¯r`AX[ZsIX\W5N.uYZl`nZlcrBsnbbdW
NsnZlrwKhO<XZlKhOOx5Z\jl`Iu+W.`nZ\KhOrbfsIXlXsnxMv 17 Y cdcdZNsFZlrwKMOBXcZghuZ\`.s]r`IxaXoZwsnx5ZÉsAr§Zl`Ij<R¯`IjlO
uMj\O<rcfX[OBbdWA0 AcdAOx¬s#rbfsIXlX`n`A_YmoOBrZlXcZlK¨sX[c`ZO]uMsnjwsnN.OZ\Oj
n cOA aZ\KhO.x+ghN_aOBj`IObON.Ox5ZwX`I
X\`IN.OdD+cdxave§aOr`AxMX\cvYOBjZ\KhO$x5gMN$_0Oj`n`I_hmoOBr§ZwX`nGX\c&ZBO
ncx#Z\KhOrbsAX\XBfGÎZ\KhcfXx+ghN$_0OjqKMsIXsIx O±Yua`AxhOx5Z\cfsnbY Aj\`FZlK`n©`IjwvYOBj
2αnKhOx n I`+OBXZ\`cxY¤MxhcdZoWIIZ\KhO
g h
`naZ\KhO^rbsAX\XcfXGvYO¤axhOBvZ\`
_0O αnk jlOuMj\O<X[OBxAZwsFZlcd`AxcXZlKhOx
1 i
cdcdZgMX\OBX
O(n)_hcdZlXqsnxMv
O
cdZ^gMX\OBX
αn+o(n)
_McZwXª_MX\OjlIOZ\KasFZ^s.r`IjljlOBr§ZjlOuhjlOBX\Ox5ZlsnZ\c`Ix#rsnxMxh`nZgMX\O
o(αn)_McZwX`IjcdZ^N$gMX[Z_aOu0`AXlX\cd_hbOSZ\`
vhcX[Z\cxh IgMcX\K#sIbdb`I_YmoO<r§ZlXB
+-,j kL24012?B7lfmonOBlp@A2qr/-B7s
JKMO IOxMOjwsnb+jwsnN.O`IjODOgMX\O`IjvYOBX\cd Axhcxh sr`IN.uMsAr§ZG`IjkX\gMrBrcxMr§ZvMsFZlsX[Z\jlgMr§ZlghjlO`Ijks IcIOBx
rbsAX\X`I`A_YmoOBrZlX`nX[c`ZO
n cXqX$DAOZlrwKMOBvKMOjlOiF
•t cdjwXoZZ\KMOS`A_YmoOBrZcfXX[uMbdcdZcx5Z\`Z\cx+WuhcdO<rO<X`IX\c&ZBO
O(lgn) h N.OBsnxMcdxh ]X[NsIbdb©OxM`Igh AKX[`Z\KasFZ s$rsFZwsnb`I `I«snbbau0`AXlX[c_hbOquhcOBrOBXrsnx_aOSr`IxaXoZlj\gMrZ\O<v.cdx
o(n)ZlcdN.OsnxMvX\uMsIrOIJKhOx#sZ\cx+W.uhcdO<rO cfXj\OBuhj\O<X[OBx5Z\OBv_5W.cdZlXcxMvYO±cxZlKhOrsFZwsnb`I aAsnxavZ\KMOSX\ghN`nZlKhOX[c`ZO<X`Isnbb©cdxMvhO±YOBXcXO±+u0OBrZ\O<v
Zl`.N.snZlrwK#Z\KMOSOBx5Z\jl`Iu+W`nZ\KhOrbsAX\XB
• JKMO¯cdxarcfvYOxMrO¯jlObfsFZ\c`IxaXvYOBXlrjlcd_Mcdxh KM`F ZlKhO¬X\uhbdcdZ[ZlcdxM cdx5Zl`Z\cx+W-uhcOBrOBXKasIX_0OOBx®vY`IxMOcX OBxMr`YvYO<v cx s- IjwsnuhK
G `nZlcdx+WuhcOBrOBXB P+cdxarOZ\KhOBj\O¡snjlO
O(lgnn) Z\cx5WuMcdO<rOBX#cdZ\Ks¢bcdxMOBsnj x+ghN_aOBj`IkcdxarcfvYOxMrOBX_aOZoOBOxZlKhON&srbsAX\X\cfrsnbj\OBuhj\O<X[OBx5ZlsFZlcd`Ax`nGZlKhcX IjwsnuMKgMX[cxh ua`Acdx5Z\OBjlX
`Ib`I 5snjlcZlKhN.crX\c&ZBOr`AX[ZlX
O(n)sIxMvZ\KhcfX^sIuhuhjl`AsIrwKsnbj\O<sIvYWW+cObfvhX^s.r`AN]uasIr§Z^vhsnZls.X[Z\jlgMr§Zlghj\OA
•( uMcdO<rOBX`I
O(lg2n)X\c&ZBOsnjlOSr`IxMX[Z\jlgMr§ZlOBv_+Wmo`Icxhcxh
lgn Z\cx+WuhcOBrO<X+ZlKhcfX^snbbd`F^XZl`]gaX[O u0`Icx5Z\OBjlX`IX\c&ZBO
O(lgn)`IxhbW_0OZoOOxX\NsnbbuhcdO<rO<XKhcdbOsIv3m[sArOBxMrcOBX_0OZoOOBxZlcdx+WuMcdO<rOBXsIj\O vhOBXlrjlcd_0OBvcZlK.bd`YrsIbYua`Acdx5ZlOjwX`n0X\c`ZO
O(lg lgn)GP+cxMrOZlKhOx+ghN$_0OjG`I©X\NsnbbhsnxMv$Z\cx+W$uhcOBrOBXGsIj\O jlOBX\u0OBr§ZlcdAObW
O(lgn2n)snxav O(lgnn)IZ\KhcfXGNghbZlc¥ÎbOIOBbMsnuMuhj\`5sIrwKW5cObfvhXGX\gh_hbcdxMOBsnjkr`AX[ZlX`I
O(nlglg2nn)
sIxMv
O(nlg lglgnn)`Ij GhNsD+cxh ]Z\KhOX[Z\jlgMr§Zlghj\OX\gMrrcdxar§ZB
+-, 24m$l 5R2 B24<RV1m57<
£¨O]_hj\cOaWj\OB5cOycx¯ZlKhcfXX[O<r§Z\c`IxsOB j\O<X[gMbZwXSsI_a`AgYZj\OBuhj\O<X[OBx5ZlsFZlcd`AxMX^`I IjwsnuMK¯r`IxMxhOBrZ\c5cdZoW
`Ajq~F¥¦r`AxhxhO<r§Z\O<vuMbsIxMsnj AjlsIuhKMXsnxav#Z\jlcsIxh IghbfsFZlcd`AxMXBkJKhOBX\OjlOBX\ghbZwXrsIx#_0O AcdAOx&cdx&ZlOjlNX`n
n
ZlKhOSx5gMN$_0Oj`nAOj\Z\cfrO<X
mZ\KhOSx+ghN$_0Oj`I«ÉsIrOBX`Ij
eZ\KhOx+ghN$_0Oj`nOBvY AOBXBG¦xZ\KMOSX\uaO<rcfsnbrsAX[O
`IGZ\jlcsIxh IgMbsnZ\c`IxMXq`nsZl`Iu0`Ib`I AcrBsnbX\uhKhOBj\OA
6n'2e= 3m sIxMvZlKhO$OBxAZlj\`Au+WcfX
1.62m= 3.24n
_McZwX9K½YMÎ
t
`IjkuMbsIxMsnjGZlj\cfsnxM IghbfsFZlcd`AxMXcZlKs_a`AghxMvhsIj\WAFZ\KMO^Ox5Z\jl`Iu+WcX
2.175m_hcdZlXB t `Ij IOxMOjwsnb
~n¥Îr`IxhxMOBr§ZlOBvuhbsIxMsnj AjlsIuhKMXZ\KMOOx5Z\jl`Iu+WcfX
2e_hcdZlX K½A^M8
ªxSZ\KMOkuhjwsIr§ZlcrBsnbnX\cvhOIFrbfsIXlX[cfrsIb3N.sIcdxN.OBN]`Aj\Wqj\OBuhj\O<X[OBx5ZlsFZlcd`AxMX©gMX\OGua`Acdx5ZlOjwXF
n+6mu0`Icx5Z\OBjlX sIj\OxhOBOBvYO<v]`IjGZlj\cfsnxM IghbfsFZlcd`AxMXGsnxMv
n+ 6e`Ij~r`IxhxMOBr§ZlOBv] IjwsnuMKEK½{^MÎ5KhOjlO^sua`Acdx5ZlOjkN.OBsIxMXk~5
_McZwXcZlKj\O<snb«u0`Icx5Z\OBjlXsIxMv
lgngMX\cdxM cdxMvhO±YOBXB rwKMOBsnu0Oj^X\`IbgYZlcd`Ax#cdZ\K
2eu0`IcxAZlOjwX K°MKMsIX _0OOBx¯uhjl`Iu0`AX\OBv#cdZ\K¯ZlKhO$uMj\cfrO`IsKhc IKhOBjsArrO<X\Xqr`AX[Z^Zl`xhOBcd AK5_0`IjwXB^`IxMO`nGZlKhOBX\O
O(nlgn)
X[Z\jlgMrZ\ghjlOBXsnjlOr`AN]uasIr§Z<
JKhOsn_0`FIO^jlsIN]OB`AjDKMsIX_0OOxcdx5Zlj\`YvYgMrOBv`Ij_asnbfsnxMrOBvuMsIj\OBx5Z\KhO<X[cfXk`IjwvhX
c
W+rD.`IjwvhXe
_+W5sIr`A_MX\`IxLKIM`IjZ\KMO#r`IN.uMsIrZjlOuhjlOBX\Ox5ZwsFZ\c`IxksnxMv_+W RgMxhj\`¨snxMv¢t^snNsnx Kd3{^M`Ij]Z\KhO
X\gMrBrcxMr§ZjlOuhjlOBX\Ox5ZlsnZ\c`Ix«
JKhO¯X\c`ZO&uMsnjwsnN.OZ\Oj.`Is¨uMsIj\OBxAZlKhOBX\cfX`Ijwv-cX.cdZlXx+ghN_aOBj`nrwKMsnjwsIrZ\OBjlX]snxMv-`IuhZ\cN.sIbdcdZoW
N.O<snxMX_McZu0OjrwKMsnjwsIrZ\OBjB"G¦x¢ZlKhcfX]r`Ix5Z\O±+ZZlKhOxasFZ\gMjlsIbe5ghOBj\W¡cfXZ\`¡sIXD`Aj]Z\KhO&NsFZwrwKhcdxM
uasnjlOx5Z\KhO<X[cfX`nZlKhOuMsIj\OBxAZlKhOBX\cfXsnZs] AcdAOxu0`AX\cdZ\c`Ix«GJKhO<X[OjlOBX\ghbZwX`Ix#uMsnjlOx5Z\KMOBX\cX`IjwvhXsIbdb`F
`AjqX\gMrrcdxMrZjlOuhjlOBX\Ox5ZwsFZ\c`IxaX`nGuhbfsnxhO
c
sDFs.`IjwvYOBj\O<veZ\jlOO<X^gMX\cdxM
2n _hcZwX^JKMOx¯suhbfsnxasnj^Nsnu rBsnx¡_0OvYOBr`IN.u0`AX\OBv¨cdx5Zl`¯X[OBIOjwsnbZlj\OBOBXKhcfrwK rsIx¡_aOX\gMrBrcxMr§ZlbdWj\OBuhj\O<X[OBx5Z\OBv«^`FOAOj<Z\KMcX
ZljlsIxMX[`IjlN.snZ\c`Ixjl`IN AjlsIuhKMXZ\`]Z\jlOO<X_aOBcdxh ]xh`Ax_hcmoOBrZ\cIOAYcZW+cdOBbvMXjlOuMj\O<X[OBxAZwsFZlcd`AxMXk`AjuhbsIxMsnj
AjlsIuhKMXZlKMsFZsIj\OxM`nZX\gMrrcdxar§Z_hghZ`IxhbW.r`IN.uMsAr§Z<qbd`Axh Z\KhO<X[OqbdcxhOBXB+sj\OBuhj\O<X[OBx5ZlsFZlcd`Ax`IuhbsIxMsnj
AjlsIuhKMXgMX\cdxM
2e+ 8n _hcdZlX^sAX AcdAOx"K<{^MsnxMvZ\KhOBx&cdN.uhjl`FIO<vZ\`
2e+ 2n_hcdZlX K\YM_MÎ
G¦x&`IgMjuMj\OB5c`IgaX`AjD KMÎhOKMs3AOSX\Kh`FxKh`F Zl`]O±+Z\OxavZlKhOSjlsIN.O`IjODX[`Z\KMsnZ^cZqrBsnx#_aO
sIuhuhbcdO<v¬vYcjlOBr§ZlbdW¯Z\`Z\jlcsIxh IghbfsFZlcd`AxMXcZlK¨s_a`AghxMvhsIj\W¯sIxMv¯uMj\`F+cfvYOBvsX\gMrrcdxar§Zj\OBuhjlOBX\Ox5ZlsnZ\c`Ix
`AjZ\KhcfX
c
bfsnjl IOBjerbfsIXlXS`nZ\jlcsIxh IgMbsnZ\c`IxMXBJKhcfXsnuMuhj\`5sIrwKsAXSsIbX\`&X[gMrBrO<X\X[ghbGcx¡vhOBsnbcxh cdZ\K
b`YrsIb«vYW+xMsnN.cfrgMu0vhsnZ\O<X`nZ\jlcsIxh IghbfsFZlcd`AxMX`nKhc IKhOBj IOx+gMXX\ghj\ÉsIrO<XdK_M8
£cdZ\K¨sX[bc IK5Z\bWvYc©OjlOx5ZSX[Z\jwsFZlO IWA! bsIxMv+`Ajlv 9 " K°iMX\Kh`FOBv&Kh`F Z\`#vYOBX\cd Ax¯sr`AN.uMsIrZ
vMsFZls¬XoZlj\gMrZ\ghjlOX\ghuhu0`Ij\Z\cxh ¬sAv3m[sIrOxMrW¨sIxMvvYO Aj\OBOBXeAgMOjlcdO<X`Ix AOj\Z\cfrO<X`Ij]X[u0OBrcsIbrbsAX\X\OBX`I
AjlsIuhKMXKMs3+cxh X[NsnbbhX\OuMsIjlsnZ\`IjwXB#^`FOAOjZ\KhcfXksnuMuhj\`5sIrwKxhOO<vhXGO$rcdOBxAZksIbd A`IjlcZlKhNX`Ij¤MxMvhcdxh
X\OuasnjwsFZ\`AjlXsnxavZlKhOO±hsIrZkr`AX[Z`n0Z\KhOjlOuhjlOBX\Ox5ZwsFZ\c`Ix$cXkvhc%$rgMbZGZl`rwKasnjwsIr§ZlOjlc&ZBOIXcdx.uhjlO+c`IgMX
`IjODYXI`IghjkN.`YvYOBba`Ir`IN.uhgYZwsFZlcd`Ax]cfXst^qR NsArwKhcdxMOIIcdZ\K
O(1)Z\cN]OSsIrBrOBXlXG`Ax]`IjwvhXG`I«X[c`ZO
Θ(lgn)
· · JKhOr`Ix5Z\jlcd_MgYZ\c`Ix#`nZ\KhcfX^uasnu0OjcfXZo`I`IbfvkqXÉsnj^sIX^j\O<X[ghbdZlXsIj\Or`IxMrOjlxhOBv
Ouhjl`Iu0`AX\OqZlKhO¤MjwXoZqX\gMrrcdxar§Z^vhsFZws.XoZlj\gMrZ\ghjlOBX`Ajj\OBuhjlOBX\Ox5Z\cxh ]uhbsIxMsnjZlj\cfsnxM IghbfsFZlcd`AxMXcZlKh`IgYZ
_0`IgMxMvhsnjlW
c
Zlj\cfsnxM IghbfsFZlcd`AxMXS`nsZl`Iu0`Ib`I IcfrsIbGX[uhKMOjlO^eSsnxMv¨~F¥¦r`AxhxhO<r§Z\O<v¯uhbfsnxasnjNsnuMXBsIXX[ZlsnZ\O<v
cxJKhO`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(nlg lglgnn)"
t
j\`AN ZlKhON.OZ\Kh`YvY`Abd`A Icfrsnbua`Acdx5Z`IG5cO0O`IjlNsnbc&ZBOZ\KhO]rsnZlsnb`I I¥6Zlcdx+W5¥¦X[Nsnbb©jwsnN.O`IjOD©
£cdZ\K¬j\O<X[u0OBrZqZ\`Z\KhO]X[OBN]cxMsIbvhsnZlsX[Z\jlgMrZ\ghjlOBXquhj\`Aua`5X[O<v`IjS`AjlvhXqsnxMv#Zlj\OBOBX KdAn3{^M8sIxMv#`Ij
Zlj\cfsnxM IghbfsFZlcd`AxMX$cx"`Ighj.uMsIuaOBjEKMÎkZlKhO&uhj\O<X[OBx5ZjwsnN.O`IjOD¡NsDIO<X$O±YuhbdcfrcdZ.Z\KhO&b`YrsnbuhbfsnxasnjlcZoW
uMj\`AuaOBj[ZlcdO<X^`IxKMcrwKZlKhOsIuhuhjl`AsArwK#cfX_MsIX\OBv
t
ghj\Z\KhOBj\N.`Aj\OcdZjlObfsF±YO<XZ\KhOuhjl`Iu0Oj\ZoWI©rOx5ZljlsIbcx
ZlKh`AX\OuhjlO+c`IgMX^`AjDYXBYZ\KMsnZqZlcdx+W&uhcOBrO<XqX\Kh`IgMbv&_0OZwsDIOBxcdx¯srbfsIXlX^cdZ\KZlKhOXlsnN.OOx5Zlj\`Au5W&sIX
ZlKhONsncxrbfsIXlX`n`A_YmoOBrZlXjlOuhjlOBX\Ox5Z\O<v
t
cdxMsIbdbWI+cx`AjlvhOjZ\`.vYOAOb`Iu`IghjZo`$xhOB snuMuhbdcfrsnZ\c`IxMX
c
Z\jlcsIxh IgMbsnZ\c`IxMXsnxav~n¥Îr`IxhxhO<r§ZlOBvuhbsIxMsnjNsnuaXOehOvYO<X[c Ix#xhOBX\uhbcZ\Z\cxh X\rwKMON.OBXB
qO±+ZX[O<r§Z\c`Ixcdbb`IjlNsnbc&ZBOZ\KMO.rBsFZwsnb`I n¥8Z\cx+W5¥ÎX\NsnbbjlsIN.O`IjOD00KhcbdOP+O<r§Zlcd`Ax~#vYOBXlrjlcd_0OBX
cdZlX^gMX[OS`AjuhbsIxMsnjNsnuaX^snxMv&P+O<r§Z\c`Ix&°]`IjZlj\cfsnxM IghbfsFZlcd`AxMX
& ')(
$+*-,Y/.0,M !3 1 32
G¦x.ZlKhcfXX\OBrZ\c`IxO^NsDIO AjlsAvYgMsIbdbWN.`IjlO^uhjlOBrcX\OZ\KhO IOBxhOjwsnbYjwsnN.OB`AjD$XDIOZlrwKhO<v.cdxPYOBr§Zlcd`AxI
Zs¤MjwX[ZbdOBIOb`IvhOZlsIcdbfXBZlKhO&jlsIN.O`IjOD snuhuhbcOBX]Z\` sIx+W¢vhsFZwsXoZlj\gar§Z\gMj\O&KhcfrwK-KasIXbcdxMOBsnj
OBx5Z\jl`Iu+WsnxMv"rsIx¢_0O&vhOBr`AN.ua`5X[O<v¢cx5Z\`¨j\OB Ic`IxMX]r`AxhxhOBrZ\O<v¢_+W s¨ Ib`I_MsIbdbWX[uasnjwX[O# IjwsnuhK4FZ\KMcX
cxMrbdgMvhOBXuMsIj\OBxAZlKhOBX\cfX`AjlvhXB3Z\jlOO<XAsnxMv] IjwsnuMKMX`Ix.X[ghj\ÉsIrOBXBJKhOjwsnN.OB`AjDcfXZ\KhOBxX[u0OBrcsIbdc`ZO<v
Zl`r`IxMxhOBrZ\c5cdZoWX[Z\jlgMr§ZlghjlOBX`nN.OBX\KhOBXB
P ,$+ 4 W65768965i:A/-n 56592 240T5RB/-Q%:Ulf0 56592 3l 5Clpm$/-=
G¦x]`IjwvYOBj`AjZ\KhOjwsnN.O`IjODSZ\`snuhuMbdWZl`srbsAX\X`n©r`AN$_hcxMsFZl`IjlcsIbA`A_YmoOBrZlXBFO¤MjwX[ZxhOBOBv$Z\KMsnZGZ\KhO
OBx5Z\jl`Iu+W_0O]bdcxhOBsIjBR`Aj\OuMj\O<rcfX[OBbdWr`AxMX\cvYOBjsrbfsIXlX
C= (Cn) `nk`A_YmoOBrZlXKhOjlO
n cfXScdx5Z\OBxMvYO<v sAXs#X\c`ZO.uMsnjwsnN.OZ\Oj
c
Z\KhO.x+ghN$_0Oj`IX\`IN.O.ObON.Ox5ZwsnjlW O esIxMv¨sIXlX[ghN.O]Z\KasFZZ\KhOX\OZ
Cn
`I
`A_YmoOBrZlX`IX\c&ZBO
n KMsAXs$¤axhcZlOrsIjlvYcxMsIbdcdZoW
|Cn|kJKhOOx5Zlj\`Au5W
||Cn||hvYO¤axhOBv#_+W
||Cn||:= lg|Cn|
cdZ\K
lg(x) =dlog2(x+ 1)eYN.OBsAX[gMj\O<XZlKhOvYcIOBjlX\cZoW`nZlKhOrbfsIXlXB
yrbsAX\XKMsAXbdcxhO<snjOx5Zlj\`Au5WcdZ\KhOBj\OO±YcfXoZwX^s.r`AxMXoZwsnx5Z
αX\gMrwKZlKMsFZ
||Cn||=αn+o(n), KhOx n I`+OBXZl`]cxY¤MxMcZoW
.
G¦x&`IZ\KhOBjZ\OBj\NXBYZ\KhOrsnjwvYcxMsnbcdZoW`nZ\KhOrbfsIXlX
Cn
Aj\`F^Xjl`Igh AKhbdWbdc`DIOsX\cdN.uhbOO±Yu0`IxhOBx5Z\cfsnb
2αn
sIxMv
αn_hcdZlXGsIj\OxhOO<vYOBvZ\`ScdxavYO±$sIbdb+ObON.OBxAZwXJKhOr`AxMXoZwsnx5Z
αcfXX\`IN.OZ\cN]O<XrsnbbOBvZlKhOOx5Z\jl`Iu+W u0OjX[c`ZOqghxhcdZNF
α= 2_hcdZlXuaOBjxh`YvYOq`Ij_McdxMsIj\W$Z\jlOO<X+snxMv«5sAXkcxMvYcfrsFZlOBvsI_a`FAOI
α= 1.62_McZuaOBj
Zlj\cfsnxM IbOBX`AjkZ\jlcfsnxh AghbsnZ\c`IxMXBIsIxMv
α= 2_hcZwXu0OjOBvY AO`Ij~F¥¦r`AxhxhOBrZ\O<vuMbsIxMsnjk AjlsIuhKMXBGª_aX[OBj\AO KM`FOBIOj©ZlKMsFZX[`AN.OkrbfsIXlX[O<X<bdc`DIOkZ\KhOrbfsIXlX[O<X`nYu0OjlN$gYZwsFZ\c`IxaX«`n
{1, . . . , n}`Ij«`Ih IOxMOjwsnb
n¥ÎIOj\Z\O±
AjlsIuhKMXKMs3AOxh`Ax&bdcxhOBsIjOx5Z\jl`IuhcOBXBY`n`IjwvYOj
nlgn
£¨Ocx5Z\OBxMvZl`vYO<r`IN.u0`AX\OOBsArwK `I_hmoOBr§Z]`n
C cdx5Zl`¬uhcOBrOBX$ZlsDAOxjl`IN srsFZwsnb`I ¯`IqX[NsIbdbOj
`A_YmoOBrZlXNFsAXG`Iuhu0`AX\OBvZl`uhjlO+cd`AgMX`IjOD+XBnO^vY`xh`IZkj\O<e5ghcdjlOZ\KasFZkZlKhcXrsnZlsnb`I r`Ix5ZlsIcdxMXOBbdOBN.Ox5ZlX
`I C_MgYZjlsnZ\KhOBjZ\KMsnZcdZ$r`Ax5ZlsncxMXOBbdOBN]OBx5ZlX`ns&rbfsIXlX
D= (Dm,k)X[garwK¬ZlKMsFZZlKhOjlO.O±YcX[ZlXs r`IxMX[ZlsIx5Z
β sIxMvs]u0`AX\cZlcdAOSghxMr§Zlcd`Ax
g(m) =O(lgm)X\gMrwK#Z\KMsnZ
||Dm,k|| ≤αm+β klgm+g(m) c _e
sIxMv
|Dm,k|= 0 cd k≥Km c`AjqX\`IN.Or`IxaXoZwsnx5Z
Ke§
JKhO`A_YmoOBrZlX`I
Dm,k
sIj\Ocx5Z\OxavYOBvZ\`_0OgMX\OBv$Z\`vYO<X\rj\c_0OZlcdx+WuhcdO<rO<X`n©ObON.Ox5ZlX`I
CncdZ\K mZ\KhOx+ghN$_0Oj`nObON.Ox5ZwsnjlWrOBbdbfXB5sIxMv
ksuMsnjwsnN.OZ\Oj<ArBsnbbdO<v]Z\KhO C OW $#9i YvYOBXlrjlcd_Mcdxh ZlKhOr`IN.uhbO±YcdZoW`I0ZlKhOS_a`AghxMvhsIj\W`nZ\KMOquhcOBrOIpG¦xZ\KMOsn_0`FIO_0`IgMxMv.Z\KMOr`AxMX[Zlsnx5Z
αcfXO±+u0OBrZ\O<v Zl`_0O]Z\KhOXlsnN.O.sIX`Ij
Cn
snxav
αm cXSZlKhO 7 `IZ\KMO]OBx5Z\jl`Iu+WI©KhcbdO
βklgm cfXSZ\KhO
O±+Z\jwssnN.`Ighx5Z^`IkOx5Z\jl`Iu+WvYgMOZ\`Z\KhO$X\uhbcZ\Z\cxh cx5Z\`Zlcdx+W#uhcdO<rO<X W#vhO¤MxhcdZ\c`Ix¬`nZ\KhO$Ox5Z\jl`Iu+WI
||Dm,k|| _hcdZlXsnjlO&X\g $rcOx5Z.Z\`cxMvYO±"sIx"OBbdOBN.Ox5Z`n
Dm,k
cxs¨Zwsn_hbO&j\OBuhjlOBX\Ox5Z\cxh snbbZ\Kh`5X[O
OBbdOBN.Ox5ZlXB£OsAX\X\ghN.ON]`Aj\OuhjlOBrcX\ObWZlKMsFZOBsArwKOBbdOBN.Ox5Z
M `I Cn
rBsnx#_aOvhOBr`AN.ua`5X[O<vcx5Z\`
s.r`IbbOBr§Zlcd`Ax
(M1, . . . , Mp)`IObON.OBxAZwX`n
DhcdZ\K Mj ∈ Dnj,kj
`Aj^X[`AN]O
nj
kj
snxMv#snx#`IjlcOx5Z\O<v AjlsIuhK
G cdZ\K&AOj\Z\O±X\OZ
{N1, . . . , Np}hvYOBXlrjlc_hcdxM Kh`F Z\KhOZlcdx+WuhcOBrOBX
{M1, . . . , Mp}sIj\O IbghO<vZl`I IOZ\KhOBjZ\`.`Aj\N
MYcx#Z\OjlNX`nsIv3m[sArOBxMrcOBX_0OZoOOBx&X\cfvYOBX`I
Z\KhO
Mj
R¯`IjlOuhjlOBrcX\ObWIhs]AOj\Z\O±
Nj
`I G r`AxAZwsncxMXZ\KhO`Abdb`Fcxh .cdxY`Aj\NsnZ\c`Ix?F nj
kj
hsnxavZlKhOcxMvYO±`n
Mj
cx Dnj,kj
cdxMvhO±YOBXqZ\`ZlKhO$xMOc IK+_a`AjlXq`n
Nj
cx G c`AjO<sIrwK¯X\cvhO`n
Mj
aZ\KMO$cxMvYO±`IGZ\KhO]r`IjljlOBX\ua`AxMvYcxh
xMOc IK+_a`AjsnxMv&X\cvYO_e§
G¦xuMsnj\Z\cfrgMbsIj^Z\KMOx+ghN_aOBjS`IkOBvY AOBXcdx¬Z\KhO. AjlsIuhK
G cXS_0`IghxavYOBv¬_5W&ZlKhOZ\`nZwsnbx+ghN$_0Oj`nX\cfvYOBX cx#Z\KhO
Mj
£¨O¤MjwX[ZqxhOO<vsnx&K+W+ua`IZ\KhO<X[cfX^OBxMX[gMj\cxh .Z\KasFZ^ZlKhOsAvhvYcdZ\cIOuMsIj[Zq`IZ\KhOOBx5Z\jl`Iu+WNsFZwrwKhOBX^Z\KhO
OBx5Z\jl`Iu+W
αn`nZ\KhOrbsAX\XZl`.KhcrwK
M _0Ob`IxM AXB
&´· ³ É
7 i 1 _! X g _ >7%$^d7 &( hJ
"
n1+. . .+np=n+O n
lgn
,
ª_MX\OjlIOZlKMsFZkOvY`xh`nZkjlOBe5ghcjlOZlKhO^rbfsIXlX
Dm=S
kDm,k
Z\`KMs3AOZlKhOqXlsnN.OOx5Z\jl`Iu+W$sAX
Cm
F
cx#uMsnj\Z\cfrghbfsnjcx`AghjZo`]NsncxO±YsIN.uhbdO<X_aOBbd`F OcdbbKMs3AO
||Dm|| ∼α0mcdZ\K α0 > αkqXs
r`IxMX\OBe5ghOBxMrOA+cdx#`IjwvYOj`AjZlKhOjlOuhjlOBX\Ox5ZlsnZ\c`IxZl`._aOr`AN.uMsIrZOxhOO<vs]X\OBr`AxMvK5W+u0`nZlKhOBX\cX`Ax
ZlKhOx+ghN$_0Oj`IX\cfvYOBXB
&´· ³ É
7i 17 g! r _ _ ( [C ' S#di
k1+. . .+kp=O n
lgn
.
JKhcfX#X[O<r`IxavK5W+u0`nZlKhOBX\cXcN]uMbdcOBXZ\KMsnZZlKhO¬Kh`AbdO¨r`5XoZ`I$XoZl`IjlcdxM cdxMvhO±YOBXZ\`"snbb^Z\KMO
Mi
jlONsIcdxMX`I`AjlvYOBj
αn
qO±+ZK+W5u0`nZlKhOBX\cfXOxMX\ghjlOBXSZ\KasFZZ\KMOObON.Ox5ZlX`n
DxhOBOBvYO<v¨cdx¨Z\KMOvYOBr`IN.ua`5X[cdZ\c`Ix¤hZcx¡s X\Nsnbb«rsnZlsnb`I a
&´·
³ É 7 YO 9 _g! b i
Mj
[ Y S#1%$^ OO
c
3lgn clgn!
O
c <1/α0! f α0 g h[d%$^ CT $# D"
G¦xMvhOOBv¢sIXlX[ghN.OZlKMsFZZ\KhOcdxavYO±YOBX]snjlOu0`IcxAZlcdxM ¬cxAZl`¬sZwsn_hbO
A j\OBuhj\O<X[OBx5Z\cxh O±YuhbcrcZlbdWsIbdb OBbdOBN.Ox5ZlX`n
Dm
`Ij
m≤clgn`IjX[`AN.Oqr`AxMXoZwsnx5Z
c GÎZlKhOr`IxaXoZwsnx5Z
ccfXrwKh`AX\OxX\NsnbbaOBxh`Igh AK«
ZlKhOx+ghN_aOBj$`nOBxAZlj\cOBX$cdx¡ZlKhOZwsn_hbOcfX$X\gh_Y¥ÎbdcxhO<snj^F$cxMvYOO<v
||Dm|| = α0m ≤ cα0lgnGX[`cdZ\K
c <1/α0aZlKhO]x5gMN$_0OjS`nOBxAZlj\cOBXqcdx¬Z\KhOZlsI_hbO$cfX
O(ncα0)JKhO$Z\`nZwsnbGX[Z\`Ijwsn AOr`5XoZS`nJsn_hbO
A
ZlKhOx¡jlONsncxMXX\gh_Y¥ÎbdcxhOBsIjsIXb`Ixh sIXSZlKhO.cdxh`IjlN.snZ\c`Ix`IjO<sIrwK¨uhcdO<rO.cfXua`AbdW+xh`AN]cfsnbGcx¡cZwXX[c`ZO
m=O(logn)fG¦x&uMsnj\Z\cfrghbfsnj<+O±YuhbcrcZqsIxMX[OjwXZ\`.b`+rBsnb«e5ghOBj\cOBXrBsnx#_aOX[Z\`Aj\O<v
P ,P ."/@AQ1lf3570924<R<
qW+ua`IZ\KhO<X[cfXsn_0`FIOOxMX\ghjlOBXqZ\KMsnZZlKhO] IjwsnuhK
G KasIX O(n/lgn) OBvY AOBXB©sIxMv qW5u0`nZlKhOBX\cfX~ZlKMsFZ cdZ^KMsAX
O(n/lgn)IOj\Z\cfrO<XGJKhcfXcfX^snbj\O<sIvYWOBxh`IgM IKZ\`.`I_YZwsncxr`IN.uMsAr§ZlxhOBXlX
³
i hO 7 ! !T 7' O $#di O!
G C O(n) ! "
N $#" t^OBrsIbdbZ\KasFZOBsIrwK¬IOj\Z\O±
Nj
`I G r`AxAZwsncxMXNF
nj
kj
sIxMv&ZlKhOcxMvYO±¯`n
Mj
cdx Dnj,kj
«sIX
Obb«sIXcxMvYO±YOBXZ\`.ZlKhOxhOBcd AK5_0`IjwX`n
Nj
cdx G
X nj
snxav
kj
sIj\O¬X\NsnbbdOBjZ\Kasnx
clgn snxMv Kclgn jlOBX\uaO<r§ZlcdAObWIO¬rsIx XoZl`IjlOZ\KhOBNcdx
2 lg lgn+O(1) _hcdZlXB
£KhOBxX[ghN.N.cxh `FIOBjZlKhO
O(n/lgn)IOBj[ZlcrOBX`n
G O IOZqs O
nlg lgn lgn
_McZwXr`AX[ZB
aX[cxh e5gMsnZ\c`Ix
c
_eZ\KhOcxMvYO±#`I
Mj
jlOBe5ghcj\O<X
αnj+β kjlgnj+O(lgnj) _hcdZlXBP+ghN.N.cdxh
`FAOjqsIbdb
Mj
W+cObfvhXs Ib`I_asnbr`AX[Z`I
αP
jnj+β(P
jkj) lg(maxjnj) +O P
jlgnj
=αn+
O(n/lgn) +O(n/lgn) lg lgn
aX[cxh qW+ua`IZ\KhO<X[O<X¯¬sIxMv YZlKhOr`AX[Z`nsIbdbScdxavYcrOBXZ\`-Jsn_MbdO¬ Z\K+gMXj\O<vYgMrO<XZl`
αn+ O
nlg lgn lgn
_hcdZlXB
P+cxMrO.Z\KhOBj\OsIj\O
O(n/lgn) AOj\Z\cfrOBXcx
GZlKhOcxMvYO±¨`ns#xhOc IK+_0`IjgMX\OBX
lgn+O(1) _McZwX
HGOBj[ZlO±
Nj
KMsAX
O(kj) xMOc IK+_a`AjlXB©Z\K+gMXSZlKhO]Z\`IZlsnbGr`AX[ZS`AjXoZl`Ijlcdxh cdxavYO±YOBXSZl`#Z\KhO.xhOBcd AK5_0`IjwXcX
(lgn+O(1))·P
jkj =O(n)PYghN.N]cxh ]snbbMZlKhOBX\Or`IN.ua`AxhOx5ZwXkW+cdOBbvMXGZ\KMOSrbsIcdN.OBvr`IN.uhbO±YcdZoWI
P ,j V1336013570924<R<
G¦x]ZlKhO^uhjl`+`na`IION.Ns.Z\KhOqbdcxhOBsIjGuMsnj\Zk`n0Z\KMO^XoZl`Ijwsn IOrBsnN.Oj\`AN Zo` D5cxMvhXk`nr`Ix5Zlj\c_hgYZlcd`AxMXF
ZlKhO.r`Ix5Zlj\c_hgYZlcd`Ax¬`ncdxMvhO±YOBXScx¯Z\KMO.rBsFZwsnb`I KhcfrwK¨cXvY`AN]cxMsnZ\OBv¬_+W&Z\KhO]Ox5Z\jl`Iu+W
αnsnxMv¯Z\KhO r`Ix5Z\jlc_hgYZ\c`Ix¡`IZlKhOxhOBcd AK+_a`Aj\cxh jlObfsFZ\c`IxaXcdx¡ZlKhO AjlsIuhK
G G¦x¡ZlKhcXX[O<r§Zlcd`Ax«ZlKhOr`AX[Z$`nZ\KMcX X\OBr`IxMvuMsIj[ZcfXj\O<vYgMrO<vZl`_aOX\gh_Y¥ÎbcdxhO<snj<
JKhO AjlsIuhK
GcfXuMsIj[ZlcZlcd`AxhOBv$cdx5Z\`
(
uhcdO<rO<X AsFZlKhOjlcxh
O(lgn)Zlcdx+WuhcOBrOBXBR`Aj\OuhjlOBrcX\ObW
OsIXlX\ghN.OZlKMsFZOsIj\Osn_MbdO.Zl`¯r`IxaXoZlj\gMrZ$s& IjwsnuhK
G0 `A_YZlsIcdxhO<v¨_5WN.Ojl Icxh X[OBIOjwsnbAOj\Z\cfrOBX
`I G cx¯sAOj\Z\O±#`n
G0 sIxMv&bcdx7D+cxh Zo`X[garwKIOj\Z\cfrO<XcdGZ\KhOBj\OcfXqsIxOBvY AOcdx
G _0OZoOOBx&Zo``I
ZlKhOcjqOBbdOBN.Ox5ZlXBqJKhOIOj\Z\O±&X\OZ`n
G0 cfX {N10, N20, . . . Np00}snxavOvYOxh`IZ\O
|Ni0|Z\KhOx5gMN$_0Ojq`I
AOj\Z\cfrO<Xq`I
G Z\KMsnZSKas3IO_0OOBxN.Ojl IO<v&Z\`#`I_hZlsncx
Ni0 sIxMv deg0(Ni0)Z\KhO.vYO Aj\OBO$`I
Ni0 cdx G0
AOj\Z\O±
Ni0 `n G0 Z\KMOxr`AxMX[cfX[ZlX`nZ\KhO`Abdb`Fcxh .cdxY`Aj\NsnZ\c`Ix?F
T
|Ni0|snxav deg0(Ni0)
T ZlKhOcxY`IjlNsFZ\c`Ix`Ij^sIbdb«Z\KhOIOBj[ZlcrOBX
Nj∈Ni0MXoZl`IjlOBvcdx&sX\cdxh AbdON.ON.`Aj\WZB`IxhOA
T cxMvYO±YOBXZl`]xMOc IK+_a`AjlX`I
Ni0 cdx G0
JKMOS AjlsIuhK
G0 KMsIXN.`IjlO`FAOjZ\`XlsFZ\cfX[WZ\KMO`Abdb`Fcxh .K5W+u0`nZlKhOBX\OBXB
&´· ³ É 9C $# h%! 7 'EO Y( _!
Ni0 T 13lgn≤
|Ni0| ≤lgn"
JKhOx+ghN$_0Oj]`n^O<vY IO<Xjl`IN s¯ AcdAOxIOBj[ZlO±¡`n
G0 rsnx¢_aO_a`AghxMvYO<v _+WX[ghN.N.cxh ¬`FAOjcdZlX OBbdOBN.Ox5ZlXNF
deg0(Ni0)≤P
Nj∈Ni0deg(Nj) =P
Nj∈Ni0kj ≤ |Ni0|Kclgn=O(lg2n) cKhOBj\O K cX
sr`IxMX[ZlsIxAZvhOBXlrjlcd_hcxh SZ\KMO^X[c`ZO`IaZlKhO_a`AghxMvhsIj\W$`n0Z\cx5WuhcOBrO<X5sIXcx5Z\jl`+vhgMrO<v]snZ e5gMsFZlcd`Ax
c
^ee§
gYZ^OxhOO<vsX[Z\jl`IxM IOjK+W+ua`IZ\KhO<X[cfX`Ix#Z\KMOZ\`nZwsnbx+ghN_aOBj`nOBvY AOBX`n
G0
&´· ³ É 7 C O' S# Y S#
G0 d ! C ' $# _!
deg0(N10) +. . .+deg0(Np00) =O n
lg2n
.
³ i hO 7 ! ! ! 7 i O!
G R αn+
O
nlg lgn lgn
"
N $#"
t
cjlX[ZOxh`nZlcrO$ZlKMsFZcdxZ\KMO]sI_a`FAO$jlOuhjlOBX\Ox5ZlsnZ\c`Ix`I
G cION.Ns¬_e§«sIOj\Z\O±
Nj
gMX\OBX
O(lg2n)_hcZwX cO(lgn)_McZwX^`Aj^Z\KMO$cxMvYO±`I
Mj
cxZ\KhOj\OBbdOBFsnx5ZrsnZlsIbd`A snxMv
O(lgn)`IjOBsArwK
`IcdZlXBsnZN]`5XoZ<
Kclgn xhOc IK+_0`IjwXOeKhcfrwK¡ IcIOBXSO<sIX\cdbW¬s#_a`AghxMv¨`n
O(lg3n) `AjZ\KhON.ON.`Aj\W xMOOBvhOBv_5W#snbbIOBj[ZlcrOBX`n
G ZlKMsFZ^N.Ojl IOScx&X\`IN.O
Ni0
qOxMrOqsbd`YrBsnbYjlOOjlOxarOZ\`N.OBN]`Aj\WsIvhvYjlOBXlX\OBXjlObfsFZ\cIOZl`X[`AN]O D+xh`Fx
Ni0 j\O<eAgMcdjlOBX
lg lgn+ O(1)_hcdZlXB
IOZ$gMX$xh`F j\OZ\ghjlx¨Z\`ZlKhOcxY`IjlNsFZlcd`Ax XoZl`IjlOBv¨cdx s¯IOj\Z\O±
Nj ∈ Ni0 `n G¯J`jlOOBjZ\`¬s xMOc IK+_a`Aj
Nl
`I Nj
YcdxMX[Z\O<sIv`ngMX[cxh snx&sIvMvYj\O<X\XcxZlKhOKh`IbON.ON.`IjlWvYOA`nZlOBvZl`
GMOjlOOj
¤ajlX[ZZ\`.Z\KMOIOj\Z\O±
Nk0 3Nl
snxavZlKhOx& IcIOSZlKhOsIvhvhj\O<X\X`I
Nl
cx#Z\KhON.ON.`Aj\W ZB`IxhOvYOBI`IZ\OBvZ\`
OBbdOBN.Ox5ZlX`I
Nk0
tOOjlj\cxh qZ\`
Nk0 cfXvh`IxhOcdxavYcdjlOBrZ\bW_5W Acd+cxh qcdZlXcxMvYO±cxZlKhOsnjljls3W`nhZlKhOIIsnZN.`AX[ZB
O(lg2n)
xMOc IK+_a`AjlX`n
Ni0kJK+gMXs$jlOOBj\OBxMrOqZ\`]s$xhOBcd AK+_a`Aj
Nl
`n Nj
r`5XoZwX
O(lg lgn)_hcdZlXBGJKhOSsIxMsnbWYX[cfX
`IZlKhOX[c`ZO`I
G cXX\cdN.cbsIjZ\`]Z\KMOsnjl IghN.Ox5ZgMX\OBvcdx ION.NsYFGKhOjlOSZ\KhOr`AX[Z`ns]jlOOBj\OBxMrOSZ\`
s]xhOBcd AK+_a`Ajvh`5O<X I`jl`IN
O(lgn)vY`FxZl` O(lg lgn)KhcrwK&W+cObfvhXZ\KhOrbsIcdN.O<vr`IN.uhbO±YcZoWA
JKhOsAvhvYcdZ\c`IxMsIb0r`AX[Z`Aj
G0 cfXX[gh_MbdcxhOBsIjX[cxMrOScdZKasIX
O(lgn2n)IOj\Z\cfrO<X_+W qW5u0`nZlKhOBX\cfX°.snxav O<vY IO<X_+W ^W+u0`nZ\KMOBX\cX^{]snxavO<sIrwK&r`5XoZwX
O(lgn)_hcdZlXB
P , / 3lpmoQ[mSlf09lpB6S5:Ulf0 @A24<5 3/01012435768965i:
JKMO¨sI_a`FAOjlsIN.O`IjOD-O<sIX\cdbWsnuhuhbcOBXZ\`-Z\jlOO<XF¢s Z\jlOO¨cZlK
n AOj\Z\cfrO<XrBsnx®_0O¨j\O<rghjwX[cIOBbdW vhOBr`AN.ua`5X[O<v cxAZl`¨Z\cx5W Z\jlOOBX.`Ib`I 5snjlcZlKhN.crX[c`ZOAcdZ\KX[cfvYO<Xr`IxaX[cfXoZlcdxM `IOBvh IOBXr`IxhxMOBr§ZlcdxM
xM`+vhOBX`nGvYc0OBj\OBx5ZZlcdx+WZ\jlOOBXB
R`Aj\Ocx5Z\OjlOBX[Z\cxh AbdW qW5u0`nZlKhOBX\OBXIa+M~YM°]sIxMv{$sIj\OxMsnZ\ghjwsnbbdWXlsFZlcX[¤MO<vKhOBx#vhOBsnbcxh cdZ\K
N.O<X[Kr`IxhxMOBr§Zlcd+cdZoW
c
Z\KMsnZcfXBA`AjNsnuaX`AxX[gMj[ÉsArOBXe§
t
`Abdb`Fcxh `IjcdxaXoZwsnxMrO KMÎ+sZ\jlcsIxh IghbfsFZlcd`Ax
M cdZ\K n ÉsIrO<XrBsnx_0Ouasnj\Z\cdZ\c`IxhO<vcdx5Z\`¢Z\cx+W"jlO Acd`AxMX_+WvYOBr`IN.u0`AX\cdxh -snx®sIj\_hcdZ\jwsnjlW-vhgMsnb X\uMsIxhxhcxh ¨Z\jlOOcxAZl`¡Z\cx+W Z\jlOO<X
c
ZlKMsFZcfXBsX\uMsIxhxhcxh ¨Z\jlOO`nSZ\KMO¬vYgMsIb^ IjwsnuhKr`IxhxhO<r§Zlcdxh sIbdb
ÉsArO<XsIrrj\`5X\XO<vY IO<XOeFghu0`IxjlO`IjlN.cdxM &s
c
bd`YrsIbeuhbsIxMsnjZlj\cfsnxM IghbfsFZlcd`Ax¬jl`IN O<sIrwK¨Z\cx+W¯Zlj\OBOIs
vhOBr`AN.ua`5X[cdZ\c`Ix
(M1, . . . , Mp)cfX`A_YZlsIcdxhO<vhX\gMrwKZlKMsFZ^F
¥kO<sIrwKZ\cx+WZ\jlcsIxh IgMbsnZ\c`Ix&r`Ix5ZwsncxMX_aOZoOBOx
1
12lgn snxav 14lgnZ\jlcfsnxh AbdO<X
c
Z\KMsnZ^cXB
c= 1/4e
¥kO<sIrwKZ\jlcsIxh IbOS_aOBbd`Axh AXZl`O±hsIrZ\bW`IxhOSZlcdx+WZlj\cfsnxh AghbfsFZ\c`IxaX
¥_a`AghxMvhsIj\WOBvY AOBX^sIj\OjlO Aj\`Aghu0OBv#cdx5Zl` i
c
X\OBe5ghOBxMrO<X`nGOBvh IOBXqX[OBuMsnjwsFZlcdxh cdZ^jl`INZ\KhO]X\sIN.O
Zlcdx+WZlj\cfsnxM IghbfsFZlcd`AxMXOe
JKMO_0`Ighxav`Ix$Z\KhOx+ghN$_0Oj`IMOBvY AOBX`nMZ\KhO IjwsnuhK
GZ\KMsnZGvhOBXlrjlcd_0OBXsIv3m[sArOBxMrWjlObfsFZ\c`IxaX_0OZoOOBx X\cfvYOBX`IZlcdx+WZlj\cfsnxh AghbfsFZ\c`IxaX`Abdb`F^Xjl`IN kgMbdOBj Xj\OBbsnZ\c`Ix«
JKhcfXvYcj\O<r§ZsnuhuMbdcfrsnZ\c`Ix¯`IZ\KMO$jwsnN.O`IjOD#Z\`Z\jlcsIxh IgMbsnZ\c`IxMXqgMX[cxh &snx¨snjl_hcZljlsIj\WX\uMsnxMxhcdxM
Zlj\OBO`IjwrO<X^gMXB©sIX^O±YuhbsIcdxMOBv&cx>KdM8aZ\`#r`AxMX[cfvYOBj^Z\KMOrsnZlsIbd`A
Dm,k
`IsnbbuhbfsnxMsIj^Zlj\cfsnxh AghbfsFZ\c`IxaX
cdZ\K
mOBvY AOBXsnxMv$`IxhO_0`IghxMvMsnjlWrWYrbOIFKhcfrwK$cfXvYcd+cfvYOBvcxAZl`
kX[cfvYOBXBJKMOOBxAZlj\`Au+WS`IhZ\KMcXGrbsAX\X
`IZ\jlcsIxh IghbfsFZlcd`AxcdZ\Ks._a`AghxMvhsIj\WcXqKh`FOBIOBj
α= 2.17 _hcdZlXquaOBj^ÉsArO
c
uhbdgaXqs
βklgm ZlOjlN Zl`
ZwsDAOkcdx5Zl`sIrBr`Aghx5Z«Z\KhOx+ghN$_0Oj`nMX\cfvYOBXcdx5Zl`qKhcfrwKZ\KMO_0`IghxavhsnjlWcfXvYcd+cfvYOBve§qXsqr`AxMX\OBe5ghOxarOI
ZlKhOsAvhvYcdZ\cIOuMsIj[Z`IZlKhOOBxAZlj\`Au+W¯bdO<sIvhXZ\`¯s&jlOuhjlOBX\Ox5ZlsnZ\c`Ix¨KhcfrwKcXr`IN.uMsAr§ZB_hgYZ]X[gMrBrcxMr§Z
`AxhbW`IjrbfsIXlX`n©Z\jlcsIxh IgMbsnZ\c`IxMXcdZ\Ks_0`IghxavhsnjlW
c
j\O<rsnbb+Z\KasFZkZlKhOqrbfsIXlXG`IaZlj\cfsnxh AghbfsFZ\c`IxaX`n©Z\KhO
X\uhKhOBj\OKMsAX`IxhbWOBxAZlj\`Au+WIA$_hcZwXu0OjZlj\cfsnxh AbdO_e§
G¦x¨X[ghN.NsnjlWI0`IxMOrsIx¯O±Yu0OBrZqZ\KMO AOxhOBjlsIbjlsIN.O`IjODZl`W+cdOBbv¯OBsIX\cbdW&r`AN]uasIr§ZSj\OBuhjlOBX\Ox5Zlsn¥
Zlcd`AxMX`IjN.OBX\K#r`IxhxMOBr§Zlcd+cdZoWcZlK_0`IgMxMvYOBvÉsIrOSvhO IjlOO<X q`FOBIOj<AsAXOX\KMsnbbX[OBOI+N.`IjlOSrBsnjlO
cfXxhOBOBvYO<vZl`rwKh`+`AX\OZlKhOvYO<r`IN.u0`AX\cZlcd`Axcx&`IjwvYOjZl`]uMj\`YvYgMrOs]X\gMrBrcxMr§Z^jlOuhjlOBX\Ox5ZwsFZ\c`Ix
P , / 3lpmol lf3240W3: V924B6S24<X6$0
O(1) 576$@A2
GÎZqX[Z\cbb«j\OBNsncxMXZ\``A_MX[OBj\AOqZlKMsFZZlKhONghbZlc¥ÎbOIOBb«XoZlj\gar§Z\gMj\O
c
vYOBXlrjlcd_0OBv_+W AjlsIuhKMX
G sIxMv G0YZl`n¥
AOZlKhOjcZlKZlKhOcdxY`Aj\NsnZ\c`Ix$sAX\X\`YrcfsFZ\O<vcZlK$Zlcdx+WuhcOBrOBX
Mj
e§AvY`+OBXsnbbd`F¡Zl`u0Oj\`IjlN O$rcOx5Z\bW
X\`IN.Ob`+rBsnb«sAv3m[sIrOxMrWeAgMOjlcdO<X
c
xhOBcd AK5_0`Ijlcxh eAgMOjlcdO<X`AxOBbdOBN.Ox5ZlsIj\WrObbXe§
³ RTO 7i% O
M fo YO 9 _g! [(M1, . . . , Mp);G;G0] i-
" #oO Y" $# hd!
Mj
& ( O 7 N R# io S#oO 7
Y C i h $#( g h o%$N
O(nj)! 7r99 _& 7" O(1)
g+7 `! $#
M g! # i YO9 "
N $#" JKMOcfvYOBscfXqZlKMsFZObON.OBxAZwsnjlW¯rOBbdbfX
c
ÉsIrOBXBIOj\Z\cfrO<X©O<vY IO<XOesnjlOX\KMsnjlOBv¯_5W¯snZSN.`5XoZ`IxhO
`AjZo`¬sIvFm[sIrOBx5ZZ\cx+W¨uMcdO<rOBX
c
_0OBrBsngMX\O`IZlKhO&vYO¤MxMcZlcd`Ax `n IjwsnuMK
GeGO±hrOBuYZ$`AjsX[NsnbbX\OZ
`I
C&J c
X\KMsIj\O<v_+W¡sIx¢snjl_hcdZ\jwsnjlWx+ghN_aOBj`IZ\cx+WuhcdO<rO<XOe¡JKMOuhbfsnxMsIj\cdZoW¡`n^ AjlsIuhK
G OBxMX[gMj\O<XZ\KasFZ]Z\KhOx5gMN$_0Oj]`n^N$gMbZlcduhbOrObbXcfX
O(lgnn)GKhOBxMrO#sIv3m[sArOBxMrW¡e5ghOjlcdO<Xcx+I`Ib+cdxM NghbdZ\cuhbdOrObbXrBsnx¬_0OsnxMX\OjlOBvcdZ\Ksnx¨sIvhvhcZlcd`AxMsnbcxY`IjlNsFZ\c`Ix«KhcfrwK¬jlOBe5ghcj\O<Xcx¨`FIOjwsnbbs
xMO Ibc Ic_hbdOsIN.`Ighx5Z^`nGO±5ZljlsX[Z\`AjlsI IOAG¦x5Z\ghcdZ\cIOBbdWAMb`Yrsnbe5ghOjlcdO<Xcx5A`Ib+cdxh .`AxhbdW#s.Z\cx+WuMcdO<rO
Mi
sIj\OsnxaX[OjlOBvbd`+`iD+cxh sFZZ\KMOcdxY`Aj\NsnZ\c`Ix&XoZl`IjlOBvcdxJsn_hbO
A
v3m[sArOBxMrWe5ghOjlcOBXSr`IxarOjlxhcxh OBbdOBN]OBx5ZlsnjlW&rObbfXqcxMrcfvYOBxAZSZ\`Z\KhO]_0`IghxMvMsnjlW`IsZlcdx+W&uhcOBrO
Mj
Mj\OBbdWcxMX[Z\O<sIv#`IxZ\KhO$cdxY`Aj\NsnZ\c`Ix#cdx& IjwsnuMKMX
G snxavu0`AXlX\cd_hbW
G0P+`IN.OrBsnjlOSNgMX[Z_0OZwsDIOBx Zl`vYOBsIb«cZlK#Z\KhOÉsAr§ZZ\KasFZqs] IcIOBx#rObbsFZZ\KMON]OBOZlcdxh u0`Icx5Z^_aOZoOBOxs]bd`IZ^`nZ\cx5WuhcOBrO<XrsIx
Kas3IOs$xh`Ax#r`IxMX[ZlsIx5Zx+ghN_aOBj`nj\OBuhj\O<X[OBx5ZlsFZlcd`AxMXNFKh`FOAOjZ\KhOx+ghN_aOBj`nX\gMrwK#X[u0OBrcsIb«rObbfXcX
xMO Ibc Ic_hbdOsIxMvZlKhOW#rsIx_0OvYOZlOBrZ\OBv&snZZlKhO
G0 bOAOb8
# *
3,h# # $ * (
G¦x&ZlKhcfXqX\OBr§Zlcd`AxX[O<r§Z\c`IxOvYO<X\rj\c_aOs.uMsnj\Z\cfrghbfsnjrsFZwsnb`I .`nZlcdx+W&eAgasIvYjwsnxh AghbfsFZ\c`IxaXsIxMvsnx¯sIb¥
A`IjlcZlKhN Zl`vYO<r`AN]u0`AX\OsIx5WcdjljlOBvYgMrcd_MbdOe5gMsAvYjwsnxh AghbsnZ\c`IxMXcx5Z\`Zlcdx+W¡jlO Ic`IxaXZlsiDIOx¡jl`IN Z\KMcX
rBsFZwsnb`I MJKhcfXrsnZlsnb`I .XlsFZ\cfX[¤MOBXe5gMsnZ\c`Ix¡X[`Z\KMsnZZ\KhOjwsnN.OB`AjD.W+cdOBbvMXs]X\gMrBrcxMr§Z^jlOuhjlOBX\Oxh¥
ZwsFZlcd`Ax«¬P+cxMrOcdjlj\O<vYgMrcd_hbOe5gMsAvYjlsIxh IgMbsnZ\c`IxMXsIj\OmogMX[Z]sIxh`nZlKhOjj\OBuhjlOBX\Ox5ZlsnZ\c`Ix¡`n^~F¥¦r`AxhxhO<r§Z\O<v
uMbsIxMsnj IjwsnuMKMX5ZlKhOj\O<X[gMbZ^Kh`AbvMX`IjZ\KMOBX\OSNsIuMX^sIXObb8
j ,$+ B724m6$@;6$01l B6S24<d/0
3 3/01012435C2# =B7lpQ51< V9l 1B7lf09=VWmSl 576S/0W< lf0 5CB72?2<
ibsIxhOZ\jlOO<XqsIj\OuMbsIxMsnj^NsIuMX^cdZ\K¯`AxhbW`AxhOÉsIrOIaZ\KhO`IgYZlOj`IxhOA G¦x¯`nZlKhOjqZ\OjlNXauhbfsnxhO$Z\jlOOBX
`AxhbW¯vYc%©Ojj\`AN%Z\KhOrbsAX\X\crBsnb`IjwvYOjlOBv¯Z\jlOO<Xcx¨Z\KhO]ÉsAr§ZZ\KMsnZZ\KhOBW¬snjlO]xh`nZjl`5`IZ\O<v _hcxMsIj\W
Zlj\OBO$cfXsuhbfsnxMOZ\jlOO.X\gMrwKZ\KasFZOBsIrwK¬IOj\Z\O±KMsIX~xMOc IK+_a`AjlX
c
sIxMv¯KMOxMrO]X[`AxMXqcdjl`+`nZ\O<ve§
AOj\Z\O±cfXqs.bOBsFGcdkcZSKMsIXqvYO Aj\OBO
1M`IZ\KhOBj\cfX\OcZScXsnxcxAZlOjlxMsnbxh`YvYOI vY AOBXqcdxMrcvhOx5ZqZl`bdO<s3IOBX sIj\OrsIbdbOBv
Yj\OBN.sIcdxMcdxh ]OBvh IOBXsIj\OrBsnbbdO<v
Y
e5gMsIvYjwsnxM IghbfsFZlcd`Ax#cfXqsuhbfsnxMsIjqNsnu¯Kas35cxh sIbdbcZwXÉsIrO<X^`IvYO Aj\OBO
4S vYcfX\X\OBrZ\c`Ix¯`IGZ\KhO KMO±hsn A`Ix¡_+W¡e5gMsAvYjwsnxh AghbsIjÉsIrOBXcfX]suhbfsnxMsIj$NsnuKh`5X[O`IgYZlOj$ÉsIrOKMsIXvYO Aj\OBO
6 sIxMv¡cdxMxhOj
ÉsArO<XKMs3IOvYOB IjlOOS°Mkye5gMsIvhjlsIxh IghbfsFZlcd`Ax`Aj^vYcXlX\OBr§Zlcd`Ax`IZlKhOKhO±YsI I`Ax_+We5gMsIvhjlsIxh IghbfsnjÉsIrOBX
cfXXlsncfvcj\jlOBvhgMrc_hbOScdcZ^KMsAXxh`X\OuMsIjlsnZ\cxh
4¥ÎrW+rbdO cOsnbfX\`.rBsnbb©Z\KhOBN & g! e§
JKhO.`Abdb`Fcxh r`IxaXoZlj\gMrZ\c`Ix¨cXN]`Aj\O.`AjbdO<X\Xs`Ib`D+bd`Aj\O.FsnjlcfsFZ\c`Ix¨`IxZ\KMOXoZwsnxMvhsIjlv¨vYgMsIbdcdZoW
r`IxMX[Z\jlgMrZ\c`Ix.`IjuhbfsnxMsIjNsnuMXNF IcIOxs~F¥¦r`AxhxhOBrZ\O<v.uhbsIxMsnjNsnu
M+r`Abd`AjcdZlXIOj\Z\cfrO<Xkcx_hbfsIrD sIxMvuMgYZqs$KMcZlOIOj\Z\O±cdxZ\KMOSN.cfvhvYbO`nO<sIrwKÉsIrOsIxMvZlj\cfsnxh AghbfsFZ\OSOBsArwKÉsArOSj\`AN Z\KhcfXKhcdZ\O
AOj\Z\O±©.JKhO.jlOBX\ghbZlcdxM #xMO O<vY IO<XS`IjlNUs&e5gMsIvYjwsnxM IghbfsFZlcd`Ax
Q cOBsIrwKƒsIrOcXNsIvhO]`IZlKhO.Zo`
Zlj\cfsnxM IbOBXcxMrcfvYOBxAZZ\`¨snxOBvh IO`I
Me§JGÎZ]cXxh`nZ.vYc$rghbdZ$Z\`¨rwKhOBrD¬Z\KMsnZ$ZlKhO#~n¥Îr`IxhxMOBr§ZlOBvYxMOBXlX
`I M cfXO<eAgMcdFsnbOx5ZZl`Z\KMOcdjljlOBvYgMrcd_McdbcZoW¨`n
Q t cdxMsIbdbW¨bdOZgMX$`I_MX\OjlIO]Z\KasFZ$cdZcfXu0`AXlX[c_hbOZ\`
sAX\X\`YrcfsFZlOqsjl`+`nZ\O<vvYcfX\X\OBrZ\c`Ix
d`IZ\KhOSKhO±hsI I`Ix.Zl`]s$j\`+`IZ\OBvcjlj\O<vYgMrc_hbOe5gMsAvYjlsIxh IgMbsnZ\c`Ix
Q_+W
vhObOZ\cxh ]Z\KMOj\`+`nZO<vY IOA