adrianov@dcc.ufmg.br meira@dcc.ufmg.br mlbc@dcc.ufmg.br ..... 1 GÐC@ef pq7Ð eШЧЩЦA090e&A0hÐ c p MÐ6UÐ hWGtA0p MÐ6U 2 Md6U X !$# 1.
$
!" #
%&'%)(% *
+ ,-+, .0/21-3546387:9; ,=< /6>@?BA)CD?E,F7G9H< J, I&,LKM/ NOA5?QP5AR1TSD387U9 I&,V!5W3 4X46A54Y7G9[Z\,V]A5?_^"SDA54_A5?BA ^@SM`6ab9H< ' , CcAdPe/f/gKih=AejE>lk
m
nJo2p:qsr tvu8wgpUxyr o
z|{~}e}-D
"~Q}l}eT-s}lTMs~F R~~cE2 UT¡~¢~FT}£¥¤@¥s~¦sJ}£6 ~FEJ§}lJTsRF}l¨{~~§sfJJ}lT~}£dQ©F{RT{~}6¡TJ}£TB
ª}-F@~E@T}-F}l«T~¬s ¢T}J
¢~:¡TT}lT6
T®Fs}¬~F«}-Fl¯fz|{~}eE8O¡~T-}lF|2JsR¡~¢~FF§:D~F° F}-Ts}E±|§~{}-F}-@T §@F}-¨s F§}8s±©F}-¨Ts}±bT¢T}¯Y²³´
µ l@T}lF T"©¶ :s
·T}l¬T{}X}-8T2
µs-§§FF§2}-¸¹}£ Ts}|~F2¢~}lF«Fs~2s¬"~Q}l}fFJs}lT¯ ²³5T¢¨{es¬}-""T~R}-@l¦F}lT¡b«}BTd}XY-T¢bJs¤¹}ll¢T}g}-T{"8TR}X~}-¦8¤¹}J¶X}-}l F}lT¡b«}£es
2JT}lJ¢~Ts}´¢«}l5F}lº@¢~}£¶¨R-»¶F¢~T¤\T{~}´¼®
_{"¢~ ½¡b}lF-}-¡F§ b¾
sFRTs¾
Q«s{@£¯´z|{~}vFsT¿s
Qs¢sFsF}-}l§~¥º@¢~¨cF}lT¡bT}5F§R}£¬¬RsF} JR¡~§-T}£R§M~@bR2~¨sT}J¨-Q{~}-F}QT{}-F}_g¬-s«Fsf§¼b¢À
G~F~¯BÁf{s~s}£ TRF{~}e~FR-s¥§"T}E}-À«T~R¡TT}lT6sQFT¢bJ}E~}lE¯XÂ"R¡~§±T}-°Ã}-À}lJ¢~T~ sT§T{R6
TÄT-FF¨{DQ{~}lc±~¨¤«}52¢~¡Å~F}l¿lcT}£«¢~§2cs}JÀ¡~Ts T{}-sR¡~¢¨F§UbM²TÆÇÈT}£«¢~¨J}lfF}lº@¢~T}£U¯É{Q|~}-}£}l±|d|¦5FR¡~T-}lF T{}¾~F\§-T}lR}-@Fs§¢¡¹~T}cT{~}¾
sF TsÊF{¥±§}£~}£ÊQ{~§}¾¤b}l§ Js~Ëls@2
gT{~}d§@F}-¨s F§}eF}lº@¢~T}lR}-@F_
BF{~}R¡~T-}lF-¯8²³F{~¡b¡¹}-8f}d¡~F}lT}-@ T¢¨{´sD¡~¡~F¨{
s6R}-v~FRR~§5¨sTÅÌBsF«JF§MF¢~}8R~~¯ _FJs}lT¥s
XsFT"-TsF¢~}l8E¿R¡b«¨@E¡~Fs¤~}-;F±R§§~b¯dz|{} ¡~FF¶"¡~-b¡~¡~-F§ gT{}2b"TB
GF}lBs8ΨÏЫÑÒ-ÓÅFMÔ©ÕÖ¦×y@¤~¢|¤b}£«}lgT{} F}JFs§~F}lB}JÀ~R¡~}ssTTJF§5F¢~}l{¦}X¤¹}-}l «{~QdFE¤b}Q¢T}J
¢R~s T¢¨{ sX}£J«s´«¢~¡¡b«£F}-}l-sRe¢~lTsbXssTØ~Tgbv¡~F}l F§ª"¢~~s}lFT©¶ }-T§R}-@Fl~}J¨¯Xz|{~}E¡~Fs¤~}-Ù
d~~vsFT"-Ts´T¢§}£Q-¥¤¹}e}£JsR¡¹T}l±§@F ¶X8T¢~¤~¡~Fs¤§}lRl¯ÁfJ}l¡T¢b§¦T{~}|s@@
~F{~}X¨¶«¢¤~¡~Fs¤~}-L:T2dF{~}QJs° Ú¨ÛYܶÝÞ¨ßàáQܶâ-àGã¨äbåÅã áQݦæ£àܶßçlè¶éêܶâ¦è¶Ü ëì:â¦é íJܶßÃîéêïÞ¨ï¦Üðܶï¦Ü¶ßyÞ¨ñ@ï¦ÜBòéêâÞ¨î:óYܶßyÞ¨éêîTë¦ôÅßyÞ¨õ¶éêñ Þ¨ï¦ßéöÞ¨â¦ãTí¦÷Yï¦è¶è ø æ£äáQù¦ø ú£ß¥áQܶéêßyÞJ÷Yï¦è¶è ø æ£ä§áQù¦ø ú¦ß±áQñêúèT÷Yï¦è¶è ø æ£ä§áQù¦ø ú¦ß´úÞ¶íJܶÝ÷Yï¦è¶è ø æ£äáQù¦ø ú£ß û ÛYܶÝÞ¨ßàáQܶâ-àÍã¨äØåÅã áQݦæ£àÜ«ß]Þ¨â¦ïýü·â£äã ßá6ÞFàÃéêã âç-è«éêܶâ¦è¶Ü ëÄþªÿ¦Ü Yÿ£éêã#çJàyÞFàÜ&ì:â£é íJÜ«ßîÃé à Jë ìç ¿îßÃéêâ¦é©÷Yè¶éêî«ø ã ÿ¦éêã ·îàÃÞFàÜJø ܶï¦æ åUã áQÝ£æ£àÃܶß:çlè¶éêܶâ¦è¶ÜgÛYܶÝÞ¨ßàáQܶâ-à«ë ªÜ«â£îÃîÃܶñöÞ¨Ü¶ß ã ñ -àÜ«èÃÿ¦â¦éêèBü·â¦îàé àæ£àÃÜ ësìYç cõ«Þ -é©÷Yè¶îTø ßÃÝ£éø Ü«ï£æ
Copyright © by SIAM. Unauthorized reproduction of this article is prohibited
494
--¢~TF~5§T}l e{}--}J
sTT{¥F}J
}lTF}l´sQ§T}l «}-F¨XQ{~¨{DsT}E¡~F}lT}-@QdTs~§b-s@ "¢~e¤¹}-´
EFFsFs F§ 8\@¢e¤¹}-´sF}lF}-MT{s= ¢T}-T°³«¡¹}l-©}£ÊT{T}£«{~'¦s§¢} -s§}l0R~e¢~&T¢~¡~¡¹sTl ¯ s"c} -§}l@dsT§T{R¬{¦s}v¤¹}-}l ¡~Fs¡¹T}lcT¾«§} T{g¨¶fT¢~¤~¡T¤~§}lDÔ Ö" £×¹
sX¶¨T_F«}-Fl¯Yz|{}_s@~s
UT{~}8«}£J «¢¤~¡~Fs¤~}- ªF2}-~}lFT}gR¡~lTs´¡~Fs¤b¤~§«T-8}-T}lTR~}l:F¢~}ll¤sT}lE¬F{~}g
F}lº@¢~}l@ §T}- T}J¨-Q©F{ T}£«¡¹}lJT¬T{}-¢T}-T°yT¡¹}lJ§}£eF{~F}lT{~s F{~}6R~§5¢~ Js~b}-bJ}s¯
6&JT}lDT{}\¡~Fs¤~}-
M-sR¡~¢F§~sF«JF§F¢~}l¿s L}ls§"~ ~FsT}J£§s}MT{~@«}±
s¢ \}-°y-sRR}-¨J}M5X}-¤~°Ã¤«}£ s s§l¯ z|{~}¥~¨sT}JF5 T¢¨{ s ¬T}-b0T¤¹}v}-Fc"sdï }¯§-s«FsF§¾¢~¡Å~F}l0Q§T{
F}lT{ ~F~¯ ª}-_¢2sF«¢~R}F{22TsR}¬¡¹s2§¥F§R}¬X}¬{¦}¬JsR¡~¢~T}lDs§GT{~}eT}l§}l¦s@_sF«s° JF§¿F¢~}l8
sET¢¨{0´Fs¤sT}s ¯ GT}-£U§
fF{~} ~¨¤«}d¢¡¹~T}£c©
XT{~}R¢T}- }£J}l2TD¨{s~s}5T{}d¡b¨R}JF}-¨_s
gT{}dF¢~}5}-~}lFT~´¡~Ts¨¥¹T{~} T}JE
XsF«s° JF§¡~F}-"s¢T§-sR¡~¢F}l¾E~¥§~s}lEʵTsR}R
XT{} T¢~}l¬R¦c¶F§B{~U ¤~¢|~s|s§Å
GT{~}l J ¯ s}8¡~¡~F¨{ TRJR¡~¢T}2T{}2~}lT}J|
:TTJF§ T¢~}l Xs¢~d¤b}_T¬F}J°y}JÀ}l-¢T}68FF§TssbsT§T{[sdF{~}_¢~¡Å~T}lM~¨¤«}|sfQ©F{RT{~} ~}l»¡b¨R}JF}-¨-¯ 6X}-s}llT{~B¡~FJ}£Tf~g} vJ}-@fT§-}6§fBR}-RsF"§}£T_ï }¯§@© s~T}£gF{~}¬F}ls~vFJ}-F}lM@Q§}£s}¦ }lFT}-@T§v~¢~¡~lT~ ¡s«Qs
:F{~}EfT T{bQ{¦s}Es§F}l ¤b}l}-D~}s¯ zG´s~~T}£T_T{~8¡~Fs¤~}-¥U«}ls}lFsGF}lT}l¨¨{~}lF¬Ô :Õ Õ Õ £×{b¦s}e¡Ts° ¡¹T}lv-T}ld}l@FªTTJF§vR§~~ sT§T{Rl¯z|{~}lT}ssF§T{~ XT}-°Ã¢b«}2T{~}¡~F}J° "§¢T§RR§}l´§~
sFRTsMsMTFRT Je¤~~}2T{~|§~
sFRTs±Q©F{MF{~}8
T}£«{´~¨ T } vJ}-@T±F}J°³JR¡~¢T}F{~}¬~}lL«}-6
BsF«-Ts´T¢~}ll¯X²³¥T{~6¡s¡b}l6X}E¡~T}£«}l@ 5~s}lF}l¨{~~º@¢~}2T{Q-}lgT{~}E«FT}J°y
·°ÃT{}J°³Tf±JF}-R}l¨ÅsF«-TsvF¢~} R§§~b¯|Ç2¢~6s§sF©F{~¥-s§}l ! "§s}EsT{~}l_¡~¡T@s¨{~}£-"¢T}lQ¡T}l@s¢b«M¶° J}-F}l±"~Q§}£s}FvF}l¢-}T{~}dJ@¶_s
¢~¡¹T~ F{~}¬
F}lº@¢~}l@_©F}- T}JFl# ¯ 6X}-}-£ §g§@FT¢-}lf«d}2«s~§bl@B§R¡~Fs}lR}-@F}-B¡T}l@s¢b§bJF}-R}-@FsR~§ess° F©F{~ EÔ $ ~% ¦×y¯É¾}E{~§{~§{QF{~}lT}§R¡~Fs}lR}-@FX~}-À@£¯ Ç2¢~|¡~¡~F¨{v @Ffs~RT{}2 À ¹
T}£º@¢~}-@|©F}- «}-FfTdJF}-R}-@¨§ J«TF¢ 2T{~}R«F-}5s
B
F}lº@¢~}-@©F}- T}JFl¯¬z|{~}d À§ s:
F}lº@¢~}l@2§T}- T}J¨EF}e¢~¡° ~T}lR¤"RE~}-~¤¨@T¨s¨"§T}lsF¨{GsQ{~¨{ gs¢~}£R¤@5T{}_F}lT¢~©¨Bs
¹F{~}_¡T}l@s¢b R§§~¾§T}-¨F§ªg"}-~¾cs}lT0} -§}l@R|¦0
s }-T}lTR~§¿
F}lº@¢~}lR§T}- T}J¨-¯ z|{~}D¡¡~T@s¨{½vsT¾s}-F } -§}l@v§T¢~¡~¡¹sTT~ T©°³Q¹ÆT©°y¢~¡\@T}lF Tsb ¤«}£ s»R©
"~0¢T}-R¡¨R}-T}-¨d«¢¨{ÊsdR~§5¢~T¢~¡~¡¹sTl¯Ê2¢~}´T¾T{~}¥}-À@° ¡~s¨FsF´bT¢T} s
X~F´R§~~¥F{~e«¢~¡¡b«E
E§@T}lF F§"§¶E-T¢bJÃ' ¯ &~¢~TT{~}ll s¢|s§sF©F{~ |}JÀ"T}lTR}l§v} vJ}-@6T}lsF~d²TÆsÇ5¯ z|{~}±s§sF©F{~ -½«¿T¢~¡~¡¹sT5QX}l d~~¿¡b}lFTsesd«{~«5T}lT R§§~bgQ{~}lT}l§½s FFsFs F§dF}±Tl¨}l
T T{~}Fs¤sT}±s½~}- ~}l s}lU@s}l}-¡~~EF{~}«}-f
GTTJF§ T¢~}lfJ{~}-F}-@gQ§T{±T}£«¡¹}lJgTeT{~}2R«fF}lJ}l@ ~F~¯vÂ"{sT«°ÃT}-FÄR~§´¬}£«¨¤~}e
¬¡~¡§-TsET¢¨{0s) ('*$+0R~§GQ{}-F} T{}Q¢«}lB¤¹}-{¦"s ¦eFeT§~©¹-@F§eJFFYTR}6dsRslJ}lF¡«T}lTb ¦¬¤b} ~8§~s}l:F}-}-s£¯:z|{~Y
}lT¢~F}X}-s¤~§}£_{~s{R}lsF}-}gs
b@T}-¨sJT"©¶}--s¢~¨§~2 ¼}-À"¤~}6}JÀ¡~s¨F§5s
UT{~}2~¨¤«}|F{~T¢~s{dF{~}_¢T}6s
UE~À}l"°y§}l~F{RTR}6Q§b6-¯
6~sT{~}l§R¡¹sTF@:
}lF¢~F}fs
s¢~¡¡~T@s¨{¬:©¨¤~§§¶8T2T¨s¨Eb¬¢T}X«Fs¤~} sFT"-Ts ¡«F}-FlÔ§Õ£Ö¦×ïBz|{~f
}lT¢~F}2X¢T}J
¢~UM¶Xe|¦-,¯ &Y§¨«l¢T}-¨g ¦ ¤¹}§° T}lT}£¶F}ld }l@T§
@~eT¢¨{vTTJTsb¤b}£-¢b«}Qs
¹F{~}_«Fs¤~§§¶5¡~Fs¡¹}-T¶UÔ©Õ¦Öl×Ã@Q{~¨{ - þGÿ£ÜfâÞ¨áQÜgõ¶éêù õ«Þ¨/ ù .ªÞ¨îYéêâ¦îÃݦéêßܶïã âEàÃÿ¦ÜfúÜ«ÿ¦Þ«íléêã ßã¨ä¹àÿ¦Ü|Þ¨ñêù ã ßé àÃÿ£áë .:ÿ£éêèyÿEîÃÜ«Þ¨ßÃèÃÿ¦Ü¶îàÃÿ¦ÜfîÃã ñêæ£àéêã â îÃݦިè«ÜBä§ã ß:á6Þ10léêá6Þ¨ñsä§ßÃÜ32-æ¦Ü¶â-àYé àÃܶáQîܶàîYã âÞ¨âæ¦Ý4.ªÞ¨ßÃïäÞ¨îÃÿ¦éêã âÞ¨â¦ï8àÿ¦Ü¶âEÜ«â-æ¦áQܶßyÞFàܶîYàÿ¦Ü¶éêßYîÃæ£ú¦îÃܳàîYã â Þfï£5ã .Gâ .UÞ¨ßÃï8äÞ¨îÃÿ¦éêã âø
Copyright © by SIAM. Unauthorized reproduction of this article is prohibited
495
fF}-@¨}ldFeF{~}ET-s}-Fd
GF}-s¤~}2sFT"-TsvF¢~}ll¯BÂ"}l-sU@F{~}lT}8TTJF§ -s0¤b}v¢b«}£¿F«¡¹}-}£0¢~¡¾T{~}M§-T}lR}-@FsBR§~~D¡~FJ}£T¬eD« s§g-«ET-J¢~° ¨sJ ¯ BFTsb6
F{~}d¡b¡~¢~F©¶´
F{~}e
F}lº@¢~}l@2§T}- T}J¨2sT}e-sT}-F}l¥s¨}l T5}JF}-Fd~}2Q{~¨{vT¢~¤T}J¨gsT}QF¬¤¹}_¢~¡Å~F}lvgEF}lT¢~§g
ª~FER§b-Tsl¯ &~ ¶¨-}s@T{}s§sF©F{~ Q§Å¢~¡Å~F}8~RT{~@«}2
T}£º@¢~}-@|©F}- «}-FXQ{~@«}8FTsv ¡¹s¡~¢~F§¶¿e¤¹s}v¡~T}-°y~}J~}£0T}lÀ~TscT{T}£«{~ª¯ _F} T{5§
QT{~}M¡b¡~¢~T° §¶D
g¿©F}- «}-~@}£8~¨{~}e5¢¨{s}l6F§R}¥µM«Fs¤~}dTTJTs¹ bT{~}dT¢§}£
Fs ©¨2T¢~¤T}J¨6Q§Y§s}l§±T}l R
µT´s"D¡~¡~F¦À§ Ts´
T{}5sJT¢sGF¢~}ll }-}-¥±F{~}¬¡~F}lT}-bJ}
~}-H~FR¢~¡Å~F}ll¯fz|{~Q}l¤~}lXF{~}es§sF©F{~ØT ¡¹«T¡¹s} D
¢§|¢~¡Å~F}±¡b}lFTs
dTsR}v À" f
T}£º@¢~}-@R©F}- «}-FlQ{~¨{\JF}l«}£ET{} sT§T{Ø4} vJ}--±T§~§b-sF§¯ À"T}lT§}e}JÀ¡¹}-F§R}l¨2sT}eT}l¡b«F}lDF{~8XsF´-sR¡sT~ F{~}5¡¹}-T
sF -}
! È@« ¬Ô§Õ ¦×6F¢~~§~¾s»F}lE
T T{~ } °«ÁfsRR}-¨J}¥Rs§¹es T@@F{~}JFFs¤sT}lv¢~}l±§¸¹}lT}l@±¨{¨sJT}lT¶Fl-¯Éc}¾« }l¢F}DT{~}¿¢«}¿
! c
6«{sT«°ÃT}-FØR§§~bbvF{~}E§R¡ ¨Q
YT}lÀTsª¯
q
à x xTo_qx ¬ot
_p 6t rEq \ !"$#% &('*)$&(#,+-/.10 2 G}J4357683 "89 3$: 9;>9 3$?A@_¤¹}85«}-fs
CBÙ§T}l fsvM©F}- «}-!D'
¬s°y}-R¡¶ds¨}-F}l T}JX
ª§T}lRXbU"§v¡bTTJ¢~£§
ª§|-s@Fs§|ÑQ§T}l -"§fQ§Å¤¹} }l~F}lD¤"Ѩ°y©F}- T}Jl¯ FFsFs F§F E8MT}J_s
B©F}- - EHGJIQ¢~º@¢~}l§¥}-@F©}£ ¤" LÓ KNM5sP O[E´~¨¤«}d
fT¨FsJTsl¯ez|{~} T}J
2LÓ KNM¦Ð8Q{~¨{cJ@Fc´§}- §T}- T}J£R Q 6-s§}lMT{~} LÓ KNMTSUKÐ ÓªsV
Q bM6}l~F}l¥s4 WYXeZ QcJ¯ z|{~}5\Ð [^]_]R`ba ÓÅV
D¬@}l~F}ld c1X¬N Qc "gF{~}8¡b}lF-}-@Fss}6s
ªT¨FsJTsg§e O=T{ J@F D s8T¢~¤T}Jl¹Ã¯ }¯§f c1XeZ g¹ 5ih"W4XEZ Qc}-;=À"; T}-b}l ~}_§T}l |ETR}s s2F{~}v«}£¨¨{cT¡s-}R8FF¦}-¨«}£U¯dz|{}d}-T{0s4
3D8T{~}vFR} s8F{~}v}l¡T{0
fT{~} JTF}lT¡¹s~5~}E§´F{~}¬«}£¨¨{vFT}l}s¯ 8§}-R_¡bTT«§¢~Tsd
b}-T{ ¶b 3 f 5 6 ¥!" @T{~}Qs~dFTs¤~§}X¢~}l
sªT{~}f~}JÀ":§T}l! ~-sR}lÅ
FsH6T¢~¤T}J#" G$ l9 §"}£9l8;>;=T;>{~9 } `brRlÎ Ktq¹Ò|ÐJÒ-ÓïG²y
%'&()s ¨*" ¶ T{}-´T{~}e~}l 3 5 6 9 " 9l;>;>;=9 + ¨ÊÕ 9 % @Qª~2¤b}¬-sT~}-F}l´¤" T{~}e¤s¨@T¨s¨"~ sT§T{´¯»Â"§bJ}D«¢b¨{»T¢~¤FT}l}ld{¦s}´¤¹}-}-»¡~F¢~~}£½¦|¦¾
T&T{~}¥Ts|T}l¨¨{ T¡s-}s"T{}¬}JF}-FdTs´
," Q« -s§}l ]a"[ q,Ktq*xs¯
X¬}l¨{¾§T}lFTsªªT{~}Ms§sF©F{~ÍFT}l}-À@F}-~§~ 3 XQ§T{ }ls}lT§T}l g ¾T{~} Je¤~~}d«}--" ¶) ¯ 6¿}-À"T}-b«s2¦s§§
T{}5F}lT¢~§T~M§T}lRT}J 3. ¤" 2
T}£º¢}-@8s 2E±T¢~¤T}JE
X"T}£s¥"~Q À" Y
F}lº@¢~}-@©F}- T}Jl¯dz|{~}R~}JÀ"E¶F}-¡¾ TdJd¡¢T}_T{~}2~}-'¡¹FT§¤~}_T}J|
ª}-À@F}-Tsl/ ¤ " "Q{~¨{M-sT«Fgs~R
ª§T}lRf " T{Q
s§6! g:¯fz|{~}e~}-HJe¤~~}¬T}Jl0" ¹J««F|
F{~T}©F}- 61 ¤ " F{ ¡~F¢J}2
T}£º@¢~}-@f§T}l «}-fQ{~}lv¢T}lRFe}JÀ"F¤ }-" 3 ,¯ _"d§T}l ~X§ F{~}2-s5¤~§} T}JT}-
}-¨GF88¡~F¢~~}£eT¢~¤FT}l}s,¯ _Y¡~F}lT}-@T}£UT{}X¤bs¤ ¨@" T¨s¨«}£¨¨{¬¡¹}-T
sFR8}-¡~T{° ¨¶2T¨¦s}lFFªs
BT{}dT}lsF¨{T¡s-}s¯' * \sTv¢T}l~§Tss:¡TR§Ë£Tsb6F T¡b}l}l ¢~¡MT{~}8 ÀRs§§¶ ¨{~}l¨"~esR
sf
µs«g
F}lº@¢~}lJ -sR¡~¢¨Tsb2«}l}dÔ§Õ ¦×¹
s s©F§ª~}JFs§¨ ¯ 2435 6'798):;=#@BAC 8 )9 9 8 @ 8 9 @
Q
·F}-|F}lJF~§~¬T{~}8~s}lFFsFs F§gsvF-¨~¬F{~}8s¤Ts}JF}_s}llX}2{b¦s}QF
}-T}-FR§} T{~}v
T}£º¢}-@e§T}- T}J¨¬0T{~}v¢¡¹~T}£ ~¨¤«} ¦±¯Dz|{~}MT}Jes
f
F}lº@¢~}l@ §T}- T}J¨§¦ B-sR¡¹T}l5¤@eT{~}Q¢~§R
¹T{~}6T}JBs
¹F}J¨~}l5©F}- T}JFg5T{}6«}-B
}-R}lT}l¬§T}l «}-Flb¬§g-d¤¹}|Ts}-¬}-T}-FR§}l5¤@¬T{~}Q À @
T}£º@¢~}-@©F}- T}JF ¦ Ô©Õ ¦×y¯ ²³0T{~d¶F}-¡ª ! Ê}lR¡~§¬¿«}£¨¨{¿
ET{~}± À§ s
T}£º@¢~}-@e§T}lRT}J¨¬ ¦±¯ 6´4} vJ}-@Q ÀRs©°y¤«}£MT}l¨¨{v5¢¶6FF«
¶X5 ´¡~T¡b}l«F§}£-g
§6l¯ &Y§¨«l¦T{}f¤§©¶8F_¡¹}-T
sF
µ¶:
T}£º@¢~}--EJsR¡~¢~FF§ª¯:z|{:¡~Fs¡¹}-T¶2:TTJF}l Q§T{½T{~}¥J@¶d
_¡~FJ}£TT§c¾-bT}±©F}- T}Jl¯½zG0TT¶
¾F{~d¡~Fs¡¹}-T¶0}JÀ"Fs@ ¡¡~T@s¨{~}£g}-~}lFs§ ¢F§§Ël}¬Jd¡T}£TT}l±¶FT¢JT¢~F}lX
QT}l¡~F}lT}-@FTsMs
GF{~}T«l §}v©¸UT}JFMÔ©Õ ¦×gs¬-sR¡~F}lF«}£¿¤©e}lJTs¨l¯ Â}lJUGT{~}Ms¤~§§¶F¥º@¢~¨"§cT}lRs} Fs}E¤~¨¨{}lQs
T{~}d«}£¨¨{´T¡s-}E
Fs]Jsb«}-¨F§ª¯Qz|{~_¡~Fs¡¹}-T¶M_TTJF}l Q§T{±T{~}"¢~e¤¹}-|s
Y-s~F}lXs}l~}-¨F}lM§MT{~}ET}l¨¨{ª¯z|{~}E« s§}-XT{}8"¢~5¤b}l|
-s~F}lgs}-}-¨T}£UF{~}Q
µ¶F}-BF{~}2T}lsF¨{dXs¢~R¤b}¯z|{~}lT}Q¶Xe¤~©F§}£g}-T}-FR§} T{}Rs¢~@vs
8XsF s}D§ÊF{~}«}£¨¨{ª¯ _vd}l@Ts~}£½}£F§}-£ ! È}-R¡~ ´¤s¨@FF¨@~¥«}£¨¨{¿T¡~§F}l¾¤"O *K B:Q{~¨{¾¢T§Ë-}£¬DT}J¬
XT}£¨{~~º@¢~}l8F }-{-}_F{~}2
T}£º¢}--R-sR¡~¢¨F§±b T{}2¡~F¢~~~d}J¸Å}lJTs}-}lF-,¯ 6X}-}-£¤¹}JTT}- F}lT¢~©¨5l ¤¹}¥s¨{~}-}l0¤"0Rs"§~c¢T}M
QF{~}´§-T}lR}-@FsXs¡~¡~Fs¨{Gs X}MQ§ ¡~F}lT}-@Q{~ ! 0s¨{~}-}lfT{}lT}8¡T¡b}l«F§}£|§´T{}E~}JÀ"Q¶XdT}lJTsl¯
T'_") 2_.T2T+R% #,d,.T)"'*)$&(#,+©2_% 1 +R&U.T2_ É{~}RT}lsF¨{§~v
s8T{~}d ÀRsY
T}-° º@¢~}-@ª§T}lRT}J¨- Js@F§"¢~¢«_}-~}lFT}£b¡bTTsTs¢Tsb-¦ªX~}-0¡s«Fs Ts¢Ts¾FT}ll¹±~}l[Je¤~~}5T}JE5¢¶¤¹}d-sR¡~¢F}lDF± ss}d¡b@TT§¤§}eT´¡~T-}lF }JÀ"F}-T§5
QT{d¡s«FsXTs¢TsG¯c²³½s¨}-eT¿}-~}lFT}±~}- -se¤§~}´«}-FlgTsR}
F}lº@¢~}-bJDJd¡¢FTs2e¢«2¤¹}R¡~¡~}lU¯zG±¡b}l«
T F{~}¬
F}lº@¢~}lJDJR¡~¢FTsª ! ¾|¤«}£M±F{~}¬sFT"-T"©¶ s
:§T}- T}J¨-~Q{¨{´_}J}l¥sX
§6-¯ ª}- Q¤b}v M@°y§T}- T}Jes
X§T}l Q YQ{~}-F } Q & 3bC W8Z Qc¤¹}v§FF~§¶ ;l;np { >r )(wv u s *!r,+ El#r.- 0/ / JqSj21 j >l43 `j53 -
$43 $ 6!7 '6,9 ;*)+-9 88 >9797 < 7 9B#8 )9 9 8 @8 9 @ %(D_a c 5 +(D) 5 ) DD9/`) F 798 f? AB+C',) DE+(? F) ? D) HIA) D_D9/`) FTK L N P K Q L N U K V L NSW K V L N XZY A) [&K L N P K\h5 L N c 5 +(D) `a%A ) DMA `adcwc%(' D
6ssF§T{~ ¯ Ì]{ kikihs . j ihnkrGj s ( 0353
6}ls}-TT{}-}lF-
sX«d}2T}£§ }lT}2~F¤bsT}lls}-}- F{~f-T}ld}l@Fb¢~¡Å~F§~ ¡~FJ}lFª¤¹}l-sR}lY¢~~
}lsT¤~§}«-}gF{~}f"¢~5¤b}l
bT¢~¤T}J¨:leT¾F@2sT}s¯:²³¬T{}lT} FJ}-bF§@-bs~}5¡b@TT§¤§}d¶FFT}-±2T aT$Ò SlÏ u5T{}5¢~¡Å~T~±¡TJ}£TlÅs_
s§6lÌ|²y
BT{~} ¡¹s¡~¢~F§¶8sTF§±Ã¯ }s¯s«¢¡~¡b« :
b8ss}l¬§T}- T}J¤¹s}fA aTlÒ S§lÏ u"ÏÓ KN`bqMÓ TaTÒJÐ R`vS>M T{}-e§Y~}£J}lFFF_F2¢~¡Å~T}X©¨«¢~¤b«}-Fl¯Ç2¬F{~}XT{}-Y{ª©
T{~}X¡b¡~¢~F©¶s
~T{~} §T}- T}J¥8¨{b~}Ee¢¨{ª¹X}¬s~¥s8 ¶¢«2§F2¡¹s¡~¢~F§¶±slJF~RF T{~}dTsR} F}-Ts}fFTse¤T}-Fs}l¬§d©¨«¢¡b}lFT}J£ "§2§FT¢~¡~¡¹sTB_@d¡~¡T¦ÀRTs
U§FXF}l¹«¢¡~¡b«f§e ¦M¯ :T}lgªQ{}-MT¢ vJ}-@X¨{b~}6{¡¡b}l2µ¯ }s¯"}JÀ~J}l}l~BT{~} F}-À~F§0T{~F}lT{~sJT{~}¥«}-lgs§~Q§T{½©¨dT¢~¤T}J¨-gQ§f¤¹}´¢~¡¹T}£\Q§T{\T{~}l§ }JÀ~ |
T}£º@¢~}--s¯
6G«T}-¡b|
! 0F}8¡~T}£«}l@T}l± _§sF©F{~ ¯ b¯
T! " #k$&%')(+*-, $.%'0/213'4 G-b+(F.p 5 +dF 'b),-b%76() '*D9/`) ? F 8 %('0H+(DM? %dF -b%wY9Y )b-D) ? FD9/J) cJ'b)6? %(aA H*? FJ? F989: G-b+(F +(F 5 5; # : 'b),+(D)D9/J) ? FG-',) HC) F`DE+wY+(F 5 5@5 ),-',) HC) FJDE+(Y)6() ' DM?M-0+(YJc>',%=< ),-DM? %(F0: c 5 +(D)D9/J)>(6 ) ' DM?M-0+(Y`c>' %?< ),-DM? %(F % 8A@B: C - PEDGFIH+JLKGH+M9NPOQNIH+RTSUOM @WV G%d' D"C - ?9F? FG-',)b+dA0?9FLT 8 %(' 5 ) '*% 8BAbadcwc%(' D=:
$ 7 #" T # c>D $]) F 4+ % " [)C [YX $&%('*),+.-0/ 3 T$ 7 - 5 % c +(D) `a%A ) DMA `adcwc%(' D $]) FG) ',+(D)D9/`5 )I+(AbA %-? +(DM? %(F '0a`Y ) A " ?9D9 / b- %(F+Z 5 ) F>- ) ^ H*? FG-b%(F 8
6sT§T{ ~¯ Ì]o > q8 r - " 35( Eikj Es&qps&u
$4\3 [ 0 ;=7@ &> @ @ ;=:< ) z|{~}´s§d¡~F"~}l ¤" =F slJF~¿TcT{~}D§¸¹}lT}lJ}£R¤b}-¶f}l}- ks ¦±Q{~¨{D}JF}-FR§~}¬T{~}E"¢~5¤b}l_
F}JFs§}lU~}lJ~}lDs´}-R}-Fs}£±§T}l «}-Fl¯XÂ"J} T{}MF}JFs§}l0§T}- T}J¨5}l~{sJ}£¬¤¹T{ T{~}±
T}£º@¢~}--¾-sR¡~¢¨F§\ T{~}±¡~T¢~§ }J¸Å}lJTs}l~}lF-"F{~}ERsF}8T{~}E"¢~5¤b}lQ
T}-F~}£M§T}lRT}J¨Q-F{~}E¤¹}J«F}-QF{~}E4} v-§}lJ Xs¢~´¤b}bb±"J}E}-¨T ¯ X6¨¶£~F{~}¬"¢~e¤¹}-_
}l-§~}l¥§T}l «}-F_~@}£Q~s2¸Å}lJ T§~©¹-@F§_T{~}f¡b}l«
T bJ}
"F{~}fs§sF©F{~¥£T§bJ}F{~}lT}B§T}- T}J¨GF}B~sG¡~FJ}lFT}l ¢~F~dT{~}¬T}lsF¨{ª"¤~¢~QT{~}l±JTF}lT¡¹svT ¥¢~~}lJ}£TFF ¢T}
¶Fs¨s}2T}£«¢~¨J}ll¯ &~M¶¨-}sQ§
ET{~}¾§¸¹}lT}lJ}£v¤¹}J¶X}-}- ký ¦#sT}D~s´T§~§b-s£Q©´ T s}-FMs}-±T{_T{}5J@T@¢s¢QF~}-F§~ s
T{~}dJs5¤~~}eT}JF_ s}£|T{}5T}l¨¨{ e¢b¨{±RsF}4} vJ}-@£~«J}E§6 ¦vJTF}lJQTsR} «QFs ¬¡bT{b|@T©F}l´Q{~§}ER~§ T{}dTssFs¤sT } kD¯MÇ2¿F{~} F{~}-E{sUª§
|f}Rs¤b«}lT}5¥«s©bl@EFTs ¤¹}J¶X}-}-n k[ ¦±¦F{~}g¡¹}-T
sF -}B
! vYJ}lsT8¤b¢~}£E¤"2F{~}g¡¹}-T
sF -}
* ,¯ &Y§¨¶¤¹}ll¢T}s§}* * ±Q
s§ T{~}6FR}|Js5¤~~}Q«}-
Copyright © by SIAM. Unauthorized reproduction of this article is prohibited
503
s¨}lT~¯Â"}l-s5¤¹}l-s¢T}s§}* * s§"F{~}6-s~F}l}-~}lFT}le¤" ! ´ s¨}lGF6eT{}f À @
T}£º@¢~}-@©F}- «}-FYQ§"¤¹}X¨{~}£¨s}£Es}lªT{}X}l@TT}X~¨¤«}¯ &Y§s§s¶"¡~-sesT§T{R´
D¢~¡Å~F§~ÊF{~}
F}lº@¢~}l§T}l «}-FDL"R ~F¤bsT}l }Q¢«}Qs
U¡b@«§Ts}QB~}-@F§}X¤¹s¨}lF6Ô§ÕsÕJ×~T¬¡¹}-T
sF F{~}6¢~¡Å~T}6Q{~} F}l¢-§eF{~}E"¢~e¤¹}-|
-s~F}l|s}l~}-¨F}lU,¯ 6X}-}-£sF{~}lT}EsT§T{~ Xe¢b¶Q¢~¡° ~T}2T{~}}-@F§F}_¤¹s¨}-QJFFBR§§~ds¡¹}-¨F§f§±s¨}-fTdss}_T{~}EJTF}lJfF}lT¢~§Fl bv}-¡¹}-b§esRF{~}«Ë-}6s
UT{~}2¤bF~}-g}lR¡~§}l s sRF{~}8¦sTF§¤¹}J¶X}-}l k bd ¦±"T{~|¢~¡Å~F}X§}-RTd¤b}}-}-±dT}J@¶F§RF{±s¢~|JF}-R}l¨UT}l¨¨{
ÀRs
F}lº@¢~}-@¬§T}lRT}J¨-¯ &Y§¨¶5¤b}£-¢b«}RRsF}v-s~F}lEQ§g¤b}v}-~}lFT}£cs RsF}¬§T}- T}J¨_Q§Y¤¹}5¨{~}£¨s}l¥}-QF{~}e}l@TT}d~¨¤«}E
_¤¹}-~v
F}lº@¢~}l@l¯2Â"}£J ¤¹}l-s¢T}fF{~}6}£J§~}£d©F}- «}-F5¢¶B¤¹}Q«E-sR¡~¢F}l5§Rs¨}l:F¬}l-~}X§
Å©BT}£§ ~s:
F}lº@¢~}l""RsF}sJTF}lT¡¹s~QF¢~~~}£J}lFFF8-sR¡~¢¨TsGs«-}gF{~}-¬8~s J@TF§¤~¢~T}8TRF{~}¬«}-Q
Y
T}£º¢}-@Q©F}- «}-FQ´T{~}E¢¡¹~T}£´Fs¤sT}s¯
qxy o2pn Yun pf
²³RT{f«}£ Ts X}Q¡~F}lT}-@T{}6T}£«¢©¨B
ÅF{~}6¡¹}-T
sFRsJ}Q}l¢F§ds
! ´¢T§ T}-s}lFs~¡¹}-T
sFRsJ}QR}-TFlgbvJd¡bF}Q©¨g¡¹}-T
sF -}6s§b¶fe¶¨T}-°Ãs
·°F{~}J°³T JF}-R}-@¨ÅssF§T{~]Ô©Õ ¦×y¯,XsT{MT"F{~}JF8bvsJT¢s¹~F«}-FBX}-F}_¢b«}£vsf§¡~¢F ½F{~}}-À"¡¹}-Fd}l@Fl¯=z|{~}T@@F{~}JFD~F«}-FRX}-F}´}-~}lFT}£\¢T~0T{~}D¡TJ}£¢~F} }£JF§¤¹}l Ô Ö¦×y¯0z|{~}´T"@T{~}-TM~FsT}J£B-s§}l z6Ö ¯ ² Õ ¯ 5Õ sRG-sR¡~FT}lMÕ T¨bT Tsb5}-¥Õs ¿¢~º@¢~}D§T}l -X}l¨{\FFsT F§½{vÖ c§T}- Rʦ}-¨}s b¥T{~}RT§Ël}¬
F{~}5ss}l«_ À :
T}£º¢}-@2§T}lRT}JeÕ¦Ö¯6ɾ}dsTv}l¦s§¢bT}£¥T{} ¡¹}-T
sFRsJ}±
_¢~ ¡~¡T@s¨{ ¢T§cF}lsX~F¿
T*sJT¢s|s¡~¡~lF§-¯ z|{}±F}ls ~FsT}J£ X"sÅ"XX}JÀ"T¨sJT}lv
T ¦°³~¦Rs5
T ´}-}l FT~_¤¹"s¶FsF}2s JR¡~TT}ld¡~¡~F¦À§ T}-½Õ ~ DJ¢«TR}-5T¨FsJTsl¯ ÙT¨bT Ts -s@Fs§b T{}_¤¹@B}JÀ~sd~}£U@~}£RTEF{~}2T{~¡~¡~~e-s«XbÆsf¤b¢~s{@g¤"ReJ¢b¶FsR}-X¢~T° ~ dT~s}@T©QF5F{~}E¤¹@¶FsF}s¯z|{~}¬«}£J± F¢ª~F«}-|Q-s§}le Ël}-§}Es JR}l
FsJ¨@°³¶FT}£ ~F´
FsD« gs«°³J JR¡"cl§}£ Ë-}l§}s¯ J¥ }-XsT}vs }-@-sT} F}J¨§}llQ{~¨{ ~c§~s}le}-À"«Fl¯ Ù¡b«F§
QF{~dF«}- |s8¢T}lc§cT{~}vE8_°¶Áf¢~¡ Ö ±JsR¡¹}JF©F§ª¯5²y¬{bs ~Õ¬FFsFs F§2s}- §T}- gQ©F{M ¦s}lFss}fT¨FsJTsR}-~sT{
GÖ~¯ s E¶¨¨d~}-"Ts s
b¯ ¯ _§ T{}¬~¨sT}JFXX}-F}E§"}l´@TR}lº@¢s©°³«Ë-}£v~°ys}-F¡~¡~~5¡TT§TslQ{~¨{´TË-} }lº@¢sÅTRF{~}¬« s§}l«Q§@T}lTsU}-R¡~s}lM§´F{~}E}JÀ¡¹}-F§R}-@¨¬¶Õ eT¨FsJTs¨ ¯ Éc}F}l ¶Xd¡¨R}JF}-¨g´s¢~|}JÀ¡¹}-F§R}l¨-ÌR~§5¢~ÙT¢~¡~¡¹sTQ±¢~¡Å~F} F}-FïBz|{@¢b-"
6}l¨{±R~§5¢~ÙT¢~¡~¡¹sT6}-R¡~s}£MX}¡b}l«
TR}£M5¢~©F§¡§}¬}-À}lJ¢~° Tsb¬
XT{}MsT§T{~¥YQ{~}-F} }l¨{0}JÀ}l-¢Ts0}-R¡~¬§¸Å}-F}-@¬¢~¡Å~F}MF}-Fï z|{~}´}JÀ¡¹}-F§R}-@¨5X}-F}MF¢~½s½ XÁ 6˱¡~T-}lF«eQ§T{È^Õ - \R}-RT¯ z|{~}R«¢~¨J}5-}e
C ¢b«}£T{}5}-À"¡¹}-Fd}l@F8X_"D¡~F@}£¥T±¢8¤@D§F ¢~T{~Fl¯z|§R~|´T{~}¢~F}lQF}8¤sT}l±s´TsFsUXs§ª-§¨ F§R}s¯
+R% 2 §2 +T)"' 0 &+1&+T &Y§¢~F}DÖµ@5T{~6dF{~}D¡b}l«
T sJ}¥
! È»T{~}DF}ls ~FsT}J!Ël}-§}s
B¶X5§¸¹}lT}l@fR§§5¢~ «¢¡~¡b«¨gsv§¸¹}lT}l@f¢~¡Å~F}2@T}lTl¯
6sT}´T{b T{}D¦¶ v ¶T§¶
8 ˤ sf
F}lº@¢~}l@v©F}- «}-FR»T{~ ~¨sT}JvF}´
}-~sT{Ö~svF{~}-±T}l¡~F}lT}-@6¡~¡~F¦À§ T}-´Õ s
s§Å
F}lº@¢~}l@6©F}- «}-Fl¯ Éc}2-R¤«}lT}gF{£s s}l~}-¨Ã¦T{~}2«{~«F}-F{~}Q¢~¡Å~F}6§@F}-F¦s~-F{~}_T §}l T{}2¢~¡Å~T}8}JÀ}l-¢Ts F§R}¯ 6}-}-TT{~}l§}£Tl@©¨g{~s{}-X¢~¡¹T}2
F}lº@¢~}-bJR ¦dF}lT¢~§f {~s{~}lg}-¨~J«Fl¯²³R
µsJl@T{~}2¤b}£¶X¢~¡Å~F}_F}-FbsTe}l¡b}l~fsRF{~}_R~§5¢~ T¢~¡~¡¹sT|}lR¡~§}l´´Q§UsTMXT{~}¬Fs¤sT}8sF6-¯
Copyright © by SIAM. Unauthorized reproduction of this article is prohibited
504
110 100 Time (secs)
400 300 200
Gazelle − Retained Itemsets − minsup=0.1% 90
1K increment 5K increment 10K increment
70 60 50
Gazelle − Emerged Itemsets − minsup=0.1% 60
1K increment 5K increment 10K increment
85 80
90 80
Percentage
500 Time (secs)
Gazelle − Execution Time − minsup=0.2% 120
1K increment 5K increment 10K increment
50
75 70
Percentage
Gazelle − Execution Time − minsup=0.1% 600
65 60 55
40 30 20
100
40 30
50 45
10
0
20
40
0
1K increment 5K increment 10K increment
8ÏdE,`Ó³ÏvS/u"Òl[ÓLKN`vqPECKtr ÒLSÒNo¨ÓfxbaFÏ]0"Ð BÎ 2ÒJÓ³ÏvKtqÅÒ\MeÏvqMrRÒlax@ÒM I Ó³ÒlreÐ-Ò-ÓµÐa"Kx Ó x aTÏ]@Ð 10000 20000 30000 40000 50000 60000
0
10000 20000 30000 40000 50000 60000
Transactions
VBook − Execution Time − 10K transactions
20 15 10 5 0
0
10000 20000 30000 40000 50000 60000 Transactions
VBook − Candidates Processed − 10K transactions
160
400000
120
300000
genmax 140 zigzag Time (secs)
Time (secs)
VBook − Execution Time − 100K transactions
genmax zigzag
25
10000 20000 30000 40000 50000 60000 Transactions
VBook − Candidates Processed − 100K transactions 25000
genmax 350000 zigzag
Cardinality
30
0
Transactions
100 80 60
250000 200000 150000
40
100000
20
50000
0
genmax zigzag
20000 Cardinality
0
15000 10000 5000
0
0
*28 EÏ/u"Ò\$[ÓLKN`vq ECKtrRÒS§ÒNo¨Ó/x aTÏ]@Ð |Î nIJÓyÒlr5ÐJÒ-ÓС4a`
