🚀 go-pugleaf

$@EDJU!wIY;NDL@n:j9)>l(J $@$G$9!%(J

>>Message-ID: <SHIMURA.93Feb24213443@octopus.cst.nihon-u.ac.jp> $@$N5-;v$G(J, 
>>$@;VB<(J( shimura@cst.nihon-u.ac.jp )$@$5$s(J:

$@;VB<(J> $@$3$l$O!"3{$5$s$,0zMQ$7$F$$$k8xM}(J AFA $@$G$7$FKM$N5s$2$?K\$O(J
$@;VB<(J> $@>u670U(J$@L#O@$r8&5f$7$F$$$k?M$?$A$,JY6/$7$F$$$kK\$i$7$$$G$9!#(J
$@;VB<(J> $@$"$N8xM}$r8+$k$H$"$j$H$"$i$f$k$b$N$,2DG=$H(J$@$$$$$?$/$J$j$^$;(J
$@;VB<(J> $@$s$+!#(J

$@$J!<$k$[$I!%$8$c$"!$=89gB2(JF={a_r|r$@$O<B?t(J}$@$G!$(J
	a_r \in a_s   iff  r > s
(\in$@$O!VB0$9$k!W$N5-9f$N$D$b$j$G$9!%$D$$$G$K$$$&$H!V(J_$@!W$O$=(J
$@$N<!$NJ8;z$rE:;z$@$H;W$C$F$/$l$H$$$&$D$b(J$@$j$G$9!%(J) $@$rK~$?$9!%(J
$@$J$s$F$N$b$"$j$J$s$@!%$H0l=V;W$C$?$s$G$9$,!$$A$g$C$H<ALd$5$;(J
$@$F2<$5$$!%(J

AFA$@$H$O(J

>>Message-ID: <WD.93Feb24133655@hakobe.kurims.kyoto-u.ac.jp> $@$N5-;v$G(J, 
>>$@3{(J( wd@kurims.kyoto-u.ac.jp )$@$5$s(J:

$@3{(J>     $@G$0U$NM-8~%0%i%U!JL58B%0%i%U$r4^$`!K(JG $@$KBP$7$F!"$=$N@a$N=89g$r(J
$@3{(J>     $@Dj5A0h$H$9$k(J$@<LA|(J d : node(G) $@"*(J V $@$G0J2<$N@-<A$r$_$?$9$b$N$,(J
$@3{(J>     $@$A$g$&$I$?$@$R$H$DB8:_$9$k!'(J
$@3{(J>         $@G$0U(J$@$N@a(J A $@$KBP$7$F(J d(A) = {d(B) | B $@$O(J A $@$N;R@a(J}

$@$H$N$3$H$G$7$?!%(J

$@<B$O!VM-8~%0%i%U!W$H$+!V;R@a!W$H$+$N(J$@8@MU$rCN$i$J$$$s$G$9$,!$(J
$@=89g$N8@MU$G$$$&$3$H$K$9$k$H!$<!$NM}2r(J(*)$@$G$$$$$G$9$+!)(J

  R$@$r=89g(Jx$@>e$N(J2$@9`4X(J$@78(JR$@$H$9$k;~!$(JG=<x,R> $@$rM-8~%0%i%U$H$$$&!%(J
  x$@$NMWAG$r(JG$@$N@a$H$$$$!$(Jx$@$r(Jnode(G)$@$H=q$/!%(JR$@$NMWAG$r(JG$@$NJU$H$$(J$@$&!%(J
  G$@$N@a(Ja,b$@$KBP$7!$(J<a,b>$@$,(JR$@$KB0$9$k;~(Jb$@$r(Ja$@$N;R@a$H$$$&!%(J

$@0J2<$3$NM}2r$K4p$E$$$F=q$-$^$9$N$G!$(J(*)$@$,(J$@4V0c$C$F$$$?$i;XE&(J
$@$7$F2<$5$$!%(J

$@$G!$:G=i$K=q$$$?(JF$@$,B8:_$9$k$3$H$r8@$&$K$O!$(JG$@$H$7$F!$(J
G_0 = <$@<B?tA4BN(J$@$N=89g(J,$@$=$N>e$NBg>.4X78(J>
$@$r$H$l$P$$$$$s$@!%$H;W$C$?$s$G$9!%(J

$@$@$1$I!$(JAFA$@$N8@L@$K=P$F$/$k(Jd$@$OC1<M$@$H$O(J$@8@$C$F$J$$$s$G$9$h$M(J
$@!J3NG'!K!%<B:](JG=<x,R>$@$H$7$F!$(Jx={a,b,c}, R={<a,c>,<b,c>}$@$r$H(J
$@$k$H(Jd(a)=d(b)(={d(c)})$@$G$9!%(J

$@0l$D$N@a$H$=$N@a$+$i$=$N@a<+?H$X$NJU$H$+$i$J$k%0%i%U$r9M$($l(J
$@$P(J p={p} $@$rK~$?$9=89g$,$?$@0l$D(J$@B8:_$9$k$3$H$,$o$+$j$^$9$,!$(J
node(G_0)$@$+$i(JV$@$X$N<LA|(Jd$@$rCM(Jp$@$r$H$kDj?t<LA|$H$7$FDj5A$9$k$H!$(J
$@$3$N(Jd$@$O(JAFA$@$N(J$@MW7o$r$_$?$9$h$&$K;W$$$^$9!%$9$k$H!$(Jd$@$N0l0U@-$+(J
$@$i!$(JAFA$@$O$`$7$m(JF$@$N$h$&$J$b$N$NHsB8:_$r<gD%$7$F$$$k!%$H(J$@$$$&$3(J
$@$H$K$J$C$F$7$^$&$N$G$9$,!D!%(J

$@$d$C$Q$j(J(*)$@$,0c$C$F$^$9$+!)(J

--
                      |        $@ED(J$@JU(J $@NIB'(J $@!w(J $@IY;NDL(J $@@n:j9)>l(J
                      |  E-mail: tanabe@ai.cs.fujitsu.co.jp