next up previous contents
$B $B9M;!(B $B>e$X(B: $B $BLa$k(B: $BDs0FMh   $BL\

$BDs0FMh

step1
$BF~NOJ8$r7k9g2A%Q%?!<%s<-=q$K>H9g$9$k(B
$B$3$NJ8$O?^(B
5.5$B$N%l%3!<%I$K%^%C%A$9$k!%(B
$B?^(B: $BMQ8@!VCe$/!W$NL\I8
\begin{figure}\begin{center}
\begin{tabular}{l} \hline
$B!'!T9%$^$7$$!U\(B\ \hline \end{tabular} \end{center}\end{figure}">

step2
$B0z?t$K6qBNE*$J3JMWAG$,BeF~$5$l$?H=CG>r7o$rF@$k(B
  • $B%Y!<%9%i%$%s
    (1)
    $BL\I8
  • $BDs0F
    (1)
    $BL\I8
  • step3
    $BI>2A6K@-$GH=CG>r7o$N??56H=Dj$r9T$&(B
    $BI=(B: $BH=CG>r7o!'L\I8
    $\mbox{{\it NP}}_{y}$ $BL\I8 $\mbox{{\it NP}}_{x}$, $\mbox{{\it NP}}_{y}$) $BL\I8 $\mbox{{\it NP}}_{x}$, $\mbox{{\it NP}}_{y}$)
    $B9%I>(B ${\boldmath T}$ ${\boldmath F}$
    $BITI>(B ${\boldmath F}$ ${\boldmath T}$

    step4
    $B@52r>p=o$H3Fp=o$rHf3S$9$k(B
    • $B%Y!<%9%i%$%s
      (1)
      $BL\I8 $B"*!T9%$^$7$$!U(B

    • $BDs0F
      (1)
      $BL\I8 $B"*!T9%$^$7$$!U(B($BM^@)(B) $B"*(B $B!T$J$7!U(B
    $B$3$NJ8$+$i$O=PNO>p=o$N8uJd$H$7$F!T9%$^$7$$!U$,7k9g2A%Q%?!<%s<-=q$h$jF@$i$l$F$$$k!%@52r>p=o$,!T9%$^$7$$!U$J$N$G!$?^(B5.5$B$N%l%3!<%I$NH=CG>r7o$,@.$jN)$DI,MW$,$"$k!%@8M}!&6a(B($B&U(B, $B2-Fl$NJLAq(B)$B$,??$H$J$k$K$O!$I=(B5.19$B$h$j!$!V2-Fl$NJLAq!W$NI>2A6K@-$,9%I>$H$J$kI,MW$,$"$k!%Ds0F$H=PNO$5$l$F$$$?$N$G!$%Y!<%9%i%$%s2A6K@-$N;;=P$KMQ$$$i$l$?6K@-I=8=$O!$9%I>I=8==89g(B$P$$B$,!VI=8==89g(B$N$$B$,!V9b$$!$69$$!$1s$$!W$G$"$C$?!%$3$NCf$G$O!$FC$K!V1s$$!W$,!V2-Fl!W$H6&5/$9$k$3$H$GITI>6K@-$K1F6A$rM?$($F$$$?!%!V2-Fl!W$d!VJLAq!W$,9%I>$H$J$k6K@-I=8=$rDI2C$9$k$3$H$G2~A1$G$-$k!%$?$@$7!$6K@-I=8=$rDI2C$9$k$HB>$NL>;l6g$NI>2A6K@-$K$b1F6A$9$k$N$G!$0lIt$NL>;l6g$NI>2A6K@-$N$_$r2~A1$9$k$N$OFq$7$$$H9M$($i$l$k!%(B



    $BJ?@.(B26$BG/(B3$B7n(B7$BF|(B