Documente Academic
Documente Profesional
Documente Cultură
:
B(C8$ D
$) #$ %
B$ $
$"
$"
:!
E ,$ $ C8 9 D
:$ <$ (#9 ;#
5$
$ > F C8$ >T D
$ :4 %
9 %5 FEF
D
J( $ 4
4I "2+2=4" : 1 ;F
C8 J( $ 4
4I "2+2=5" : 2 ;F
(x=1,y=1) y x K$ %$ L< ;9 D
9 $ 4
4I *$ " x+y >0" : 3 ;F
(x=-1,y=-1) 78I %$ L< ;9 C8 9
-$: ( *5$
$ 2 : $
# ((& x $ :;F
(r ) x2 > 4 = (Q
) x < -2 A: 9 (p
) x>2 A:
:@( $
If p or Q then r
M$A = F 4 ($ $ $ > -$: ;
*
> 9 1
.D#
. # -
& @ @ 1
*5$ 9 %#
:$$ ;F$ $ M$A D $
(Q ) N $ A5 ;E8 5
$ -
& ($ A: 9 (p ) N O /$ C8 ($ A:
.(r %) C8 $ -
& ;
# =
:( ;
If p or Q then r
:9 ( &(
If not r then not p and not Q
" N $ : /$ 89 # " N $ = N $ A5 F9 C8 $ M$ %$ A: P9 $ M$A & <
.5
$ -
& *
< %
&'
&'
:$$ ; ($
F p 5$ $ %$ >(p ) (# ;< 4$ >~ 6 :$ 5$
&
p
T
F
~p
F
T
~p S$ #$ ; (
:%$
<$ #$ ; ( >(Q ) (p ) E< 4$ > 6 :() $ %$
&
p
T
T
F
F
Q
T
F
T
F
pQ
T
F
F
F
:;
5$
<$ #$ ; ( >(Q ) (p ) E< 4$ > 6 :( 9) $ ;
5$
&
p
T
T
F
F
Q
T
F
T
F
pQ
T
T
T
F
2
211
.( > >~)
4< $ $ *5$ & $ 5$
5
$ #$ ; ( = M$A $ 45$ $ %$ E $ 5
$ $ %$ +#
. $ *5$ %$ $ * $ & 2 $
$ Q p $ 5$ ($ $ $ *5$ ( 5$ $ %$ +# 5 D $
:$$ $ 5$
( p q) ~ ( p q)
%F >( ( p q ) ( p q ) )
8($ , I $ $ %$ +# 9) W($ 5$ UA4$ #$ ; ( V
:M$ ( A -
&I 7 $ -
& *
<$
p
( p q)
( p q)
~ ( p q)
( p q) ~ ( p q)
T
T
F
F
T
F
T
F
T
T
T
F
T
F
F
F
F
T
T
T
F
T
T
F
:$
( ( p q ) ~ r ) $ 5
$ #$ ; ( :
(# 3 3( :#+) ( > >~) 4< $ $ *5$ & $ 5$
5
$ #$ ; ( = M$A $ 45$ $ %$ E $ 5
$ $ %$ +#
. $ *5$ %$ $ * $ & 2 $
. $ *5$ ( 5$ $ %$ +# 5 ; # "
@ F #$
(
( 45
45
2 ;9 M$A 4
$ #$ " ( A: A: @ J 49 P, Q & ;
PQ S M$A & < . $ %45$ $ %
$ $ * $
:1 ( :;F
~ ( p q ) ~ p ~ q
~ ( p q ) ~ p ~ q
Q
T
F
T
F
~p
~Q
F
F
T
T
F
T
F
T
p q
T
F
F
F
~ (p q)
F
T
T
T
~ p ~ q
F
T
T
T
.$ N P $ %$ $ Y#E 8I ( <$
:$
F$ 1 (
:$$ * 8$ 2 @ J P, Q * A: 8"
Q K$ #$ % # 8X P K$ #$ % P ( & # # ; ( V
P, Q K$ $ %$ # ( $ 4) P, Q *" #$ ; ;9
>( 65 ( :#+) PQ
Z 9 ; >% M$ A: .1
.J 1 5$ '(# $ )E8 M$ A: .2
7
7
4) 4" #$ $ %$ * 4 M$A (T) D
@ J( $ 4
(t)
.( $
:5$ UA4$ #$ ; ( = > p ~ p $ 5$ ($ $ :;F
p
~p
p ~ p
T
F
F
T
T
T
.
4 $$ p % * 4 M$A T J( 4
$ UA 9 Y#E
4) 4" #$ $ %$ * 4 M$A (F) C8 @J( $ 4 (c)
7
.( $
:5$ UA4$ #$ ; ( = > p ~ p $ 5$ ($ $ :;F
p
~p
p ~ p
T
F
F
T
F
F
. 4 $$ p % * 4 M$A F @ J( 4 5$ UA
Z 9 Y#E
(
( 45
45
:$$ OJ
8$ 2 c $
$ t
$
$ $ >Q p $ 5$ ($ $
p q q p
:
( $
8$ .1
p q q p
( p q ) r p (q r )
:<$
8$ .2
( p q ) r p (q r )
p (q r ) ( p q ) ( p r )
:<6 $
8$ .3
p (q r ) ( p q ) ( p r )
p t p
:(# $
<$
8 .4
p c p
p ~ p t
:Y$
8 .5
p ~ p c
~ (~ p ) p
:W (6$ 5$
8 .6
p t t
:O$
<$
8 .7
p c c
ppp
:;F$
8 .8
pp p
p (p q) p
:O
"
8 .9
p (p q) p
~ ( p q ) ~ p ~ q
~ ( p q ) ~ p ~ q
:$
.9 -$: 1 O 8$
8
8
:J $$ <$ : > Q p $ : )<
Q p
If p then Q
p K Q
pQ
T
F
T
T
Q
T
F
T
F
: Q p K$ $ %$ +# $ 5$ UA4$ $ %$ \ ]$
$#$ UA >( Q=T ) 9 3 -
& $ ; 4,688 ((<$ ( p=T ) 9 6 -
& $ ; 4,688 ((<$ .1
.( &- 94 ( 7: 9 T :#+) (pQ)=T 9 @##
$ "
$#$ UA >( Q=F ) 9 3 -
& $ ; " 4,688 ((<$ ( p=T ) 9 6 -
& $ ; 4,688 ((<$ .2
.(pQ)=F 9 @ J8 $ "
$#$ UA >( Q=T ) 9 3 -
& $ ; 4,688 ((<$ ( p=F ) 9 6 -
& $ ; " 4,688 ((<$ .3
9 2 " # >##
P * A: P
& %#$ : < $ " 9 &
"
Z 9 ; 9 2 $$ >" %9 J8$ ($ & ##
$ $ * A: %6
.(pQ)=T 9 $#$ UA D#
$
$ ; " 4,688 ((<$ (p=F) 9 6 -
& $ ; " 4,688 ((<$
Z 9 $# Z ^ $ 5$ ,5
.(pQ)=T 9 $#$ UA D#
$ " (Q=F) 9 3 -
&
(8
(8 <
7
<
7 =0
=0
>Or &- if then $ >
:$$ $ $ 9 2 (pQ) $ " ($ $
p q ~ p q
:$$ ;F$ $ >M$A D $
+ 9 &- ?"@ $# :
.Q $ 5$ (+) ~p $ 5$ ( &- ?"@ $#) _# ~ p q ;
: p +# if then /
$ -$: ; #
$
( &- ?"@ ) $$ /
$ 4$ p
J$ /
$
+ @A: &- ?"@ A:
:
$
$ #$ ; ( V (pQ) ~ p q $ $ $
p
T
T
F
F
~p
F
F
T
T
Q
T
F
T
F
~ p q
T
F
T
T
pQ
T
F
T
T
(pQ) ~ p q $ $ N >8I ( <$ $ %$ Y#E
(8
(8 <
7
<
7 =0
=0
> (8 <
7 ( >
>(pQ) $%&'(~ "! ) pQ) $ 5$ & ; >(pQ) $ " ($ $ :1 )<
:$$ $ $ 9 2
~ (p q) p ~ q
(pQ) 5
Z = $$ J8 P ##
P( * A: A: @J8 (pQ) $ " )<$
p ~ q K$ @ V
1 (
W (6$ 5$
C8 >8X P$( -$: (if then statement) $ " 5 (& '(& $ ; : Y#E
.if K @( 9 9( " $ " 5
Z 9 A$ + .2J
$%&'! ) +'
~( * Q~p) $ " & ; >(pQ) $ " ($ $ :2 )<
:$$ $ $ 9 2 >(pQ)
( p q ) ~ q ~ p
;J$ F P= %F >$ E$ @ V P C $ E$ ` 5$ 9
.$ " 2 ;<$ ;49 ` 5$ 2 ;<$
(8
(8 <
7
<
7 =0
=0
> (8 <
7 ? ,' >
:)Z< (if p then Q)$ " ($ $ :)<
:6 $ /
: *Y#E
@ $=5 A P& $ "
5$ $ " ,& 9 # C +
,& $ $ 9 Y#E (
.P
$ `
(8
(8 <
7
<
7 =0
=0
>B% (=C (8 <
7 (only if ) @- 5 8 >
< (p only if Q) Q A: p <$ > Q p 5$ ($ $ :)<
(if ~Q then ~p)
: ` 5$ 2 $ $ %(8 9
(if p then Q)
: Q p 5$ ($ $ :)<
: <$ (Q A: A: p) U" JF $ " )<
(p If, and only if, Q)
(pQ)
:K P$ 6
:$$ ; ($
F U" JF $ E$ $ %$
p
T
T
F
F
Q
T
F
T
F
pQ
T
F
F
T
p q ( p q ) (q p )
(8
(8 <
7
<
7 =0
=0
>(5 D: (8 <
7 >
Q p 5$ ($ $ :1 )<
:< (p is a sufficient condition for Q) Q K$ $ $ p <$
(if p then Q)
Q p 5$ ($ $ :2 )<
< (p is a necessary condition for Q) Q K$ %6E$ $ p <$
B* b$
B%<$ %$
B( $ %$
H
HF
F
.'((# @ *" #$ UA A8C (& ' &
c >
$ UA D
>*" #$ @4 @((& #
$
_# P ( x ) :;F .A8C 9 ; # $ $ %$ 2 # & ; #$ % ; & d <^
S ##
$ %$ & & < .##
P ( x ) ;< xS 4 < (& $ >D
& 2 5$$
.(##
P(x) _# D -$: x) x D P ( x )
. Q ( x ) S$ ##
$ %$ & -$: P ( x ) S$ ##
$ %$ &
& ; A: (Q(x)
,5 Q ( x ) P ( x ) ;
. $ (& P ( x ) Q ( x ) 6$ 4$ 6 Q(x) V P(x) 9 ;
.##
$ %$ &
IIFF
:;$ ' &
c <$ ' <c $ .D ;$ -
&
P ( x ) L5
x D , P ( x )
(P(x) # >D -$: x 4)
.D x ; ;9 # P ( x ) * A: ##
' <$ UA
.D & $
& ;I -
& (#
& ;9 # 1 P ( x ) * A: # 1 ' <$
:C
D = {1, 2,3, 4, 5} : x D, x x
2
x R , x 2 x
'
'
@
@
'
' $'
$' C#
C#
. 4 > 6$ <
x R , x 2 0 :;F
B x 2 0 $F P ( x )
x R, x 2 < 0 :;F
BD & $
& ;I -
& (#
& ;9 # 1 P ( x ) * A: # 1 ' <$
B x < 0 $F P ( x )
((<$ P< 9 ($ >2 ((<$ A8C 9 5 @ $ # ((& 2 9 ") J8 $ ' <$
.(@ 4
9%
9% II FF
# D -$: x ( ) x D , P ( x ) ;$ ( $ ' <$ A8C > D ;$ -
&
P ( x ) L5
.(P(x)
BD x SS$ ;I -
& '(# ;9 # P ( x ) * A: # ' <$
.D & $
& 2 ;9 # 1 P ( x ) * A: # 1 ' <$
:C
m Z , m 2 = m
E = {5, 6, 7,8,9} , x E , m 2 = m
9%
9%
@
@
'
'
.;I -
& (# ( > 6$ <
x R, x 2 = x :C
B P ( x ) # ;I -
& (# x ( ;# # P ( x ) * A: ##
' <$ UA
B x 2 = x $F P ( x )
x R, x 2 < 0 :C
B P ( x ) # ;I -
& (# x ( ;# # P ( x ) * A: ##
' <$ UA
B x < 0 $F P ( x )
.(5
$ /
9 P< # ((& 9 ( ") J8 $ ' <$
((2
288
IIFF
:<$ $ ' <$
x , if P ( x ) then Q ( x )
(# Q(x) = P(x) *# A: >x 4)
:@ 9 $$ ;$ -
& $ $ ' <$
x D , P ( x ) Q ( x )
(Q(x) # -$: ( P(x) # >x 4)
G
GFF
(
(
x D , P ( x ) x D , P ( x ) <$ $ ' <$ 5
:C
.# * >& $ $ *$ 2 :' <$
.# 1 >& $ ;I -
& '(# ' ( :' <$ 5
. x D , P ( x ) x D , P ( x ) $ ( $ ' <$ 5
:C
.5
>& $ ;I -
& '(# ' ( :' <$
.5
1 >& $ $ *$ 2 :' <$ 5
. x D , P ( x ) Q ( x ) x D , P ( x ) Q ( x ) $ ' <$ 5
:C
.# & $ $ *$ 2 #9 & $ A: & $ $ *$ 2 ; :' <$
.# 1 '$ #9 & $ _# >& $ ;I -
& '(# ' ( :' <$ 5
$
$
:
( ? .1
.L 1
( ( : *
($ 2
.;
e # ( $ ; :;# 4$ $ L<
.@ 20 ;9 - & # COBOL N L< :@ 20 F9 - & # COBOL N 2
. 6
. 6 1 ((& P< ;I -
& (# 6 D#
((& ( : 6 ((& 6 D#
((& 9 2
:
0 $ .2
D
: x 2 > 0 = x + $ D#
$ ((<$ 4
D
: x 2 0 = x D#
$ ((<$ 4
D
: x 2 < x # # ((& ;I -
& (
r = x Z , P ( x ) ;
s = x Q, P ( x ) ;
t = x R, P ( x )
.+$ -
& #$ (<$ ##
$ ((&I *& & R Q Z < _#
:# t s r _# P ( x ) g
. x2 0
(5
(5 8
8 D:
D: 8
8
:
($ # A: > s ( x ) ;9 !
K J8 (" x , r ( x ) ' <$ 9 ;
.0 s ( x ) $L5 30 r ( x )
@- 3 x
:
($ # A: s ( x ) ;9 D 8 (" x , r ( x ) ' <$ 9 ;
.0 r ( x ) $L5 0 s ( x )
@- 3 x
@
@
y < x E y ' 7N &' % 3?% x $ M
y < x >@ @((& y 4 ># x ((& ;I -
& (
@
@
(
(
x , y , P ( x , y ) @ V x , y , P ( x , y ) ' <$ 5 :
x , y , P ( x , y ) @ V x , y , P ( x , y ) ' <$ 5 :
:C
. y < x _# y ((& ;I -
& ( >+ $ x ((<$ 4 :
. x < y = y ((<$ 4 _# >x + ((& ;I -
& ( :(
.y +# x = y O8$ 4 # x O8 ;I -
& ( :
.y +#" x _# y O8 ;I -
& ( >x O8$ 4 :(
M
M 0
0 0
0
%
% N
N
7:
7: @
@
: ~ P ( 7:' .1
P
T
F
~P
F
T
: P Q AND 7:' .2
T
T
F
F
T
F
T
F
PQ
T
F
F
F
: P Q OR 7:' .3
P
T
T
F
F
T
F
T
F
PQ
T
T
T
F
T
T
F
F
T
F
T
F
(P Q)
T
F
T
T
(P Q)
T
F
F
F
(P Q) (P Q)
T
F
T
T
$
$
.0 '% , M ( ODN 3
OD# $ $ .1
(1) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )
(2) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )
(3) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )
(4) x D, ( P ( x ) Q ( x ) ) vs ( x D, P ( x ) ) ( x D, Q ( x ) )
:( $ .4
"#" Z#"=A :' <$ .a
"#" +"=B :' <$ .b
" #` <"=C :' <$ .c
:& Z &
B A B C .a
B A B C .b
B A B C .c
:($L5 ...@-) if-then 8 &' % '# .5
B< $ &$ ;C I 8C9 $ .a
B$ A P $9 (9 $ = ": '$ UA ;1
& + .b
B$ *
9 ": ) .c
:($L5 ...@-) if-then
' &- (@- 5) only-if
.6
BW8$ [ -49 A: W8 .a
.45JY *49 A: 6 +A .b
: % '# .7
[ ~ P ((P Q) (P Q))] (P Q)
:
>J 8 >(< E& >< E& >JF E& >+ E& >N($ $ >Wh($ >$ "
.,C$ ( + >,C$ '( &
:
.Wh($ $ *$X *$X $ " )< -
& ;
5$ A )<
: !"#
:-
& ;
5$ A +$$ )<
B< $ ((&I & )<
8$ 8$ *i
b$
BWh($ $
.J" 8$
'N
'N '%
'%
:(Giuseppe Peano) < $ ((&I & )< *
ib
B< ((& 5
$
B5
$ P
< ((& 9 ( "
B ((& >$$ < $ ((<$ ,5 4$ < ((& ;
9( ) & $ & $ * >$ ((& 4 < ((& ;$ 0 ((<$ - & & * # A:
.(W($
:R:
-$: )<$ *i
b$ 7(#: : ( _# >< $ ((&I & )< 7 9 $ ,8$ *
$
)<$ ;< -$: )<$ -$ I i
b$ : ( >;F$ ; -
< .< $ ((&I & $ V8 )< %(8
.'8I < I *
$ # $ 15$ & $ -
&
(5
(5 OS
OS
$"
$" @
@
:9 -
& >n < ((& 9 ;9 ##
P(n)
8$ 9 -
&
$
BP(0) ;9 ##
8$
P(n) P(n + 1)
((22)) T
T $'
$' E
E :: (5
(5 OS
OS
$"
$" @
@
:$$ $#$ _# $
A ( " P= >'
$ J '(# < >( < n -
& # (
(j
c b A: >n < $ ((<$ 4
.'
$ J 2 ": (
$
;9 4 $ >< n -
& # (
;9 ##
49 L5$ .n=1 ;9 ##
8$ UA
:< n+1 -
& # (
.'
$ J '(# < -
& # >( < n+1 @ 5$ @ (
($ 9 @A: L5$
S$ >'
$ J < (&9 # $ <$ >'
$ J 2 -
& ": #" (
$ A @A:
9
9 OS
OS
:9 -
& $ 5 >n 9 ;9 ##
P(n)
8$ 9 -
&
$
B##
P(0)
8$
:9 9 >n /
9 m 9 ;9 n ;9 ##
P 9 L5$
B(F -$:
.F -
& [ $ L5
$ )$8 n0 ;9 ##
P
8$ $
:C
-
& P5 -
& ": $ ; " A$ ((<$ $ I ((<$) .$ 9 ((&9 ( N + < ((& ; 9
.((# $
:U
:9 OS $"
B$ 9 ((& @ 9 2 n=2 ;9 ##
8$ :$" '7
:n + < ((& 9 ;9 :OS
@ /
9 ((& ; P
& >n @ /
9 + < ((& ; ;9 ##
8$ 9 L5$
B( $ Wh($ [m < n, P(m)] 6$ \ 9 9) $ I ((&I & ( N >n
B( $ Wh($ [m < n, P(m)] P(n) 6$ 9) $ 9 ((&9 ( ;
# n 9 -
& $
B$ 9 ((&9 ( ;
#$ n (& (# $ -
& P5 -
& ": $ ; $ P= >@$ 9 n A:
Bn /
9 p d _# n=d*p _# P5 & 1 & )
8 d % n M
>@$ 9 n %$ A: 9
.$ 9 ((&9 ( ;
#
?
? 7:'
7:'
:=C 7:
A B -$: $ *JF$ & J6 & 4C B -$: A JF$ E<$ )d<^ .& B A $
. A B = {(x, y) | x A, y B} _#
:
E<$ y S x 9 + 6$ JF$ E<
$ 6
(x, y) 9 xy
< $ ((&I & -
& ((&I $
E& :C
:$$
FI ($ P
& .y -
& $ ; x A: ( xy 9) y 2 (
$ ; : ) E<$ @ x
6 2, 9 3, 20 5
(=D%
(=D% ?
? (
( ?
?
:
# A: A:
+ E& E & $ -
& +$ E&
x, y E, xy yx
$
$
BE & $ 69 & P(E) $ >& E $
: # E& P(E) -
& #" E& 9 .1
xy xy
(y 9 # (5 x
@- 5 @- y V x)
l;
& >J6 9
+ E& E<$ UA ; .2
:U
B(< 'Y 1 >< E& .1
.J6 + .2
9%
9%N
N ?
?
&'
&' ?
?
B( 9 A $
_#)
_#)
u=u1u2uiun
$
$
B( v1...vi ...v n A
:
# ;8 v
$ (Prefix) ; u
$ 9 ;
nm
u (is Prefix) v
1 i n, u i =vi
B
m _# v=um >8X -<
1
1
'%
'%
9 9 > 9 /
9) + E< '( 6 * A: (E, ) 6$ 4$ 6 b 49 E & $ & ;
.( 9
.5
8 2 1 E<$ * A: >5
8 49 (E, 2 ) (E, 1 ) b$ & $ 9 ;
:E b$ & $ J6 & E $
Bm /
9 E
& 9 A: A: E &
$
<$ ( (#$ P9 E m
& & ;
Bm 9 E
& 9 A: A: E &
$ ($ ( (#$ P9 E m
& & ;
$
$
lE &
$
<$ ( (#$ 9 E &
<$ ;
.E={2,8,23} &
$
<$( (#$ 23 (N, ) ;F$ ; -
< >%< :;
e #$
lE &
$
<$ ( (#$ E 9 E & 5
8
<$ ;
< y<x x<y (& >E -$: E E &
$
<$ ( (#$ y x ; = >E :;
e #$
.x = y 9
l4 E * ;# (2 ) $
8$ V 9 / ;
.E :;
e #$
l
+$ E& * ;# (2 ) $
8$ V 9 / ;
.E :;
e #$
&N
&N
&'N
&'N
.E &
$ ($ ( (#$
&
& >E & $ -$:
& PC E &
$ -(I (#$ )f<b
.E &
$
<$ ( (#$
&
& >E & $ -$:
& PC E &
$ -(I (#$ )f<b
:
.-
&9 @(# 23 >-(9 @(# 6 (, ) E=6,8,23 & $
9/0N
9/0N 0
0 (R'N
(R'N 0
0
:
# A: E Y&9
& P9 E m
& & ; .E J6 & E $
y E, y m y = m
:%
.&
$ (# $ Y&I
<$ -
&I (#$ A = >-
&9 @(# E &
$ A:
:C
,T
,T %
% ?
? ,T
,T %
% '%
'%
(Well-funded Set & Well-funded Order)
; 4 $8 1 J6 & ; * A: A: ,T % '% 49 (E,) E & & ;
&
$ %$ A: ,T % W & $ -
& )f<b$ +$ >$ .@ /
9 @
&
<$ J4"
:C
. (P( ), ) 6,8,23,42 , 8,23,37 , 6,8,23 & $
'N
'N '%
'%
:& 4C )<
B& $ /
I
<$ ; A$ 5
$ -
& #
,T
,T %
% <
<
:E & -
& ,C$ '(
& $
B ,C$ ( + '( 6 E 9 +
BE /
9 y
& ; ;9 P(y) ^# o
.# P(x) >z<x ; ;9 P(z) *# A: o
(=
(=
.E -
& *
<$ & W $ >E & $ J6 & B $
( #" -< ) E J6 X & /
9 PC >W f<b$ *
<$ %(8 B S$ J" E1" )d<^
:#
BB # X
((
&&- '
' $
$)) (=8
(=8
:$$ ;$ f <b $ Bi $$ -
& @(& X & $ :
B0 = B
Bi +1 = W(Bi ) Bi
:C
IN )<
B$ I ((&I & = ( B0 9 B & $) '(&$
.< ((& ($ =(W 7 # 9)
<$
(('
' &&-
$
$)) (D
(D
.(B,W) 8$ < X $
:A: A: X -$: x .
& & _# X )<$
BB S$ x
x = : _# X
& (x1,x2,...,xp) ;c<b p A8C W & $ f<b$ *
<$
& w ( o
w(x1,x2,...,xp)
_# (x1,x2,...,xp) *E<b$ w
<$ (: >X
& (` 6E$ $6$ ;
#$
& <
$
.X @
& w(x1,x2,...,xp)
(=
(=
$'
$' XX C
C
.4 ( 9 A $
:$$ J" 8$ f<b$ *
$ $81 & A+ $
BA+ @
A ( I )# ; :'(&$
,7N
,7N /
/ !
!
.{(,)} ( I -
& @(& 6 , 9 %(8 & $ *
$ & LP $
:LP )<$ $$ J" 8$ %(8$
B$8$
$ -
& #$ & $ :'(&$
: $ &
Q
Q (=
(= !
!
B(B,W) J" 8$ f<b$ E & $ $
: f : E B :f 2 )<
BB b ; ;9 f(b) )<
:C
:)d<^
factorial(n+1)=(n+1)*factorial(n)
:
B& % >2 >[ >$8 & >&
:
.4 'F$ ; <$ 'F$ M$A >( ;
# 9 * : &: >&" 9 (
" ;J$ . F > "
.4
#$ ( 9 2 &: ;J$ UA ;F 2 ;<$ *"#" %
& (& *Y
.4
& I *
<$ ,( >*"#" ( $ *& $ n( '(# $ UA ,(
: !"#
:-
& ;
5$ A +$$ )<
. *8
'%
'%
S/
$ '( +E & & %
E
@ F .((#$ )<$ *A
<$ ((& 49 -
& & $ )f<^
.;
5
<$ ;
5 .& $
& <b$ , I ((# _# >< 4 3,4,5
.5 4
<
$ $ ;#$ M$A .` 6 ' <
$ 6 {3,4,5} & $ -$: 3
<$ 9 ;
.` %(& 6 ' <
$ 6 {3,4,5} & #$ -$: " >8
<$ 9 ;
.D -$: 3 D -$: " 4 :; " E& %(8 3 7 8 5$$ & $ D
'%
'%
S$ * S
($ & 9 ; $ E
@ F . 4$ 6 $8$ & $ >
& 9 # " $ & $
.@ 9 $8 & 9 3 %4$ o
A$ O8I & $8 & '#$ ( -
& *$6"
S @(# @
& # & $ UA4 {0} 9 0
<$ # $ & $ $8$ & $
8$ + " :P
.5
$
{0}
0
$ 0 {0}
'%
'%
:;F
<$ ,5 # (& 49 & & ;
{6,7,5} = {5,6,7} = {7,6,5}
.@ 4 ,$ & $ , 9 ;8(
<$ + 9 Y#"
1 & $ 9 ; '/$ $#$
{5,6,7} {5,6,7,8}
=D%
=D%
'%
'%
:$$ & $ A8C$
B={2,3,4,5,6,7,8}
A= {3,4,5,6}
.B -$: A
& ; A: B J6 & A & $ 9 ;
- & #" 6 %(8 M$A + B 9 ' # A & $ 9 ; B J6 & A * A:
:;$
A B
45 J6 & & 9 :
A A
& 9 J6 & $8$ & $ :
A
:P
>A & $ -$: a
<$ 9 ; ) a A & @
& $ " E& 6$ $
5$$ & $ 9 ; ) {a} A $ a A + " _# >789 & & $ #" E&
(A & $ ' # a
<$
'%
'% $
$ =D%
=D%
'%
%<
"
"
%<
{b}
%<
"
{a}
{a, b}
{c} {b} {a} : "
# %{ (' a,b,c} 5$$ & $ ;9 ;<$ ,5 %$
. {a,c} {b,c} {a,b}
$$IZIZ
:p *8 &( *8 & 4
F % *& $ 2 ;<$ ;4$
A B
J ($
.(*& $ %#
& $ 2 $ ;8( #$ ;F
U <$
A B
'%
'%
.<$ & $ & $ [ (& B & $ % B 9 ;
< :C
U = {1,2,3,4,5,6,7}
B = {3,4,6}
B = {1,2,5,7} _#
U & $ u -$: u & $ %
U = _#
Y%
Y% Q
Q
A B P$ 6 B A & $ 2 )<
B A $
<$ & PC
B
A = {1,2,4,5,7}
:C
B = {2,4,5,7,9,11}
A B = {2,4,5,7}
:C
A = {9,15,25}
B= {1,2,4}
A B = _#
5 & B A
'( $
<$ 5$$ & $ PC > A B 6$ P$ 6 >& [ )<
.@< 4
9 B 9 A
:C
A
B
B = {3,5,7,9}
A = {1,3,5}
A B = {1,3,5,7,9}
'%
'% &'
&'
:
;F$ A 9 _# >'(&$ UA -
& @(& 4
F ` = > '(& 4< & $
& 9
. '(& 4< x _# x
<$ & >A & $
:
*& $ -
& *
<$ )d<^ 9 ;F$ A %(8
:<$ & $ u & B A $
:
A &
$ $ A & $ )d<^ .1
x A S$ " x _# x
<$ & A &
$ $ A & $
U S$
:
B A & $ 2 )d<^ .2
B S$ x A S$ x _# x
<$ & B A & $ 2
:
B A & $ [ )d<^ .3
x 9 B S$ x 9 A S$ x _# x
<$ & B A & $ [
Y%
Y% 0
0
((& 9 L5$ .y 4<
& ((& 9 < & $ 9 L5$ B > A & $ A8C$
> x (B -$: " 9) 2$ -$: " $ A
&
z (A -$: " 9) 2$ -$: " $ B
& ((& 9 L5$
B
z
x + y + z A B & $
& ((& 9 N
y
x
(x + y ) + ( y + z ) y
& ((& P g B & $
& ((& P$: ) A & $
& ((& A B
& ((& 9 9
.& $ 2
:+ S & $
& ((& -$: A$ n(S) 6$ %(8
n( A B ) = n( A ) + n( B ) n( A B )
:C
-$: %4 +E 7 >6
` /
$ '( # -$: %4 +E 5 %( >*#" -$: +E 10 5$ & %(
-
& (# # -$: ( '<$ +E$ 9 @
& (# X #" -$: %( @ $ % +#$ .
<$ '( #
.;I
/
$ #" ( A$ +E$ A & $ L5$
["
8 +#
n (A B) = n (A ) + n (B) n (A B)
10 = 5 + 7 n (A B)
$$
n (A B) = 2
$$ZZ
&'
&'
:$$ NJ$ 4 $ $ [ 9 <$ @
8 60 -
& 9 9 [E Z
# $ @
8 19
$ @
8 18
B
R7
R6
R2
R1
R5
R3
R4
C
(R1) $
F 8$ -
& % 13 %((& A B
F # $ %($ ' A$ O8I ((& :
.O89 4 (R2) $ - O89 9 # (R1) $ 9 ( 9 >(R2)
.O89 < 9 # (R6) $
8 # (R4) $ 9 N 9 $ ,5
.@
8 19 # (R7) (R6) (R2) (R1) $ 9 9 # $ @
8 19 9 -$: *<$
.
8 # (R7) $ 9 N $$
.O89 3 # (R5) $ @
8 35 # (R3) $ 9 N $ ,5
._EF$ *$ 9 , " (# O8 ($ $$ @
8 59 ( C B A O8I ((& < @A:
.((R3) $ ) %($ ' @
8 35 9 ( 8$
.((R6) $) 4 %($ ' " $ # $ A$ O8I ((& 9 ( 8$
_(#$ % 45
$ _(#I > #$ _(#I >'(I _(#I > $ _(#I
&-
>1 =>
+ +# O8$ A 2 . '$ 25 4 ; F ( 4 +
-$: ;8( @
8 9 L5$
. 4 25 ( P<( P
&
&: ; # ; >4 9 [ 9 ' ;E8 >4< $ ($ ((& ( @ ((# 9 2 " $ +#
9 ":
.J 6$ +
@
< @ J & ((<$ A - _# ((<$ A4$ (
((# ; # 9 9 >;#" % 45 %(8 J & Y $ * $ ;J$ *"#$ UA ;F
'(# $ UA 4( (& ,9 & ;#
$
#$ $
&-
>2 =>
S $ NJ$ & >$ # ($ 4 ' ; >* '(& ($ # % 9 L5$
: <$ UA .<$ $ # ; (< 4
& ;
# 9
S = {1,2,3,4,5,6}
:;F$ ; -
< .<$ J6 & 9 @F(# &(
E1 = {1,3,5}
:$$ & $ < (( ((& ($ # ) :_(#$
E 2 = {2,4,6}
:$$ & $ < ( 6 ((& ($ # ) :_(#$
E = {1,2,3}
:& $ _(#$ A < .(4 ($ ) _(#$ & _# 9 L5$
EN
'% &'
F 9 E ;
# (& E F _(#$ -
& ;
#
:C
: $$ _(#I )Z< .%4 ;& 8 %$ 2
;& & A8C$
@ & 20 /
9 8$ ;<$ & : E
L 9 8$ ;<$ : F
-F9 8$ ;<$ : G
:$$ _(#I )< ; #$
: E _(#$
.@ & 20 9 9 8$ ;<$ & C Z < A$ _(#$ P9 9 E S$ %$ _(#$
: E G _(#$
."-F9 P9 9 20 /
9 ;<$ &" _(#$ P9 9 G 9 E ;
# & Z< A$ _(#$
: F G _(#$
EN
.
F(# (# X E
# 9 " F(#
. $ -
& ;
#$ E 2 _(#$ ]$ -
& ;
#$ PC E1 _(#$ )Z< ( < E
@ F
.(# X ] -
& ;
#$ " PI F(# E 2 E1 F(#$
.$8$ & $ 4< < (&
E F F(#$ %& ;
P(E ) P$ 6 E _(#$ _ (# ;# )d< >J
<$ 2 P S & ;9
:;F
: S = {1,2,3,4,5,6} : $#$ UA <$ .($ # ;F -$: (<$
E1 = {1,3,5} & $ (( ((& -
& ;
#$) _(#$ & <
n (E1 ) 3 1
= = ( ((& -
& $
# ;#
n (s )
6 2
E 2 = {1,2} & $ (3 @ /
9 ((& -
& ;
#$) _(#$ & <
n (E 2 ) 2 1
= =
n (S)
6 3
$ ;#"
6 E&
<$ ($
+$
$
n (E F) n (E ) n (F) n (E F)
=
+
:(
n (S)
n (S) n (S)
n (S)
.& $
& ((& & n < _#
n (S) -
& ' $ UA %$
n (E F )
)<$ &(
n (S)
P(E F) = P(E ) + P(F) P(E F ) :$$ F(# [ ;# '(& W >$$
E F _(#$ ;#
:C
'
9 9 # $ 9 ;# +# +1 ( 52) +<
$ +# 9 L5$
P >('
+#) _(#$ %Z$
(E F) ('
9 # +#) :_(#$
P(E F) = P(E ) + P (F) P(E F) :[` ;# '(& +# $$
: P(E F) +#$
>( n (E ) = 26 9) +<
$ # 26 ($ 9 ># +# ;# -
& ;( P(E ) 9
n (E ) 26
:
P(E ) =
=
n (S) 52
P EUF
)=
26
6
+
52
32
=
52
8
=
52
13
'7
. E E = S # A$ _(#$ P9 -
& E %$ _(#$ > E _(#$ $ &
E E = :@A: > F(# E E F(#$ $
P(E / F) =
P(E F)
P(F)
:E<$ -<
. F _(#$ ;# F(#$ 2 ;# $ >2 ( F _(#$ 9 L5 E _(#$ [ ;# :
:;F
$#$ UA <$ 9 L5$ . 9 ] $ ;Z C $ ( < % L5
: ($ *"#$ )
S = {(] ]) > (] )> ( ])> ( )}
1
: _(#$ A ;# .(-$ I $ -
& ;
#$) _(# F _(#$ $
2
.($ -
& ;
#$ -$ I $ -
& ;
#$) _(#$ E F _(#$ $
1
P(E F) = : _(#$ A ;#
4
: F _(#$ [ L5 E _(#$ [ ;# >P
&
1
1
P(E / F) = 4 =
1 2
2
P(F) =
<% '7
P(F) 0 P(E ) 0 _# F(# F E L5
P(E | F) =
P(E F)
P(F)
:;F
3
2
# )
* $$
5
5
.6
` /
$ ,( $ -
& 8 2 9 ;# >J & ; +E$
(#9 8 ;# .6 ` / $ ( * $$ 25% 9 % < >+E$
P ( E F ) + $ ;#"
:*<$
.F$ [ ; I _(# $ $ ;#" + F$ _(#$ ;#
P(F | E ) = P(F )
P(T | S) = P(T )
9 % <
D 7:'
& 8( PC @
& J$ O8$ +
9 ;# *&9 O8I & -
& *9 $ *($ 9 L5$
+
S PS9 @
& @ J
& 8( O8$ 9 ;# <
& + _# $ '(J5$ P9 L5$ .@ J
P(E | F) %
< A: P(F | E ) < $ ; >8X -< .J$
: F E F(#$ $ PC ; A:.6 E& &( E& %(8 A :
P(F) P(E | F)
P(F / E ) =
P(F) P(E | F) + P(F) P(E | F)
F
F
:C
(& _(# [ ;# 9 0.1 W` 8 -
& ;& V8 9 ;# >'((# 6 ' ;9 P9 L5$
@
& @ J8 ;<$ 9 ;# .0.2 C8 M " (& _(# [ ;# 9 0.3 C8$ A ;
#
.2 ( @F(# 9
($ $C$ *<
(;<$ C89) _(#$ F L5
:6 E&
P(F) = 0.1
P(E | F) = 0.3
P(E | F) = 0.2
P(F) P(E | F)
D 7:'
: >-F -F 4< ' _(#9 F1 , F2 ,......Fn L5
P(Fi | E ) =
P(Fi ) P(E | Fi )
P(F1 ) P(E | F1 ) + ..... + P(Fn ) P(E | Fn )
(+$ (#9 @ 8 I) *8 4 ($ - F$ +$ ;9
P = 5 4 3 2 1 = 120
5! 6$ $#$ UA P$ 6
<$ ($ ($ A
:
& n U n! P$ 6 < ((& n _# n ((<
$
<$ ($ %& ; )Z<
n!= n (n 1) (n 2) ..... 3 2 1
UA @
& n # &
& + 4 $ $ ((& &
<$ ($ Z <
.& $ ;( $
:C
: {1,2,3} & $
& +$ 6 (
3! = 6
.(3,2,1) > (3,1,2) > (2,3,1) > (2,1,3) > (1,3,2) > (1,2,3)
?
+ FEF 2 $ $ $ ((& >)$ -
& 8$ +$ + FEF 2 +1 9 L5$ +$ ;F -$: (<$
l)$ -
&
: $ ((& 9 9 ._$F
$ 3 F
$ 4 >; I +
$ *"# 5 ($ $#$ UA
5 4 3 = 60
Pnr =
n!
(n r )!
:;F
+ FEF 2 $ $ $ ((& >)$ -
& 8$ +$ + FEF 2 +1 9 L5$ +$ ;F -$: (<$
l)$ -
&
:N P r = 3 n = 5 :($
P53 =
5!
5 4 3 2 1
=
= 60
(5 3)!
2 1
lA4$ $ *"#" ((& .(
I (#9 -$: 8$ +$ + FEF (: ( 9 L5$ >+$ ;F -$: (<$
S8 9 < A4 % + ;$ 6 A: $ ."
@ # 60 9 @ U( -$ I
$ <$ ` (
.%4 1 +$ + I $# D#
1 A 2,1,3 +$ 8 V " 1,2,3 +$
6S $
<$ + '& (
& n & @
& r 8" $ ((&
r n
& n
& r S$ $ ((& C ; . C nr 4$
n!
C rn =
(n r )!r!
4!
(4 2)!2!
=6
4!
= 12
(4 2)!
(5
:Q Y
:
>)
>< $ $ >;#" [6 >J <$ ; #$ >JF$ +$ >JF$ ;#" > >+
.;" 5
6 [< >Yb$ ;" 5
:
-
& )Z< %Z F *"#" +# $ +$ %(8 5 -
& )< _# *"#" ( >'(# $ UA 2
.* $ L< )
J <$ ; #$ ,( JF$ +$ % 45
: !"#
:-
& ;
5$ A +$$ )<
$ +$ -
& *
) ;E
?
?
?
?
8X +$ >"
@ 9 @6& $ +E$ (#9 8 Z($ UA ( >% > >%$ :+E _EF - d( 7($
.($ 9 2 )6< _$F$ 9 .@ F @ 6& $
. I 2 )6< %$ -
& F )6< % -
& ,; 9 )6< -
& 8 2 9 ;# "
@ 9 +#$
> I 2 )6< - & F )6< %$ - & ,; 9 )6< % - & 8 2 9 ;# \ +#$
I 2 )6< %$ -
& F )6< % -
& ,; 9 )6< -
& 9
& (%$ ,% ,) FEF$ 9 >( ,%$ ,% ) FEF$ 8 %9 # $C$ UA
.@ 4 '8b$
<$ + _# >@9
& FEF 5$
P& ( A$ _(#$ P33 +$ (<$
& ((& 9 ) 8E$ Z
$ $ ((&
:9 FEF$ [ ;# +# $#$ UA .FEF$ 7(#: 8
.2$ < 9 S$ % 45 +$ < ;#" S$ % 45 m J( (5$ P9 Y#" .2
5
5
P
? P
?
,8 -
& +&E$ ;
# 9 ;# ,+&" ;$ 9 ,8 26 % > 52 )$$ +<
$ +<$9 (#9
l" " 9
> +$ %4 " _# > 52 9 ,8 -
& +&E$ ;
# 9 4 A$ $ ((& :
: C 552 $
!52
= 2598960
!5!47
= C 552
5
C13
!13
= 1287
!5!8
5
C13
=
1287
= 0.00495
2598960
5
C13
C 552
= ) P(E
(=C
(=C
=C
=C ?%
?%
;# & _# $ * F ( < ;F >* 'Z(& $ ,5 *"#" ;J F$
.$ *$ P
: ;# )( -
& *
6 9 >* 7 ] -
& ;
#$
$ S +S +S$ S [ S$ AS Z E
@ NJ$ ;F @ # NJ$ L< ;F +$ UA ;F
).JF$ +$ 9 (Bernolli
:$$ OJ
8$ JF$ +$ 6
.* 'Z(& 45 $ 1
.";" "g" :NJ$ & M 2
. ; P5 ;5$ 9 g$ ;# -
'$ +$ 3
=C
=C ?%
?% (5
(5
?
?
.,8$ *$ (1) %$ -
& ;
#$ ;# +# ; #$ $ * 5 ($ # %c $
;
#$ @# (1) -
& ;
#$ ;F * 5 $ % _# JF$ $ $C$ UA #
1
P(E ) = P(1) P(1) P(1) P(1) P(1) =
6
1 5
P(F) = 5 = 0.0032
6 6
=C
=C ?%
?%
>>
.1 P $ UA ;5$ ;# >.JF . *" # 7(#: g$ ;# ;F P L5
( )
: > P E nx P$ >; n x $$ g x _ (# ;# $ UA $ # n S A: 9
P(E nx ) = C nx P x (1 P) n x
:;F
* _EF >2 % -
& ;
#$ ;# >($ (&
:-
& ;
# n = 5, x = 3 _# $ E<$ %(8
3
1 5
P E 35 = C 35 = 0.0032
6 6
( )
(=8
(=8
OS#5 9 (S< >)S %ES" & ; $ 9 > # 12 @ 5$ @( *
*$ 7(#: : L5$
.' * _EF ( >*$
$ ' $ *$ ((<$ x S 6$ >*$ UA O#5 * 2 9 5$ & A89 ( ; $ A 9 L5$
.J <$ ; #$ :*" #$ [ $ A &( 0,1,2,3 %$ x ; #$ A8C 9 .<$ (
. ; ; @# @((& < 2 P9 -
& J <$ ; #$ )d<
:;F
<$ ' * 3 ($ C @
& * 4 & ' -
& F<$ %(& ;# +# %$
. P(x = 0 ) +
$ ;#" x=0 $#$ UA . 12 )$$
.9
* 4 ' * _EF ' 0 8 P(x = 0 ) ;#" <
P (x = 0 ) =
C 30 C 94
4
C12
14
55
<$ ' * 3 ($ C @
& * 4 & ' -
& F<$ ;# >$ ,5
: 12 )$$
P(x = 1) =
C13 C 39
4
C12
28
55
' * 3 ($ C @
& * 4 & -
& F<$ ;# >$ ,5
: 12 )$$ <$
P (x = 2 ) =
12
55
' * 3 ($ C @
& * 4 & ' * _EF -
& F<$ ;# >$ ,5
: 12 )$$ <$
P(x = 3) =
1
55
C 0n = 1 0!= 1 :P
YD
YD
:
$ $ ( $ NJ$ 2
x
P (x )
0
14
55
1
28
55
2
12
55
3
1
55
.;#" [Z6 ; ( :; $ ;#" 4 #$ J <$ ; #$ % 2 A$ ; ($ -&(b
+ @( )5 ; )
8 9) (# $ >J <$ ; #$ %$
$ >*"#" 2 ;
# 9 +
14 28 12 1
, 3,
0, , 1, , 2,
55 55 `55 55
(=8
(=8
7
7
x1 , x 2 ,....x n n A8C 9 A$ x J <$ ; #$ L5$
P1 , P2 ,.....Pn %$ UA -
& ;
#$ *"# 9 L5
_# E(x ) $ 4C J <$ ; #
$ < $ $ )Z<
E(x ) = x1p1 + x 2 p 2 + ..... + x n p n
:;F
: $#$ UA x J <$ ; #
$ < $ $ : .*$ & ;F -$: (<$
14
28
12
1
E (x ) = 0 + 1
+ 2 + 3
=1
55
55
55
55
<9 A: .<$
1
9 .5$ '(# %E" )
$ )Y $ ( >* 4 & >@ P9 9
4
.5$ * 3 ($ 12 ;
9 I A 9 ( >$
=C
=C ?%
?% (5
(5 (=8
(=8
7
7
: JF$ +
$ $
;
NJ 2 $ ((<$ ($ E(x ) J <$ ; #
$ < $ $ JF$ +$ ;9
E(x ) = nP ; g$ ;# g$
:;F
9 L5$ ._` % 1993/1992 %<$ F$ '(4$ #$ 79% =
<$ *J4$ *J
#: -$: (
.# 5 @ J & 8
.O89 ,8 5$$ <$ UA _` ((& ;# [6 +# .1
.(<$ _` ((&) J <$ ; #
$ < $ $ +# .2
9) 0.21 ;5$ ;# 79% g$ ;# 4 JF $C 49 ( $C$ UA 5$ <9 A:
(1-0.79
:JF$ +
$ $ @ U( +# ($ ._` ((<$ ;F$ J <$ ; #$ x L5
P(x ) = C nx P x (1 P )n x
P(x = o ) = C 50 (0.79 )o (0.21)5 0.0004
E
@ F
x
P (x )
:$$ [6 $ ; ( 4< $ x S$ 5
8$ %$ *"# ( $ ,5
0
1
2
3
4
5
0.0004
0.0077
0.0578
0.2174
0.409.
0.3077
:( J <$ ; #
$ < $ $
8$ E<$ %(8
!
!
$ $#$ 8X ; 9 4 $ $ $#$ $
< _# + '(< % 9 L5$
.)
+$ [ $ A &( . $ *"#$
< " $#$ $#$
<
;" 5
&( 5
%(8 >789 $# -$: $# ;" *"# ;F ) ;E ;F$
:C
.(2) (1) 6 $ 4$ 6$ >+F$ 2 $ >'/
'(
+F $ >(1) $ $ '$ +F$ 7 ( > 6 '( & ;# 9 >*9 $ $ *( *
+F $ (2) $ $ '$ +F$ 7 ( 6 '( & ;# 9 >0.8 $ ,5 789
.0,35 $ ,5 789
6 +A ;# >+F$ 4 7 $ $ '$
< $ (#9 -$: 6$ +A ;# 9 L5
$ '$ 7 ( 6 +A ;# 1 0.8 = 0.2 (2) -$: >(1) $ '$ 7 (
1 0.35 = 0.65 (1) -$: >(2)
0.65
0.35
$#$ 2 $
$$ 2 $
1
2
1
0.8
0.2
2
0.35
0.65
$# -$: $# ;" ;# <$ (& ;" 5
4 5
; -
& $ ; ($
.789
(1)
( 2)
0.2 (1)
0.8
A =
0.65 (2)
0.35
.A (1) $#$ $#$ 9 @
& (1) $#$ -$: ;" ;# < a11 = 0.8
<$ 9 < A
P
P 50
50
$D
$D Y
Y8
8
.@ &< >@( & n @(# @ # 5
; &(
.Y P 9
.$" 5
$ *"#$ 7($ ; ;#" 6 $ [< ;F
:C
;" 5
_# , E$ ;F 5
$ 6 $ [< ( $
0.8 0.2
A =
0.35 0.65
V A = V ($ V 6 $ [< )< +#
(x, y )
0.8 0.2
= (x, y )
0.35 0.65
(0.8x + 0.35y,0.2x + 0.65y) = (x, y )
:$ 4 $(<
-
& ;
#
V = (0.64,0.36 ) 9 9
0.8x + 0.35 y = x
0.2 x + 0.65 y = y
x = 0.64
y = 0.36
0.64 (1) $ -$: +A$ ;# , E$ -$: *6$ > n >@( ((& ;9 :$$
.0.36 (2) F$ $ -$: +A$ ;#
.I * /$
: 5$ G = (V, E, ) FEF PC (4) Pf 1 )d<^
.(m&
b 9 , &( $
<$ V 4 &
(a, b) +mb 1 W 6 e 2 ; ; 2 U &( >V - & mb $ *JF$ & -$: E 2
V = {v1, v 2 , v3 , v4 }
E = {e1 ,e 2 , e3 , e4 ,e5 , e6 , e7 }
v2
e5
v3
e2
e4
e3
e1
v1
u(e)
v(e)
e6
e7
v4
e1
e2
e3
e4
e5
e6
e7
v1
v2
v1
v2
v2
v4
v2
v4
v2
v3
v3
v4
v3
v4
.2 $ $ $ # 2 ; ;F $ (& '(& ; 2 $
]% $
: 5$ G = (V, E, ) FEF PC (P) Pf )d<^
.(m&
b 9 , &( $
<$ ( | V |= n _#) V 4 &
.%4 $ J4$
> &( $ V -$: $ (<$ (u(e),v(e)) +mb W 6 E %4 ; ; 2 U &( 2
.e %4$ )9
)$ b >%4
$ J( $ )$ a 9 ; >v(e)=b '(<$ -$: u(e)=a '(<$ ( e %4$ ;#
B%4
$ J4$
V = {v1, v 2 , v3 , v4 }
E = {e1 ,e 2 , e3 , e4 ,e5 , e6 , e7 }
v2
e5
e1
v3
e4
e6
e2
e3
v1
e7
v4
u(e)
v(e)
e1
e2
e3
e4
e5
e6
e7
v1
v2
v1
v2
v2
v4
v4
v2
v2
v3
v4
v3
v3
v4
.4$ -# ( $ ( P # %4 ; ;F $ (& '(& ; 2 $
.6 @49 >*4$ ,5 >*( $ ,5 4$ $ %4I &(
.6 4 (,<$ F$ 4 ; I ( _#) <$ 4$ <b"
F
.(, $ W 6 ,5 4$ [E9) '$ [EI *
#$ ;
. 8 A: P9 & ;
* $ 2$ $ # 4< $ NJ$ %Y< >M$A 2 >4( $ *"#$ $1 * $
.*
#$ '$ [EI ( g$ : -
& (C
$ $ * $ & #I L< %
$ .4$
A$ (+$ 1 9 +$ ) , $ 9 (<$ W 6 ((# & , $ 9 ( $ $ 2
; ((#
.P4 <
W 69 & & E , $ & & V d< _# G = (V , E ) JF$ @ $#$ UA 2 $ ;F D
.(P4 ;F 2
;) [EI *4
:C
]_% A $
]_% $
%
:+ G L5
.v ,9$ $ ([EI) %4I ((& 4C > deg (v ) 4$ 6 $ v ('(<$ 9) ,# % )<
:R:
.,9$ ( +# (& 2 S %
# ; = >*
# '(& 9
# ,9
$ A:
:PZ + G L5
.v ,9$ & '(
$ %4I ((& 4C > deg + (v ) 4$ 6 >v % ,# % )<
.v ,9$ (& 4 $ %4I ((& 4C > deg (v ) 4$ 6 >v ,# % )<
:R:
]% A $ C
50
:* 5
$ & P 1 9 ;F
% 50
: $ , 5$ 9 4(&9
$
F$ 9$ ;
2
M A: ( & 2 & $ 5
$ 8 1 $ 2
.( <$
$
F$ 9$ ;
2
M %$ A: ( & 2 & $ 5
$ 8 0 $ 2
.( <$
:C
0 50
:[EI & 4(&9 d<^ # > $ , 5$ 9
.2
$ ,9$ A: (2
) ( & (,9) 2 & $ 5
$ 8 1 $ 2
.2
$ 1 ,9$ A: (2
) ( & (,9) 2 $ 5
$ 8 0 $ 2
:C
0 50
:%4I & 4(&9 d<^ # > $ , 5$ 9
.,9$ -$: ( %4$ A: (%4) ( & (,9) 2 & $ 5
$ 8 1 $ 2
.,9$ W8 %4$ A: (%4) ( & (,9) 2 & $ 5
$ 8 -1 $ 2
:C
$ CGF
50 0
. 5
>FI -
&
# ,9 9 (& P$ 9 Pf 1 +ib ;F .1
:C
0
1
B=
0
1
0
1
1
0
1
0
1
0
1
1
.;
5
>*
# ( (Pf 1 9 Pf ) +ib ;F .2
:C
1 0 0 0 0
1 0 1 1 1
A=
0 1 1 0 0
0 1 0 1 0
. 5
>FI -
&
# ,9 9 (& P$ 9 Pf 1 +ib ;F
.1
.;
5
>*
# ( (Pf 1 9 Pf ) +ib ;F
.2
.3
& E (W
:C
G $
6 G $
J6$ G $
A$ G $
G $
G $
6 ;
J6$ G $
G $
: G = (V , E ) 9 L5
& E (W
: :M^% A
>
0 ! >
:'(< 4 '(< 9( >[EI (<$ $ 4C )d<^
C = ( u0 , f1 , u1 , f 2 , u2 ,......, uk 1 , f k , uk )
where (ui V , i ) and ( f i E , i ) and ( f i = {ui 1 , ui }, i )
.4$ ,5 P$ @ <
;I -
& #
4C )d<^
. '(# '$ 4 '(& *4Y A: # #$ 9 $
C = ( u0 , f1 , u1 , f 2 , u2 ,......, uk 1 , f k , uk )
where (ui V , i ) and ( f i E , i ) and ( f i = {ui 1 , ui }, i )
.( 4 P$ @(# @4 ;I -
& # 4C )d<^
. '(# '$ P ,9 ; 4Y A: (# ('($) $
7:'
:$$ P $ 1 +ib$ $ ($ $
G = (V, E, )
.G $
$ E<$ & $ $ ) 5
((#
:C
: * $$ ;$ 'Y$ C3 C2 C1 * $ )$
(;I - & 4( ) ( ;# (<$ W 6 - & f<b C E& $ (& W 69 - & )d<^
.W 6$ (&
.(< >'Y ><: 4I E& $ E<$
. $
$ E<$ & $ $ ) 5
((#
. '(# < )$C $ A: A: P9 & ;
G = (V, E, )
vi CF v j
.G $ 7
$ E<$ & $ $ ) 5
((#
4( ) ( ;# , $ W 6 - & f<b FC E& $ , W 69 - & )d<^
. $ 7
$ E<$ & $ $ ) 5
((#
. $ '(# < )$C $ A: A: 97 P9 & ;
k=0;
W=V;
While (W )
{
Get v W ;
Sc v = {v} ; // Set of v Successor
Prv = {v} ; // Set of v Predecessor
For each x direct or indirect successor of v
Sc v = Sc v {x} ;
For each y direct or indirect predecessor of v
Prv = Prv {y} ;
Ck = Sc v Prv ;
k=k+1;
W = W Ck
}
Result: k, C = {C1 ,..., Ck }
.G $ k ((& $ $ * $ ((# ( >Pf +ib ($ $
/ %8N
.A *
# ( Pf 1 &(
.' > 1 $ ; )d<b _# > * * /$ I )d<^
$
:1 $
A [E9 ((& % .9 >3 >2 >2 >0 : U(& *( ($ 9 L5$
l $
:;
e #$
.8=2/16 : P&E9 ((& A$ >16=9+3+2+2+0 : $ (
:2 $
E<$ UA _# (
E& )d<$ >@
8 15 & ($ $
.(x (
y = y (
x A:) 'Y
8
l(
9 3 $ & $ O8 ;$ 9 ;
:;
e #$
5 .((
2
;) [EC (
$ *E& (< O8I
F A:
P
[E9 3 P($ 9 < A4 (
9 3 & $ O8 ;$ ;#
((& 45=3*15 $ *( [ $ .3 '(& ; ( C
((& )< PI 6 ((& $ ( 9
)$8 (
.[EI
:3 $
:$$ $ ($ $
E2
E1
V1
E5
E3
V2
V3
V4
E4
3
12
:;
e #$
:4 $
:$$ $
8$ $ 5
( 9
E1
E3
V3
V1
E2
V2
:;
e #$
0 1 1
1 0 0
0 0 0
:5 $
: >$$ $ 5
M
A$ $ ;
0 1 1
1 1 0
1 0 0
:;
e #$
.%<
D 3
R 3# :
%8N
:
*
#$ >
4$ * $ >$ 9 *
# >$ 9 ;E >$ 9 * > >J6 A > ;db >;
./$ ' >
4$
:
6E$ I *6 8$ L< -$: ` >4
J
8 I * $ [ 9 L< -
& %$ A )<
.I 9 * $ 2 ;<
$
: !"#
:-
& ;
5$ A +$$ )<
B*
#$ -
& ;($ ((<$
BI )
B
I $ & _# $
BDjikstra 6 8
BBellman-Ford 6 8
B/$ '
&'
v(G) *
#$ -
& ;($ ((<$ ((<$ )d< . p >2
m >'(& n )$ +ib G $
v(G) = m n + p :
G $ O8$
G >A: A: v(G) = 0 . v(G) 0 >G +ib ; ;9
.
# 9 (
:$"
. p >2
m >'(& n )$ +ib G $
. Ei = {e1,..., e m }, i = 1...m _# i = 1...m _# G i * $
A8C$
:I >[E9 ( '(& n A$ G 0 = (V, ) ;9 ##
Y$
v(G 0 ) = m(G 0 ) n + p(G 0 )
v(G 0 ) = 0 n + n
v(G 0 ) = 0
($ . G k +1 ##
49 $ G k ;9 ##
Y$ 9 L5$
:$$ $#$
> G k 5
8 ( 9 ek +1 2
$ .1
: $
v(G k +1 ) = m(G k +1 ) n + p(G k +1 )
v(G k +1 ) = (k + 1) n + (p(G k ) 1)
v(G k +1 ) = k n + p(G k )
v(G k +1 ) = v(G k ) 0
I v(G k ) = 0 = >*
# ( G k ;# $ `
. v(G k +1 ) = v(G k ) = 0 9 < >P$ $ ##
Y$ 9
) G k $ $ ,5 ( 9 ek +1 2
$ .2
: $ >(;I -
&
# ( <
v(G k +1 ) = m(G k +1 ) n + p(G k +1 )
v(G k +1 ) = k + 1 n + p(G k )
v(G k +1 ) = v(G k ) + 1 0
v(G) *
#$ -
& ;($ ((<$ ((<$ )d< . d p >2
m >'(& n )$ +ib G $
. v(G) = m n + p :
G $ O8$
:
N 9
.
# 9 ( G >A: A: v(G) = 0 . v(G) 0 >G +ib ; ;9
%8N !0
:R
:J $$ *5
$ .,9 n -
& # G=(V,E) $
.' G .1
. >*
# ( G .2
.2
n-1 -
& # *
# ( G .3
.2
n-1 -
& # G .4
. '(#
G 5
8$ (<$ W 6 ; .5
:$"
.)<$ (2) S$ J (1)
> v(G) = 0 >2
n-1 -
& # *
# ( G 9 A: o
. d ; G 9 < p = 1 9 -$: ` m = n 1
9 %
<$ 2 >2
n-1 # d G 9 A: >; $
(& 9 9 < A4 > & ' & G 9 A: o
&' ( P= >*
# ( G A= .
.G 9 9
CN
-$: (& 9 '(#
( L ( >; $
%8N =0 a
. (# 2
4 ; (& 8X -< > > n 2 _# '(& n 5$ 4 ' ;$
.' ;F @J6 @ M A: A: P9 G & ;
S $ (S<$ %$ (: >J & ; v 1 '(& 8 > n 2 _# '(& n 4$ 4 ' ;
. j < i _# v j v i (<$ e i _# e 2 , e 3 ,....., e n [EI %$ v 2 ,v 3 ,......v n
. (n 1) (n 1) '(& n 5$ '$ ;
$ 5
(< 9
S W 6 ; @(# @ <
$ # PC K n 6$ P$ 6 '(& n )$$ ;$ $ )Z<
.(<$
.@1 @ ;$
$ ;d$ $
:Y#E
5
8$ (<$ P A$ G = (V , E ) $ $ G = (V , E ) $
$ ;$ $
. G %$ A: A:
:
$' C#
.2 $ $ $ # 2 ; ;F $ (& '(& ; 2 $
$=D%
@
_S# V2 V1 & -$: 4 )$C $ (<$ & J6 9 A: J6 A P9 G = (V , E , ) & ;
.V 2 2
$ 78I 4$ V 1 G [E9 2
;$ -$ I 4$
:C
:=0
.( 4$ *
# # " A: A: J6 A P9 G (V , E , ) & ;
.5 8 $ $ _# > $ %$
kn,m $=D%
@
:# G (V 1 V 2 , E ) J6 A k n ,m J6$ A ;$ $
.V1 = n, V 2 = m
.v 1 V 1 , v 2 V 2 _# (v 1 ,v 2 ) (<$ W 6 ; 2
(
:C
.($ $ $ ":) P&E9 2 " _# @ P
F $ A: P9 & ;
.@ $ PC $ A ;F & ;
:C
K4
.($ $ $ ":) P&E9 2 " _# @ P
F $ A: P9 & ;
.@ $ PC $ A ;F & ;
#
. $ [E9 2
; '(# ' * A: >$ 9
# 4C
# & ;
. $ [E9 2
; '(# ' * A: >$ 9
4C
& ;
.$ 9
# -
& 9 $ 9
-
& 7 # A: $ 9 P9 & ;
:=0
.$ 9
# -
& # P= > 6 *( *A (& 2 * A:
A$ (<$ $ 9 - & # $ A = >( *( *A (& M A:
:$
. $ OJ
8$
8 ; D
F9 %$ &9
M
. $ (& '(& ; '(# ' * A: >
# 4C
# & ;
.
# -
& 7 # A:
P9 & ;
(: ; # $ % Q= T
#
9 & _# $
& &( (6 9 4$ [E9 A) ;iFb
($ 2 '6 -# L< $ 4< 2 $ ($ & P 9 ; 2J $
9
.(($ *$ ;
F $C$ UA [EI 6 9 ) P& 2 $
. R = (V, E, c) :6$ 4$ 6 8 >;F$ 2 2 $ 5$$ $ &( . cij ;mFc 9 6
:
I $ ;J ;J( < 9 ( >@'(&
.$ 4 ((# A$ t ,9$ >$ ( ((# A$ s ,9$ @ &
I $ ((#
. $ , W 6 9
I $ ((#
:R:
.P5$ $ %4I ;F9 6 9 [ $ @ $ ;
Bellman
:($ R = (V, E, c) $ j ,9 ; ;9 .j -$: s
I $ ; j $
j i + cij i Pr ed[ j]
.(i,j) %4$ 4 j -$: s
9 ( ;# ' #$ D
:Bellman *"(<$ "
@
# >( ;# >R , -$: s
I $ ; 9 ; > s = 0 $
j = min iPr ed[ j] (i + cij ) j V {s}
.$ 4$:
I $ +# (< %$ $ , $ :V-{s}
:D
shortest_paths( Graph g, Node s )
{
initialise_single_source( g, s )
S := { 0 }
/* Make S empty */
Q := Vertices( g ) /* Put the vertices in a PQ */
while not Empty(Q)
{
u := ExtractCheapest( Q );
AddNode( S, u ); /* Add u to S */
for each vertex v in Adjacent( u )
relax( u, v, w )
}
}
Bellman-Ford D
:J( ` %$ 9(
s = 0, j =
j V-{s}
%$ A= j i +cij :@ # $$ $ A: (i,j) %4 ; ;9 8 > $ %49 -
& $
. $ 6 9 ( # %F > j = i +cij 2 = >@#
D
.W8$ &( < >*
<$ & 6 8$ A5 >;8($ &( $ *<$ & @E
.(y$ ... 9 *
9 * 9 * n) n D#
((< *<$ %# ,
S
>n PS# -<$ @ < +#$ 6 , A: >n ;8($ *< %#$ @ < 6 8
$ 6$ (<$
:6 8
$ %6E$ +#$ 6 ((6 n *((6
Bn %#$ *A *<$ 2 ;9 +#$ 6$ -
&I (#$ < >*"#$ 9 9
Bn %#$ *A *<$ 2 ;9 +#$ 6 +# >@
-S<$ @S< S6 8
$
$ 'A$ # , A: >n ;8($ *< %#$ @ < 'A$ (<$
.nP#
%S
$ 6S4
$ %6E$ 6$ * F$ A ) * F ($ + +#$ 6$ ( -
& M$A ;
#
:C
.j=j+1 ' n ($ 9 < >' n ' j=j+1 & n M
%S
$ 6S4
$ %6E$ 6$ * F$ A ) * F ($ + +#$ 6$ ( -
& M$A ;
#
.'$ %4I /
I 6 I *A %49 8 >P *
#$ )A# >@ $ %$ A:
./
9 6 *A / 1 ;$ 7(# -
& P ; 2 ;<$ >@ $ %$ A:
.%4t$ c : E :;F 2
:O
./
9
6 *A T=(V,ET) '
:D
:(%4I L< 6 9 ;# J & +) %46 I ;6$ 1 +$ G %49 %z +
c(e1 ) ... c(e m ) .
k=1
ET =
while | E T |< n 1 do
{
if ek doesnt make any cycle with E T then
E T = E T {ek }
k=k+1;
}
;" ; i ,9$ $ 4$ A5$ 6E$ di 6$ '5$ & < cij 6 449 (i,j) %4 ;
.#" %4 9 %4$ UA4$ " >null '( P $ %4 $ >;&I 4 ;F ,9
w ,9
$ 1 %$ (( $) a ,9
$ _# 4 2 ; b (n ((&) , .2
.n %$ (4$)
:O2
.[
$ D
I 6$ .1
%6E$ Di 6$ >4$ ,5 ( $ @8C FI Ei y$ >4$ ( $ Bi I y$ >i 4 ; ;9 .2
.4$ -$: ;
$
:D
: I *( $ y +# .1
B1=0
for k=2 to n do
Bk = max jPr ed[k]{B j + c jk } = max jPr ed[k]{B j + D j}
D= Bn
En= Bn
for k=n-1 to 1 do
E k = min kSucc[ j]{E j ckj} = min kSucc[ j]{E j} D k
:e=
.[ $ A5 '( '(6 # 4 A5 8C ; ( A: >Bi=Ei ;# # i 4 .1
. # *4 # , @ 5$ A: @# w ,9$ -$: a ,9$ $ .2
.[ A5$ $
I '($ -$: W# ; .3
*# $ Y$ ,I [ $ A 2 ( .Y$
<$ : Y$ <$ * I [ 2
.*< $ E`
<$ (4
$
(& .5
8$ $ */
8$ *$ : %
-
& r b FC U(# #$ * I WA $ ($
>/$ ( $ */
$ #$
$ # $ )
>< $ */
$ )
$ E
@
9 V{9 A$ (& $ WA $
.*$ :
& 9
*$ *8$ j c ^ ( 4Y< 9 ": >$ A *< I *FEF$ *4Y ( WA '(& 9 2
. $` + #$ %(8 2 $ 9 4$: #
$ @ < M$A >*< $ ; I )
$
>
$ */
$ ($ $ (& WA 4A 6$ #$ *4Y >4$ * I WA 4Y >*8$
>Y$ <$ Y 7 . I WA$ 2 (& $ WA$ ((<$ $$ #$
*$< *$ $ *($ %
#$ M$A A WA$ UA *c(8^ ( .*$ 4$ * I 2
.O
$
c
N O@ O @
> % :(1) ' " >
e
("
)*
90
+$,
(
9'7
"
(
D
*< -
2C#
;F / $ 4Y 9 " )#9 - & "EF #) $ 1 ;E ( %(& (C$
B(+ )#
B*15$ ;F 4$: + $ )#I L< ((#
B(
$ N
$ ;
& 4
'( $ *$ )A# 2 O$ - & Y5#$ - & (& Fm 9 & -$: P#$ $ 9 $ WA $ <
.%$ & '( )< $ < '(& - : 1 FI & >P# L58$
c
N O@ O @
> 50 '7
/ :(2) ' " >
:;F /
$ (& '((#
$ M
;< o
& | ($8 =
;& o
:/
$ ##
; 2 9 ; %$ UA
c
N O@ O @
> %
/ :(3) ' " >
:
/$ 9 )
)<
)
)#I ;) ) 5
&( *& -$: *(5$ % _# >4& 9 *(5$ :/ %#
B(8X )
%I ; M$A
B(& $ M
-
& @(& 4 $ @ (& ##
$ ;$ & :50 '
N L 9 & )<$ A4 V ( 9 - & $ ;$ * $ & 49 - & L /$ )< >@
c
N O@ O @
> ( (5
N O@ "# :(4) ' " >
-$: $ N $ 4 )$C $ <$ *
$
($ $ (
$ N $ (5$ ;
#$ D
B4(8 $ /
$
B
<$ *E& '
#$ O
$ 9 $ *15$ ;F ) #$ L< (5$ ;
#$ ;4b
c
N O@ O @
> ( (5
N O@ "# $' C :(5) ' " >
: /$ *" # I (5 ;
# $
.Symbol ; # )#$ A 2 ) #$ $$ )#$ 9 GetNext() J9 ( \ L5$
.; # %9 & ' & ' $
$ # $ IsIdentifier() J: +$
int IsIdentifier( )
{
GetNext();
if (Symbol is a Letter)
{
GetNext();
while ((Symbol is a Letter) | | (Symbol is a Digit)) /*Case Switch*/
GetNext();
if (Symbol = = \n)
return TRUE;
else
return Error();
}
}
else
return Error();
}
:*E
$ *"#$ ( (# ((& 5$ * 9 ; -
& $ (5$ ;
#$ ;F$
Start
Letter
\n
End
Letter OR Digit
. 9 ; D
$
F$ IsIdentifier( ) J` = $ ;F$ A -
&
# $ 9 Y#E
(5$ ; #$ A5 $ *J` ($ ;9 * 9 -$: @$X $ (& $ ; # & A$
0
/ :# "
.(/
j
m 8^ )
/$ >(A ( 9 -
& $ ;E$ 2 ; $) A* & $ ' # & 9 &(
:
$ */
$ -
& *
<$ L<
:+<$ o
L1 L 2 = {u v | u L1 , v L 2 }
:E1` o
:(1) C
:b )#$ ;E$ 2 4 9( $ /
$ 4C >( I UA -
& L1 /$ )< >A={a,b} $
L 1 = { w | w A * , w = bx }
:(2) C
:8 9 /
9 ;E$ 2 ; 4 $ /
$ 4C >( I UA -
& L2 /$ )< >A={a,b} $
L 2 = {w | w A * , | w | 8}
(M
N O@
$ *($ A$ E
@
9 %Sb
( >
$ */
$ & 'Z <$ WA$ 9 4$ * I WA <
.
$
.*< $ *$ O
$ *$< 4 > $ */$ A5 %
P(8 7($ P9 *((6
:4$ * I WA $ ;( 9 < 9 M
B#$ 4$ * I o
B#E$ 4$ * I o
BM# 2 #E$ 4$ * I o
.Y$ <$ o
.Yb$ */
$ &( & <$ 2 >'(# < 4<$ 9 ": >;( I UA ( %1$
(M
N
0
:4 4$ * I )
B(*#$) *E
$ *"#$ 4 &
>*E
$ -
& *
E$ 2 6 * 9 M >45<$ *"#$ -
& *
" 2 6 * 9 M
B*
<$ & 6 $ & -
& (&" *
E$ )< %
*A 4
>4
8( -
& 6 ; ;9 ,2 J( " $#$ @ & * I ;& 9(
(M
N $'
:P %(8 * I ;F '@ (& %
:$$ ;$ 4
& * I 4 9( $ J( " $#
$
q0
q2
a
b
q3
( (M
N
:_# (Q, , , q 0 , F) 8 #$ 4$ * I )f<b
B Q = {q 0 , q1 ,..., q n } :( (#$ ((<$ *A *"#$ & Q
>( I (# 6 & @ & * ;E$ &
-
& @f<b D
$ ;" 2 (Z
:Q Q
(q , a ) = q
:
: Q * Q
(q, ) = q
(q, w.a) = ( (q, w), a)
w
$ (& 2 + , $E$ ; ( %(& -$: @Y & @ & %(8
.a ( 9 6 & ' &
B* t$ J( " $#$ q 0
:C
q0
q2
q1
q1
q3
q0
q2
q0
q3
q3
q1
q2
q2
0
1
0
q0
q3
0
1
1
0
q1
:$$ *5
$ #$ 4$ * t$
B( (# *"#$ ((&
.
E$ ,5 -
& @(& M$A >4
'(# $# ": $# ;$ ( 9 "
( q 0 , w ) F
:
M * I ; $ $ L(M) /
$ )d<^ >$
L(M) = {w | (q 0 , w ) F}
./ : $ =7 =M &- 0
N $# 9#
:C
:$$ #$ 4$ * I $
q0
q2
q1
q1
q3
q0
q2
q0
q3
q3
q1
q2
q2
0
1
0
q0
q3
0
1
1
0
q1
:I $ 1 01110 $ .01110 $ ; * I A: \ $
@ 6 5
I ((& 4 $ ;E$ & ~
& # $ /
$ M * I $ $ /
$
$
.01 S 4 $ {0,1} ( I ;E$ 2 ; A$ #$ 4$ * I V9 .1
e #$
M = ({q 0 , q1 , q 2 }, {0,1}, , q 0 , {q 2 }) :;
1
q1
0
1
0
0
q0
q2
1
0, 1
0
0
1
q2
q0
(: (M
N
:_# (Q, , , q 0 , F) 8 #E$ 4$ * I )f<b
B Q = {q 0 , q1 ,..., q n } :( (#$ ((<$ *A *"#$ & Q
: Q 2Q
(q, a) = {p1,..., p k } Q
:
>( I (# 6 & @ & * ;E$ &
-
& @f<b D
$ ;" 2 (Z
: Q * 2Q
(q, ) = q
(q, w.a) = {r | p (q, w), r (q, a)} Q
w
$ (& 2 + , $E$ ; ( %(& -$: @Y & @ & %(8
.a ( 9 6 & ' &
:
>'(# $# & @ & P *"# & -
& @f<b D
$ ;" 2 (Z
: 2Q * 2Q
(P, w) = (q, w)
qP
(& 2 2 + , $E$ ; ( %(& -$: @Y & @ & 9 %(8
:C
q0
q1
{q 2}
q2
{q 2 }
{q 2}
q3
{q 4 }
q4
{q 4 }
{q 4}
:$$ *5
$ #E$ 4$ * t$
B( (# *"#$ ((&
B
E$ ,5 %(8 4
# *"# '(& $# ;$ ( 9 $
Back ) ' 2 *
& -$: W# '(< * I [ $ A4
8$ D$ *6 8
B(Tracking
.5
8$ *"#$ *"" )<$ 6$ %(j 8b "
({q 0 }, w) F
:
M * I ; $ $ L(M) /
$ )d<^ >$
L(M) = {w | w * , p ({q 0 }, w), p F}
q0
q1
{q 2}
q2
{q 2 }
{q 2}
q3
{q 4 }
q4
{q 4 }
{q 4}
(: (M
N ( (M
N 45
.#E$ 4$ * I
8 $# #$ 4$ * I
.L(M)=L(M) _# V M # 4 * 9 ( M #" 4 * 9 ;$
:C
:$$ #E$ 4$ * I $
q0
q1
{q 0 , q1}
1
0,1
q0
q1
1
: V$ #$ 4$ * I
0
1
[q 0 , q1 ]
[q 0 ]
[q1]
[q1]
[q 0 , q1 ]
[q 0 , q1 ]
[q 0 , q1 ]
[q 0 , q1 ]
P0
P1
P2
P2
P2
P3
P3
P3
6 )$ < ($ $ $ *"(<$ ;# ; #$ >(Y (& &()
(& ; # %9 )
-$: (<$
.@ Yb @ < U &( A$ #$ Y$ ;$ -
& $ .($ 4 >%9 >)#9) $ 9
.((& $ *"(< ;# *6 8) %Y < -$: >Y$ (& $ & 9 ; # % *6 8 M
.() @ 1
:$$ *F$ %(8
: < A$ (a|b|c) :;F 6 $ (#9 ( ;# ;F$ %j(8mb | 6$ P$ 6b :
o
.c 9 b 9 a
4E$ 5
$ g *$ ((<$ 6 $ ;F$ %j(8mb * 6$ P$ 6b ::AP o
.4E$ 5
$ g *$ ((<$ a $ 6 A$ (a)* :;F
g *$ ((<$ 6 $ ;F$ %j(8mb + 6$ P$ 6b :7N &' :AP o
.4E$ '(# $ '$ g *$ ((<$ a $ 6 A$ (a)+ :;F 4E$ 5
$
.(aa) 9 aa ;F 6 $ $ ;F$ :?7 o
.Y < %(8 >Y$ (& $ & ;F @ J( ` P9 -
& $ %
.((& $ *"(< ;# *6 8) %Y < -$: >Y$ (& $ & 9 ; # % *6 8 M
E0
C25
\n
D
z
E9
(M
N R $ 45
-$: $ [ $ * 9 ; # Y#$ #$ .M# 2 #" 4 * 9 %Y < ;$ 9 $
.* I ;/ (& '$ '( <$ *
& + _# # 4 * 9
./
$ ,5 ; V %Y < ( # 4 * 9 ;$ 9 $
:$$ ;$ D * I ;( 9 2$ ($ $
#
(
#
(
#
(
g- Q
R
())
' #
@ < @A >@ A +# ; $ *(5$ UA & ' <$ * I ($ >@$X /$ *(5 ;
# ($ $
:;
#$ J: & @
49 (C$ 4# ( $ *(5$ & & 'Z <$ (Y (& $) (& $ & )<
B
$ /
$
B%Y < -$: Y$ (& $ & ; # 6 8 %(8
( (M
# &- R $ D
(a)
:
(a) ab(a)*a
*
ab
a
a
a|b
b
(
# &- ( (M
# $ D
-$: 4
# @J( ; # >#E$ 4$ * I A5 (& (Back Tracking) )
8$ -$: '( <$
+
.J4 $#
4$ J$ #$ * I *"# ((& = (N) @4 #E$ * I *"# ((& 9 9
.FI -
& (2 ) >@ 4
N
$
:N $
:$$ Yb$ <
$ @J @ # @ 9 V9
A = 10 + ((0+11) 0* 1)
B = 0* 1*
C = 0+ 1+
5
<7
http://www.acts.tinet.ie/induction_645.html
http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/pdf.html
http://www.utm.edu/departments/math/graph/
http://www-db.stanford.edu/~ullman/ialc.html
http://archives.math.utk.edu/topics/discreteMath.html
Discrete Mathematics with Application, Susanna S. Epp, Thomson third Edition, 2004