Holistic Twig Joins: Optimal XML Pattern Matching - Google Sites

Holistic Twig Joins: Optimal XML Pattern Matching Nicolas Bruno

Columbia University

Nick Koudas

AT&T Labs–Research

Divesh Srivastava

AT&T Labs–Research

[email protected] [email protected] [email protected]

ABSTRACT


    !"  $#%'&(#& ') # 
+* ,-. /,-)0$1 23,&4 02,- '&5 -34 &61 ) -) 1,7,&8 69 1:2 ;=-)&?-)&@6')%   &2A '0B2CD"FEG-@! 23,&-)&&DA
D 3'9  -H" 

 %,3- '&I0J '!A
K* ,  -)&@ ;DLM- '6E: 'NDC23 F  -')K ! % KC+FE.-@ 23,&I-)& D9 -)&'O2' P '&C-)Q'&R&2 'F ,& &ST - '&C-) %#+&2 FE.-@"" C-)&2@"-H C -U +92V P -WS8-)&2@6'2XY '-)&@  -C"! 6" CZC 9-)&2[ - '&C-\ " @3'-)&"C 
  923 #'& P -)-WS]-C -)&@K @3C2+C923-7 C2; ^_)- - - &I 0=C -1  3`CD0$ A7 C -)&@+FEG-@"  ,&A- C A-)&"- ] 1-a &Z@3b@  #BU ,&TE.C2&ZC -)& 21&25 ' A-aA'17 '1"&23@ 9  ; cd&DC -A ' %#>E.1  ' % 3]"& U ,=C2 )--+FEG-@1X -)&Z@  -C+#ef%ghi jkl'm3#0$ 'B" C -)&@1'&7A
6* ,1E.-@H 23,&>; nb5C &-* 26Z`C'-)&o '01)-)&NK3`N6 Z     &p '-b ! +  F '$0* 2,  C#ME.C -C  C,&T ! % D 6 '9'-)&q7 C2H0$ 'rC27E.-@" 23,&>; sqC2&ZC FE.-@]  ,&1 '&'& F ,&2'&!,' - &2C-) A9%E:,&5,"&# ef%ghi jkl'mH-ct3nu&2wv.L4xK   -7'H3" '&@')H* 2,&-'@ -C27"C23p ZC",&-) -)& 2VM->->)-)&'=-)&"C.y 02-a4 02CM-)& 2M)-='& C z&'%G)-#9 4-)&  %,& ,&1 0{C2-aH '0%-)&,"?-3  ;Os5C2&KC 'EQC E| [ P D" -)z2 - '&} '0S1~4 #%' &2@E.-CTef%ghi jkl'm #% 6"3`CT* 2E.-@" 23,&2 -)&79 $)-)&'H-7 ;=-)&2) #E.4  ",&= '='&'-:EG-C  %,-",&.1 '&T"'&@ " 04='& &C-6  # &2* ,5E.-@  ,&;

1.


INTRODUCTION €  Dq,F2 _" ,!0$ '5, ,&-)&2@  ;7b2,-A-)&Z
I* ,+'&@' @3 P  #>3; @;\#{‚ ƒ#{„?#B…‡†JS F -')+ /,-)0$"  ,&. '0{,- '&5 -3H '&5p-)  ",&!C23AC2U3" "7 %,-)zq",3- '& C-) ;HÅ7´ ® Ë® ¯ Ì §Í{Î , ,&' - '&O 0b / -- '&6 '0A
K",&"&2q-)&@U)2 P C23 ,-)&I 26 H, - &2C-) 2+9/E.,&q&2  -)&7C2=A
6 '9 ‡S,;.c$> bMH`C'-)&7 '0)-)& Nç6 N>

   !, ,&4 '-' : A-)&2-U -? M* ,1    $'0H  C#4E.C-`CO]C,&q  % 3q  '9'-)&O"3`C  7C21* ,+FE.-@ 23,&{; Ï -)&2b1@ =' '0%
 3A-4 %7 A9%. ' -)&  - '&'r 3'9 5" P )AC6"X '7ÔA~.
DÏZU3,&2 ' -)&,)?-)&/@Znb3, #=c$~.
è'&Z
+-, 3 '0$1  U --)&2@T   % '"0$ "
y çS,#. '6 D  U -+U -,&C  ÓHÔ~.
DÏ["b& "2@3",&C2,-)r -7 '0=* ,]  ' -)&2@D @'-" +-)&,) +C ')--FE.-@"X '-)& 0$ !,Ú6,-,& 
y* ,Z  -)&@ ;}nb  2Z-]* 2)Ø,U& 0J ' & -U3+
I* ,&2@-)&2#=-)&]C ')--FE.-@ X -)&2!'6'& Ú6,-,&=F F'F-": @3A0$ '="3`C-)&@1A
+* ,A   &2#M-)&O '&3" C]&  ,F3F-"+  3`Co '0H2-)&@ 1'U3,'; s 49%Outline D @-)&"9A and ,&-)Contributions &@p9 N@'  &6" ,- P  " ,$# * ,6E.-@1 23,&#2'&] / -- '&'M & - '&1 '0{
 ",&S.-)&TÏ?- '&T…?;:nb"'-)&D &-)9 - '&!' V é s=U ,  "FE. .0$ !-))-4 0Û2Ü ÝÞ\ßàÞWá/êëàÛ4äÜÞWåA'@3 '-C" -)&6Ï- &5ÐA A7 C"
+* ,p  3F '$'0%  C40d z2-,& ;"µ.C z#>Æk j ¨i jkl'm#%@3,&,')-a"C2 Ï?3`N µ>,FÔA49 -)&'! X -)&6'@3 '-CQ '0B‚\¶†#3E.C -) C25 &2%#AÆk j ¨³Æ³2ì#.@ &2,)-aC
L4
D¿1À Áí9 -) &2X -)&_'@3 '-Cæ 0+‚ … ¸†;½sDD'&'aZÆk j ¨i jkl'm '&C EQC A-1-"cFt n½'&qv.L4xº ' -"'H3" '&@') * ,&-'H@ -C2"7C23p3C6,&-)"-)& #4&2 C23HE. 'F31   --A)-)&1-)&C12| 0M-)& 2 '&+ 2 2-a7î'ïàMÞdå2ðñêñå2ðñå2à%Üò1àÛ2ñpßÞ)óñ‡ßÜò1Þdåàñôõ ö ñðÞdëà$ñ1ôñßï?Ýàdß; é sDC,&_ U ,  ½ef%ghi jkl'm-)&½Ï- &R·#AOÛ2Ü ÝÞ\ßà$Þdá à$âMÞ)ã1äÜÞdåZ'@3 '-CèC23 P -WSA,z&2 Æk j ¨i jkl'm6 &   C ! 5 ! I0$ 6 '&+  F '$0  C

'0HDE.-@+  ,&O )-)Nç,I +CU 6"3`C-)&2@D  -)& 3C2, 23C2H 0=C21FEG-@! 23,&>#%&2 P -)-WSb"@ H,  !0$ '7C26-)÷%,,&"  3 $'0 23C2 -)&OC6* 2, E.-@+  ,&{#.  3 2C6 -)I ' 2;TsØC,& C2H* ,"FEG-@14 & 6&2 'F ,& &b,3- '& C -) "9%FE.,&O,7,&#.E.6&2-'K " '&  C236ef%ghi jkl'm+-cFt nÑ'&_v.L4xí ' -"! " &2@q') * ,&-'=@ '-C"1C .3C21,&-)1-)& ; é -)&2) #.-)&oÏ?- '&u„+E." &" %,-7,&' 

'&w &2@3

0M'B'& &C2-" 3 #%&2* ,+FE.-@ 23,&#2 " 3 ",& '1'&'-'= V C2!92&-'= %,0$ "'& 9%&2,zA 0 ø sD-) &2@KC C2ER

)--KE.-@ZX -)&2D U ,D9 -)&'}2' X -)&2 P 0$ 'H9 -"X '-)&w ',S,; 4C EC { " &2@HC2 )--G  CHXY '-)&7'@ -C27# ø sD Æk j ¨i jkl'm"-"-@& -)z&dq0$ ,7C'&OÆk j ¨³Æ³2ì; µ.C -1U)- 3 C"&2-'. 1" &23 -)&@]C!ct3nR'&v.L4x} ' -"')-F '0=Æk j ¨i jkl'm; >C8 ø '9% #H CK&2  ' % &2-)&@K Ø&K,",& '5ZU)2 # '&qC25@   &-)&2@ P -)S!,",&F9%,7,&+  ,7,&FU')26, - &2C-) ;6ÁA  '9%" '&-1 '0G]A '0 P  -)9 #.U')S '-)#.E.C-`Co Ú " " , @3#HÄÃ# ÄÃÉúû#3 ;=µ.C2 ',-)&2@7 '0M-)9)-)&@]&  .- )-,-W z & " 3'{ ', '&wC2A&  b-)&7 # '9'-)&9]1  ', U ,. 0HC" &  ;6-@'[¶6C EH1C2" , , ,&3- '&O '0H3 +A
O 2"&; P µ.C2 -))-q 0HC2 &p9%b3 ,- EG-C5C1b& HEG-))%9%1 -)&2+-)& Ï- '&T…; Ð;)S

1.1

book

title

(1,2:4,2)

allauthors

(1,5:60,2)

(1,1:150,1)

year (1,64:93,2)

(1,6:20,3) (1,3,3)

XML author

chapter

(1,61:63,2)

(1,62,3)

author

author

title

2000

section

(1,65:67,3)

(1,68:78,3)

(1,7:9,4)

fn

ln

fn

ln

fn

(1,69:71,4)

ln

XML

head

(1,66,4)

jane poe john doe

jane

doe

Origins

übýdþ%ÿ
    

 "! !(1,70,5) ý#$ (1,8,5) (1,11,5)

(1,26,5)

(1,43,5)

(1,46,5)

b,-M-)&6A
5* 2p&2@23@ 4)-)NçHAb,"‚ …‡†F#b-)H‚)„† ' &DA
(YAK‚ ƒ'†="N " '0 P &   9%,S FEG-@"  ,& 0$ =" C -)&@A,U&8 % - '&. '0/ 3b-)&6C.A
5 3'9  ; µ.C2=E.-@.  ,&1&  ='9%,M-)&,)2H,"&M @ #3-)9 , U')  '- &2#1&2O-)&2@qU')#'&IC* 2IE.-@  ,&T@ !'!,-C, '&C-)Ø @3 P   -Õ-)&@ +-)&@'6)-)&2‡S

'!&2 'F ,& &"@  P   -Õ-)&@ " '9 !)-)&2S,;:w#ç  ë $ à  á   Û 

@ 0 u = ) A & >  4     ,   &   -)z+9"1" -)&2@!0d ½&2 4-)&A= ö  !&2 .-)B & >+#2CC V P -WS.* ,"&2 p - A'  -z96C21  % &2-)&2@ 923 &   P C2A-7 @ b&  ,rC2!"'  -)&2@çS,#M'& P -)-WSAC!2' P '&C-)Ø&2 &2 'F,& &SG,3- '&C -) /b9%FE.,&5* ,"&2 . 3-z2[95C2! ' % '&?-)&@ '9 !&2 ;Hµ.C26ëåßâMñô  !* ,  =yE.-D C C]&2 A'&69%A, ,&3.'D & C ", 3- '&wEGC, C6  FP EHGIJJJIKEL S8 &2-: '0MCH 3'9  & AC .-,&-)0$"--)&21" C M0 =}-) & >+; -)&?-)&@D')H"3`C! '0+* ,DE.-@+  ,&Z-)&O&Z
  923A-.1 A ' /, - &+-)&
* 2  -)&2@#29% C -)&6,3- '&'M- "& - '&A 0M
 3'9 #'& -)&6&' -U3A
_ 3'9 ;ocJ&OC-" 2 %,#HE.6 &2-,C+FE.-@  &D" C -)&@"  9 +V ¿b-U3,&D"* ,+FEG-@! 23, & = #'&'&
Z '9  >RC >C M-)&2"4 H- &-)0$" '9 .&   C  -0$5 CD 'M0 =9N b&  1 ?- #{ !  C &2E.1O

=€ 'D & >+; v. '&-,# 0$ D !  #7C2T* 2,_E.-@I  ,&}-)&½-@' T… P S,#H&2KCD 3'9 D[-)&_-@ q¶ ;}µ.C -5* 2, FE.-@   &C231 '& "3`C-)&DC! 3] C "' AC & A-)&DC2!* ,+ 6Cp  3A '0=C! 3]&2+-AzA&2 C-)92;

2.3

Representing Positions of Elements and String Values in an XML Database

µ.C N 5'&qÚ6,-,&#>&-)0$ ' "C2& - 0$ '!F3 -7 P XY '-)&9 2S1" C-)&2@ 0H* 2FEG-@6 23,&p-16 % ' -- &2M, ,& - &Z 0M  ,& '0=
,",&A&2 -)&@IU)2+-)&}CA
½ 3'9  P  #A3; @;\#H‚ ù #r¸?#r… ¸‡†JS,# E.C-`CO&26C26,3-+-)&U ,q-)&2q  6-)& -)&0$ " - &-U'H‚)…3…‡†F; sD.& , ,&=C4 % -- &5 '0%-)&2@1  ,&.-)&6C 
q 3'9 "31]ÐF qÂél Ä°=Å"´ ® « jÆ©ÇMÅ!´ ® Ë® ¯ Ì §Í{Î # &25'&' 3@ 'W #>CA % 3-- '&T '0M&,",&A , &213H ÐF ZÂél Ä°=Å7´ ® « jÆ©ÇRÈ×É%gh ¨jÆ©ÇMÅ"´ ® Ë® ¯ Ì §Í{Î'#E.C, P -WS.él Ä°A-HCb-,&-)z21 '0BC21 ,",&P P -)-WSb´ ® « jÆ©ÇA&2 É%gh ¨jÆ©ÇH'&69%@ ,&,3]9" '&-)&2@6E.  &19%,40d 3 C+9%@-)& &-)&@K '0!C ,",&él Ä°&-)1C'+&2 C6,&Ø 0C26,7,&#4 /-U HPH'& P -)-)-WS6´ ® Ë® ¯ Ì §Í6- C&2-)&@I, C_ '0!C,"& P '5-)&2@qU')S]-)&_C  ,",&;_-@'q¶C2 EH"Ð +3 ,- _E.-CK 3"  & #>9 q '&ÕC -1, ,& - & P C"él Ä°]0J '!') & b-`C ,&D !9%1 '&S,; Ï2 b - '&C-) %+9%FE.,&O6&2 6E.C2 3] % 3-) - &21A  -)&DC-b0$3C - &Z&9%!  -)&23-)2V P -WS5ëå2á,ñßà$Üô`õYðñ‡ßáñå2ð ëåàdV!]&  BCHQ5EGC 6 % -- &K-)& C"
Ø 923"-1,&2  D  P > Q ISR Q $V T Q IU Q S.-1], ,&2'& 0"T[& 5  C G E.C  % -- &R-+,& _  P > G ISR G VVT G ISU G S -)÷> G.W > Q IXR GBY R Q #.&2ZT Q Y T G G P GK[\)]_^a`Sbc3d'ef]'gahi*d efk`;l b)^aq`gadrefk`;dfb)s `b)drefk` SŽ m'œ)Œ n3)‰ o_p –3,ž3*Œ n3)‰ o b*^aq` j p

t

P -)-WSGêëôFñ'åàJõYáÛ2Þ\Ýð'V%!A&  2C Q E.C2 3b % 3-- '&D-)&DC2A
   '9 !-b&2 D  P >9Q IXR Q!VT;Q IXU QS4-"`C-)D '0=" &  .C G EGC " % 3-- '&O- ,& Z3 P > G ISR G V
T G ISU G Sb-)÷ > GVW > Q ISR G Y R Q I T Q Y T G #2'& U G@u ¶ W U Q ;3`N= &'-)&6áÜ ö ê2ëáà%ñå2áÜ'ð õ Þdåã+ 04 '-.&2D ='&E.,1 6C"* 2E.-@]  ,&{# E.C -C6&", ,&M-)&")-)&'H  bH % &-')6 % &2,&- P -)&OC2"&p9/,6 '0* ,&  Sp&219%,  '0H&2E." C2 * ,+FEG-@! 23,&># H-)))23[9/, Ep; ‘r’$“$”–•—˜_Ð ;¶ † ; ™=Þ)ãï ôFˆ ñ šZÞ\ÝWÝï?ßà$ôëà$ñß1àÛ2ñ"ßà$ëSá ‰ñ'åá,ÜðÞdåã6Üò ëå ßâMñô`ßràÜ5ëAê2ëà Û ›ï ñSô .òÜô1ë6ßë ö ê%Ýñ ðëà$ë ßñFà œw2Û2ñ"ëå ßâMñô ‚ ž Q IS} Q ISŸ G †:Þ\ßñå2áÜ'ðñðAßÞdå2áñ Ÿ G êÜÞdå2àdß.à$Ü } Q  ëå2ð } Q êÜÞdå2àdß à$¡ Ü ž¡Q¢œ–£%Þdåá,rñ ž G ÞßAîñÝÜ ⠞¡Q6Üå6àÛ2ñAßàëSá ‰†Š"¤   ‚ ž GSI} Q IXŸ–G †.Þß ë Ý)ßÜ]ëåDëå ßâMñ7ô œ9™=ÞWå2ë Ýd¥Ý    ßÞWå2á,ñ } G Þ\ß"îñÝÜâ } Q ÜåàÛ2ñ ßà$ëSá ‰ Š$¦   ëå2ð }§G êÜÞdå2àdß6à$ Ü ž G   ‚ ž GSIS}§G)ISŸ–G †7Þ\ßwë Ý)ßÜZëåOëå ßâMñ'Sô œ ¨1Üà$ñ"àÛ2ëà.‚ ž Q IS} G ISŸ G †rÞ\ß7å2ÜàHëåZëå ßâMñ'ô   ßÞdå2á¡ ñ ž Q Þ\ß'9/ 'U3 àÛ2ñ åÜ'ð2 ñ ©ž G«ª Üå+ßàëSá ‰ Š$¤yà$Ü6â%Û2ÞdáÛ }§G êÜÞdå2àdß œ

A1 B1

A

A2

B

B2

C

C1

B2 A2 C1 B1 A1 SC SB SA (c) Stack encoding A1 B1 C1 A1 B2 C1 A2 B2 C1

üHýdþ%ÿ
 ¬$†(a)­9Data #$ 3 ®(b) !Query 3®#$¯=ýF>þ #(d) °
3 Query 62 results ÿ3 ýF>þ2 ! ®±H ² sD+"N,,-A+ '0rC -5 ! 23" NO,& ?-)&@Z-)&

 r'@3 '-C"#%Æk j ¨i jkl'm!'&+ef%ghi jkl'm; 3.2

^H@ 'PathStack -C½Æk j ¨i jkl'm #3E.C -C6 3 2='&E.,M H* 2,  C6  ,&{#-8 ,&]-)&5-@'A·# 0$ ':Cb AE.C,&6C  ". '&'-)&5&2 .0d 3€!-)&@'1A
D ,27,&;=sØC,& C"3"1 &'-)&q&2 10d í1 -) A
q ,27,&# C+@ -C2Ò-7 -)O,& K D"* 2)-I 01él Ä° 9/,0$ '17'&-)  -&2@CA&  H-)&DC21 "H'& N;

¢3m3‰' ŽŒœ³wnš'Œœz´ŒšµŠz¶K·¸ (¹wºœŽ.»>Ÿ¥*¼½·¾ (z& ·S¿À L Á ‘ m3Œ•?ŽzŸ ´‰› )µ7¼½·¾ () žç‰  ·7À ŽB Ÿ o›ˆ'Œ3£ ‰¥)o)¶K·¸wl Ã)Ã–Ä ^a`Sb*h d'efb ÄKÅ d ()Æ ºœŽ  ¼F»>7 ³zÇ)Œ %*¼½È åÜ'ðñßÞd å þMë ß"2­9   ˆ°K#x Æk j ¨i jkl'mO 3¯Ief%ghi jkl'm

@3˜”;”–“}Ð ;¶ ; £%ïêêÜ ßñ1àÛ2ëà2òÜô1ëåTëô,îÞdà$ôëôS"å2Üðñ¡8DÞdåDàÛ2ñ êëàÛ[êëà$à$ñ'ôå ›ïñô7   âMñ5Û2ëñà\Û2ëàHh ® j³%g ¬ i©'§ªl ® P 83S W 8BA9œ AÝ)ßÜ   ßï‡êêÜ ßñ"àÛ2ëàC œ sD &1C2 E½ ' -")- ;w¿b-U ,&Õ'&q
Ø* , 23CZ 0 &2@3 C CB#Æk j ¨i jkl'mr'N¡  C+-)& b)-H '0=b&   ' 9_Âél Ä°=Å7´ ® « jÆ©Ç2Î # &2T   &Z 2   [)-

r0 C F .C :" C5C2* 2,! 23C>;:c=-.'-@C0$ 'E.  .C #3,)?-)&@"C4-)&U  - '&. rÇ'¨© fi©¯'§j%g© ¬ Ç# C cFt n|'&qv.L4xº ! '0GÆk j ¨i jkl'm6'")-)&'"-)&OC62Ñ 0 -a

0.Cw  C-)& p)-;5Ï -)&6C2" 1 '0GÇ'¨© fi©¯'§j%g© ¬ Ç -!   % '- &2! C+-a5 '0rC26 ' 2")-#HE."C'U3+C 0J ') E.-)&2@5 ' -"')-F[V IKJ$˜-&-%$˜”“Ð ; …?M ; LHÞ ñå1¡ ë ›ï ñSô >ê2ëàÛ4êëà$àñôå 8!âMÞdà Û C[åÜ'ðñß   ëåð+ë å _ðëà$ëîë ß;ñ >   AÝ ãÜôÞdàÛ ö Æk j ¨i jkl'm5Û2ë ß!âMÜôßàdõ áë ß ñ ONPºëå2 ð þQ
Rà$Þ ö ñá,Ü ö ê%Ý*ñ Þdà$Þdñß1ÝÞdå2ñëô ÞdåqàÛ2ñ]ßï ö Üò ßÞ)óñß6Üò6à\Û2O ñ CRÞdå'ê{ïà.ÝÞ\ßàdß6ëåðàÛ2ñ+Üïà ê{ï à.ÝÞ\ßFà œ™%ï ôàÛ2ñô   àÛ2ñ âMÜôßàJõYá,ë ßñ ß$êëá,ñ"áÜ ö ê%Ýñ ÞdFà 6Üò AÝ ãÜô,ÞWà\Û ö Æk j ¨i jkl'mTÞ\ß7àÛ2ñ ò ©Þ ª àÛ2ñ]ßï ö Üò6ßÞ)óñß"Üò5àÛ2ˆ ñ C½Þdå'ê{ïàGÝÞßàdß   ëå2ð ö Þdå2Þ ö ï ö Ü ©ÞdÞ ª àÛ2ñ ö Bë Þ ö ï ö ÝñåãàÛ+Üò1ë6ôÜÜàdõà$Ü õFÝñ,ëò>êëàÛ+Þdw å >œ c$ -" 2-, I- % '&+ & C 6C25E. 'F3 -7]   -T '0:^b@ -C2 Æk j ¨i jkl'm -5Þdå2ðñêñå2ðñå2àMÜò àÛ2ñ1ßÞ ó'ñßÜò1ëåH"Þdåàñô ö ñðÞdëà$ñAôFñßïÝàdß,;

3.4

^ PathMPMJ í '-@C0$ 'E.I@3,&2')-a3- '&} '01C+
L=
D¿1À Á|'@3 ' -Cق … ¸‡†%0$ 4  C5* ,-.  H '&A3Q =!-"A @ A')= )2- &2;pvG &2-,rC21 23CD* 2  8 G*RSR 8Q RSR 8T;.µ.C2 9 -+-[-7 10$ ') EHV¿A C"z  P &S1,"& 0d  CA3 :$<UA&2wã?ñå2ñôFëàñHë ÝdÝßÜ Ýïà$ÞdÜå ß=C2341C234 2 -,'!,",&A0d 3 : <U ;HµGC,&{#% U'&ˆ  : <U &2qîëSá ‰àôFëSá ‰ :  C6  ,&# HÆk j ¨i jkl'mA 1-,&-)0$6 ')- '&A 3`C6-)&?-U -2M 23C>#&26C,&6",@3,X '-)&5CA )2- &2H  3 ACH'&E.,= 1C2H* , ;=µ.C -='    C{#2E.C -C5E.

 %,-",&)ZU') 1-)&TÏ- '&T„# 0$3HC1 "10d&2' 7,&'  9 €3MC2=C &-* 49 " & 9-)&'!2' XY '-)&#2 E.'.1C2 )--  )2- &>V ö ëåH!Þdå2à$ñô ö ñðÞdëà$ñbôFñßïÝàdß ö ë "å2Üà=îñGêëôà4Üò1ëHå _ .å2ë Ý%ëå ßâMñô`#ç b-))) [9% 'E1; ‘_’$“$”;• —¢˜y·;\¶3ˆ ; þMÜåßÞdðñôà\Û22 ñ ›ï ñSô  ßï îõà$âMÞ)ã6ôÜÜà$ñð]ëà=àÛ2ñ k'§j ¨© ªoå2ÜðñÜòDàÛ2ñà$âMÞ)ã[êëà$à$ñô,åOÞdå ™=Þ ã?ïôG ñ ©î ª œ`.ãëÞdå ßà àÛ2ñ  Oðëà$ëî,ë ßñ1Þd å ™=Þ)ãï ôFñ   à\Û2ñ!à$âMÜ êëà\Û ßrÜò àÛ2Þ\? ß ›ï ñSô S k'§j ¨© Hª ÿ « ¬ ÿ‡­k ¬®   ëå2ðTk'§j ¨© Hª ÿ3¯ ¬ ÿ°© ®   Û2ë 'ñTàâMÜqßÜ Ýïà$ÞdÜå ß ñëáÛ   îïà4àÛ22 ñ ›'ïñ7ô !à$âMÞ)ãAê2ëà$à$ñô,å7Û2ë ß1Üå ¥Ý !Üå2ñ1ßÜ Ýïà$ÞdÜHå œ cd&K@ &2,$#b-)0!C* , P   3 $'0S  C]C'U37'&  )2- &2!C A "&2 31 '&-)9" 6C21z &'=&2E:,#22-)&@ Æk j ¨i jkl'm P  MH9 $ 2-)&S8-M9% ' -"$#?-)& C23>C. U , ).  23- '&q A0$ 1+FE.-@   &-1   % '- &2.&  XF2 ]C!-aA 0.C1-)& 21&2C1z &'= 2 2#%92'  7C2!-a '0M-)&,"?-3 ;cJ&DC-A- &>#%E:1,N  1 U3, 7AC-b9%  2-")-62-)&@"^b@3 '-C|ef%ghi jkl'm; 4.2

H^ @ 'TwigStack -C½ef%ghi jkl'm #3E.C -C6 3 2='&E.,M H* 2, FE.-@ 23,&{#b-" ,&I-)&_-@ Dƒ #.0$ 5C23E.C2,& C3"+ &'-)&K&  ]0d 3èZ-)&2@ZA
_ ,27,&; ^6EG-C_^H@ -C2 Æk j ¨i jkl'm#HE.C2&KC "5 '&-)& & >0d _1 -) A
] ,",&#C='@ -C2½->3-) ,&2D 6A* ')-F 0.él Ä°19%,0J '""& -)  -)&@C & b-)&DC1 7b&2 &C 3`N; ¢ m3‰ Ž,Œkœ³w b)dfÓ)` ºÙ ŽSm´ŒšzµŠz¶X·z¸ Ã)Ã^a ( ¹Oºœ?Ž»{Ÿ'¥z¼F·¾ (& ·*bcEd(B ‘ m Œ£3 Ì')Œ ¼F·¾ (* ŽZ ž ¶K»8Ž o l ‰‰‡zŒ ¶K·*bcHdK¸)¸ (*Æ µšŸ ´Œzš µ)Š ¶fÇš ŸŒ¶K·*bcHdK¸ Ö Ÿ3Ì'Œ–¢¶K·bcEdK¸*¸ (Ð Ž5 ž ¼FŽ o l ‰‰Œ ¼F· bcHd ¾-\2»>7³zÇŒ*%)¼FÈ Çš3'ŸŒ  ' -"')-F 0$ '{* , êëàÛpêëàà$ñôå ßS,;%µ.C#EGC,&wC2* 2,5E.-@1 23,&+C H '& '& F ,&2'&!@ # CD ')- '&T "3`C-)&-U -?  * ,  F '0A  Cq-6ãïëôëå2à$ññ,ð5 +9%+"@ ,X -)&29  E.-Cq A " &26 ')- '&O 3`CÕ '0HC6 C,1  F '$0  C; µ.C-1,& !C b& ]-)&"- 6 ')- '&q-A'@3, C'&DCAz &'B'&E., "C1* 2,5E.-@  ,&{; µ.C] '&Z",@3,X '-)&T C 5 '0H^H@ '-C“ef%ghi jkl'm7- )-)&'5-)&KC+è '0A-!-)& 2 P C25 ')- '& [-)&-U -?    F '0% 23C2SM'&" 2 2 P Cb&2E:,= ACH* 2,!E.-@  ,&/S>-a#3 '&1E.C2,&!CM-)& 2='M-)&7 '1  ,B '0C2  3"" '&O z25 '0rC25?-)÷%,&+* ,Ø  3F '$'01  C; µ.C -!*  -)]C 7C25 ')- '&+ +-)&?-U -%'!* ,  C 9%5 ' "-)&I  F '01  6 "E:,)$#HE.C -CI&-3 9 `N-)&@PwÇ'¨© fi©¯'§j2g© ¬ Ç P 0d 3Ò-@ Մ S,#1E.C-`C} '   ')- '&A-)&D '+'0dF   3H ',#%'&& .9%12%; ‘r’$“$”–•—˜_· ; …?O ; þMÜå ßÞdðñô.ëãëÞdå6àÛ2 ñ ›'ïñ7ô !ÜKò x1ë ö ê%Ýyñ ;$œ   â%Û2ÞdáÛÞß"àÛ2ñ1ßïîõà$âMÞ)ã+ôFÜ'Üà$ñð6ëà.àÛ2ñ1k'§j ¨© ªDå2Üðñ Üò"àÛ2ñ"à$âMÞ)ã êëà$àñôåÞWÁ å ™=Þ)ãï ôF ñ ©`î ª   ëå2ðàÛ2ñ  _ðëà$ëîë ßñ!à$ôññ]ÞWÁ å ™=Þ)ã õ ïôñ  œ^zHñ$òÜôF^ ñ AÝ ãÜôÞdàÛ ö ef%ghi jkl'm!ê{ïßÛ2ñßëå6k'§j ¨© ªå2Üðñ ÜåqàÛ2ñ+ßà$ëSá ‰wŠ'{O|O}O~E€   ÞdàAñå ßï ôFñß"àÛ2ëàAàÛ2Þ\ßpk'§j ¨© ªqå2Üðñ"Û2ë 6ß ©Þ ª ëDðñßáñå2ðëå2à « ¬ å2Üðñ6Þdåqà\Û2ñ"ßà$ôñë ö ::‚Eƒ©â%Û2ÞdáÛZÞdåZà$ï ôå Û2ë ßë6ðñ‡ßáñ'åðëå à­k ¬® å2ÜðñÞd9 å :-„ { ƒO… ª   ëå2ˆ ð ©ÞdÞ ª ë6ðñßáñå2ðëå2à ¯ ¬ åÜ'ðñ7ÞdåZàÛ2ñ ßàôFñ,ë ö :'†ƒA©â%Û2ÞdáÛÞdåZà$ïô,å5Û2ë ß!ëðñßáñå2ðëå2à °© ® å2ÜðñAÞd2 å :-‡E … ª œˆ2Û2ïß   Üå ¥Ý 1Üåñ1ÜòbàÛ2ñ1àÛ2ôññ.k'§j ¨© ª6åÜ'ðñß ©á,Üôôñß$ê2ÜåðÞdå ã!à$Ü]àÛ2ñ1àÛ2ÞdôFð]ëïàÛ2Üô ª òôÜ ö àÛ2< ñ Oðëàë7àôFñ,ñ Þdw å ™=Þ)ãï ôFñ  Þ\ßMê{ï?ßYÛ2ñ,ð1Üå6àÛ2ñbßà$ëSá ‰çß œ_£%ïîßSñ ›ï ñå2àßà$ñê%ß.ñå ßïôñ àÛ2ëà>Üå ¥Ý 1ÜåñbßÜ Ýï à$ÞdÜå"à$Ü"ñëáÛ]ÜòàÛ2ñAà$âMÜbêëàÛ ßHÜòAàÛ2Þ\;ß ›ïñ7ô r k'§j ¨© Hª ÿ « ¬ ÿ­k ¬®   ëå2ð:k'§j ¨© Hª ÿ3¯ ¬ ÿ°© ®   Þ\ß=á,Ü ö ê{ïàñð œ
™=Þdå2ë Ýd¥Ý    àÛ2ñ ö ñôdãñõ)äÜÞWårêÛ2ë ßñ1áÜ ö ê{ïà$ñ‡ßàÛ2ñ!ðñ‡ßÞdôFñ,ð!ëå ßâMñ'Sô œ 4.3

dc &RCAnalysis -- '&½of E:TwigStack -,CZ & 0"@ -C2 ef%ghi jkl'm0$ +  -)&@IE.-@O* 2,-#1'&KC2&_E.&2 a6-  3  - ;T
 " 0HC]   '0$1-)&OC -"- '&O'

!-+0$ 'H3`Nw '0M   &2&+9%A0J '&2+-)&q‚ Ð'†F; ˆ†˜Š‰‹)Œ/5),+)&5/Q· ;¶ O ; þMÜå ßÞdðñôMë à$âMÞ) 㠛ïñ'Sô =ˆœ;™%Üô=ñ,ëáÛ"å2Üðñ 8 w Ç'§±jª ®® Ì© ° ® Ç P =1S"âMñ]ðOñ .åñ àÛ2ñAC2 KÜ; ò 8   ðñå2Üà$ñ^ ð u òÜ ÝdÝÜâ>õ ÞdåãAê{ôÜ,êñôàÞWñ‡ß8Û2Ü Ýð8  œ8BA½Û2ë ß1ë ö Þdå2Þ ö ë Ý{ðñ‡ßáñ'åðëå2à%ñ à$ñå ßÞdÜHå œ œ¡™%Üô+ñëáÛØåÜ'ð2 ñ 8r w Ç'§±jª ®® Ì© ° ® Ç P 8 A S   à\Û2ñ :ô`ßà1ñÝñ‡õ å : <‘ Þ\_ß u <‘ œ ö ñå2à=Þdw

šœ^x.ÞWà\Û2ñôw©ë ª 8 W 8

ô ©`î ª ‚ k ª ®'¬ j P 8 A S5ðÜ'ñß6åÜàHÛ2ë 'ñ A Ü. ë ö ÞdåÞ ö ë Ý{ôÞ)ãÛ2à4ñ*à$ñå ßÞWÜå]îñá,ëïßñÜò–8’A ©ëå2ðbêÜ ßßÞWî‡Ý¥ ÜàÛ2ñ'ô7å2Üðñ‡ß ª œåIÜàÛ2ñô]âMÜôFð ß   àÛ2ñ+ßÜ Ýï à$ÞdÜåTôÜÜà$ñ,ðDëà “ W ‚ k ª ®'¬ j P 8 A S1àÛ2ëà4ïßñ‡ß3u:”[ðÜ'ñßå2ÜàMïßñâ%Û2Ü ßñ R á,Ü ö êÜå2ñå2à%Þ\ß.Ýëôdãñô àÛ2ëå+àÛ2ëàMÜòyu$ž ; sDHC2&",'&.8 A N M N P )-)&AùS>&2! Cu #{E.11@'''& C .& ",7,&AC H .&2 3G '--) 23 -)&&+ ')- '&D- C2+-)& 7'&"3`N%;=µ.C2,0$ '3# CA7,@ H %   -)&@  +-A  2-7'$#{'&+E.ACU 1CA0$ ') E.-)&2@+ ; IKJ$˜-&-%$˜”“· ; …?O ; þMÜå ßÞdðñô6ë ›ïñ7ô Zà$âMÞ)ã+êëà$àñôÁ å 8KâMÞWà\5 Û C åÜ'ðñß   ëåðIÜå ¥Ý Zëåá,ñßàÜôõðñßáñå ðëåà1ñ,ðãñß   ëå2ðOëv å  ðëà$ëîë ߆ ñ >œAÝ ã?ÜôÞdàÛ ö ef%ghi jkl'm5Û2ë ß7âMÜô`ßàdõáë ßñ ONP½ëå2ð þ–Qœíà$Þ ö ñqá,Ü ö ê%Ý*ñ ?ÞWàÞWñ‡ß6ÝÞdåñ,ëôÞdå}à\Û2ñZßï ö ÜòßÞ)óñ‡ßDÜòDàÛ2ñ CºÞdå'ê{ïàAÝÞ\ßàdßwëå2ðZàÛ2ñÜïà ê{ï àHÝÞ\ßßà œ ™%ïô,àÛ2ñô   àÛ2ñâMÜô`ßàdõáë ßñ ß$êëá,ñ5á,Ü ö ê%Ý*ñ ÞdFà +Ü ò AÝ ãÜô,ÞdàÛ ö ef%ghi jkl'mOÞ\ß5àÛ2ñ ö ÞdåÞ ö ï ö ÜO ò ©Þ ª àÛ2ñ1ßï ö ÜòpßÞ)óñß1Üò1àÛ2 ñ CIÞdåê{ï àMÝÞ\ßàJß   ëå2. ð ©ÞdÞ ª COàÞ ö ñß àÛ2ñ ö Bë Þ ö ï ö ÝñåãàÛ+Üò1ë6ôÜÜàdõà$Ü õÝñëò>ê2ëàÛ+ÞWw å >Dœ c$A-p '-,'Z- / ''&7 +&2 3]C #{0$ '!C6 " 0 * ,5E.-@ EG-CD&2 'F,& &1@ #%C1E. 'F3 -7]   -T '0:^b@ -C2 ef%ghi jkl'm -5Þdå2ðñêñå2ðñå2àMÜò àÛ2ñ1ßÞ ó'ñßÜòAßÜ Ýïà$ÞdÜå ßHà$Ü6ëHå !ôÜÜàdõà$Ü õÝñëò>êëà\Û5Üò1à\Û2ñ!à$âMÞ)ã ;

4.4

Parent-Child Edges .µ C 'Suboptimality  · ; …C2   & for I0J ' * ,OE.-@ 5EG-C}'&  ,& &.@ ;=xH& 0$  &  # -)&6CH HE.C,HC2HE.-@  ,&T '&-)&2!] '&C-)Ø @3 9%FE.,&TE. 6,",& P  ; @ ;#%!C2"* ,+-)&5‹= ! "·;)…3S,#>^H@ -C2 ef%ghi jkl'm -"&2 D '&@ ,w@'''&K 9%DcFt nÙ&2ovGL=xí ' -"'$; cJ& '-,'#:C2"@ -C2  -@'C1  6+ ')- '&O0$ '! &2   F '0.  CTC231 p& " CZE.-CT'& )2- &Ø-)& '& C,  F '$04  C{; v. '&-,6C"* 2FEG-@+  &ZE.-CqC &  ˆ V ž I«} '& Ÿ #'&+ 2,&F`C-)D @3b9/E.,& P ž IS} S='&+9%E:,& P ž IXŸ S,;I{6C25A
R Z+ &2-5 '0A&   ž G #.E.-C C -),& P -)&} ',á S ž†Q IS} Q IXŸ Q#A`C_C   ž†Q+C23`C-),& } G ISŸ G ;Qµ.CCD 7  : ¤ I : ¦ &2ù  :RC'U33+C,-) z ,",&2  ž G IS} G '& Ÿ G  /-U  ;DcJ&ÕC -! 3#ME. áëå2å2Üà%'"-)0B'&6 '0BC2½ 2-,-)  A-)&w  )2- &DEG-C '  U'&,-)&@

3C2,= "#&2!E.='&& = U'&2b&1  9%,0J ' N& EG-)&@]-)0:-A 2-,-) 231-)&q6 ')- '&{;"^A" #

' -")-D'&5&2  &2@3,19%1@2'&%; 4.5

H^ @ 'Using -C"qXB-Trees Æk j ¨i jkl'mO'&Ref%ghi jkl'mq&2R I   3`C"& G-)& C24-)& 24)-= AC`N7E.C2C2,: 'M& >-M-M 2

'0{&+&2E:,H 1CA* , P  C5 'HFE.-@S> 23,&>;=sqC2,&wC2 -)& .)-bAU3,  '&@ #C -H""Np 3. '0{-" ;:cd&+C- - &>#%E:A   % !C2A! '0="U'-&A 0=~4F#2,&  z:õà$ôññ# '&wC2A-)& A)-A 7 %+ C-b  -)&@ ; 4.5.1

^ [-+XB-Tree & "qDescription @ @3#"CqA~4F-DIU-'&Z 06C2 ~4F #B -@&2Ø0$  -)&  -)&2@qC  / -- '&', ,& - & Âél Ä°=Å"´ ® « jÆ©ÇRÈÊÉ%gh ¨jÆ©ÇMÅ ´ ® Ë® ¯ Ì §Í{ÎH '0:,7,&p-)& CA
_ ;qsD -)9%C]-)&IEGC,&o') &  H9%, &2@6 "C1 "1
 ,",& P%C1,&- '&D 1 -) " ,27,&A-H'-@'C0J 'E.(; µ.Cp&  A-)&ZCp'0= 23@  '0:C2!A~4F!'1 9 C,-)w´ ® « jÆ©Ç 'P R S U')P1C- -6- -) DC2+'0A  @3

'0D~4F6 '&OC R U');TµGC+-)÷%,&2+9/E.,&O~4 6'&q'&OA~= -!-)&IC6 37'-)&'-)&K3p-)&,&'  @ ; ‹= CK&2  U -)&_'&K-)&&2  @3 0"CA~4F  &2-. 02A9/ '&2-)&2@!@3",&H‚ UJ RVI«UJ T.† P EGC, R ,&2 3 ´ ® « jÆ©Çb&2.  TK &2 3.É%gh ¨jÆ©ÇS(&261 % '-)&A A-:`C-)  @  UJ “-žSŸ {!P E.C -C6 &'-)&4&2 =E.-C"9% '&?-)&@"@3",&  3 , -)&,)2"-)&‚ UJaRIKUJ TG†JS,;>µ.C89/ '&2-)&2@!@3",&

'0{&2 H-)&+-)&,&'{ 23@ H -@Cb '-') U3,' {# 92HC,-) R % 3-- '&+]-)&q-)&2 -)&@q ',;Z~.- #: Cq 23@ ?    C !] % -)&,6 +C" 2,&A  @     J “ž‹¡ { C5CA&2ZC -)&@3,   J “ž‹¡ { C5CH¢C E{B£ EGC-CZ- C -)&  0HC2!&2  -)" &   J “ž‹¡ { C5C C A % -)& 923`ND?

  ;"µ.C" '&- '&O'&D"'-)&,&'&

'0=&~4Fb-U ,6- -)! "C2 3p-)&w"~4F #2-)&@6C2 R U)2"3ACANH P%C!?-)÷%,&2 -AC C22  TRU')b&  9%A  '  @3  CA-)&2 3; 4.5.2

sD""Using -)&'-)&OXB-Trees " % '-)&, ž8¤ C W P ž8¤ CE  žSŸ {I ž8¤ CE¢C E{¥£ Sb 6C2  E B { £ E C  ¢ C N   Z C  & 

 6-)&q 23@  ž8¤ CE  žSŸ { '0C+~4F ;Dµ.C2, ž8¤ 'E. 1  %,3- '&b U3,HCAA~=bC :'÷%.C -= % '-)&,V ¶ ;Gk ° Ë k ¬ l ® ;=cJ0 ž8¤ C W P ž8¤ CH  žSŸ { I ž8¤ CE¢C E{¥£ S4 b& b / '-)&  ZC+ "&2 +-)&_C+,,&" 23@  #HE:- O  U'& ž8¤ CH¢C E{B£ ;KnAC,E.-DE.],   ž8¤ C!EG-CoC2 U') P ž8¤ CE  žSŸ {J “-ž‹¡ { C0C I ž8¤ CH  žSŸ { J “-ž‹¡ { C5CH¢C E{B£ S4&26, ,-U ,D U'&p-;

…;H°ª%g¯¯ é f ¬ ;rcJ0 ž8¤ C W P ž8¤ CE  žSŸ {I ž8¤ CE¢C E{¥£ S,# ž8¤ CH  žSŸ { - &2 3+q'0"  @3 #1&2 U -C ž8¤ CE¢C E{B£ N CI& -)& ž8¤ CH  žSŸ { #AE.+ 3 ž8¤ C"E.-C P'UJ “žSŸ {I vS6 qC23]- % '-)& "CAz .&  1-)& UJ “ ; cd& --) ž8¤ C W P ¡ yy CE  žSŸ {I vçS,#? / '-)&-)&@+ "Cbz.&2 A-)& C   3A 23@ 6 '0:C27A~4F ;!sqC2,& ž8¤ CG % -)&  5C21  & b-)& ¡ yy CE  žSŸ { '&]E:b3 U&2H-#E.4z& -CwC2HU ,$; sDA&" -)0$5C2A U - 'A@ -C2"1 -)+ !21~4 ;+^H@ -C2èef%ghi jkl'mç8² ¦ #(-)&O-@ 5¹ #M&2"^b@3 ' -CQef%ghi jkl'mG 1C238-M24~4F;Mµ.Cb & 7`C'&@  Z-)&½C2Z)-)&-)&?- ½9u ',&C; µGCZ0d&2- & gÇ Æ¯k2g ‹¬ § k¯§ ® &221-)0.C! '{ % '-)&,1-)&TC ~4  -A % '-)&-)&@Z 6]'0.&   P 32.U)2"-)&qC

-@'-)&'  6S,;:cJ0BE.A,z&26gÇ Æ¯k2g ‹¬ § k¯§ ® P µS W AE.C,&µI-.&  &DA~4FA9A"@''z 3#%C -1@ '-CÙ1 "C U - 21 &2 ; ¢3m3‰ ŽŒ'œ³wÓ)ºŽSmz´‡ŒšzµŠ”¥i¶K·¸ (¹wº'œŽ»{‡Ÿ¥)¼F·¾ (z& · bcEd ‘ m3Œ£3 ÌŒ ¼½·¾ ¶f(*¸6Ž`5 ž ¼FŽ on3šŽl ¥Ÿ ¨š3,›3X ¼íÍ 7 ³zÇ')Œ %)¼FÈ Çš ŸŒ  E.3(  9)-C2># '&"H)-4 0% 2C ';=sD.@ &2,36 'M &0$  "0d3@ "&

'0Ô~.>LR3p0J ') EH;sD+ZE.-CO'&q9 -Z'C ' '&q '&U3,ZC6 ' % '&?-)&@Z-)& 0J '"3- '&K 
I0$ ' "3;4L  6 P &2 3 CA @3'-C -6'! '&DC
ºy3 -S,;HÔb  C+ %-)z2&2-)&2@Z  ' %,- 9/E.,&I&   -)&oC -6  #CHÆk j ¨³Æ³2ì='@ -C2| /,&2.12C6-"H923`N3`N-)&@ '&3 !U3,':-"!C263""U');5;=^A=C 'E.&6-)&DÏ- &5· # ef%ghi jkl'mH-4  2-7'%0$ ':'& t',&'&b - '&C-) %# 924-=-G  U'9]9%  2-"M0$ '= ',&t`C-)[ - '&C-) %; cJ&wC -- &>#%E.'&'a7C21FE. "3H, '  ; AUTHOR (2)

PAPER

A1 A2

A5

A3

A6

A4

A7

PathMPMJ

PathMPMJNaive

Execution Time (seconds)

20

15

10

5

0 2

3

4

5

6

7

8

9

10

üHýdþ%ÿ
1Æk j ¨³Æ³2ì ¹H ÿ3 6Æk j ¨³Æ³2ìÌk g Ë® Path Length

sD]& E|  'Æk j ¨i jkl'm53@ '-)&+Æk j ¨³Æ³2ì;OcJ&O-@'  ¶‡…AE.HC2 EKCH,- '&w-"A&26Cb&p9%H '0%&    I0d 3è?-NK0$ +  C_* ,- 0!?-)÷%,&+,&@ C}'&K  &C-Z T6 '0"¶3# vzvv# vzvvZ&2 5'&y¶ vT?-)÷%,&+' 9/,;v4' #{Æk j ¨i jkl'mA A-)&D &2-,9 9/,H %, 0J '"&2!C'&DÆk j ¨³Æ³2ì#'&C-A-)÷%,,&"-)&, 1EG-C  &2@3,Z  C½* ,-; µGC--D '-)&€9_C2Z0$3C  Æk j ¨i jkl'm5"N7-)&2@[  " U3,6C -)& 26  #:E.C -) Æk j ¨³Æ³2ì%&> .923`N3`N!&2A 1 @3'-)&!'@34 % '- &2M 0  ;= )2- &2;HsD1U'- C1-a

0=C2!C-) 91, -U3" "C1-a1 '0=CAz E: A0d RƒÀ¿R !…'·8¿ P 9%3 '&]C M % -)&.C2H&219%,: '0{ )  - '&49% "H  A@ S,;=-@'A¶‡„ P 9/SMC2 EIC.,2- & -"H '0/Æk j ¨i jkl'mH'&"ef%ghi jkl'm:'&"C2.&p9/,. 02 '-'  ')- '&! CD'@3 '-C  2A9%,0$  C 7,@'-)&@+, {; µ.C26 &2-&"@  Ø9/E.,&qef%ghi jkl'm6&2ZÆk j ¨i jkl'm7, ]0d 3èC2+3,@3,&2 -)&@I')1 '-! ')- '&+0d  CGz.FE. 1 9:EGC-C+. ,H- 6-)&CH",@  , P ž G RrR ž Q RSR ž T RrR ž^¼‡SKÁE P ž G RSR ž ½ RSR ž ¬ RSR ž ¾ S,;!^AA,&-)& -@'¶‡„ P 9/S,#MC &219%,  '0. '-H ')- '&"  2Z9 Æk j ¨i jkl'm"-"U ,H '," 0H" @& -+'@ 6C2&OC23

'0{CHef%ghi jkl'mH'@3 '-C+;Hµ.C2.&p9%H '0% )2- &2 1C2 * ,6  +9"9% Cw'@ -C27A-#2 '0B ' #C213" ; sD"C,&ZC!E.-@+* , '0G-@'[¶· P 9/SA'&@3,&,  Z?-)÷/,,&" &C-6 31-)&qC2!0$ ') E.-)&2@TE. ;"^ 9%,0J ' #3`Cw 3 .-.10d)M,&'7 ;=µ.C2Hz .9  p& 1 '&'-)&Õ'&&2 1'9%, ž†Q" '2  ž T ;"µ.C" &2 927 1& A '&'-)&Õ'&B  ž ¼ '2  ž ½ &  ;7-)&2) #=C2 C-) 9! H&2 3A &'-)&T'&.  ž^¬1 '† ž ¾ &2 ;Hµ.C2, 0$  #>C, -A& 1U ,&T+-)&@'6 ')- '&q0$ !C27* 2,FE.-@ # 'C '@'Cw C5 9 '&-)&2HA'@3b&p9/,H '0% '->  )- '&;6µGC""-)&Z-)÷%,&25E.-CZC U - '" %-",& -6C23"E.6&2I D" ,-)-aZ&I-)&,"?-3]X -)&I 9%,0J '6@ -)&@DC2"z&2H'&E.,;µ.C,,0$  #MC,]-1&  

PathStack

PathMPMJ

6000000

25

5000000

20

Values read

Execution time (seconds)

SS 30

15 10

PathStack

PathMPMJ

4000000 3000000 2000000 1000000

5

0

0 2

4

6 Path length

8

2

10

4

6 Path length

8

P S ‹=,- '&T-" P 9%S.Áb19%, '0=,",&b  üHýdþ%ÿ
0"rÆk j ¨i jkl'm¹H ÿ3 6Æk j ¨³Æ³2ìrÿ3 ýF>þÁ 43$!)ä3!ý®¯
!  !

SS

PathStack

PathMPMJ

PathStack

PathMPMJ

100000000

10000000

100

Values Read

Execution time (seconds)

1000

10

10

1000000

100000

1

10000

P S‹=,- '&T-" P 9%S.Áb19%, '0=,",&b  üHýdþ%ÿ
¢¬"!Æk j ¨i jkl' m ¹H ÿ3 6Æk j ¨³Æ³2ì;°K#$ˆ!)ä3Dÿ
"°«#$¯
¯vÃÄ2û ¯
! B ! PAPER//YEAR

PAPER//YEAR//1960

,2- &q @ ]-)&@Æk j ¨i jkl'm!C23AU - !" -')-a,-)&@ !9 -@"-)&,"?-3 ;.-@'+¶‡„ P S.C 'EHHC1,- '& -7]0$ !Æk j ¨i jkl'm+&2Tef%ghi jkl'm]0J '!-)÷%,,&6 -a P & =C8 3@ '-C -'S,;B9 A~= '&&2 3]N-) O"&0A&  !9%2CZ    -! "7 ')- '&;s7 %,-"&')I 92-)&2ØC 9% AE.C,&+-)&2@6&2 !'  ,--A'&@'-)&@]0d 3Q·" "ù3· ; 'U3,=C4 &0$  6Ô~.>LZ ; cd&Z@3,&2'$#MC" M&219%,! 0.&  1U ---)&qC"A~4 µ>"-" &2-&Ø7'),5C'&OC26-)& " 3-a]0$ " E.- "&2@3+ '0:&2 + 23,--;D"1Æk j ¨i jkl'mM¹H ÿ3 6ef%ghi jkl'mˆ°K#$2 3 "!ÌS®¢äMý߯!S66ýdþ¶>ÿ34 Fraction of data set with solutions

6.

Percentage of data set with solutions

RELATED WORK À -)&1  -)&2@1->&' H 3'9 .- ",&3- '&D‚¶Ð'†F;  Ô~.
DÏ+‚)…¶ #2¶ù #2¶‡¸‡†F#'&6C2HÁH- @  ق¶¹'†F#C23. '&- "U'- 2H  /= '0{* 2p  -)&@" '& 2C5 3 ;M
  !'&"U'- 2.-4-)&5C,-)H '3@  =E.,)%34* ,  ' -)&2@1-)&2@1, - &2{ 3'9 A"8CU .& 9%,&  '&- ,]-)&D‚\¶‡…?#…· #…'Ð#· #¶ v #¶ ¶,†F;=cd&‚¶…#…'·#2¶ ¶†#çC2H"  -)&@ '0=A
q 5 ]"&p9/,! '0=, - &2!E.3A &2-,  '&@E.-Cq&23- '&O '0G 9! '0H
I* ,-! +,' - &2H* ,-;wcJ&T 9* ,& E: 'NO‚)…Ð #{· #=¶ v'†F#{C2"2C '  '&- ,C2H  9 | 0>  9)-C-\&@+
 ,",&.0d 3  - '&'7 '9 ;ºnb 6C ')--X '-)&_3@ q0$ ' * 2, FE.-@ 23,&A&U ,3@ !C2A U - 21`C& -* ; µ.C4, ,& - & 0( / -- '&H '0{A
5,"&6Âél Ä°=Å i jk ªjÆ©Ç}Èæú ¬ °Æ©ÇMÅ!´ ® Ë® ¯ Ì §Í{Î(-M,&-)]C M 0%v. &  &21&2D
+-) #{E.C2 6 &2-,Z60d @3",& '0:C2!L%^4µ_ 'C -)&@  %,3 ' 0$ 1-)&2 -)&@Z! 3'9 5‚ ù#M¸†#M&2 -,+  2-!-a - &ZC& -* .0$ ':Cb@ ,9 ;:µ.C -4  ,& - &ZE.3b " 3 2! '&-)&27,&p - '&C-) 2

9%FE.,&_»Fb@'- '&¼+-)&TC2!H 3'9 ;rµGC10$ ,A '0 C HE. 'N5E.3H '&C -'M-#EG-C 'A'9%  -)&@ '& ,Ú6-,&A@ '-C"A0$   -)&2@5C2A - '&C-) %; -)&') #6CZ,&E: 'N '0]¾C'&@K$;"‚)…3¸‡†!&2R^H) ÖAC')-)0$6H'$;{‚\¶†M1, ,6,  " ';.µ.C"   %  9-)&2+ X '-)&w'@ -C27A = - --U3b0J 'H"3`C-)&@ * ,+FEG-@"  ,&;Hnb^b@3 '-CÑÆk j ¨³Æ³2ì.-A"@3,&,') -a3- '&K 0HC]
L=
D¿1À ÁQ@ -C2è 0 ‚ … ¸†. 5" Cq* ,  C#4&2T^b@ -C27"Æk j ¨i jkl'm6'&Zef%ghi jkl'm66@ ,& ,)-a - &2D '0!C N$923K'@3 '-C" 0"‚¶,†r Z" C * ,]  CA&25* 2,5E.-@  ,&#2 %-U ,3;

7.

dc &RCONCLUSION C-+ 2 %,DE.U3, ' % C ')--X -)&R@ -C2"0$  "3`C-)&2@DA
O* 2ZE.-@+  ,&#M ]  %,3- '&O,& ' A1`C6 0%A
* ,1  -)&2@#9% C60$ M&23-U HA
 * ,I   'D- ",&3- '&%Z&2K0$ , - &26A
 * ,[   ;DcJ&D '-,'#:^b@ -C2 ef%ghi jkl'm6E.3 C 'E.&5 A9%rct nK'&5v.L4xK  2-">0$ .A@ 1,3. '0{* , E.-@  &2#%&26 3-')D,Ú6-,&; µ.C, -!" '" 6,Ú ,-,&!A
I* ,+  -)&@C'&T- E.-C -)&_C  % 0!C -" ' %;RsD+C2U +-)&-- R,÷%   Z3  7 0!C2-;|nb&`CK--)&U U  C] '013 )-)Nç « ©¯¯© f%g ¬ Àh ÎÇ2g`±¯2g ¬ h"-)&oALM Co  - '&#H-)&K -- '&} C" '5 7" '&ØKl'¨{g¯ °&2 ° ® Çl ®'¬ °k ¬ j+3 P q-)&_C -6 2 %, T %,-)0$KFE.-@ 23 ,&S,y; Í 'EK'&DE.   &2E.A "LM C - &2 E.-C`C53* Ï[^H&2 3C2.-21-)&U U C2H -,-)&2@5 @3C2

'0MC ')--6FEG-@X '-)&AE.-CDU'),$9236X '-)& P -)&,)?-)&@+)-)& N   A ,",&SH 9 -)D,÷%-U3 * ,6 &2;

SS

TwigStack

PathStack

TwigStack

PathStack

300000

30

Partial Solutions

Execution time (seconds)

40

20

10

200000

100000

0

0

0

1

5

9

13

17

21

25

29

33

37

0

1

5

9

13

17

21

25

29

33

37

Depth of candidate papers

Depth of candidate papers

P S ‹=,- '&T-" P 9/SGÁH219%, 0M 2-'= ')- '& üHýdþ%ÿ
À]"1Æk j ¨i jkl'mM¹H ÿ3 6ef%ghi jkl'mˆ#$  H¯
!  ! PathStack-XB(Internal)

TwigStack-XB(leaves)

PathStack

700000

1000000

600000

TwigStack-XB(internal)

TwigStack

TwigStack-XB(leaves)

400000

400000 300000 200000

200000

2

4

8

16

32

64

128

256

512

1024

1200000 800000 400000

100000

0

TwigStack

1600000 Values read

600000

2-Path query TwigStack-XB(internal)

2000000

500000

800000

Values read

Values read

PathStack-XB(leaves) 1200000

0

0 2

4

8

16

32 64 128 Node capacity

256

512

1024

2

4

8

16

32 64 128 Node capacity

256

512

1024

P S.LM CD* , P /9 S.µbE.-@"* , P S=µbE.-@6* , üHýdþ%ÿ
8s"MÐw ýF>þÁÄ^ÌS!) Ñf -ÒBÓ^ÑÔ´Ò966ý!)ä 34 $!)ä3!ý®¯
! B ! SÓM H3¯ÕÑf®‹Ò966ý!)äqÿ
"°«#$¯
¯ÃÄ9Mû ¯
! Node capacity

8. REFERENCES ^ ØOÙkb)^ag cíb b)i)b*ìgad'k Ù\)qìb*d b)ef`S^ ñ ÙKò×Ö t ç ]fg b)dfe'b b jBږb)ht8ì^Û;Þ t‹Ü q ef]'j q ª e't q]fb)^à'\)gahjrd Üt ÷ èt ]'agas gaefg j `3cí\*] ÝX` á t Ö ga`Shp e5® p j ëq`S]fé;èt8b)ß efe'`7t ]'h–Ö s b)Ä e kgahi h
ãÞäÔç åXæEçHçHèéŒêrë’ìp åíïî.ðSç Ä ê8îOç ÷ äꋯ óîéOåê‹óôõ1åê*íçäEçXê‹æEç
å6Ä êMö^ótÔîOâ ó êrë’éŒê‹çHçäéŒêrë j÷B÷Sj jñ ×ò ÖñHò–òò \)b)ñ i Ý kb)s¡ð`S]f^agah [`7]'hb)hì` ú Ý ò [$^a\)]f`Sd q j t ÷ tSø \)ðga` j t‹ùÖ gas `S\)h b*hì j ÷ t Ö ef`Kcb)h`Sd Ä q^j ®3ü_t q`S]fé Ù Ä ÷ Þ$j ç h ®ÜSt ÷ û ¯ ü_qÀj `SÜ]fét ¯ b)hi)qb)j i)` t \)] Å gahi Ý ]fbce çrp b)gat ^ab)ð^a` c]'\)M sîkefe'è ï
ï
ï ï \)6t]fi ß·ýrù·ß ±zëq`K]'é Ý ` jt ÷B÷ Ù ]fqh\ Þ Ã)à Ù\)qt ìb*ýd t à þ ]'û g à b)dfefb b j \)^agaÄ dfte'g ï
t gai \*gahd ñ ý ò ª èÀt efø gas b)8^ ® j ª t b)efe'`7]'h j Ý t b)Ö e kp gahi p çHt æÚ ðBê8éæEó’ôy Ä Žþ ç åäî Ü Þ ÿ õåô é.ó ÷   -ê8¯ é a çäìé,î ÷ ÷ b*] Ä
k Ä j÷¥÷rj
t 

b)]f `Sé Ù ga`7]'hb) h t Ö kb*hs†qi)t b*dFqhìzb*]'bs k` gae'b ñ  ò ÷b)h‹t ì ù  q  ð f ] ) b s b)hgab)h rj ® Ü¢t gaìì^a`7ïêb)j ]f_`
t c\)Ö ] Å j j r ¢ Ü t Ö Ö ÿ a ç Ž 3 ª þ  Þ ÷ èqð^agadft kgahir\)ðSàf` e3]f`S^ab)t efga\)hb)û ^ìb)efb†b)d® ì\ qs `7hzefd ÷ ¯ Ä  ãäÔåæHçHçEèé,êrëìMåíÄ-ö j÷B÷B÷ t kb)s¡ð`7]'^agah j \)ðga` t b)hì [$^a\)]f`Sd q ürqga^ae h ñ  ò Ý® t Ý t‹ëù q`S]fé†^ab)hi*qb)jBi)Ü`3trcíû \*]
k`Sefj `S]f\)i)`SÝ h`7t \)qd$ìb)efÄ b;td'\*q] `Sd Þ$ç h ÷ ç ¯ ö ê*í6å6ä óô‹ãäÔåæHçHçEèé,êrëì j’÷B÷B÷ M Ä Bt â  \)hñ d'`7hd
 b)hì a g a ^ \  è f e a g s g S ú a g  h  i  ë  q S ` f ] a g S ` 3 d ) \ h

^a`7d h j t ñ  ò ÷ãäÔt åa æHçHt8çEùèé,êrëìMåí^õ"!$ þ t# ÷ !(t 'ÿ ö Ù  * ) ) & ñ %  d"t cí\*]
ëzq`7]'égahie'` ±ze tBâ ) \  h ' d 7 `  h
d ) b  h ì a g a ^ \ a ^ ) i 7 `  ð ' ] ) b j ñ + ò ÷]f`Si)t gaa \*ht8dù hMãäÔåXæEçHçEè’éŒêrþ ët ì÷ åíKî.ðSt ç,ç ^õ-!$# å6ìé å6ê ãäéŒê‹æXé t ô çâ ì×åí_ö^óîOó óì*ç/# ìîOç ì Ù )*)  .  `7q e'd k [`S]f hb)hì` ú Ý  [$j ^a\*]'`7d t q ` é b)hì ñ 0 ò ç t Ý q gaq Ä ® j ÷ t ØEü Ä `3cíj \)ç ] t ® ¯ p j b)ga^ab*ð^a` z ë  q 7 ` ' ] ¡ é a ^ ) b  h ) i  q ) b * i j t Ö kÄ efe'è t  ÷ ï
¯ ï
ï ¯3ï Þç \)]fi ÷ ¯ t çrp cÝ ]'\)t sî ØO±s ^ ØFëz^ M 1Ù )*` ) 0 b)^aqb)efga\)h Þ Ã)à b)qt i)ýktef\)h à b*þ hû ì ’Ã ª ÿ þ kh`7gaì`S] taj hO ` a g f e e ñ )ò Ý\c$t hÝ \)h9ß `Sëqg 8j à'\)Ügat h¡ª b)^ai)\*]'gaefks j d ãäÔåXÝ æEçHt çHÖ èÄ éŒêrë’ì åí^õt ç "!2# p t !3'ö ñ*% t j ÷ñ Ù ò ÷ Ù )&)[Ù t`S]fhb)hì*` ú
b*hì Ý Ö q Ä gaq Ö ga^ Å \)qe'` ‹Þ þ ]'b*ìgahi;ð`7eFïê`7`Sh ]f`S^at b)efga\)hd$b*h
ì ® t j÷¥÷Bû ÷ ÷ ¯ t \zt4 b)hì98  `7] 5\)e'7ef` 6 j b*^aqt b)e'gahiëq`S]fga`Sd3\)h Ùñ )ÙKò þdfe't]fq [$gaef`7qð]fgai; `
ï
gae'k9b ÷ `Sdfd
d'qÅ èè\)]':t e" ]'p `7^ab)e'ga\*hd ãäåæHçEçHèéŒêrë’ì åí Ä ö j÷B÷¥÷ ÄSt Ä ç t  ëzq`7]'égah< i ® Ùñ j ò ìÝ b)t ef["b;^aq\)]'df`7gaj hd Äi;q b)b)h ht ì Ý t ÙM\*d'dfs b)h t Ö ö^ef\)óîO]'ógahi–êrb)ëhé,ì ÷ îéŒê¯ ‹ ê E ç X ç  ä Œ é r ê

ë  ôŒô çM ò  jBj ¼ ¾XÞ j +1;  Ù )&û )*Ý ) ÷ ø Ö t ñHòò–ò j Ùñ ý ò 8 t 8ý]fb)`Kc` ý t ü_j q`S]fé t ` p b)^aqb)efga\)h;ef` Ä khgaëq`Sdxcí\)]
^ab)]fi)`_ìb)e'b*ðb)d'`7d t

^õ"! õ1å î.é,êrë=# ä ç ì?>/‹åô å qh` d3