🚀 go-pugleaf

$B5-;v(J <TANUMA.92Nov22165053@mathc.math.titech.ac.jp> $BCf(J
tanuma@mathc.math.titech.ac.jp (Hideki Tanuma) $B5-$9(J:
>$B=i$a$^$7$F!"ED>B$H?=$7$^$9!#(J
$B$O$8$a$^$7$F!"@t$H$$$$$^$9!#(J

> $B!ZL?Bj![(J  $B4q?t0L?t$N72#G$NItJ,72#H$N;X?t$,#3$^$?$O#5$G$"$k$H$-!"(J
>          $B#H$O#G$N@55,ItJ,72$G$"$k!#(J
>
>$B$b$7!"$3$l$,:\$C$F$$$kJ88%$dLLGr$$>ZL@$r8fB8$8$NJ}$,$$$i$C$7$c$$$^$7$?$i!"(J
>$B$<$R$H$b65$($F$/$@$5$$!#$h$m$7$/$*4j$$$7$^$9!#(J

$B$3$NL?Bj$r0lHL2=$7$?#2$D$NL?Bj$N>ZL@$r$D$1$F$_$^$7$?!#(J
$B$3$l$i$NL?Bj$=$N$b$N$rJ88%$G8+$?$3$H$O$"$j$^$;$s$,!"(J
$B<!$NL?Bj(J1$B$O>/$7$OCN$i$l$F$$$k$N$G$O$J$$$G$7$g$&$+(J
($BBg3X$N1i=,LdBj$G8+$?3P$($,$"$k(J)$B!#(J

$B!ZL?Bj(J1$B![(J   $BM-8B72#G$N0L?t$N:G>.$NAG0x?t$r(J p $B$H$9$k!#(J
            $B;X?t$,(J p $B$N#G$NItJ,72#H$O@55,ItJ,72$G$"$k!#(J

$B$3$l$O72#G$N#H$K$h$kN>B&J,2r$r;H$C$F<($;$^$9!#(J

        $B#G(J = $B#H(J + $B#H(Ja$B#H(J + $B#H(Jb$B#H(J + . . .  (a,b,... $B$O#G$N85(J)

$B$H$7$F!"$3$NN>JU$N#H$N>jM>N`$N?t$r?t$($k$H!"(J

        |$B#G(J:$B#H(J| = 1 + |$B#H(J:$B#H"A(Ja$B#H(Ja-1| + |$B#H(J:$B#H"A(Jb$B#H(Jb-1| + . . .

$B$H$J$j$^$9!#(J(a-1 $B$O(J a $B$N5U85$G$9(J)
$B$3$l$h$j!"(J|$B#H(J:$B#H"A(Ja$B#H(Ja-1| < |$B#G(J:$B#H(J| = p $B$H$J$j!"(Jp $B$N:G>.@-$+$i!"(J
   |$B#H(J:$B#H"A(Ja$B#H(Ja-1| = 1   $B$9$J$o$A(J   a$B#H(Ja-1 = $B#H(J   $B$,@.$jN)$A!"(J
$B#H$,@55,ItJ,72$G$"$k$3$H$,$o$+$j$^$9!#(J
(a$B#H(Ja-1 = $B#H(J $B$H$J$k!"#H$KB0$5$J$$85(J a $B$,$"$l$P!"(J
$B#H$N6KBg@-$h$j!"#H$O@55,ItJ,72$K$J$k$3$H$KCm0U(J)

$B$3$N>ZL@$r$b$&>/$7>\$7$/8!F$$9$k$H<!$N$3$H$b$o$+$j$^$9!#(J

$B!ZL?Bj(J2$B![(J   $BM-8B72#G$N0L?t$N:G>.$NAG0x?t$r(J p, $B#2HVL\$K>.$5$JAG0x?t$r(J
            q $B$H$9$k(J(q > p)$B!#(J q $B$r(J p $B$G3d$C$?M>$j$,#1$G$J$1$l$P!"(J
            $B;X?t$,(J q $B$N#G$NItJ,72#H$O@55,ItJ,72$G$"$k!#(J

$BL?Bj(J1$B$HF1MM$K9M$($l$P!"(J

      q = 1 + |$B#H(J:$B#H"A(Ja$B#H(Ja-1| + |$B#H(J:$B#H"A(Jb$B#H(Jb-1| + . . .

$B$G!"#H$,@55,ItJ,72$G$J$$$H$9$k$H!">e5-$NCm0U$h$j!"(J

      |$B#H(J:$B#H"A(Ja$B#H(Ja-1| = |$B#H(J:$B#H"A(Jb$B#H(Jb-1| = . . . = p

$B$G$J$/$F$O$J$i$:!"(Jq $B$r(J p $B$G3d$C$?M>$j$O(J 1 $B$K$J$j$^$9!#(J

$B$5$F!"LLGr$+$C$?$G$7$g$&$+!#(J

$B;29MJ88%$K$D$$$F$O72$NN>B&J,2r$,:\$C$F$$$l$P!"2?$G$b$$$$$o$1$G$9$,!"(J
$B0J>e$O4dGHA4=q$N(J $B72O@(J ($BBh#5>O$N!x#1!"#2(J)$B$r;29M$K9M$($?$b$N$G$9!#(J

                        1992$BG/(J11$B7n(J26$BF|(J($BLZ(J) ==== $B@t(J ($BK?<R6PL3(J) ====