Conditional Chow-Liu Tree Structures for Modeling Discrete ...
Elements of Discrete Mathematics Liu Mohapatra 3rd
Transcript of Elements of Discrete Mathematics Liu Mohapatra 3rd
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
A B O U T T H E A U T H O R S
C lm n g L a n n g L iu
F rd b « r C h m g L aw (D a . e ) L il= re c e i. N M s B S c d e g re e ( 19 56 ) a l th c N a tio n a l C h e n g
K a a g L n i. Etsi in T a i. A n a n d h is s c ie n c e M a s te r a n d E le c u ic a l E n g in e e rin g d e g , e e s ( 1960 )
a n d M s s c ic n ec D o c u r d e g n e t l9 62 t al u e M a s sa c h u s e n s In s titu te o f T e c h n o lo g H e w a s o n
b e facu] D f th e M a q \ a r h ..q p m ln g im tc o f T e c h n o lo gy (l 96 19 7 1 a n d th e U n i, e rs ity n f
m in a is a l L rb a ru c h a m w gn ( 1 9 1998 ) w h e r e h e w a s��
w a s c da Um,ers, T o k o Jap a n L i K T H n n . r a r) C h a ir P m fe s s o r a t N a 【io n a l C e n tra l
L l u . m , t H . .w h .. T aj. m a n d M c i Y i c h i H o n o ta ry C h a ir P ro fe s s o r a t N a tio n a l T s in g H u a
H e is th e a u M a r a r d m a m bo r o f e igh t bo o k s a n d m o n o g r a ph s A n d o v e r 200 ce c h n ic a l
T is a tm m b c t o f A c a d e m ia s in in a F e H o w o f th e ! n 5 1 I t u r e o T E I e c tri c a l a n d E le c tro n ic s
E t g m m a n d a F e u o w o f the A s so c ia to n fo r C o m p u tin g M a c h in e ry
D a g a P r a s a d M o h a p a tr a
D e r g r p r w d M e b a w a re c e iv ed his p h D fro m In d ta n In s titu te o f T e c h n o io g K h a ru gp u r
a n d M E fr o m m o d a l E n gin e e rin g c o H e ge (n o w h IT i R o . Rk e la H e jo in e d th e fa c u lry u t th e
D e p a n m - ! o f C o m p u rc r Sc ie n c e am d E n g in e e rin g a t th e N . tiu n a l In stitu te o f T . c h n u lo gy
R m r lz in 19 96 w h e r e hc is n o w * x s is m n l P ro fe s s o r H is re M a r c h .. t, r e s ts , n . In rlr d isc re lc
m u h r m a t, r s w ft. u e e n g in e e rin g re a l tim e sy u c m \ a n d d i, lr ib . Te d c o m p u tin g H e h a s
p u b h M c d m o te m thin ! pa pe rs in th e se fie ld s D r M n h u p a tr a h a s b e e n te a c h in g d is c re te
m a fh r m u u b au N rr R n u rk c b forepasnen y e a r s H c h a s re c e i. . d y o u . g S c ie n lis l A w a rd fo r
th c y e ar 2 006 b y O rissa B igya n A c ad e m y C u rre n tly h e lb a m e m be r ljj IE E E
V \
Ele m e n ts o f D is c re teM a the m a tic s
A C o m p u te r O rie n te d A pp ro a c h
3 e
C h u n g m u n g L iu
L " " 1 13 , ¢ q f lli" " is
L ll" " C b a '"p«" W '
D u r g a P r a s a d M o h a p a tr a
T a ta M c G r a w H ill P u b lis h in g C o m p a n y L im ilM
N E W D E L H I
M L b r o w H ill u gi, r
N e w U ¢lh i N c w Y o r k S l im .. S a n F ra r' ' " , \ . \ lm d h w C « = =
K u . I · L u n , fn J r 1 im m lm m M U n d M c u c o C tt M ila n
S m Ju a n S a n tiw s iw a p o n d » r T o q rr
Scanned by CamScanner
TB U M c G ra w H ill
S p e el/ I In dM E d id o n 2008
Adrpd in In dia by anangemcm w ilh th e M c o m w H ill ( , n n p tm ic ) In r N c w Y , · rk
Sd l s T m to rle e In d ia P l k ls la n , N e p d B u w ll d e s h S ri l a n k » n u ll l\lm m n
C o pyrigh t 0 200 8 by T h c M c G ra w H ill C o m p n n ic s In v A ll R l# lu . RC ' " v c , I N , : " n l l . . I llll\
p u blic a tio n m ay be rc pr. d u c e d o r d is trih u lc d in m y l. '"1l , 1r l, \ a lly '"cl,ll . ' I, , l. . . Ill,
mechanical ph m o c o py in g N c o M in g o r t)lh c m is c n r . l, \r c d II\ . .ln lh , " . .r rr l��
n o l lim ited 1o In a n y n c rw o rk o r o th e r c k tm n ic 5 1''r a c 1'" m n . M n , I. .II '" Im , 1, I, n . I I. . r
di nra n c e learning
iS B N 13 : 97 8 0 0 7 0 66 9 13 0
IS B N 10 0-0 7 0 66 9 13 9
M a n a gin g D ire c to r : A ttiv S h u kla
G e n c n l M a n a ge r P u b lis hin g s E M & Tec h E d : \{bhu M , iji,lh J.
Spo n s o rin g E d ito r Sh a lin i Jhu
Ju n io r S po n s o rin g E d ito r N ilu n j- C ha k r a r a wS e n io r C o py E d ito r : 1]ip iM D � v
Ju n io r M a n a g e r Pto d u c tio n A n ja » R a N n
G e n e ra l M a n ag e r M a rk c lin g H igb e r E d u c a tio n & S c ho o l: M ic /lu u tJ C ru
Pto d u c t M a n a ge r : S E M & T e c h E d B /u G n n �s a n
C o n lm lle r Pm d u c lio n R o je n d e r P G ha m e taA ssI G e n e ra l M a n a g e r Pro d u c tio n B L D o g n a
In fo rm a tio n c o n M in e d in lh is w o rk h a s be e n o b ta in e d by T a ta M c G r a w H ill Fro m s o u rc e sbe lie v e d to b e re lia ble H o . E v e r n e ith e r T itta M c G ra w H ill n o r its a u th o m g u a r a n te e ch ea c c u ra c y o r c o m p le te n e s s o f a n y in fo rm a tio n p u blis h e d h e re in a n d n e ith e r T a ta M c G ra wH ill n o r iB a u b o rs sha ll be re spo n s ib le Fo r a n y e rro rs o m is s io n s o r d a m a g c x a ris in g o u l o fu se o f lh is in fo rm a tio n T h is w o rk is p u blish e d w ith th e u n d e rs ta n d in g tha t T a ta M c G ra wH ill a n d i« a u th o rs a re s u pplyin g in fo rm a tio n b u t u e n o t a tte m p tin g [o re n d e r e n g in e e rin g o ro M e r p ro h s , in n a l se rv ic e s Ir s u c h s e rv ic e s u e re q u ire d th e a s sis ta n c e o f o 1 a pp r o p r ia tep m ff io n a 】 sho u rd be so u gh t
T ype s e i a t 7t j C o m po se rs w Z 39 1 M a d ip u r N e w D e lh i 11006 3 a n d p rin te d a t R a s h u jy aC o v e r in in te r a t R a sh triy a prin te rsR Y L L C R A X R O JA L
M C G ro w H in t , p o n , e s
T u m y p {i re r\ls b e lo v e d w ife M a m i
u rn t d u u k h te r H a r a P r iy a
Vu u r lo v e e n c o u r a g e n te n t
tltttl x llp p o r t a re m y g re a te s t in s p ira tio n
D r D u r g a P r a s a d M o h a p a tr a
Scanned by CamScanner
h>?4' ) 1 4 " <
t! :
GD NTENTS
p r efa c e to the T h ir d E d itio n
p r elin c e to th e F ir s t E d itio n
L is t o f S y m b o ls
1 S e t s a n d P r o p o s itio n s
1 1 In tr o d u c tio n 1
1 2 C o m b in a tio n s o f S e ts 5
1 3 F in ite a n d In fin ite S e ts 8
1 4 U n c o u n ta b ]y In fin ite S e ts 1 0
1 5 M a th e m a tic a l In d u c tio n 1 2
1 6 p r in cip le o f In clu sio n a n d E x c lu sio n 2 0
1 7 M u ltis e ts 2 5
p r o p o s i tion s 2 6 �
M L o gic a l C o n n e c tiv e s 2 6
0 C o n d itio n al a n d B ic o n ditio n als 2 9
\b / I w e lW e ll F o r m e d F o r m u la s 3 2
W T a u to lo gie s 3 3
m T h e o ry o f Infe r e n c e fo r S ta te m e n t C alc u lu s 3 6
1 1 4 1 V a lid ity U s fn g Ty u th T a ble s 36
1 1 4 2 R u le s o f In je r e n c e 3 6
1 1 4 3 c o n s is te n c y o$ P T e m is e s 4 o
1 1 6 T Iie state m e n t F u n c tio n , v a riM e A n d Q u a n tH 'Y *
1 1 6 1 p r e dic a te F o r m u la s 4 3
W §
l
Scanned by CamScanner
§v iilc o n te n ts
v a lid F o r m u la s a n d E q u iu a le n e e s 4 6
'
, % . T he o ry o f Irence To r p r e dic a te c a tc u tu s 4 8
1 1 8 3 F o r m u la s In u o tu iTtg M o r e th a n O n e Q ra n tifie r 4 9
1 1 9 M e th o d s o f P r o o f 5 o
1 2 o E u clid e a n A 1g o rith m 5 5
1 2 0 1 E u c lid e a n p r im e 55
p r o ble m s 5 6
2 p e r m u ta tio n s , C o m b in a tio n s ,
a n d
D is c r e te P r o b a b iliw 6 7
2 1 In tr o d u c tio n 6 7
2 2 1h e R u le s o f S u m a n d P ro d u c t 6 7
2 3 P e r m u ta tio n s 6 8
2 4 C o m h in n tin n s 7 4
2 5 G e n e ra tio n o f P e rm u ta tio n s a n d C o m b in a tio n s ? 8
2 6 D is c re te P ro b a b ility 8 J
2 7 C o n d itio n a l P r o b a b ility 8 7
2 8 B a y e s T h e o r e m 8 9
2 9 In fo r m a tio n a n d M u tu a l In fn r m a tio n 9 2
P m b l p m s 9 7
3 R e la tio n s a n d P u n c tio n s 1 0 6
3 1 In tr o d u c tio n 1 0 6
3 2 A R ela tio n al M o d e l fo r D a ta B a s e s 1 1 0
3 3 P ro p e r tie s o f B in a r y R e la tio n s 1 12
3 4 C lo s u r e o f R e la tio n s J r4
3 5 W a r sh a 1T s A 1g o rith m 1 1 7
3 6 E q u iv a le n c e R e la tio n s a n d P a r titio n s 1 2 o
3 7 P a r tia l O r d e rin g R ela tio n s a n d L a ttic e s 1 2 53 8 C h a in s a n d A n tic h a in s 13 1
3 9 A J o b S ch e d u lin g P r o b le m 13 43 1 0 C o m p a tib le R e la tio n 13 83 1 1 F u n c tio n s J3 9
3 1 2 C o m p o s itio n o f F u n c tio n s 1 4 2
3 1 3 In v e r tib le F u n c tio n 1 4 53 13 1 G r a p h o f In u e r s e F u n c tio n s 1 453 1 3 2 S tep s To r F in d in g th e ln u e r s e d a F u n c tio n 14 73 1 3 3 i r o p e r tie s pf ln u e r s e F u n c tio n 1 5 o
3 1 5 H a sh i n g J 8 h3 1 5 1 H a s h F u n c tio n 1 5 9
■
c o n tm ts l x l
3 1 5 2 S o m e P o p u ta r H a sh F u n ctio tts 15 93 1 5 3 C o llis io n R e s o lu tio n J 6 o
3 1 5 4 T e c h n iq u e s U s e d to M in im iz e C lu s te r in g 1 633 1 6 P ig e o n h o le P r in c ip le 1 6 4
3 1 6 1 E x te n d e d ffig e o n h o le P T in c ip le 16 5P r o b le m s 1 7 o
E x e r c is e s o n R e c u r s iu e F u n c tio n 1 8 1
E x e r c is e o n H a s h Fh n c tio n 1 8 1
E x e r c is e o n P ig e o n h o le P r in c ip le 1 8 1
P r o g r a m m in g E x e r c is e s 1 8 1
4 G r a p h s a n d P la n a r G r a p h s 1 8 a
4 1 In tr o d u c tio n 1 8 2
J - B a s ic T e rm in o lo g y 1 8 4
J 3 M u ltigr a p h s a n d W e igh te d G r a p h s 1 8 7
4 4 D ig r a p h s a n d R e la tio n s 1 9 0
4 5 R e p r e s e n ta tio n o f G r a p h s 1 9 1
4 5 1 in c id e n c e M a trix 19 1
4 5 2 A dja c e n c y M a tr ix 1 9 2
4 6 0 p e r a tio n s o n G r a ph s 1 9 3
7 P a th s a n d C ir c u its 1 9 6
4 8 G r a p h T r a v e r s a is 1 9 8
4 8 1 Tauersing a G r a p h 1 9 8
§ 2 D e p th F ir s t S e a r c h 19 8
l 8 3 B r e a d th F ir s t S e a r c h 2 0 1
4 8 4 p r o g r a m Im p le m e n ta tio n s 2 0 2
4 8 5 p r o g r a m th a t Im p le m e n ts D e p th F IT st
S e a r c h A lg o r ith m 2 0 5
4 8 6 p r o g r a m th a t Im p le m e n ts B r e a d th
F ir s t S e a r c h A lg o r ith m 2 0 7
S h o r te st p a th s in W e igh te d G ra p h s 2 0 9
E u le ria n P a th s a n d C ir c u its 2 1 2
T h , T r a v e li n g S a le sp e rs o n P r o b le m 2 2 1
4 3 F a c to r s o f a G r a p h 2 2 7
4 P la n a r G r a p h s 2 2 9
4 1 5 1 A ! p lic a tio n s Pf G r a p h C o lo r in g 2 3 8
4 15 2 C h r o m a tic P a r titio n in g 2 3 9
4 1 5 3 C h r o m a tic P o ly n o m ia l 2 3 9
P r o b le m s 2 4 0
p T o g r o m m in g E x e r cis e s
5 T e e s a n d C u t S e ts
T r e e s 2 5 5
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner