🚀 go-pugleaf

$@CY$/$J$j$^$7$?!#$_$J$_$G$9!#(J

$@>.NS$5$s!'(J

>>$@>e$N@bL@$G$o$+$k$H$*$j!">!<j$J(J F' $@$G$h$$$N$G$9!#(JF $@$H$7$F$O!"(JF'(a,s) $@$r(J 
>>a $@$@$1$K$D$$$F$N=R8l$H9M$($?$b$N$r$H$l$P$h$$$N$G$9!#$=$N>l9g(J s $@$O(J F $@$N(J
>>$@<+M3JQ?t$K$J$k$o$1$G$9!#$=$&$7$F$G$-$?(J F $@$KBP$7$F(J F(a) <-> F(b) $@$,$o$+$C(J
>>$@$?$H$9$k$H!"(JF'(a,s) <-> F'(b,s) $@$,$o$+$C$?$3$H$K$J$j$^$9!#(J

$@3N$+$K<+M3JQ?t$,$"$C$F$bNI$$$N$G$9$,!"(JF(a) $@$H(J F(b) $@$rD4$Y$k$H$-$K!"$=$l$,(J
$@0lCW$7$F$$$k$+$I$&$+$,LdBj$G$9!#$7$+$7JQ?t$r$H$j$"$($:L5;k$9$k$H$$$&$3$H$O!"(J
$@$"$kDj?t$G$"$k$H9M$($k$3$H$KB>$J$i$J$$$N$G!"0lCW$7$F$$$k$3$H$r0EL[$N$&$A$K(J
$@G'$a$F$$$k$@$1$@$H;W$$$^$9!#KM$,8@$$$?$+$C$?$N$O!"(JF $@$N??56$,(J $@BP>]0J30$N(J
$@;~4V$d>l=j$J$I$N>uBV!">u67$K$h$C$FJQ$o$C$F$O:$$k$H$$$&$3$H$G$9!#(J

$@$+$M$3$5$s!'(J

>$@$($($H!"$3$l$O$=$&$$$&OC!"C1$K;~4V$r<+M3JQ?t$K<h$k$H$$$&OC$G$O$J(J
>$@$$$H;W$$$^$9!#Fn$5$s$,LdBj$K$7$F$$$k$N$O!"$`$7$m!V#F$N:F8=@-!W$"(J
>$@$k$$$O!V4QB,$N:$Fq@-!W$8$c$J$$$N$+$J!#(J

$@$=$N$H$*$j$G$9!#FC$K!V#F$N:F8=@-!W$G$9!#$@$+$i<j=g$H$7$F$O>.NS$5$s$H(J
$@$O$?$V$s5UJ}8~$N9M$($G!"$^$:BP>]$N>uBV$"$k$$$OBP>]0J30$N>u67$J$I$NJQ9`$r(J
s (belongs to S) $@$K$*$7$3$a$F$*$$$F!"$"$i$f$k(J s' (belongs to S) $@$K4X$7(J
$@$F(J F'(a,s) <-> F'(a, 's)$@$+$I$&$+$rD4$Y$k!"$=$l$,@.$jN)$F$P(J s $@$rL5;k$7$?(J
F(a) $@$r9M$($k!#(J

$@$=$7$F(J F(a), F(b) $@$G(J a $@$H(J b $@$,F10l$N$b$N$r;X$7$F$$$k$+$I$&$+$rD4$Y$k;~$K!"(J
$@$=$N$h$&$J(J F $@$N$_$r9M$($l$P!":#$^$G$$$/$D$+%]%9%H$5$l$?<BNc!JH?Nc!K$N(J
$@!V9%$^$7$$!"9%$^$7$/$J$$!W$H$+!VEl$N6u$H@>$N6u!W$K4X$7$F$N@bL@$,$D$/(J
$@$N$G$O$J$$$+$H;W$$$^$7$?!#$D$^$j$=$l$O86M}$,@.$jN)$?$J$$$N$G$O$J$/!"#F$N$H(J
$@$j$+$?$,0-$$$H$$$&$3$H$G$9!#$=$&$7$F$_$k$H!"<B:]$K;H$($k(J F $@$H$$$&$N$O(J
$@M>$j$J$$$N$G!"!V87$7$$@)8B!W$H$$$C$?$o$1$G$9!#(J

$@$?$@$7!"$$$:$l$K$;$h!"A4$F$N(J F $@$K4X$7$FD4$Y$k$H$$$&$N$O8=<BE*$G$O$J$/!"(J
a $@$,(J b $@$HF10l$N$b$N$r;X$7$F$$$k$+$I$&$+$rD4$Y$k$H$-$K$O!"3NN($G$b(J
$@F3F~$7$FE,Ev$J$H$3$m$GBG$A@Z$kI,MW$,$"$j$^$9!#(JF $@$,0lCW$9$k3NN($K$h$C$F(J
a,b $@$,F10l$+$I$&$+$N3NN($rD4$Y$k$H$+!#Nc$($PG/Np$,F1$8$H$$$&>pJs$h$j$O(J
$@@+L>$,F1$8$H$$$&>pJs$NJ}$,(J a,b $@$,F10l$G$"$k3NN($r9b$a$k$H$$$C$?6q9g(J
$@$G$9!J$I$N$h$&$J3NN(!"3N?.EYBN7O$r;H$C$F$b$+$^$$$^$;$s!K!#(J
$@$=$&$7$F$_$k$H!!(JF $@$,>u67$K0MB8$7$F$$$F$b!"(Js $@$K$D$$$F3NN($r9M$($l$PLdBj(J
$@$J$$$N$+$bCN$l$^$;$s!#$9$J$o$A!"@h$NNc$G$O@+L>$,0c$C$?$iB(4~5Q$K$J$j$^(J
$@$9$,!"2~L>$7$?>l9g$J$I$r9M$($l$PF10l?MJ*$G$"$C$F$b(J F $@$,JQ$o$k2DG=@-(J
$@$,$"$j$^$9!#$@$+$i$H$$$C$F(J F $@$r<N$F$F$7$^$&$h$j$O!"2~L>$9$k3NN(!J$^$"Dj(J
$@NLE*$K$OFq$,$"$j$^$9$,!K$r9MN8$9$k$h$&$J(J F'(a,s)$@$N7A$GF10l@-$rH=CG$9$k(J
$@%7%9%F%`$NJ}$,<BMQE*$G$"$j$^$9$M!#(J

////
//// Etsuro Minami: Computer Science Department, Stanford University
//// Nippon Steel Corporation
//// MSCS: minami@cs.stanford.edu
////