CloseGraph: Mining Closed Frequent Graph Patterns - CiteSeerX
CloseGraph: Mining Closed Frequent Graph Patterns Xifeng Yan
Department of Computer Science University of Illinois at Urbana-Champaign Urbana, Illinois 61801
[email protected]
[email protected]
ABSTRACT
!" #$ &%& '( &) )* $ +$%', -/.0/21436579853:8;05?@582 A)* 0 $% B .$C . 0 $ * 0D . 0%A3:E5F58 G*H I3:3:1J@F58FKAL&EIM$N/8FOQP R %&0 F&DS$FT B .0 .$ KUL&EBIM$N;&;)* DV&)*0D 2 D+C &0 W)*$%X$F#YZ [ \YZ , 90$D+ 0 ] +\^$ $'(& )R K _`^9a$$D & F &bK/c OedfYg K )* 0 0%D+ %&S%& F&$90C 0 9 0&D D 0%& +$%h .0* \ 0R$ 0i&']&"a j$/ +&D .$)9^j *'k'( -/.$/R .0^0% F&$0 OQlm0 B 'c)* 0 0%`&D Df $
.$^0% F&0$ KgYg\ j& T h)* 0h@H n85oipE 5=>05?03kL&EIM N`M I3Jq 365EF?08 OXPr% F&$2s\ i@H n&85o2 hX0F^ * 'V 0 #a$ B c0 j W .0j % F&0t'usX ] ] 0v &)*v .0$j& k ]sjOkP D+& 9% F&09 9)* 0 0%f&D %&& [ 0)TK wyx z{B|}u~(///K U$ D[C &j#^/!9a$$D & 0%c F&D0 / B $%v .0$ +$%W)* $ $ Oy].
j '4& )R0] B . !# 0YZ S wyx z{B|}u~(//k$&Z$D[!i F&)RC D D ! .0 *.$0$ !" .0^0% F&$0 # `^j%$ F ^0. D ; .0^0 BF/ ,D D ! 0 & * $T* $!&'k)* $ +$%$KV jC ,D D ! 0W $k&'eD+ %c%& F0T0 $ O
Categories and Subject Descriptors
dvO O T X000t$$2 yWF&^0& cP00D +&0 SC WF* 0
%$General Terms
PD %& [ $)* K '(& )R0Kya j )*/F +&
Keywords
', -/.0/e% F&$bK % F&$ /F KD+& 90 K0&$C DD+&^jD
1.
Jiawei Han
Department of Computer Science University of Illinois at Urbana-Champaign Urbana, Illinois 61801
INTRODUCTION
-/.0/X%& F&$Q0 )* 0 $%" F Q% \ / BT + $F#)* 0 $%#)*) .0$ 6!* / D[!/OgT&/!T / [v&)#C 0kYg ¡XYS ] .$0j& \ f^/!¢vO £¤O¥] 0&Dy£ 0 $.000 +&#¥k£ \ll£ C6¦ C6¦§ ¨§§ K ¢]$ + jO&'¤l6D D+ $ K &0#&#lm©S 0&.$D 6!XPYS FO
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. SIGKDD ’03 Washington, DC, USA Copyright 2003 ACM 1-58113-737-0/03/0008 ... 5.00.
ª
)* +Db0$D+ 0 S -/.$ f 0W !i&' B .0 . F&D¤C $ k +`D, %R$F KbYZ0 Fh%T^j!/0`«¬ «K«¬®¯j¬°¤±¬«K &0AB²&¬¬&«\ YS F `H I&3:3:1:@58 G9L&EIFM$N 8 Kk$@3:> E 58 OS³V F& 0D[!/K Vk%&0 FDj0FW B .0 . K % F&$*& )*b 0u$)R &'0)* $D D 0%)*$D + k D+ $ y&)*&0% 0F OX_h* #YZ [ $ h F&DgD %& [ $)* 9 D j2'4
0 ZF&D D $% 0%* ^0D )´[¨¦ K¨&¨K¨µ K¨¶/Kj·O $ -/.$/*%& F0A0 )* 0 0%2 X¸)*)*& ^ C D )rYZ$ X&D va + B V +R'( - .$/g [ )* g&0R - .$0f)* $C 0% O¹©g & 0XºS~4» z/~4»y$ $ 0D `[¨JK\'( -/.$/*°jC6$% D+&^jD ¼%& F0)R!¹/F& 5?$3k1436579853:8I&?jo 85=>5?@F58Ä[¨·K] T^j¹ j ¹ &)*\ 0 T 9C .$D 6!h[¨¿ K¤¿$K¨ K¨ÈJO]PQ'( -/.$/]0 \ÉR #@H n&85oT ['y 0 a B k0X$ j c .0j C ¸&'gÉXYZ ¸ 0 &)*# .$0j& ` 0#0F O 0*&.0/ &D[ * h%& F0h)* $C 0% Kb7 14?014?/L*@H n&85 opE5 =>05?$3UL&EIM N 8 K)R!*D i #9 )* 0% $ [ +&& cYgD D:O20& a$&)*$D+&Ke'4& 0R$F& #)*/ $ &^j &KU&)*$%T 0 t¨R)* D D+ &"', -/.0/ %& F00 Ky&0D[!"^j.$ K ¦&¦¦c ZD 9'( -/.0 y% F&$0 Oyl6'0'4.$ $ u&0&D[! + Ê: .0F* D+& [0 X& SD+.$ B 0% Ëu gj '4 )*#* $f g&'bD %& F0$ V 0 B &#&'# $SYZ0D u&'¤'( -/.$/u% F&$0 K [uYZ D D &F0 W 0W )*k&.$ F&!XYZ [ D Z .0$&$!i&0X^j
* +0!/O`d]Yg KV.$/ +Du / D[!/Ke 0 # .$ +&DZD V$&g^j* .0F0O $ + u K$^0& *&i&.$ g&D[!$ K D[! ^j.0 k'e 0W&)*0D a [m!R T% F&0$ O 0*%& DV&'S $ v0&j v k \$ D ;h* + v)* $ '4 S)* 0 0%kD+& *%& F0R 0 OUe .0 u B . + V RD [ )* V)* +$ 0%*[¨¿ K$¿ Kj¨&* .$^0 -/.00Z)* 0 0%R[¨È¤ $)*0 B F ¸ 0v .0F`)* $ +$%)R!¸D 2 )*& ## / )* $ $ 0&")* 0 0%¸D+DZ0 $ 9^/!"$ D $ +$%2 &)*X C 0$ B + $0 +-/.0 * h .00X 0\ A F¹ &O d]YV K &)*]D %&/S$ &j g' [ )* V&R -/.00 $¸0*0&D+ %& F&$0 O0 *a$&)*$D+&Ku&.$ # / D[!$ /C Ä j 6!&^j. - .$ D+0\'c$ ÌB ¹0F^ 2
- .$/ +&D0 )* +$ 0%T[¨Èe\ F D[!^jc00D T $ % F&$T)* 0 0%v ['Ygc 90Z.0 k .$%k)*.$ g&'ea Fv B & C %Rt)*$.$F &bO .0 K [k -/.0 [ Wa $D+ 0%T [ͤ / 0 &F0 u v&)*)* 0 S 0Z j [Z j u +R% F&0 0 $ O $ * #mYgX%$ F&DV&$$ $ k `# /c%& F&$`0C ¸)* $ +$%$O $v$ BK $ / \^ !2[¨¦ KU¨&¨Ke¨¶JKa $gºS~4» z/~4» C^ c&0$ +0 g%$ F &$C6&0 CJ BU&$$ &F[¨ 2%& F0A0 )* 0 0% O 0\ F& D AD %& [ $)* R$ B $C %&.0 $)* D S .$ 0%* ͤ /Z^0.0 D+$ $%#^0D /F¡ y ¹[¨¦JKy$%& Ä[¨&¨JKu&2$%&C6$ 4ÌB& +/ 0 c ¹ ¨¶JO $
00$ &FbKu $ "^/!¹[¨µ KS·JKS *20 C % YS Î0$ +D & 0/!Ï v^/!%& YZ 0%A 0 ', )Ð $%D % F&$"$ [ D[!/OTl $&$ c C* + 9$$ $CJ$ Bc FbO £ .0F*W)* $ 9 + U6YgW& B D[!#j F $ ZÊB¨ËÌB $ +$%WmYV Ñ C$%&k'( -/.0 % F&0$ S *%$ F RÊ ÑcÒ ¨Ë6C$%&c%& F&$T$C +0 Kj&0`Ê ËSF0F¡ +$%9 0f'( -/.00!X&'e $ k&0$ +0
F D[!/O 0 2mYV"j F +&0 \.$ .&D D[! 2 0tj '(& C )R0]^j& D 0¡ Z&' $kºS~4» z/~4» CD +¡k&D % [ 0)* O l6Ä[¨µKyYVX )*$ B F t ÓÔ/Õ/KyT0YÖ% F&0`)* + C $%t&D % $)×^0& 2h 0*0 C%& YS ;&$$ &FbKe&.$C j '4& )* 9Ø/Ôj}V[¨¨Kb 0c j& ¸^j Bk&D % $)Ù ¸ $9 C %&& !i&' 0]ºS&~:» z ~4» C6^0& ¤K &0$ +0 W%$ F &$C6&0 CJ BZ$C Oed]Yg K [e B D+D FD+D $% 0% ] D & * / D+& t%& F&$\)* 0 0%RD+%&& [ 0)Ú^ \\ÓÔ/Õ9 0 ÓÔ/Õ ^$.0 D+$ k* !\ B k& F k t%& F0t 0 Okl6\ 0 ]0&j K YV9 /vwyx z{|}u~,//TʳVD ¸Ûf F&$ 0 t)* 0 $%/ËK $ $ Bi&D % [ 0)Ã'4 X)* $ +$%2D+& ', -/.0/*% F&0A 0 K R 0YÄ 0wex z{|}V~,//k g0 %&0D[!R* /Oylg. j '4 )* ÓÔ/Õ*^/!¸i'4& c&'S¿i ¸¨¦XYZ0t 0v'( -/.$/k%& F00 c D+ %\Ê4'4 ca$&)*$D+&Kb% F&$0 ]YZ [ `)* 0&2· i$% FËO $
.$ &'Z 0*)* 0 ` v^& hh 0R D &0)*/v&'S $ $ Dy$ v'v5=> 14ÜIH+5?03Wn@ @> EFE 5?@F5&0Ä5I&EH Ý\365E7 14?jIq 3:1:n&?; c0D "wex z{|}V~,//R$ .$09 $# Fh 0&# .$^0 BF$C +D+D[!YZ [ A )R&D DZ&0$ [ 0&D BO_h&D h D D+.$ B F \ &)* & WYZ$ D[!\ )* +&t)R!X': +Dy\)* ] &)* 0C 0 O¸©u!" $%t&hD+ )* 0%T 0 X KyYgi%.0 C / * 0*&)*0D $ 9h &.0 0 c' $*D ;% F&0 0 $ $ X^ !wex z{|}V~,///O $ )R 0 0%R&'U 0vj k W % &$ Þ¸& ]'(D D YZ O9£ C &` # / $.$ Z 0c$ W&'UD & T'( -/.0 f%& F0\0C )* 0 $%2h 0X0F $ # 2^ji.0 ; $ &.0%&0. 9 $ 0&j O2PÖ F"', F&)*YV& ¡2 + D+D .$ B F ; £ &"· Otlm £ ¿ K $t)* 0 i'(& B +$%;-/.0 &&D //.$ $K D[!* )* +&bK uYgD+D u': D+. k$ i f$ O £ #¶Z'(& )9.$D+ $g&D %&& [ 0)0ßL&EBIM$N 1(8n7*n&EM$N 148 7Ï148gI&?R14?û5@3:14Ü&5p> ?j@3:1Jn?#üT àRÊ4s$ËeýÃà#Ê4s ã ËGb8 >$@FN 3(N I&39þmÿ j ¯ à*Ê4s$ËGUâmÊ:¯¤ Ë â ã ÊüÊ:¯¤ËËGI&?o; þ Ê: ¯ Ë á*Ê4s$ËG
ÊüÊ:¯¤Ë FüÊ ËËáRÊ4s ã ËSI&?joZâmÊ:¯ Ëhâ ã ÊüÊ:¯¤Ë FüÊ ËËGN05E 5yâyI&?jo â ã I&E5c3(N05vH I ßF5Hp> ?@3:1Jn&?2nBpgshI?joks ã E 58JM$5@3:14Ü&5H Ý l6'us\ c¸8 >$ßL&EIM$Nh&'us ã K 0¸s ã c¸8 >M$5EJL&EBIM$Nh&'gsjKb$C 0 ^/!; s s ã Ê4M0EnM$5E\8 >M$5EJL&EBIM$N K ['W s Æs ã,ËO¼Û] A D+&^jD %& F&$¹0F& K "!$# %!&" (')' '( %! +½ * Kf«¯ ,,.-²Ê4s$Ë Ê:& ü0²&¬®&¯j¬°¤±)/¤Ê4s$ËË9 0 * 0Tj /F&%&;Ê:& i .0)9^j Ë &' %& F0$ SÊ: +0 RË vYZ$ +F sW + yf .0^0% F&$bO $g y2' 1436 57 .3+ 8:9;8$MjO 0
RA ' @BDCF EG1436 57b$¤`+ 3F 829H8$VKg R $ & k'(D D YZ JK I>KL s M N s O=?>QP ° RTSVs ã =?>¹«¯(± U\V U+P/ZW s s ã P X° R«¯ ,,.-²Ê4s$Y Ë «¯ ,,.-²Ê4s ã Ë * OÄ£ 0Z I>[\=?>VO 0]$ ^$D )Â& ' @B]Cj6 E\1436 57 3+ 8:92N . ^4: ^4* 0] 0U&)*0D U _' I>X c 0y%& F0 0F& YZ [ \9%& + `791(? 8F>MjO £ $t)* BX&'v B 0%"%& F0¹ 0 X ¸&00 %& F0$ KYgk0 Bf B . !)* $ +$%#D+&^jD \&0$ .$ %& F0$ vYZ [ 0&.$9)9.0D[ 0D * % O¸ea 0 &0 v&'. 9)* $ '4 V)* $ +$%W& $ U¡ +0$ y&'¤% F&$# B .0 . U .0F*& y.0$D+&^jD %& F0$ Kb% F&$0 ]YZ [ t D['(CD /$ \)9.$D[ +$D % Kb %& F0$ K $ $0 #%& F00 K # cK YZ D Dj^ja0)* 0# 0W$ .0 &\ O `ba¤ò÷ZF ó c&å ¨& O du1+L&> E 5iÿX1489I8I7]MjH+5#H I ßF5H+5oiL&EIM$Nho I3I&853:G e G N05E5X3(N E 5 5H I ßF5H+5oTL&EBIM$N 8XI&E5 ME 585?0365fo hú7*n&?/L¸3(N0585 L&EIFM$N 8 G5 I@FNvÜ&5E36V5 gcI&?joW5 oL/5ZIE 5gI&8 8 1+L&?¤5okI]H Iß5hH Ji53¤7 14? 8 >M ßF5y+ jbN05SIH M$N$I ßF53:1J@Zn&EBo/5Eg148U3lI k 5?RI8u3(N05Zo/54pI>$H 3¤H+V5 g&1:@Fn L&EBIM$N q 1J@ IHbn&Eo 5E z a x c d b a b
z a x b
z
z a x e a b
b c
x b x b
y
(g 1 )
(
mn^ _7 3 po.q?r
a
z b c y
x a x c d b a x b x b
(g 2 )
(g 3 )
N82B(Ntu3F829¹X$ A s
PÎ%& F0Tsi¸^jca 0$X^ !$$ 0%R*$Y$% ¬ Ovb 0 0YÏ% F&$` 0 ¸^/!\sw<x]¬ O9u %*¬#)R!\ c)R!T0& / $.0Sf$Y" ak sjOl'j¬S / $.0 yf$Y" a¤KYg $0& y 0U0Yh%& F0c^/!]<s w xly ¬ K& $ YZ K&<s w x z ¬ OePD+%&& [ 0) ¨\ D D .0 B F ¸& X'( -/.0 R% F&$Ä)* 0 0%2&D % [ 0)TOl6 0$ yD+D 0u'( -/.0 %& F&$0 KD 9 U0 CD ¤O$& y $ ¼% F&$sjKf [\j '(& )* X $2a 0 . + D[! .0/ D D D 0e'( -/.$/% F&0$ bYZ [ ks)9^j$$] u$ ¤O vb $k¿* 0YZ $] )* T& &bU_¹0i 0k .$0j& &'u#% F&0 + fD 0&h7 14? 8 >MjK0 [] .00$ ! *a 0 [f&/!i)*& O { » ||}u~, /R v )*0D K^$.$c$&c* + O 0*¡!¸ + .$* 0i 0# 0!h&'a 0%\s2 \? s w<xc¬ 0i &)*R%& F0 Ä^jTa 0$" ¹$ [ͤ /#Yg!$ OQ0 i&°¤C %\% F&0K [i)R!"0 °Q$ [ͤ /*Yg! # h^jX'4& )*'( &) Ê:[ ° }¨Ë6C %t%& F00 R ['kYg¸ ;0&i&0 +$ )* 0$ + )TO¼_h&D D h%& F0¹ i + $ ¹&% Qo&>MjH 1:@FI365TL&EIM N ~ O vb 0 ¨X +PfD %&& [ 0) ¨X% 9 +'k$.$0D X%& F00 O $ .0)#C ^j f&'V$.$0D c%& F0$ ])R!^jc .0%&Ol6Z F& ] )*c $ &^0D )* O` [ BKu $X%&0 F &; .$0j& &)*0.$F &'S$.0$D + *%& F0$ cYg& B # )*Oi£ &K [ c0&/ + +&De D DyYZ0 $ v%& F0h v .0$D+ OXÛ]$ F&D D[!/KYg*0
x a y
rB(. C+3"^, 9e o { » ||}u~, //Ê4sjFK Kb7914? 8 >Mj_K >yË l60$.$yP% F&$XsjK09%& F0T$F e K0&0¸7 14? 8F>MjO ]. 0. 0W', -/.0/Z%& F0T e >VO
&¨ ^D1vsRa$ B Z Z>; 9 [3 7 3 /UFB(i $ Zs* u>b · U &Z Â&0K$0i !i$%&c¬c .$X sR&^jka R s w x ¬cX [ S'( -/.0 ¿ 14C.3R . @92', -/.0/S s w<xS$ ¬ EC ¶/ ³g&D D { » ||}u~(// Ê4ns w x ¬ +K Kb7914? 8 >Mj.K >UË µ 3 73& )*0. * [ 0&0 &DSD+^jDghF0F¡¸YZ$ 0 9 [vYS& 9$ BC \^j'4 O 0 [ FK¤ $.0D+TYgva 0Xs ['UYgc0Xs ] .0$D+ l l'u $ va + B ]kD Bk$ % F&$t 0]&¸%& Y &0D[!`', ) 0 v$.$0D R%& F0KeYgR B D+DV0` \a 2 [O P vYVR&; &Ke 0 # R +/ D `$ &^0D )* vͤ $ * 0!2'V $#&D %&& [ 0)TO 0!t .$%%& Bk Ws\ 0&.0D+t^j a $Ä& X$ D[!¹ Xj& +^$D ` ¹& F X h $.0 $ %&0 F ¸&'V$.$0D %& F&$0 O X B'(!\ 0 -/.0 [ C )* K$Yg $ D jTÓÔ/Õ[¨µeYZ0 &t# /]0&0 &D D+^jD +$%T B! B )´¸iD a % F&$0 *& F 0% ¸%& F00 c ^$.0 D[OvÓ Ô/Õ#0& ] $ '(D D YZ $%T &D /c$ &j #ÊB¨Ëf [W C .0 R $\%$ F &¼'v$.$0D \% F&0$( #Ê &ËR [X$/ i0 $R # F .0 + i', -/.0/Z% F&0$ S T& F
#$ $.0$D + ( 0&02ÊJ· ËV [0 Sa 0$ Z !X .00D % F&$`^0. k B D Du%&. F/ k 0 )*$D+ 0 ORwyx z&{|}u~, /R ^$.0 D[]&\Ó Ô¤ Õ &0X'4 )9.$D, Z 0c D[!X )* &T0$ [C &0 f R)R¡ kÓ Ô¤ N Õ 6 . + R ] D !\& ]j& ^0D 9 \D % F&$)* 0 $%$O"lm; $X'4&D D+YZ 0%2mYg¸ &0 KgYVX'4/.0 * 6Yg")RÌB& X F00 +-/.0 i.$ Ä Qwyx z&{|}u~, //AÊB¨ËR %& C)*& B a 0 2&0¸ky£hÊJ $ C$ B] FjËfD a % F&$0 *& F
'(& U'( -/.$/e%& F0#%&0 F /&iÊ Ë-/.0 &&D /e/.$ $ D[!X )* +0 i'4 ]$$CD & X% F&0$ .0$ 0%$O 3.
ORDERING $ LEXICOGRAPHIC
X +&Ä / $.0 R FDf F0$ ,-/.$ R$ D j
$ /V&0#a 9% F&$0 U* / D[!/Oel6u 0D .0$ U)R&$0 0% %& F0c ]Zky£k $fÊJf -/.00ËK^$.0 D+$ 0%fD a &%& F&$0 F$ $%\&)*&0%X $ * Ke2)* $ +$%ky£t $ v^0& & 0 ZD a % F&0$ v F$ O
3.1 DFS Subscripting
_Ä0j '4 )* +$%hh $ CJ0 B* ¶] A`%& F0bKS & j&$ $%Xky£X t^j &0 B .$ O] %. * ÊJË R'( -/.$/k .0^$%& F&$\'4& c $ )*0D *0F& Ù +2 %. ¨O %&.$ ÊJË6CÊJ0Ëg k 0k )*W%& F0O $c0 ¡0i$%& + %&.$ * Ê:^jË6CFÊJËg&0 B .$] v$ [ͤ /fky£X '4& ] 0 % F&$bOe_¹$X^$.0 D+$ 0% Wy£# K$ $] $ CJ0 BS ! ' 0u b'4& )* yD +$ y F$ O_hV.$ u $V)R&%&0 [ . V'
.$^0 b S D D+.$ B F y 0 F$ && F +$%S Z $ [ ! )** ¶JbO bp#)*0n "u ] ^j'4& ? ) OU_hc 0 ! .0^$ $ 9YZ [ Rkky£v n ^ A ! !eU2O V)*#$ d 8 >$ß8@E1 M3:14? L' ! O Û] !euK0YVk&D D $W0 B0 W F !eU.K "&K0 $ EBnn&3:K¤X $WD+& Bf0 $W F FK ½ K$ $#E1 LN 3Jq7#n&8 3gÜ&5EF36V5 g&O $\ B F& %/R0 ', ) " W *)*; 0`EF1+LN 3JqJ7*n&8 3 M I3(N OÄl6 %&.$ t Ê:^jË6CFÊJËKU $ ½ $ [ͤ /9 .0^0 + 0% R %&0 F ¤O $X %/C)* B9 \Ê 6# V "Ë +%&.$ T Ê:^Ëg&0`Ê:ËK$&0`Ê # V & V ËV \ %.$ v ÊJËO
a
b Z
b Y
v2
X
a
base graph (a)
Y
X
v3
v2
b
v1 b a
Y
(b)
(
Y
a
v1 b
Z
v0
X
a
b
X
a
v0
X
X
Z
v3
(c)
c
b X
a X
v0 v1 v2
b
a Z
(d )
" 7e @3^D8 ^4
mn^ _7 3 Nq ms
Û] !euK/ $Upn&%E VIEoR5oL/5 ÊB3:E5F5c5oL/5f ¶4Ëy g/F& 0 g&D D 0S$% U # $gky£v &K/$0& 9^/!9á y K &0 0cß I @%kuI&EBo 5oL/5*Ê ßFI%@ kX5oL/5W ¶(Ëg /F& $ Z&D D $W % SYZ0 FT k0& ; 0iky£2 Ku$0& "^/!há z Oh0 #a$)*0D Ky 0i0 ¡/C $h$%& 9 " %. T Ê:^jË6CFÊJËk R'(& Yg F"$%& YZ$ +D R 0 .000 ¡ 0#0 S ^¡/YS Fi$% OU$ )r0YÄ&bK¤Ê " V )Ë Ê: )*0D[!cYS [ R& ZÊ V 4/ËË + U Yg9& u&# F$ & [ U ] C
/]&T$%&OSl6'SÊ "V V (&nË tá*Ê !kËS&0 bp$Kj [f f9'4 YS F %y 0 YZ KU^0&F¡/YS F2$%&O 0vpn&E%uI&Eo25oL/5XnBp )*0 0 ga B u'4& Yg F9$%kÊ V /Ëe$ W$O 0cß I %@ k&q uI&Eov5oL/5nB: p )*&0 b 0 Ua B y^0&F¡ Yg Fc$%&]Ê V /Ë $O9l6` %&.$ R Ê:^jËKuÊB ¨ ·Ë] + f 0 '(& Yg F` %#' MjH+5GZÊ V Fâ â § ¨ )© â Ëb I?j$ o )XE 58JM$5@3:14Ü&5H ÝI&?jo â § ¨ © 1(8]3(N05 H Iß5HnBpW3(N05#5oL/59ßF53 V5 5? 3(N$5u 7 dnEvV5 g I&7]MH+5GuÊ V # Ë]14 ? du1+L&> E e 5 þ6ß 1(8]E 56M0E 585?0365oßÝ ÊJ 7R5Ag59N$I&Ü&5iI/qm5oL/5#L&EBIM$NWeN/1J@FN2N I&8 IÃd\@Fno 5cÊÊJ$ß8@E1 M3:14? L\nB p · * ÃëfI&85o\n&? dQH+V5 g&1J@ n L&EIFM$N 1J@"n&EBo/5E$ G ÀJ°yÊ ®kÊ !kË˸148¸@ IH4H+5[ o ìÑí:Ñîïî ËuÌnÍêðÓfÚ_ÏtnBT p ·(pW)± -R ¬ Ê !$ ¡ Ë GÀJ°yÊ ®kÊ !kËË G V5X@ IH(XH 3(N059ß I&85k8F>$ß8@EF1 M3:14?/LTnBp!A ³V $ «6u + &^$D+f¨S y $g)* 0 )9.$)QWy£v g&'j $V%& F0 * %. ] ÊJ ËOe_`S.0 n ÀJ°yÊ ¹yË c$$& g $S)* +$ )9.0)Qky£ X'f $X% F&0; / h^/!h $ ¹uO; 0 ) .0) ky£ k&T^jk0 + T &0&0 DD+&^jD:O £ \'4 KVYVT $hky£h $&KV)* 0 ) .0) ky£h $&Kg ^ \ .0^$ $ 0% O$& R !% F&$bKSYg\&0D[!0$.$* 0
%/C)* Bta $ Î&0ß8@EF1 M3:14?/L`nBÃ p ! OT³g&` $ + ca $ h)* $ %.0 F # 0#&)*0D $ k&'S $#)* 0 0%R .$D $R& C
BYg ] u
Ý 5)8 Ou_`]0 B0 ] 0]'(D D YZ +$%* .0D[O ñfôå êñjå$÷ ë ì µfê÷ZF ó c&å éjå è¤å$ööø ù ò5E4pn&E7 14? L\E1 LN 3Jq7#n&8 3 V5 g&365?08 1Jn?*14? { » ||}u~,//fL&>0IEI&?$365F58S3(N$5Z@ n&7fMjH+5365?¤58 8Znmpu7914?0q 14?/L*E58F> H 34 _¹$9j '(& )* 0%f 0g %/C)* Bya $ # { » ||}u~,// K [i + ij ^$D+t ¹ ó 7 d\@ no/5814? { » ||}V~,//vL&>$I&EI?0365 58W3(N05k@ n&7#q MH+5365?¤58 8 nBpW3(N05c7 14?014?/L*E58 >$H 43 _`R&F0 2 0 *6Yg\)RÌB& c .$D[ ;Ó Ô¤ ÕO 0R C F D+" /&']&0h +)*$D )*/F h X && D+&^$D ¹[¨µJO`PfD[C %&& [ 0)¾ R. D+ $ k 09', F&)*YV& ¡jO 0#$ [ͤ $#^j6Yg ÓÔ/ÕR&0 { » ||}V~,//* W 0v +%&/C6)*& Bka $ +&`\ C )* 0 0%Wa 0 #�&$C)* 0 )9.$)QWy£v ZÊJPfD % $) D 0 X¨Cm &ËOT_h# $D+&R 0*a B $kÌB. %)* v "PfD %&&C
[ $)Ù? ¨ vb 0#¨Cm vYZ [ 0W $-/. &tA « ô À°yÊ«ËOUPf .&D D[!/K « ê Q ô ÀJ°yÊ«Ëc #)* i* /9 ¸&D .$D+ [ O vb 0¶\ - .$ [ a$0&.$ B + ] .0)* F R&'e«] O $ + Sa$0&.$ B + ] .0)* C TYZ D D^jW. +D ÞX^ !Twyx z{|}u~,///O %&.$ f·c $YZ u 0Z R 0&&'Ó Ô¤ ÕK/YZ0 ZRD 0¡
$ / cRj ^0D # %/C)* B]a 0 &bO 09 %& C)*& B a 0 `F¡ k$D,#YZ02Yg*a Ê Ñ }¹¨Ë6C %#% F&$0 * $ Ñ C$%&c0 OZl6'yYgk0XmYVRky£X k«v&t«ã $C
/i $T &)*\% F&$Ä&0¹O « Ù« ã KZ^/Q ! vb)*)R;¨KSYV\& )*0D D !T B t F0 $% !\$ 0/]'S«ãJOWÓ Ô¤ Õ9& %&0 F W% F&0$ S B D[!X iky£*D+a$ &%& F00 W F$ y% F&$0 YZ [ T )RD D+ f)* $ +) .0)rky£i SYZ D+Db^jc$ X0 BO
0-edge 1-edge 2-edge
...
s
s'
...
n-edge
(
Pruned
+3@9Ks8+@
mn^ .7 3 WõXq$s
( , e Ó Ô¤ Õ/Ê«KF K7 14? 8 >MjK_>yË l60$.$yPWy£i v« K$9% F&$\0F& Kjt7914? 8 >MO ]. 0. 0W', -/.0/Z%& F0T e>VO rB .C+3"^ 9 ö
¨& ^D1#Y « ô ÀJ°yÊ«ËK0 9b$ / 3 7 3 · U +$ ]«W +/ u>b ¿ U IÎ A ÷$ ¶/U &Z Â&0K$0i !i$%&c¬c .$X «c&T^j9EF1+LN 3JqJ7*n8F3Za $R 9', -/.0/f«2wyË § 3 73& PD[ 0.$%kÓÔ/Õu&c&F0 U)*j [ yj '4 )R&$y)#C 0 RYZ [ T& $ &D % [ 0)* K$ Z&0$&Z$D )9.$*YZ$X $ % F&$\ +Þ D, %O $va$j&0/ +&Db%& YS \T $c .$)9^j
']', -/.0/# .$^0% F&0$ 9)R¡ $)* 0 $%¸ )*j& +^$D O³V C F 0D[!/Ky [9 9 $* /v T¸ 0R)*$D #'( -/.$/9% F&0
#$ BKg; 0;0D * [# 2&^$F +" 0XD "$ O"_h 0# v0R&R* + g)* 0 # v)* +$S 0]D+& *'( -/.0 %& F0$ f [ D[!/O 4. EQUIVALENT OCCURRENCE
lmwyx z{|}u~,///K YVfYg&/g c* F& X [ +&i 0S ['b [ V + B0K/ $#'4 S )*f«Z +i %. ]· K &D Dj&' [ g 00
.0j %& F&$0 gYZ D Db$&S^jfD ¤KR0i$&g ^j]F0F¡ ¤O 0 .$2& &KYg*h&)*0D D[!¸$ .$09 $# Fh^ F&0F &'u«O 0 Z 9 !/K$ TPD+%&& [ 0)Æ D 0#¨&K0^j , Z 0W +%C D0$ [ \'g « ô ÀJ°yÊ«ËK0Ygv$ &^^0D[!Tt$T&$& 0
&$ [ t WD W $v .$ '(.0$ \ .$ ¸T
m D[F! & Xj ^0D O l6A 0 i KfYV` + .0 X"j& ^0D 2 [C ¸ ]Yg#`. +D Þ# ;wyx z{B|}u~(///0 O v kYg9YZ D Du $Y * 0X* /R )*0D )*/F +&"&'W $ + 90$ [ AD+ %D[!
D #&;Ó Ô/Õ ø 90 C%& YS ;)* $DV&0h va .0 B .0)* F X)* 0 ¤O vbZ ùVÊ4_s Bs ã Ë# $ / 0t .0) ^j R&'vj& +^$D ` .0^$%& F0 )* 00 )* '$sW +ks ã K :O O K 0V .$)9^j b&'$ [ͤ / ÌB '4.$0 &0 Za B +$%# TW00 [ ¸¨O ävå æ/ç(è¤ç,éjç,êb[ è ú ì Æ?Å.Åî¤ñjñjå è Å0åøY ù ·g14Ü&5?Rs2I&?j? o Gû !$# ! & ('(')'( %! * G ( 3 0 N h 5 n @ @ > E E 5 j ? F @ ; 5 B n i p ¼ s 4 1 ? \ 4 1 T 8 ( 3 0 N 2 5 8 > 7 nBp¸3(N$5 ?0> 7#ß5Evnmp]½ 8F* >$ßL&EIFM$N\148n&7#n&EM$N 148 798WnBpVst14?¸5Ü&5EFÝ L&EIM NtnBpn G 1 4
5 ü ½Dý:# ùVÊ4_s ! ËGuo/5?n&365oTß Ý þZÊ4_s V R Ë `ba¤ò÷ZF ó c&åζ/ O dn&E\3(N05iL&EIFM$Nhs14 ? du1+L&> E T 5 þ6)I ;I&?o\6s #t14? du1+L&> E 5Sÿ þB%ÿ G+ùVÊ4_ s Bs # JË + uúW8y3nus & 14e ? du1+L&> E 5Sÿ þ (G+ùVÊ4_s Bs & JË ¨ bdn&Ek3(N05v8I&7fMjH+5 oI&3I&853g14 < ? du1+L&> E 5 ÿFG þÊ4_s V RË ¹+· £ .$0j& Ws Xã ¹ns w x ¬ K¤üT f# .0^0% F&$T )*& $0 )Â&'esi ! K Rü ã gk .0^$%& F0* )* 00 )Ï&'¤s ã ! Oyl' â E " 5 !bþmÿ Gg3(N05#n@ @> Eq E 5?@F5WnBpys # 1(?i3(N$5f8I7]MjH+5o I&3I&853y148 þZÊ4s # V RË Ò ¨ Ò $ ¦ ¹.· dn&E23(N05tL&EIM NA s &14K ? du1+L&> E # 5 !b þ G1(3:8;V5 g&365?o/5oQn@ @> EE5?j@F5 b+( E +43 s # 1( 8 fÊ4s # ms & V R Ë Ö Ò ¨ Ò ¦ Ï· nG N 1J@FN¸148#5=>$IHU3n
ZÊ4s6# RË ÃjbN$I3e7R5I&?08%$'& $`IH uI&Ý8I @ @Fn7]M I&?$158us6#kßF53V5 5? 3(N$5XÜ&5E3:1J@F58XH I ßF5H+5o;y143(N'()$+* ÇjbN/> 8 Gv5Ü&5?Qy143(N$n&> 3c@ n&7fM> 3Jq 1(? L 3(N05]8 >M M n&EF3gnBpZ3(N05ZL&EIM Ni14u ? du1+L&> E,5 !b.þ -(G2g5W@ I&?\@Fn?j@H >$o/5 3(N I&3g143:8f8F>M M nE3g7 > 8F3VßF595=>$IH¤3n*3(N$5c8 >M M n&EF3ZnB p du1+L&> E /5 !b0þ !" jbN/> 8v143S148c?n&3W@H n85f o 9úpF> EF3(N05E#@Fn?j@H > 8 1Jn&?;148c3(N$I&n3 V59?¤5 5o ?n&3UL&EB"n tpEBn&G 7 du1+L&> E 1 5 !bþmÿ GSß> 3jpEBn&G 7 du1+L&> E 1 5 !b þ " þ
z a x
z a x b y
z a x
b
b x
(1)
a x
z a x b y b
b x (3)
(2)
a x (4)
( 32q57:^ .B( ¤4 Y@@7 3l3 :@
mn^ .7 3
4.1 Failure of Early Termination
¢f$'(& .00 D[!/K U D[! )* +0 X$/ g0g0&D+*'(& Z !
.$j %& F0#'jsjO $ S F&D0& yYZ0 ZU D[! )* [C 0 &$0&Z^jW&0$D +Ou]0]&' $) Z D+D .$ B F i^jD YkO _`Z$ D 9 F0$ +- .$ e k$F¡c $ Z& u *& F y k)R&¡ U D[! )* YV& ¡i& D !/O µòöå ¨&e O 0>M M n85*Iio I&3I&853f@ n&?08 148 3:8 nBpc3 Vn9L&EIM N 8c8N "n y? 1( ? du1 L&> E5 ¦ þmÿ "I&?o ¦ þ "65T 5 uI&?$3#3T n ÛU?oA@H n&85ohL&EBIM$N 8 N$n85`7 14?0147 > 7 8 >M M n&EF3R148X+ i53vsÎßF 5 $ & /ÏI&?jo2s ã ßF5 $ & / z $Jú]e8 V59@ I&?t85F5 G / z $AIH uI&Ý8cn@ @> E?8 y143(7N $ & / UI? V5365EF7914?I&365kV5 g&365?jo14? LfsX8F1(?j@F 5 þZÊ4_s RJË fÊ4_s Bs ã RË14? 3(N/148#@ I&885 95\5#@ I&?$?jn&43 ;:g3(N05%E y1485 G g$ 5 y1:H(H79148 8c3(N05]M I&3:365EF? 8BN$n U?;z1( ? du1+L&> E 5 ¦ .þ -("jbN 148WL&Ez IM$N`@ I&?$?jn&3]ßF5RV5 g&365?jo/5ovpEn&7 $'& / $JÃ(?p g5#Io ot5oL/e5 / $14?03un du1 L&> E5 ¦ .þ -(GZ3(N05 ?¤5 L&EBIM$ N y1:H4H?jn3gßF5ypE 5=>05?03gI&?0Ý#7#n&E 5 ÃjbN$I&3V7*5I&?0 8 g5k@ I&?$?jn&3 n?H Ý V5 g&365?joZs ãb14?*3(N/148Z@ z I&8 5 E 5ZnB%p =ZI&EH Ý jj5E7 14?jI&3:1:n&?t14?*s ã G / $;148]3(N$5VpI&1:H > E5SM n&1(?043 x a y b x c
d z (1)
x a y b x c
x a y c
z d x (2)
z d x (3)
( ?>q?m+^ÜBÜ7 3C.1"fF3"B0 ¯ 05GU3(N05?t143V1(8]> ?0?j5 @F58 8I&EFÝ3nXV5 g&365?jovshV5 g @F56M3s ¡ã De3lCXC.1AEJÊJ F'(Ë]l6 ' þZ Ê U RË ] Ê U %U?w xly ¬ V RË&n þZ Ê U % RnË f Ê U U2w x z ¬ V RËK $9YVS&*&0D .0$g U0S'j 0g'(D D YSC $%i) .0 B^jk .0]ÊB¨Ë !óN Kj [' U;! K 0 Uw xly 0 ¬ !$ # £ 0à Ut/F +$ fsjK0^0.$f0fs ãJK¤¬9 0c$%&vYZ$ \t^j &0 ` / s¸ +[ U; $ B .0cs ã p UO 0 '4 K U0w xly ¬ T Uew x z ¬WYZ +D Db/F& s ã O mn^ _7 3
x a y b x c z (g 1 )
x a y b x x a y b x d + c c d x z z (g 2 ) (g 3 )
( ?Fqci 6@Ym+^ÜBÜ7 3C.1"fF3"B0
mn^ _7 3
x a y b x c z (g 4 )
breakable
& 4$ ^DCj
¯ VO
¨y )* ] + '( -/.$/Z &0X % ( b> 1Q Q $c&'', -/.0/Z% F&0$ SYZ +$%D c aX · b> > ¿$ 1C.3R .@9` $v«e> E C ¶ wyx z{B|}u~(// Ê«SK R#TÉÉSK_ K7914? 8 >MjK_>yË PfD %&& [ 0) ·v +D D .0 B F Z 0]', F&)*YV& ¡RYZ0 X 0D . S 0 0 !R $ / 0%9 B bOyl6u )* u + '( -/.$/g &0 % O $A [i&D D Twyx z{B|}u~(//\ . D[!A^/! 0% $$ $CJ$ BZ Ft&0i %/C)* Ba $ +&bO 0c \ C $ e&'0D v%& F&$0 e e&0 B /YZ [ $Vky£WD a % F&0$ & F O rB(. C.3^( 9U 22wyx z{B|}u~(// Ê«K ,b+K Kb7914? 8 >Mj.K >UË lm$0. yPQky£R $v«K$ [ 0 /J ,K 9%& F0\$F& K0&02791(? 8F>MjO ].$ $.$ $kD i'( -/.0 Z% F&$T >VO ¨ ^D19Y « K ô ÀJ°UÊ«ËK
9 3 (7 3 · ^D10â$¬ã Bs ã.¹sWVbwfx¬ãb&0Xs ã"sYX]&0YþZÊ4sKV6 RËJ ]Ê4sWV6 Bs ã V RË is V + Z$& '4& D .$ c& c'e D[!i )* +&T 9 ¿$ 3 ( 7 3 ¶ U I A ÷$ µ U Z Â$K i !i %c¬k .0FX 0 «k&T^jka 0$* 9', -/.0/fJ« wfxSf¬ 0 ]J« w x ¬k / u I$ È u !ij& +^$D c'4& D .$ c&'y D[!X )* +0 X t« ^D10S0:« w x ? ¬ ZI K«¯ ,,.-²Ê«2Ë ¼«¯ ,,.-&²Ê « w x ¬ËV 9 § 0 ]«k +/ Y> ¨¦ y )* cJ« w x ¬k', ) IYZ0 F00^j E1+LN/3Jq7#n&8 3Za R', )Æ« ¨¨&U & e I +ky£iD a % F&$0 c& F$
¨ / 14C.3i . @9;:« w ¬k Z I£E C ¨· ³g&D DUwex z{|}V~,// Ê2« wfU¬ K«.K K7914? 8 >M.K >UË ¨¿ 3 73& PfD %&& [ 0) ¿ . D+ $ S 0]$ . 9 W&'Uwyx z{B|}u~(///O 0 '( F)*Yg ¡;&'kwyx z&{|}u~, /\ # )* D+ # ¸Ó Ô¤ ÕO;d]Yg KU [ j '(& )* uW)RÌm& u +)* )*/e.$ +$%W 0S * 0&Z .0$C 0%9 $0 +-/.0 S D &j^j O f K$^j'4 k0$.$ 0% 0W %& C)*& BZa 0 \&\*$ %& F0Kwyx z&{|}u~, / 0 B F0F¡ vYZ$ 0 0 Ra B #U D[! )* &; +"PD[C % [ 0)Ù¿iD +$*·C¿ KYZ$ ¸ ci & +&$9'V $9&$ [ tYg
P &)*$ $0 Uj '4 )R&$g B . !WYS e0$.$ c +v.
" a$j +)* f2^j& t &DU&0¸ B! / 0 + 0F& O 0 &D $F] UYVg B v + U#Pfl6c£c&/ [ FD0 9F0)* D$&)#C j&.00$F& OA$& * 0XD+ KgYV.$ \2 B! / 0 0F %&0 F & f$ +$i^/ ! Zk. F&)*/F0 &0 Zc !$$ k ¨&¨JO PD D0 0Za j )*/ U f$&0R#¨O ÈÛ] d [lm/ Dj .$)#C ¿TV³QYZ [ ¨ÛW©Î)R& `)*)*& !/Kj .0$0 0%i$d]vÈ/O · Oi©V& ÓÔ/Õi&0;wyx z&{|}u~, /i * )*0D )*/ \ "³ ÒkÒ YZ [ "£ v D ^$ F !; .0$j& 9&0h)*$ +D h^/!`% ÒkÒ YZ ;CmW·T )* +ÞC &bOSwyx z{B|}u~(//v $Wa$&f )*W . +$ f&i . $ X&'v 0\ %/C)* BXa 0 K .0^0% F&$¹ + &)*& $0 ) )* $ +) .0)rky£X v&D .0D+ +&\YZ \ÓÔ/Õ O .$ K0 $ j '4& )R0k.$ f)R& 0D[!R ] \ g 0Wͤ $ S&'yU D[! )* &# iwyx z&{|}u~, //O 0S)* 0 0% .0D[U&'wex z{|}V~,// * & BC$¡"YZ [ Ó Ô¤ Õ Ol6a j )*/KyYg&D
$YÄ 0j '4 )R&$f'RºZ&~4» z/~:» CD+ ¡ f&D %&& [ 0)TK¤Ø/Ô}[¨¨O _` +/ B * +i + !#'b', -/.0/u B .0 . OyP] C [ +&D)* 0 0%9j F +&0 f&T^jk0 B .$ & 0 c', C -/.$/ B .$ .$ #0 va$&)*0D K 0%T&/ F& B B .0 . YZ$ i S', -/.0/u +*&0ZD+& V^0.$U $', -/.0/u R&0 0 K &
.$ 0%] $u'( - .$/y B .0 . y& e'( . e ]D+&^jD .0$D+& [
B .$ .$ O $Pflmk£ &/ [ F&D *)*j&.00#0F& U'( &)rW D[C &0)*/FD $ j.$ 9y &%& F&) ;¥k³VlBÅ¥flmdÖ +D+^0D $.0^$D+ D[!/O_`Z D V $Z)* Bu.0$CJ Cm$ S D K$T FX &¦¦ D O 0v0F& f& F 0 ¿ · K §&¦ ¶*$)* &Db)*j&.0 O $ .$D *'W 0X $ 0%2 B *&^jT %& ÞA 9D, H ^Ãrtj$$ )*t& " _^vr¤ 0 )*T)* C F D[!A& ]&0` ^aV&$$ )* 0& O¼P)*$%2 0 ¿· K §¦¶i&)*j.$$ K0¿/ & R'U $) ^jD $%R ^$r\K¨¦ ¨# ' ^vrKR 0W )R +$ 0%# k TD+& ^aO _`9YS/k \$ k $9'( - .$/c B .0 . k 2 $#D+& ^ÃrÙ&03 ^ )*j&.0 OS_hk )* cD+D $c !$ %0 + $ \&)*j.00$ O $T)* Bij$.0D+ i )* R A 0 mYV $F k Y I cK b9dK R2 K >gK¤ O $ # # /¨9¡ ]&'V &)* D+& e
^$r )*j&.00$ *YZ0 & t &¶" ¹D+& ?
^vrO ¡ '$^j& uj$.0D+ +k $ u)*j.$ ¤ +$%D C^j0K .$^0D C^j0KZA )R +C6^j&¤OQ]Ä F%KZD+& ^Ãr &)*j.000& R¿ ¦h i&0¿/ `$% O $\)Ra [C ) .0)Æ0*0& *¨& "¨§µT$% OU&F`D, 7
^v )*j.$" R· ¸ i&0·¿h$%& *A F&%&O $ )Ra +) .0)r0k0& & ¨c f\ ·&¿#$% O %&.$ f$ÊJ Ëy 0YZ u $S .0/ )*gYZ T7 14? 8 >M & ! 0%W'( &) ¨¦ ÇÎ c¶ÇÎ&# 0SD+& g³gPÄ)*j&.0090F& O $Z .$)9^j
'Z'( -/.0 %& F0;0 $ 9hD ;', -/.0/v%& F0;0C 0 k 9 0YZ¸ 2 %&.$ # Ê:^jËOcP fYV92 &Kewex z{|}V~,// &.$ j '(& )* WÓÔ/Õ9^/!t#'4& c&'¨¦*YZ0;791(? 8 >MT WD+& ¶&ÇiO ©u& &'v 0) `^j i .,.P °tD 0&T &$ O NH O
N
N
HO
O
ÊJ ËS ¦ Ç
OH
O
OH
O
N+
S
N
N
HO O
N
N
O S
O
N
O
Ê:^Ëf¨¦Ç
OH
N
Ê:ËS¶Ç
N
( hXqc^4 @"Cj
Department of Computer Science University of Illinois at Urbana-Champaign Urbana, Illinois 61801
[email protected]
[email protected]
ABSTRACT
!" #$ &%& '( &) )* $ +$%', -/.0/21436579853:8;05?@582 A)* 0 $% B .$C . 0 $ * 0D . 0%A3:E5F58 G*H I3:3:1J@F58FKAL&EIM$N/8FOQP R %&0 F&DS$FT B .0 .$ KUL&EBIM$N;&;)* DV&)*0D 2 D+C &0 W)*$%X$F#YZ [ \YZ , 90$D+ 0 ] +\^$ $'(& )R K _`^9a$$D & F &bK/c OedfYg K )* 0 0%D+ %&S%& F&$90C 0 9 0&D D 0%& +$%h .0* \ 0R$ 0i&']&"a j$/ +&D .$)9^j *'k'( -/.$/R .0^0% F&$0 OQlm0 B 'c)* 0 0%`&D Df $
.$^0% F&0$ KgYg\ j& T h)* 0h@H n85oipE 5=>05?03kL&EIM N`M I3Jq 365EF?08 OXPr% F&$2s\ i@H n&85o2 hX0F^ * 'V 0 #a$ B c0 j W .0j % F&0t'usX ] ] 0v &)*v .0$j& k ]sjOkP D+& 9% F&09 9)* 0 0%f&D %&& [ 0)TK wyx z{B|}u~(///K U$ D[C &j#^/!9a$$D & 0%c F&D0 / B $%v .0$ +$%W)* $ $ Oy].
j '4& )R0] B . !# 0YZ S wyx z{B|}u~(//k$&Z$D[!i F&)RC D D ! .0 *.$0$ !" .0^0% F&$0 # `^j%$ F ^0. D ; .0^0 BF/ ,D D ! 0 & * $T* $!&'k)* $ +$%$KV jC ,D D ! 0W $k&'eD+ %c%& F0T0 $ O
Categories and Subject Descriptors
dvO O T X000t$$2 yWF&^0& cP00D +&0 SC WF* 0
%$General Terms
PD %& [ $)* K '(& )R0Kya j )*/F +&
Keywords
', -/.0/e% F&$bK % F&$ /F KD+& 90 K0&$C DD+&^jD
1.
Jiawei Han
Department of Computer Science University of Illinois at Urbana-Champaign Urbana, Illinois 61801
INTRODUCTION
-/.0/X%& F&$Q0 )* 0 $%" F Q% \ / BT + $F#)* 0 $%#)*) .0$ 6!* / D[!/OgT&/!T / [v&)#C 0kYg ¡XYS ] .$0j& \ f^/!¢vO £¤O¥] 0&Dy£ 0 $.000 +&#¥k£ \ll£ C6¦ C6¦§ ¨§§ K ¢]$ + jO&'¤l6D D+ $ K &0#&#lm©S 0&.$D 6!XPYS FO
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. SIGKDD ’03 Washington, DC, USA Copyright 2003 ACM 1-58113-737-0/03/0008 ... 5.00.
ª
)* +Db0$D+ 0 S -/.$ f 0W !i&' B .0 . F&D¤C $ k +`D, %R$F KbYZ0 Fh%T^j!/0`«¬ «K«¬®¯j¬°¤±¬«K &0AB²&¬¬&«\ YS F `H I&3:3:1:@58 G9L&EIFM$N 8 Kk$@3:> E 58 OS³V F& 0D[!/K Vk%&0 FDj0FW B .0 . K % F&$*& )*b 0u$)R &'0)* $D D 0%)*$D + k D+ $ y&)*&0% 0F OX_h* #YZ [ $ h F&DgD %& [ $)* 9 D j2'4
0 ZF&D D $% 0%* ^0D )´[¨¦ K¨&¨K¨µ K¨¶/Kj·O $ -/.$/*%& F0A0 )* 0 0%2 X¸)*)*& ^ C D )rYZ$ X&D va + B V +R'( - .$/g [ )* g&0R - .$0f)* $C 0% O¹©g & 0XºS~4» z/~4»y$ $ 0D `[¨JK\'( -/.$/*°jC6$% D+&^jD ¼%& F0)R!¹/F& 5?$3k1436579853:8I&?jo 85=>5?@F58Ä[¨·K] T^j¹ j ¹ &)*\ 0 T 9C .$D 6!h[¨¿ K¤¿$K¨ K¨ÈJO]PQ'( -/.$/]0 \ÉR #@H n&85oT ['y 0 a B k0X$ j c .0j C ¸&'gÉXYZ ¸ 0 &)*# .$0j& ` 0#0F O 0*&.0/ &D[ * h%& F0h)* $C 0% Kb7 14?014?/L*@H n&85 opE5 =>05?$3UL&EIM N 8 K)R!*D i #9 )* 0% $ [ +&& cYgD D:O20& a$&)*$D+&Ke'4& 0R$F& #)*/ $ &^j &KU&)*$%T 0 t¨R)* D D+ &"', -/.0/ %& F00 Ky&0D[!"^j.$ K ¦&¦¦c ZD 9'( -/.0 y% F&$0 Oyl6'0'4.$ $ u&0&D[! + Ê: .0F* D+& [0 X& SD+.$ B 0% Ëu gj '4 )*#* $f g&'bD %& F0$ V 0 B &#&'# $SYZ0D u&'¤'( -/.$/u% F&$0 K [uYZ D D &F0 W 0W )*k&.$ F&!XYZ [ D Z .0$&$!i&0X^j
* +0!/O`d]Yg KV.$/ +Du / D[!/Ke 0 # .$ +&DZD V$&g^j* .0F0O $ + u K$^0& *&i&.$ g&D[!$ K D[! ^j.0 k'e 0W&)*0D a [m!R T% F&0$ O 0*%& DV&'S $ v0&j v k \$ D ;h* + v)* $ '4 S)* 0 0%kD+& *%& F0R 0 OUe .0 u B . + V RD [ )* V)* +$ 0%*[¨¿ K$¿ Kj¨&* .$^0 -/.00Z)* 0 0%R[¨È¤ $)*0 B F ¸ 0v .0F`)* $ +$%)R!¸D 2 )*& ## / )* $ $ 0&")* 0 0%¸D+DZ0 $ 9^/!"$ D $ +$%2 &)*X C 0$ B + $0 +-/.0 * h .00X 0\ A F¹ &O d]YV K &)*]D %&/S$ &j g' [ )* V&R -/.00 $¸0*0&D+ %& F&$0 O0 *a$&)*$D+&Ku&.$ # / D[!$ /C Ä j 6!&^j. - .$ D+0\'c$ ÌB ¹0F^ 2
- .$/ +&D0 )* +$ 0%T[¨Èe\ F D[!^jc00D T $ % F&$T)* 0 0%v ['Ygc 90Z.0 k .$%k)*.$ g&'ea Fv B & C %Rt)*$.$F &bO .0 K [k -/.0 [ Wa $D+ 0%T [ͤ / 0 &F0 u v&)*)* 0 S 0Z j [Z j u +R% F&0 0 $ O $ * #mYgX%$ F&DV&$$ $ k `# /c%& F&$`0C ¸)* $ +$%$O $v$ BK $ / \^ !2[¨¦ KU¨&¨Ke¨¶JKa $gºS~4» z/~4» C^ c&0$ +0 g%$ F &$C6&0 CJ BU&$$ &F[¨ 2%& F0A0 )* 0 0% O 0\ F& D AD %& [ $)* R$ B $C %&.0 $)* D S .$ 0%* ͤ /Z^0.0 D+$ $%#^0D /F¡ y ¹[¨¦JKy$%& Ä[¨&¨JKu&2$%&C6$ 4ÌB& +/ 0 c ¹ ¨¶JO $
00$ &FbKu $ "^/!¹[¨µ KS·JKS *20 C % YS Î0$ +D & 0/!Ï v^/!%& YZ 0%A 0 ', )Ð $%D % F&$"$ [ D[!/OTl $&$ c C* + 9$$ $CJ$ Bc FbO £ .0F*W)* $ 9 + U6YgW& B D[!#j F $ ZÊB¨ËÌB $ +$%WmYV Ñ C$%&k'( -/.0 % F&0$ S *%$ F RÊ ÑcÒ ¨Ë6C$%&c%& F&$T$C +0 Kj&0`Ê ËSF0F¡ +$%9 0f'( -/.00!X&'e $ k&0$ +0
F D[!/O 0 2mYV"j F +&0 \.$ .&D D[! 2 0tj '(& C )R0]^j& D 0¡ Z&' $kºS~4» z/~4» CD +¡k&D % [ 0)* O l6Ä[¨µKyYVX )*$ B F t ÓÔ/Õ/KyT0YÖ% F&0`)* + C $%t&D % $)×^0& 2h 0*0 C%& YS ;&$$ &FbKe&.$C j '4& )* 9Ø/Ôj}V[¨¨Kb 0c j& ¸^j Bk&D % $)Ù ¸ $9 C %&& !i&' 0]ºS&~:» z ~4» C6^0& ¤K &0$ +0 W%$ F &$C6&0 CJ BZ$C Oed]Yg K [e B D+D FD+D $% 0% ] D & * / D+& t%& F&$\)* 0 0%RD+%&& [ 0)Ú^ \\ÓÔ/Õ9 0 ÓÔ/Õ ^$.0 D+$ k* !\ B k& F k t%& F0t 0 Okl6\ 0 ]0&j K YV9 /vwyx z{|}u~,//TʳVD ¸Ûf F&$ 0 t)* 0 $%/ËK $ $ Bi&D % [ 0)Ã'4 X)* $ +$%2D+& ', -/.0/*% F&0A 0 K R 0YÄ 0wex z{|}V~,//k g0 %&0D[!R* /Oylg. j '4 )* ÓÔ/Õ*^/!¸i'4& c&'S¿i ¸¨¦XYZ0t 0v'( -/.$/k%& F00 c D+ %\Ê4'4 ca$&)*$D+&Kb% F&$0 ]YZ [ `)* 0&2· i$% FËO $
.$ &'Z 0*)* 0 ` v^& hh 0R D &0)*/v&'S $ $ Dy$ v'v5=> 14ÜIH+5?03Wn@ @> EFE 5?@F5&0Ä5I&EH Ý\365E7 14?jIq 3:1:n&?; c0D "wex z{|}V~,//R$ .$09 $# Fh 0&# .$^0 BF$C +D+D[!YZ [ A )R&D DZ&0$ [ 0&D BO_h&D h D D+.$ B F \ &)* & WYZ$ D[!\ )* +&t)R!X': +Dy\)* ] &)* 0C 0 O¸©u!" $%t&hD+ )* 0%T 0 X KyYgi%.0 C / * 0*&)*0D $ 9h &.0 0 c' $*D ;% F&0 0 $ $ X^ !wex z{|}V~,///O $ )R 0 0%R&'U 0vj k W % &$ Þ¸& ]'(D D YZ O9£ C &` # / $.$ Z 0c$ W&'UD & T'( -/.0 f%& F0\0C )* 0 $%2h 0X0F $ # 2^ji.0 ; $ &.0%&0. 9 $ 0&j O2PÖ F"', F&)*YV& ¡2 + D+D .$ B F ; £ &"· Otlm £ ¿ K $t)* 0 i'(& B +$%;-/.0 &&D //.$ $K D[!* )* +&bK uYgD+D u': D+. k$ i f$ O £ #¶Z'(& )9.$D+ $g&D %&& [ 0)0ßL&EBIM$N 1(8n7*n&EM$N 148 7Ï148gI&?R14?û5@3:14Ü&5p> ?j@3:1Jn?#üT àRÊ4s$ËeýÃà#Ê4s ã ËGb8 >$@FN 3(N I&39þmÿ j ¯ à*Ê4s$ËGUâmÊ:¯¤ Ë â ã ÊüÊ:¯¤ËËGI&?o; þ Ê: ¯ Ë á*Ê4s$ËG
ÊüÊ:¯¤Ë FüÊ ËËáRÊ4s ã ËSI&?joZâmÊ:¯ Ëhâ ã ÊüÊ:¯¤Ë FüÊ ËËGN05E 5yâyI&?jo â ã I&E5c3(N05vH I ßF5Hp> ?@3:1Jn&?2nBpgshI?joks ã E 58JM$5@3:14Ü&5H Ý l6'us\ c¸8 >$ßL&EIM$Nh&'us ã K 0¸s ã c¸8 >M$5EJL&EBIM$Nh&'gsjKb$C 0 ^/!; s s ã Ê4M0EnM$5E\8 >M$5EJL&EBIM$N K ['W s Æs ã,ËO¼Û] A D+&^jD %& F&$¹0F& K "!$# %!&" (')' '( %! +½ * Kf«¯ ,,.-²Ê4s$Ë Ê:& ü0²&¬®&¯j¬°¤±)/¤Ê4s$ËË9 0 * 0Tj /F&%&;Ê:& i .0)9^j Ë &' %& F0$ SÊ: +0 RË vYZ$ +F sW + yf .0^0% F&$bO $g y2' 1436 57 .3+ 8:9;8$MjO 0
RA ' @BDCF EG1436 57b$¤`+ 3F 829H8$VKg R $ & k'(D D YZ JK I>KL s M N s O=?>QP ° RTSVs ã =?>¹«¯(± U\V U+P/ZW s s ã P X° R«¯ ,,.-²Ê4s$Y Ë «¯ ,,.-²Ê4s ã Ë * OÄ£ 0Z I>[\=?>VO 0]$ ^$D )Â& ' @B]Cj6 E\1436 57 3+ 8:92N . ^4: ^4* 0] 0U&)*0D U _' I>X c 0y%& F0 0F& YZ [ \9%& + `791(? 8F>MjO £ $t)* BX&'v B 0%"%& F0¹ 0 X ¸&00 %& F0$ KYgk0 Bf B . !)* $ +$%#D+&^jD \&0$ .$ %& F0$ vYZ [ 0&.$9)9.0D[ 0D * % O¸ea 0 &0 v&'. 9)* $ '4 V)* $ +$%W& $ U¡ +0$ y&'¤% F&$# B .0 . U .0F*& y.0$D+&^jD %& F0$ Kb% F&$0 ]YZ [ t D['(CD /$ \)9.$D[ +$D % Kb %& F0$ K $ $0 #%& F00 K # cK YZ D Dj^ja0)* 0# 0W$ .0 &\ O `ba¤ò÷ZF ó c&å ¨& O du1+L&> E 5iÿX1489I8I7]MjH+5#H I ßF5H+5oiL&EIM$Nho I3I&853:G e G N05E5X3(N E 5 5H I ßF5H+5oTL&EBIM$N 8XI&E5 ME 585?0365fo hú7*n&?/L¸3(N0585 L&EIFM$N 8 G5 I@FNvÜ&5E36V5 gcI&?joW5 oL/5ZIE 5gI&8 8 1+L&?¤5okI]H Iß5hH Ji53¤7 14? 8 >M ßF5y+ jbN05SIH M$N$I ßF53:1J@Zn&EBo/5Eg148U3lI k 5?RI8u3(N05Zo/54pI>$H 3¤H+V5 g&1:@Fn L&EBIM$N q 1J@ IHbn&Eo 5E z a x c d b a b
z a x b
z
z a x e a b
b c
x b x b
y
(g 1 )
(
mn^ _7 3 po.q?r
a
z b c y
x a x c d b a x b x b
(g 2 )
(g 3 )
N82B(Ntu3F829¹X$ A s
PÎ%& F0Tsi¸^jca 0$X^ !$$ 0%R*$Y$% ¬ Ovb 0 0YÏ% F&$` 0 ¸^/!\sw<x]¬ O9u %*¬#)R!\ c)R!T0& / $.0Sf$Y" ak sjOl'j¬S / $.0 yf$Y" a¤KYg $0& y 0U0Yh%& F0c^/!]<s w xly ¬ K& $ YZ K&<s w x z ¬ OePD+%&& [ 0) ¨\ D D .0 B F ¸& X'( -/.0 R% F&$Ä)* 0 0%2&D % [ 0)TOl6 0$ yD+D 0u'( -/.0 %& F&$0 KD 9 U0 CD ¤O$& y $ ¼% F&$sjKf [\j '(& )* X $2a 0 . + D[! .0/ D D D 0e'( -/.$/% F&0$ bYZ [ ks)9^j$$] u$ ¤O vb $k¿* 0YZ $] )* T& &bU_¹0i 0k .$0j& &'u#% F&0 + fD 0&h7 14? 8 >MjK0 [] .00$ ! *a 0 [f&/!i)*& O { » ||}u~, /R v )*0D K^$.$c$&c* + O 0*¡!¸ + .$* 0i 0# 0!h&'a 0%\s2 \? s w<xc¬ 0i &)*R%& F0 Ä^jTa 0$" ¹$ [ͤ /#Yg!$ OQ0 i&°¤C %\% F&0K [i)R!"0 °Q$ [ͤ /*Yg! # h^jX'4& )*'( &) Ê:[ ° }¨Ë6C %t%& F00 R ['kYg¸ ;0&i&0 +$ )* 0$ + )TO¼_h&D D h%& F0¹ i + $ ¹&% Qo&>MjH 1:@FI365TL&EIM N ~ O vb 0 ¨X +PfD %&& [ 0) ¨X% 9 +'k$.$0D X%& F00 O $ .0)#C ^j f&'V$.$0D c%& F0$ ])R!^jc .0%&Ol6Z F& ] )*c $ &^0D )* O` [ BKu $X%&0 F &; .$0j& &)*0.$F &'S$.0$D + *%& F0$ cYg& B # )*Oi£ &K [ c0&/ + +&De D DyYZ0 $ v%& F0h v .0$D+ OXÛ]$ F&D D[!/KYg*0
x a y
rB(. C+3"^, 9e o { » ||}u~, //Ê4sjFK Kb7914? 8 >Mj_K >yË l60$.$yP% F&$XsjK09%& F0T$F e K0&0¸7 14? 8F>MjO ]. 0. 0W', -/.0/Z%& F0T e >VO
&¨ ^D1vsRa$ B Z Z>; 9 [3 7 3 /UFB(i $ Zs* u>b · U &Z Â&0K$0i !i$%&c¬c .$X sR&^jka R s w x ¬cX [ S'( -/.0 ¿ 14C.3R . @92', -/.0/S s w<xS$ ¬ EC ¶/ ³g&D D { » ||}u~(// Ê4ns w x ¬ +K Kb7914? 8 >Mj.K >UË µ 3 73& )*0. * [ 0&0 &DSD+^jDghF0F¡¸YZ$ 0 9 [vYS& 9$ BC \^j'4 O 0 [ FK¤ $.0D+TYgva 0Xs ['UYgc0Xs ] .0$D+ l l'u $ va + B ]kD Bk$ % F&$t 0]&¸%& Y &0D[!`', ) 0 v$.$0D R%& F0KeYgR B D+DV0` \a 2 [O P vYVR&; &Ke 0 # R +/ D `$ &^0D )* vͤ $ * 0!2'V $#&D %&& [ 0)TO 0!t .$%%& Bk Ws\ 0&.0D+t^j a $Ä& X$ D[!¹ Xj& +^$D ` ¹& F X h $.0 $ %&0 F ¸&'V$.$0D %& F&$0 O X B'(!\ 0 -/.0 [ C )* K$Yg $ D jTÓÔ/Õ[¨µeYZ0 &t# /]0&0 &D D+^jD +$%T B! B )´¸iD a % F&$0 *& F 0% ¸%& F00 c ^$.0 D[OvÓ Ô/Õ#0& ] $ '(D D YZ $%T &D /c$ &j #ÊB¨Ëf [W C .0 R $\%$ F &¼'v$.$0D \% F&0$( #Ê &ËR [X$/ i0 $R # F .0 + i', -/.0/Z% F&0$ S T& F
#$ $.0$D + ( 0&02ÊJ· ËV [0 Sa 0$ Z !X .00D % F&$`^0. k B D Du%&. F/ k 0 )*$D+ 0 ORwyx z&{|}u~, /R ^$.0 D[]&\Ó Ô¤ Õ &0X'4 )9.$D, Z 0c D[!X )* &T0$ [C &0 f R)R¡ kÓ Ô¤ N Õ 6 . + R ] D !\& ]j& ^0D 9 \D % F&$)* 0 $%$O"lm; $X'4&D D+YZ 0%2mYg¸ &0 KgYVX'4/.0 * 6Yg")RÌB& X F00 +-/.0 i.$ Ä Qwyx z&{|}u~, //AÊB¨ËR %& C)*& B a 0 2&0¸ky£hÊJ $ C$ B] FjËfD a % F&$0 *& F
'(& U'( -/.$/e%& F0#%&0 F /&iÊ Ë-/.0 &&D /e/.$ $ D[!X )* +0 i'4 ]$$CD & X% F&0$ .0$ 0%$O 3.
ORDERING $ LEXICOGRAPHIC
X +&Ä / $.0 R FDf F0$ ,-/.$ R$ D j
$ /V&0#a 9% F&$0 U* / D[!/Oel6u 0D .0$ U)R&$0 0% %& F0c ]Zky£k $fÊJf -/.00ËK^$.0 D+$ 0%fD a &%& F&$0 F$ $%\&)*&0%X $ * Ke2)* $ +$%ky£t $ v^0& & 0 ZD a % F&0$ v F$ O
3.1 DFS Subscripting
_Ä0j '4 )* +$%hh $ CJ0 B* ¶] A`%& F0bKS & j&$ $%Xky£X t^j &0 B .$ O] %. * ÊJË R'( -/.$/k .0^$%& F&$\'4& c $ )*0D *0F& Ù +2 %. ¨O %&.$ ÊJË6CÊJ0Ëg k 0k )*W%& F0O $c0 ¡0i$%& + %&.$ * Ê:^jË6CFÊJËg&0 B .$] v$ [ͤ /fky£X '4& ] 0 % F&$bOe_¹$X^$.0 D+$ 0% Wy£# K$ $] $ CJ0 BS ! ' 0u b'4& )* yD +$ y F$ O_hV.$ u $V)R&%&0 [ . V'
.$^0 b S D D+.$ B F y 0 F$ && F +$%S Z $ [ ! )** ¶JbO bp#)*0n "u ] ^j'4& ? ) OU_hc 0 ! .0^$ $ 9YZ [ Rkky£v n ^ A ! !eU2O V)*#$ d 8 >$ß8@E1 M3:14? L' ! O Û] !euK0YVk&D D $W0 B0 W F !eU.K "&K0 $ EBnn&3:K¤X $WD+& Bf0 $W F FK ½ K$ $#E1 LN 3Jq7#n&8 3gÜ&5EF36V5 g&O $\ B F& %/R0 ', ) " W *)*; 0`EF1+LN 3JqJ7*n&8 3 M I3(N OÄl6 %&.$ t Ê:^jË6CFÊJËKU $ ½ $ [ͤ /9 .0^0 + 0% R %&0 F ¤O $X %/C)* B9 \Ê 6# V "Ë +%&.$ T Ê:^Ëg&0`Ê:ËK$&0`Ê # V & V ËV \ %.$ v ÊJËO
a
b Z
b Y
v2
X
a
base graph (a)
Y
X
v3
v2
b
v1 b a
Y
(b)
(
Y
a
v1 b
Z
v0
X
a
b
X
a
v0
X
X
Z
v3
(c)
c
b X
a X
v0 v1 v2
b
a Z
(d )
" 7e @3^D8 ^4
mn^ _7 3 Nq ms
Û] !euK/ $Upn&%E VIEoR5oL/5 ÊB3:E5F5c5oL/5f ¶4Ëy g/F& 0 g&D D 0S$% U # $gky£v &K/$0& 9^/!9á y K &0 0cß I @%kuI&EBo 5oL/5*Ê ßFI%@ kX5oL/5W ¶(Ëg /F& $ Z&D D $W % SYZ0 FT k0& ; 0iky£2 Ku$0& "^/!há z Oh0 #a$)*0D Ky 0i0 ¡/C $h$%& 9 " %. T Ê:^jË6CFÊJËk R'(& Yg F"$%& YZ$ +D R 0 .000 ¡ 0#0 S ^¡/YS Fi$% OU$ )r0YÄ&bK¤Ê " V )Ë Ê: )*0D[!cYS [ R& ZÊ V 4/ËË + U Yg9& u&# F$ & [ U ] C
/]&T$%&OSl6'SÊ "V V (&nË tá*Ê !kËS&0 bp$Kj [f f9'4 YS F %y 0 YZ KU^0&F¡/YS F2$%&O 0vpn&E%uI&Eo25oL/5XnBp )*0 0 ga B u'4& Yg F9$%kÊ V /Ëe$ W$O 0cß I %@ k&q uI&Eov5oL/5nB: p )*&0 b 0 Ua B y^0&F¡ Yg Fc$%&]Ê V /Ë $O9l6` %&.$ R Ê:^jËKuÊB ¨ ·Ë] + f 0 '(& Yg F` %#' MjH+5GZÊ V Fâ â § ¨ )© â Ëb I?j$ o )XE 58JM$5@3:14Ü&5H ÝI&?jo â § ¨ © 1(8]3(N05 H Iß5HnBpW3(N05#5oL/59ßF53 V5 5? 3(N$5u 7 dnEvV5 g I&7]MH+5GuÊ V # Ë]14 ? du1+L&> E e 5 þ6ß 1(8]E 56M0E 585?0365oßÝ ÊJ 7R5Ag59N$I&Ü&5iI/qm5oL/5#L&EBIM$NWeN/1J@FN2N I&8 IÃd\@Fno 5cÊÊJ$ß8@E1 M3:14? L\nB p · * ÃëfI&85o\n&? dQH+V5 g&1J@ n L&EIFM$N 1J@"n&EBo/5E$ G ÀJ°yÊ ®kÊ !kË˸148¸@ IH4H+5[ o ìÑí:Ñîïî ËuÌnÍêðÓfÚ_ÏtnBT p ·(pW)± -R ¬ Ê !$ ¡ Ë GÀJ°yÊ ®kÊ !kËË G V5X@ IH(XH 3(N059ß I&85k8F>$ß8@EF1 M3:14?/LTnBp!A ³V $ «6u + &^$D+f¨S y $g)* 0 )9.$)QWy£v g&'j $V%& F0 * %. ] ÊJ ËOe_`S.0 n ÀJ°yÊ ¹yË c$$& g $S)* +$ )9.0)Qky£ X'f $X% F&0; / h^/!h $ ¹uO; 0 ) .0) ky£ k&T^jk0 + T &0&0 DD+&^jD:O £ \'4 KVYVT $hky£h $&KV)* 0 ) .0) ky£h $&Kg ^ \ .0^$ $ 0% O$& R !% F&$bKSYg\&0D[!0$.$* 0
%/C)* Bta $ Î&0ß8@EF1 M3:14?/L`nBÃ p ! OT³g&` $ + ca $ h)* $ %.0 F # 0#&)*0D $ k&'S $#)* 0 0%R .$D $R& C
BYg ] u
Ý 5)8 Ou_`]0 B0 ] 0]'(D D YZ +$%* .0D[O ñfôå êñjå$÷ ë ì µfê÷ZF ó c&å éjå è¤å$ööø ù ò5E4pn&E7 14? L\E1 LN 3Jq7#n&8 3 V5 g&365?08 1Jn?*14? { » ||}u~,//fL&>0IEI&?$365F58S3(N$5Z@ n&7fMjH+5365?¤58 8Znmpu7914?0q 14?/L*E58F> H 34 _¹$9j '(& )* 0%f 0g %/C)* Bya $ # { » ||}u~,// K [i + ij ^$D+t ¹ ó 7 d\@ no/5814? { » ||}V~,//vL&>$I&EI?0365 58W3(N05k@ n&7#q MH+5365?¤58 8 nBpW3(N05c7 14?014?/L*E58 >$H 43 _`R&F0 2 0 *6Yg\)RÌB& c .$D[ ;Ó Ô¤ ÕO 0R C F D+" /&']&0h +)*$D )*/F h X && D+&^$D ¹[¨µJO`PfD[C %&& [ 0)¾ R. D+ $ k 09', F&)*YV& ¡jO 0#$ [ͤ $#^j6Yg ÓÔ/ÕR&0 { » ||}V~,//* W 0v +%&/C6)*& Bka $ +&`\ C )* 0 0%Wa 0 #�&$C)* 0 )9.$)QWy£v ZÊJPfD % $) D 0 X¨Cm &ËOT_h# $D+&R 0*a B $kÌB. %)* v "PfD %&&C
[ $)Ù? ¨ vb 0#¨Cm vYZ [ 0W $-/. &tA « ô À°yÊ«ËOUPf .&D D[!/K « ê Q ô ÀJ°yÊ«Ëc #)* i* /9 ¸&D .$D+ [ O vb 0¶\ - .$ [ a$0&.$ B + ] .0)* F R&'e«] O $ + Sa$0&.$ B + ] .0)* C TYZ D D^jW. +D ÞX^ !Twyx z{|}u~,///O %&.$ f·c $YZ u 0Z R 0&&'Ó Ô¤ ÕK/YZ0 ZRD 0¡
$ / cRj ^0D # %/C)* B]a 0 &bO 09 %& C)*& B a 0 `F¡ k$D,#YZ02Yg*a Ê Ñ }¹¨Ë6C %#% F&$0 * $ Ñ C$%&c0 OZl6'yYgk0XmYVRky£X k«v&t«ã $C
/i $T &)*\% F&$Ä&0¹O « Ù« ã KZ^/Q ! vb)*)R;¨KSYV\& )*0D D !T B t F0 $% !\$ 0/]'S«ãJOWÓ Ô¤ Õ9& %&0 F W% F&0$ S B D[!X iky£*D+a$ &%& F00 W F$ y% F&$0 YZ [ T )RD D+ f)* $ +) .0)rky£i SYZ D+Db^jc$ X0 BO
0-edge 1-edge 2-edge
...
s
s'
...
n-edge
(
Pruned
+3@9Ks8+@
mn^ .7 3 WõXq$s
( , e Ó Ô¤ Õ/Ê«KF K7 14? 8 >MjK_>yË l60$.$yPWy£i v« K$9% F&$\0F& Kjt7914? 8 >MO ]. 0. 0W', -/.0/Z%& F0T e>VO rB .C+3"^ 9 ö
¨& ^D1#Y « ô ÀJ°yÊ«ËK0 9b$ / 3 7 3 · U +$ ]«W +/ u>b ¿ U IÎ A ÷$ ¶/U &Z Â&0K$0i !i$%&c¬c .$X «c&T^j9EF1+LN 3JqJ7*n8F3Za $R 9', -/.0/f«2wyË § 3 73& PD[ 0.$%kÓÔ/Õu&c&F0 U)*j [ yj '4 )R&$y)#C 0 RYZ [ T& $ &D % [ 0)* K$ Z&0$&Z$D )9.$*YZ$X $ % F&$\ +Þ D, %O $va$j&0/ +&Db%& YS \T $c .$)9^j
']', -/.0/# .$^0% F&0$ 9)R¡ $)* 0 $%¸ )*j& +^$D O³V C F 0D[!/Ky [9 9 $* /v T¸ 0R)*$D #'( -/.$/9% F&0
#$ BKg; 0;0D * [# 2&^$F +" 0XD "$ O"_h 0# v0R&R* + g)* 0 # v)* +$S 0]D+& *'( -/.0 %& F0$ f [ D[!/O 4. EQUIVALENT OCCURRENCE
lmwyx z{|}u~,///K YVfYg&/g c* F& X [ +&i 0S ['b [ V + B0K/ $#'4 S )*f«Z +i %. ]· K &D Dj&' [ g 00
.0j %& F&$0 gYZ D Db$&S^jfD ¤KR0i$&g ^j]F0F¡ ¤O 0 .$2& &KYg*h&)*0D D[!¸$ .$09 $# Fh^ F&0F &'u«O 0 Z 9 !/K$ TPD+%&& [ 0)Æ D 0#¨&K0^j , Z 0W +%C D0$ [ \'g « ô ÀJ°yÊ«ËK0Ygv$ &^^0D[!Tt$T&$& 0
&$ [ t WD W $v .$ '(.0$ \ .$ ¸T
m D[F! & Xj ^0D O l6A 0 i KfYV` + .0 X"j& ^0D 2 [C ¸ ]Yg#`. +D Þ# ;wyx z{B|}u~(///0 O v kYg9YZ D Du $Y * 0X* /R )*0D )*/F +&"&'W $ + 90$ [ AD+ %D[!
D #&;Ó Ô/Õ ø 90 C%& YS ;)* $DV&0h va .0 B .0)* F X)* 0 ¤O vbZ ùVÊ4_s Bs ã Ë# $ / 0t .0) ^j R&'vj& +^$D ` .0^$%& F0 )* 00 )* '$sW +ks ã K :O O K 0V .$)9^j b&'$ [ͤ / ÌB '4.$0 &0 Za B +$%# TW00 [ ¸¨O ävå æ/ç(è¤ç,éjç,êb[ è ú ì Æ?Å.Åî¤ñjñjå è Å0åøY ù ·g14Ü&5?Rs2I&?j? o Gû !$# ! & ('(')'( %! * G ( 3 0 N h 5 n @ @ > E E 5 j ? F @ ; 5 B n i p ¼ s 4 1 ? \ 4 1 T 8 ( 3 0 N 2 5 8 > 7 nBp¸3(N$5 ?0> 7#ß5Evnmp]½ 8F* >$ßL&EIFM$N\148n&7#n&EM$N 148 798WnBpVst14?¸5Ü&5EFÝ L&EIM NtnBpn G 1 4
5 ü ½Dý:# ùVÊ4_s ! ËGuo/5?n&365oTß Ý þZÊ4_s V R Ë `ba¤ò÷ZF ó c&åζ/ O dn&E\3(N05iL&EIFM$Nhs14 ? du1+L&> E T 5 þ6)I ;I&?o\6s #t14? du1+L&> E 5Sÿ þB%ÿ G+ùVÊ4_ s Bs # JË + uúW8y3nus & 14e ? du1+L&> E 5Sÿ þ (G+ùVÊ4_s Bs & JË ¨ bdn&Ek3(N05v8I&7fMjH+5 oI&3I&853g14 < ? du1+L&> E 5 ÿFG þÊ4_s V RË ¹+· £ .$0j& Ws Xã ¹ns w x ¬ K¤üT f# .0^0% F&$T )*& $0 )Â&'esi ! K Rü ã gk .0^$%& F0* )* 00 )Ï&'¤s ã ! Oyl' â E " 5 !bþmÿ Gg3(N05#n@ @> Eq E 5?@F5WnBpys # 1(?i3(N$5f8I7]MjH+5o I&3I&853y148 þZÊ4s # V RË Ò ¨ Ò $ ¦ ¹.· dn&E23(N05tL&EIM NA s &14K ? du1+L&> E # 5 !b þ G1(3:8;V5 g&365?o/5oQn@ @> EE5?j@F5 b+( E +43 s # 1( 8 fÊ4s # ms & V R Ë Ö Ò ¨ Ò ¦ Ï· nG N 1J@FN¸148#5=>$IHU3n
ZÊ4s6# RË ÃjbN$I3e7R5I&?08%$'& $`IH uI&Ý8I @ @Fn7]M I&?$158us6#kßF53V5 5? 3(N$5XÜ&5E3:1J@F58XH I ßF5H+5o;y143(N'()$+* ÇjbN/> 8 Gv5Ü&5?Qy143(N$n&> 3c@ n&7fM> 3Jq 1(? L 3(N05]8 >M M n&EF3gnBpZ3(N05ZL&EIM Ni14u ? du1+L&> E,5 !b.þ -(G2g5W@ I&?\@Fn?j@H >$o/5 3(N I&3g143:8f8F>M M nE3g7 > 8F3VßF595=>$IH¤3n*3(N$5c8 >M M n&EF3ZnB p du1+L&> E /5 !b0þ !" jbN/> 8v143S148c?n&3W@H n85f o 9úpF> EF3(N05E#@Fn?j@H > 8 1Jn&?;148c3(N$I&n3 V59?¤5 5o ?n&3UL&EB"n tpEBn&G 7 du1+L&> E 1 5 !bþmÿ GSß> 3jpEBn&G 7 du1+L&> E 1 5 !b þ " þ
z a x
z a x b y
z a x
b
b x
(1)
a x
z a x b y b
b x (3)
(2)
a x (4)
( 32q57:^ .B( ¤4 Y@@7 3l3 :@
mn^ .7 3
4.1 Failure of Early Termination
¢f$'(& .00 D[!/K U D[! )* +0 X$/ g0g0&D+*'(& Z !
.$j %& F0#'jsjO $ S F&D0& yYZ0 ZU D[! )* [C 0 &$0&Z^jW&0$D +Ou]0]&' $) Z D+D .$ B F i^jD YkO _`Z$ D 9 F0$ +- .$ e k$F¡c $ Z& u *& F y k)R&¡ U D[! )* YV& ¡i& D !/O µòöå ¨&e O 0>M M n85*Iio I&3I&853f@ n&?08 148 3:8 nBpc3 Vn9L&EIM N 8c8N "n y? 1( ? du1 L&> E5 ¦ þmÿ "I&?o ¦ þ "65T 5 uI&?$3#3T n ÛU?oA@H n&85ohL&EBIM$N 8 N$n85`7 14?0147 > 7 8 >M M n&EF3R148X+ i53vsÎßF 5 $ & /ÏI&?jo2s ã ßF5 $ & / z $Jú]e8 V59@ I&?t85F5 G / z $AIH uI&Ý8cn@ @> E?8 y143(7N $ & / UI? V5365EF7914?I&365kV5 g&365?jo14? LfsX8F1(?j@F 5 þZÊ4_s RJË fÊ4_s Bs ã RË14? 3(N/148#@ I&885 95\5#@ I&?$?jn&43 ;:g3(N05%E y1485 G g$ 5 y1:H(H79148 8c3(N05]M I&3:365EF? 8BN$n U?;z1( ? du1+L&> E 5 ¦ .þ -("jbN 148WL&Ez IM$N`@ I&?$?jn&3]ßF5RV5 g&365?jo/5ovpEn&7 $'& / $JÃ(?p g5#Io ot5oL/e5 / $14?03un du1 L&> E5 ¦ .þ -(GZ3(N05 ?¤5 L&EBIM$ N y1:H4H?jn3gßF5ypE 5=>05?03gI&?0Ý#7#n&E 5 ÃjbN$I&3V7*5I&?0 8 g5k@ I&?$?jn&3 n?H Ý V5 g&365?joZs ãb14?*3(N/148Z@ z I&8 5 E 5ZnB%p =ZI&EH Ý jj5E7 14?jI&3:1:n&?t14?*s ã G / $;148]3(N$5VpI&1:H > E5SM n&1(?043 x a y b x c
d z (1)
x a y b x c
x a y c
z d x (2)
z d x (3)
( ?>q?m+^ÜBÜ7 3C.1"fF3"B0 ¯ 05GU3(N05?t143V1(8]> ?0?j5 @F58 8I&EFÝ3nXV5 g&365?jovshV5 g @F56M3s ¡ã De3lCXC.1AEJÊJ F'(Ë]l6 ' þZ Ê U RË ] Ê U %U?w xly ¬ V RË&n þZ Ê U % RnË f Ê U U2w x z ¬ V RËK $9YVS&*&0D .0$g U0S'j 0g'(D D YSC $%i) .0 B^jk .0]ÊB¨Ë !óN Kj [' U;! K 0 Uw xly 0 ¬ !$ # £ 0à Ut/F +$ fsjK0^0.$f0fs ãJK¤¬9 0c$%&vYZ$ \t^j &0 ` / s¸ +[ U; $ B .0cs ã p UO 0 '4 K U0w xly ¬ T Uew x z ¬WYZ +D Db/F& s ã O mn^ _7 3
x a y b x c z (g 1 )
x a y b x x a y b x d + c c d x z z (g 2 ) (g 3 )
( ?Fqci 6@Ym+^ÜBÜ7 3C.1"fF3"B0
mn^ _7 3
x a y b x c z (g 4 )
breakable
& 4$ ^DCj
¯ VO
¨y )* ] + '( -/.$/Z &0X % ( b> 1Q Q $c&'', -/.0/Z% F&0$ SYZ +$%D c aX · b> > ¿$ 1C.3R .@9` $v«e> E C ¶ wyx z{B|}u~(// Ê«SK R#TÉÉSK_ K7914? 8 >MjK_>yË PfD %&& [ 0) ·v +D D .0 B F Z 0]', F&)*YV& ¡RYZ0 X 0D . S 0 0 !R $ / 0%9 B bOyl6u )* u + '( -/.$/g &0 % O $A [i&D D Twyx z{B|}u~(//\ . D[!A^/! 0% $$ $CJ$ BZ Ft&0i %/C)* Ba $ +&bO 0c \ C $ e&'0D v%& F&$0 e e&0 B /YZ [ $Vky£WD a % F&0$ & F O rB(. C.3^( 9U 22wyx z{B|}u~(// Ê«K ,b+K Kb7914? 8 >Mj.K >UË lm$0. yPQky£R $v«K$ [ 0 /J ,K 9%& F0\$F& K0&02791(? 8F>MjO ].$ $.$ $kD i'( -/.0 Z% F&$T >VO ¨ ^D19Y « K ô ÀJ°UÊ«ËK
9 3 (7 3 · ^D10â$¬ã Bs ã.¹sWVbwfx¬ãb&0Xs ã"sYX]&0YþZÊ4sKV6 RËJ ]Ê4sWV6 Bs ã V RË is V + Z$& '4& D .$ c& c'e D[!i )* +&T 9 ¿$ 3 ( 7 3 ¶ U I A ÷$ µ U Z Â$K i !i %c¬k .0FX 0 «k&T^jka 0$* 9', -/.0/fJ« wfxSf¬ 0 ]J« w x ¬k / u I$ È u !ij& +^$D c'4& D .$ c&'y D[!X )* +0 X t« ^D10S0:« w x ? ¬ ZI K«¯ ,,.-²Ê«2Ë ¼«¯ ,,.-&²Ê « w x ¬ËV 9 § 0 ]«k +/ Y> ¨¦ y )* cJ« w x ¬k', ) IYZ0 F00^j E1+LN/3Jq7#n&8 3Za R', )Æ« ¨¨&U & e I +ky£iD a % F&$0 c& F$
¨ / 14C.3i . @9;:« w ¬k Z I£E C ¨· ³g&D DUwex z{|}V~,// Ê2« wfU¬ K«.K K7914? 8 >M.K >UË ¨¿ 3 73& PfD %&& [ 0) ¿ . D+ $ S 0]$ . 9 W&'Uwyx z{B|}u~(///O 0 '( F)*Yg ¡;&'kwyx z&{|}u~, /\ # )* D+ # ¸Ó Ô¤ ÕO;d]Yg KU [ j '(& )* uW)RÌm& u +)* )*/e.$ +$%W 0S * 0&Z .0$C 0%9 $0 +-/.0 S D &j^j O f K$^j'4 k0$.$ 0% 0W %& C)*& BZa 0 \&\*$ %& F0Kwyx z&{|}u~, / 0 B F0F¡ vYZ$ 0 0 Ra B #U D[! )* &; +"PD[C % [ 0)Ù¿iD +$*·C¿ KYZ$ ¸ ci & +&$9'V $9&$ [ tYg
P &)*$ $0 Uj '4 )R&$g B . !WYS e0$.$ c +v.
" a$j +)* f2^j& t &DU&0¸ B! / 0 + 0F& O 0 &D $F] UYVg B v + U#Pfl6c£c&/ [ FD0 9F0)* D$&)#C j&.00$F& OA$& * 0XD+ KgYV.$ \2 B! / 0 0F %&0 F & f$ +$i^/ ! Zk. F&)*/F0 &0 Zc !$$ k ¨&¨JO PD D0 0Za j )*/ U f$&0R#¨O ÈÛ] d [lm/ Dj .$)#C ¿TV³QYZ [ ¨ÛW©Î)R& `)*)*& !/Kj .0$0 0%i$d]vÈ/O · Oi©V& ÓÔ/Õi&0;wyx z&{|}u~, /i * )*0D )*/ \ "³ ÒkÒ YZ [ "£ v D ^$ F !; .0$j& 9&0h)*$ +D h^/!`% ÒkÒ YZ ;CmW·T )* +ÞC &bOSwyx z{B|}u~(//v $Wa$&f )*W . +$ f&i . $ X&'v 0\ %/C)* BXa 0 K .0^0% F&$¹ + &)*& $0 ) )* $ +) .0)rky£X v&D .0D+ +&\YZ \ÓÔ/Õ O .$ K0 $ j '4& )R0k.$ f)R& 0D[!R ] \ g 0Wͤ $ S&'yU D[! )* &# iwyx z&{|}u~, //O 0S)* 0 0% .0D[U&'wex z{|}V~,// * & BC$¡"YZ [ Ó Ô¤ Õ Ol6a j )*/KyYg&D
$YÄ 0j '4 )R&$f'RºZ&~4» z/~:» CD+ ¡ f&D %&& [ 0)TK¤Ø/Ô}[¨¨O _` +/ B * +i + !#'b', -/.0/u B .0 . OyP] C [ +&D)* 0 0%9j F +&0 f&T^jk0 B .$ & 0 c', C -/.$/ B .$ .$ #0 va$&)*0D K 0%T&/ F& B B .0 . YZ$ i S', -/.0/u +*&0ZD+& V^0.$U $', -/.0/u R&0 0 K &
.$ 0%] $u'( - .$/y B .0 . y& e'( . e ]D+&^jD .0$D+& [
B .$ .$ O $Pflmk£ &/ [ F&D *)*j&.00#0F& U'( &)rW D[C &0)*/FD $ j.$ 9y &%& F&) ;¥k³VlBÅ¥flmdÖ +D+^0D $.0^$D+ D[!/O_`Z D V $Z)* Bu.0$CJ Cm$ S D K$T FX &¦¦ D O 0v0F& f& F 0 ¿ · K §&¦ ¶*$)* &Db)*j&.0 O $ .$D *'W 0X $ 0%2 B *&^jT %& ÞA 9D, H ^Ãrtj$$ )*t& " _^vr¤ 0 )*T)* C F D[!A& ]&0` ^aV&$$ )* 0& O¼P)*$%2 0 ¿· K §¦¶i&)*j.$$ K0¿/ & R'U $) ^jD $%R ^$r\K¨¦ ¨# ' ^vrKR 0W )R +$ 0%# k TD+& ^aO _`9YS/k \$ k $9'( - .$/c B .0 . k 2 $#D+& ^ÃrÙ&03 ^ )*j&.0 OS_hk )* cD+D $c !$ %0 + $ \&)*j.00$ O $T)* Bij$.0D+ i )* R A 0 mYV $F k Y I cK b9dK R2 K >gK¤ O $ # # /¨9¡ ]&'V &)* D+& e
^$r )*j&.00$ *YZ0 & t &¶" ¹D+& ?
^vrO ¡ '$^j& uj$.0D+ +k $ u)*j.$ ¤ +$%D C^j0K .$^0D C^j0KZA )R +C6^j&¤OQ]Ä F%KZD+& ^Ãr &)*j.000& R¿ ¦h i&0¿/ `$% O $\)Ra [C ) .0)Æ0*0& *¨& "¨§µT$% OU&F`D, 7
^v )*j.$" R· ¸ i&0·¿h$%& *A F&%&O $ )Ra +) .0)r0k0& & ¨c f\ ·&¿#$% O %&.$ f$ÊJ Ëy 0YZ u $S .0/ )*gYZ T7 14? 8 >M & ! 0%W'( &) ¨¦ ÇÎ c¶ÇÎ&# 0SD+& g³gPÄ)*j&.0090F& O $Z .$)9^j
'Z'( -/.0 %& F0;0 $ 9hD ;', -/.0/v%& F0;0C 0 k 9 0YZ¸ 2 %&.$ # Ê:^jËOcP fYV92 &Kewex z{|}V~,// &.$ j '(& )* WÓÔ/Õ9^/!t#'4& c&'¨¦*YZ0;791(? 8 >MT WD+& ¶&ÇiO ©u& &'v 0) `^j i .,.P °tD 0&T &$ O NH O
N
N
HO
O
ÊJ ËS ¦ Ç
OH
O
OH
O
N+
S
N
N
HO O
N
N
O S
O
N
O
Ê:^Ëf¨¦Ç
OH
N
Ê:ËS¶Ç
N
( hXqc^4 @"Cj
