cl liu.pdf

1. Scanned by CamScanner

3. 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 a w (D a . e ) L il= re c e i. N M s B S c de gre e (19 56 )a l th c N a tio n a l C he n g K a a g L n i. Etsi in T a i. A n a n d h is sc ie n c e M a s te r a n d E le c u ic a lE n g in e e r in g d e g , e e s (1960 ) a n d M s sc ic n ec D o c u r de gn e t l9 62 t a l 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 wa 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 hn o lo gy (l9 6 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 he r e he w a s w a s c da Um,ers, T o k o Ja p 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 a j. m a n d M c iY i c h iH o n o ta ry C h a ir P ro fe s s o r a t N a tio n a lT 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 ks a n d m o n o gr 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 i a s i n in a Fe H o w o f the !n 5 1Itu re o T E I e c tric a l a n d E l e 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 i a to n fo r C o m pu 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 e d his p h D fro m In dta 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 lE n gi n 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 the fa c u lry u t th e D e pa n m - ! o f C o m p u rc r Sc i e 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 l o gy R m r lz in 19 96 w he 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 ha 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 pa tr a h a s be e n te a c h in g d is c re te m a fhr m u u b au N rr R n u rkc 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 a de m y C u rre n tly he lb a m e m be r lj j IE E E V Ele m e n ts o f D is c re te M a the m a ti c s A C o m p u te r O ri e 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 l l" " 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 l is 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 ￠l h i N c w Y o r k S l im .. Sa 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 il a n S m Ju a n S a n tiw s iw a p o n d » r To q rr

4. Scanned by CamScanner TB U M c G ra w H i ll S pe 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 , · r k Sd l s T m to rlee In d i a P l k l s la n , N e p d B u w ll d e s h S ri l a n k » n u ll llm m n C o pyright 0 200 8 by T hc M c G ra w H illC o m pn n ic s In v A ll R l# lu . RC ' " v c , I N ,: " n l l . .I llll pu blic a tio n m a y 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 phm o c o py in g N c o M in g o r t)lhc 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 the 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 dinra 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 hu 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 Sha li n iJhu Ju n io r S po n s o rin g E d i to r N il u n j- C ha k r a r a w S e n io r C o py E d ito r : 1]i p iM D v Ju n io r M a n a ge r Pto d u c ti o n A n ja » R a N n G e n e ra lM a n a g e r M a rkc lin g H igbe 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 l m lle r Pm d u c li o n R o je n d e r P G ha m e ta A ssI G e n e ra l M a n a ge r Pro du 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 i s 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 s be lie v e d to be re lia bl e 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 tho m g u a r a n te e ch e a c c u ra c y o r c o m p l e te n e s s o fa n y in fo rm a tio n p u blis he d he re in a n d n e ith e r T a ta M c G ra w H illn o r iB a u b o rs s ha llbe re s po n s ib l e Fo r a n y e rro rs o m i s s io n s o r d a m a g c x a ris in g o u l o f u se o f lh is in fo rm a tio n T h is w o rk is p u blis he d w ith th e u n de rs ta n d in g tha t T a ta M c G ra w H illa n d i« a u tho rs a re s u pplyin g in fo rm a ti o n bu t u e n o t a tte m p tin g [o re n d e r e n g in e e r in g o r o M e r pro h s , in n a l se rv i c e s Ir s u c h s e rv ic e s u e re q u ire d th e a s s is ta n c e o f o 1 a pp r o pr ia te pm ff io n a 】 s ho u rd be so u gh t T ype s e i a t 7t jC o m po se rs w Z 39 1 M a d ipu 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 a C o v e r i n i n te r a t R a s h t r iya prin te rs R 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 rls be lo v e d w if e M a m i u rn td u u k h te r H a r a P r iya Vu u r l o 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 ga P r a s a d M o ha p a tr a

5. Scanned by CamScanner h>?4' ) 1 4 " < t!: GD NTENTS p r e fa c e to the T h ir d E d itio n p r e li n c e to the F ir s t E d i ti o n L is t o fS y m bo ls 1 S e ts 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 i te 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 c ip le o f In c lu s io n a n d E x c lu s io n 2 0 1 7 M u ltis e ts 2 5 pr o p o s i tion s 2 6 M L o g ic a l C o n n e c ti v e s 2 6 0 C o n d itio n a l a n d B ic o n ditio n a ls 2 9 b / I w e l W e ll F o r m e d F o r m u la s 3 2 W T a u to lo g ie s 3 3 m T h e o ry o f In fe r e n c e fo r Sta 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 $ PT e m is e s 4 o 1 1 6 T I ie sta te m e n t F u n c tio n , v a r iM 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

6. Scanned by CamScanner § v iil c o n te n ts v a l id F o r m u la s a n d E qu iu a le n e e s 4 6 ' , % . T he o r y o fIrence To r p r e dic a te c a t c u t u s 4 8 1 1 8 3 Fo r m u la s In u o tu iTtg M o r e tha n O n e Q ra n ti fie r 4 9 1 1 9 M e th o ds o f P r o o f 5 o 1 2 o E u c lide a n A 1g o rith m 5 5 1 2 0 1 E u c lide 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 ye s T h e o r e m 8 9 2 9 In f o 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 du c tio n 1 0 6 3 2 A R e la tio n a l M o d e l fo r D a ta B a s e s 11 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 r 4 3 5 W a r s h a 1T s A 1g o r ith m 1 1 7 3 6 E q u i v 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 r in g R e la tio n s a n d L a ttic e s 1 2 5 3 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 c h e d u lin g P r o b le m 1 3 4 3 1 0 C o m p a ti b le R e la tio n 13 8 3 1 1 F u n c tio n s J 3 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 5 3 1 3 1 G r a p h o f In u e r s e F u n c tio n s 1 4 5 3 1 3 2 S te p s To r F in d in g the ln u e r s e d a Fu n c tio n 1 4 7 3 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 s h in g J 8 h 3 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 s h F u n ctio tts 1 5 9 3 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 l u s te r in g 1 63 3 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 ffi g e o n h o le P T in c ip l e 16 5 P 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 ighte 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 tr ix 1 9 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 p h 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 1 9 8 l 8 3 B r e a d th F i r 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 I T 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 dth 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 r ia n P a th s a n d C ir c u i ts 2 1 2 T h , T r a v e lin g S a le s p 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 P f G r a p h C o lo r in g 2 3 8 4 1 5 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 c is e s 5 T e e s a n d C u t S e ts T r e e s 2 5 5

cl liu.pdf

More Related Content

What's hot (20)

Similar to cl liu.pdf (20)

Recently uploaded (20)

cl liu.pdf