Elements of Discrete Mathematics Liu Mohapatra 3rd

284 Pages·2012·74.06 MB·English

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

A B O UT T H E A U T HO R S

C lm n g L a n n g L i u

Frd b «
r
C h m g L aw
(D a . e ) L il= re c e i. N Ms B S c
de gre e ( 1956 ) a l thc N a tio n a l C he ng

K a a g L ni. Et si in Ta i.
An
a nd his s c ie n c e M a s te r a n d Ele c u ic a l E n gin e e r in g de g , e e s ( 1960 )

a n d Ms s c ic n ec D o c u r de gn
e t l 962 t al u e M a s sa c hu s e n s In s titu te o f Te c hn o lo g
He w
a s o n

b e f acu] Df the M a q \ a r h. .qp m l n g im t c o f Te c hno lo gy ( l 96
197
1 a n d the U n i, e rs ity n f

m in a is a l L rba ru c ha m w gn ( 1 9
1998 )
w her e he w a s

w a s c da Um, er s ,
Toko
J apa n L i K
T
Hn n . r a r) Cha ir Pm fe s s o r a t N a 【io n a l C e n tr a l

Ll u. m, t
H . .w
h.. T aj.
m
a nd Mc i Yi c hi Ho n o t a ry C ha ir Pro fe s s o r a t N a tio n a l T s in g Hu a

He is the a u Ma r a r d m
a m bo r o f e ight bo o ks a n d m o n o gr a phs
An d o v e r 200 ce c hn ic a l

T
is a t m m bct o f A c a de m ia s in in
a Fe Ho w o f the ! n 5 1 I t u r e o TE I e c tri c a l a n d E le c tr o n ic s

Et g
m
m
a n d a Fe uo w o f the A s so c ia t o n fo r Co m pu tin g M a c hin e ry

D a
g a P r a s a d M o h a p a t r a

D e r g r p r w
d M e ba w
a r e c e iv ed his ph D fro m In dt an In s titu te o f Te c hn o io g
K ha r u gpu r

a nd M E fr o m m
o d a l En gin e e rin g c o He ge (n o w h IT i R o . Rke la He j o in e d the fa c u lry u t the

D e pa n m -
! o f C o mp u rc r Sc ie n c e am d Engin e e rin g a t the N. tiu n a l In stitu te o f T . c hn u lo gy

Rm
r lz i n 1996
w he r e hc is n o w * x s is m n l Pr o fe s s o r His r e M a r c h . . t , r e s ts
, n . In rlr dis c re lc

m u hr m a t , r s
w ft.
u e e n gin e e ri n g
re a l tim e sy u c m \ a nd di, l r ib. Te d c o m pu t in g He has

pub hM c d m o t e m
thin ! pape rs in the se fie lds
D r M n hupa tr a ha s be e n te a c hin g dis c re te

m a fhr m
u u b au N rr Rn u rkc b forepasnen y ear s Hc ha s re c e i . . d y o u . g S c ie n lis l A w a rd fo r

thc y e ar 2 006 by Oris sa Bigya n A c ade m y C u r r e n tly he l b a m e m be r l j j IE E E

V

\

Ele m e n t s o f D is c re te

Ma the m a tic s

A C o m pu te r O rie n te d Appro a c h

3 e

C h u n g m u n g Liu

L "
" 1 13 , ¢
qf lli" "
is

L l l"
"
Cba ' "p«" W'

D u r g a Pr a s a d M o h a p a t r a

T a ta M c G r a w Hill Pu blis hin g C o m pa n y Lim ilM

NE W DELHI

M Lb r o w
Hill u gi, r

Ne w U¢ lh i Nc w Yo r k S l im
. . Sa n Fr a r'
' "
,
\ .
\ l m d h w
C « = =

K u . I · L u n , fnJ r
1 im m
lm
m
MU n d Mc u c o C tt
Mila n

S m J ua n S a ntiw
s iw a pon d » r Toq rr

Scanned by CamScanner

TBU Mc G ra w Hill

Spe el/ I In dM Edid o n 2008

Adr pd in India by anangemcm w ilh the M c o m w
Hill (
, n n ptm ic )
In r
N c w Y, · r k

Sd l s Tm
to rlee In dia
Pl kls la n , Ne pd Bu w ll d e s h S ri l a n k » n u ll l\lm m n

Co pyright 0 2008 by Thc Mc G ra w Hill C o m pnn ic s
In v
A ll R l#lu . RC ' " v c , I N , : " n l l
. . I lll l \

pu blic a tio n m ay be rc pr . du c e d o r dis trihu lc d in
m y l . ' " 1l
, 1r l, \
a lly
' " cl , l l .
' I, , l . . . Il l ,

mechani cal
phm o c o pying
N c o Ming
o r t) lhc m is c n r . l, \r c d II\ .
. l n lh, "

. . r rr l

n o l lim ited 1o
In any 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

di nra n c e learning

iS BN 13 : 978 0 07 0669 13 0

ISBN 10 0-0 7 066 9 13 9

Man a ging Dire c to r : Atti v Shukla

G e nc n l Ma n a ge r Publis hing
s EM & Tec h Ed : \{ bhu M , iji, lh J.

Spo n s o ring Edito r Sha lin i J hu
Ju nio r Spo n s o ring Edito r Nilu nj-
C ha kr a r a w

S e nio r Co py Edito r : 1] ipiM D v
Junio r M a n a ge r
Pt odu c tio n A nja » Ra N
n

G e ne ra l M a n age r Markc ling
Higbe r Edu c a tio n & S c ho o l: M ic /lu u t J C r u

Pt o du c t M a n a ge r : SEM & Te c h Ed
B /u G n n
s a n

C o n lm lle r
Pm du c lio n Roje nde r P Gha m
e ta

A ssI G e n er a l M an age r
Pro du c tio n B L D o g na

Info rm a tio n c o nMin ed in lhis w o rk has be e n o b ta in e d by Ta ta M c G r a w
Hill
Fro m s o u rc e s
be lie v e d to be re liable
Ho .
E v e r
ne ithe r Titta M c G ra w
Hill n o r its a u tho m g u a r a n te e che
a c c u ra c y o r c o m ple te n e s s o f an y in fo rm a tio n pu blis he d he r e in
a n d n e ithe r Ta ta M c G ra w
Hill n o r iB a u b o rs sha ll be re spo n s ible Fo r an y e rr o rs
o m is s io n s
o r da m a g c x a ris ing o u l o f
u s e o f lhis in fo rm a tio n This w o rk is pu blishe d w ith the u nde r s ta nding tha t T a ta M c G ra w
Hill a n d i« a u tho rs are s upplying in fo rm a tio n bu t u e n o t a tte m ptin g [o r e nde r e ng in e e r in g o r
o Me r pro h s , in n al se rv ic e s
Ir s u c h s e rv ic e s u e re q u ire d
the a s s is ta n c e o f o 1 a ppr o pr ia te
pm ff
io na 】 shourd be so ught

Type s e i a t 7t j Co m po se rs
w Z 39 1 M adipu r N e w De lhi 110063
a n d prin te d a t R a s hu jy a

C o v e r in in te r at Rashtr iya printe rs
RY LLCRAXRO JA L

M CGr o w Hin t
, po n , e s

T u m y p{i r e r\ls
be lo v e d w ife M a m i

u rn t du u khte r Ha r a P r iya

Vu u r lo v e
e n c o u r a g e n te n t

t lt ttl x ll ppo r t a re m y g r e a te s t in s pir a tio n

D r D u r ga P r a s a d M o ha pa t r a

Scanned by CamScanner

h>?4'
) 1
4

" <

t! :

GDNTENTS

pr efa c e to the Thir d Editio n

p r elin c e t o the Fir s t Editio n

Lis t o f S y m bo ls

1
S e t s a n d P r o p o s iti o n s

1
1 I n t r o d u c t io n
1

1
2 C o m bin a tio n s o f S e ts
5

1 3 Fin it e a n d In fin it e Se ts
8

1 4 U n c o u n t a b]y In fin it e S e ts
1 0

1 5 M a th e m a ti c a l I n du c tio n
1 2

1 6 p r in ciple o f I n clu s io n a n d E x c lu s io n
2 0

1
7 M u lt is e t s
2 5

pr o p o s i ti on s 2
6

M
L o gic al C o n n e c t iv e s
2 6

0
Co n ditio n al a n d Bic o n ditio n al s
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 t o lo gie s
3 3

m
Th e o ry o f In fe r e n c e fo r St a te m e n t Cal c u l u s
3 6

1 1 4
1 Va lidity Us fn g Ty u th Ta ble s
36

1 1 4
2 R ule s of Inje r e n c e
36

1 1 4 3 c o n s is te n cy o$ PT e m is e s
4 o

1
1 6 TIi e s t at e m e n t Fu n c tio n , v a r iM e
An d Q u a n tH'Y

*

1
1 6
1 pr e dic a te Fo r m u la s
4 3

W §l

Scanned by CamScanner

§
v i i l

c o n t e n t s

v a lid Fo r m u la s a n d Equ iu a le n e e s
4 6

'

, %. The o r y of I r ence To r p r e dic a t e c a tc u tu s
4 8

1 18 3 Fo r m u la s In u o tu iTtg M o r e tha n On e Q ra n t ifier
4 9

1 1 9 Metho ds o f Pr o o f 5 o

1 2 o E u clide a n A1go rithm
55

1 2 0
1 Eu c lide a n p r im e
55

p r o ble m s
56

2
p e r m u t a t io n s , C o m b in a t io n s , a n d

D is c r e t e P r o b a biliw
6 7

2
1 In t r o du c t io n
6 7

2 2 1h e R ule s o f S u m a n d P r o du c t
6 7

2 3 Pe r m u t a t io n s
6 8

2 4 Co m hin n t in n s
7 4

2 5 Ge n e r a tio n o f Pe r m u t a t io n s a n d Co m bin a tio n s
? 8

2 6 Dis c re t e P r o ba bility
8 J

2 7 Co n ditio n al Pr o b ability
8 7

2 8 Ba ye s
The o r e m
8 9

2 9 I n fo r m a tio n a n d M u t u a l In fn r m a tio n
9 2

Pmbl pms
9 7

3 R e la t io n s a n d P u n c ti o n s
1 0 6

3
1 I n t r o du c t io n
1 0 6

3 2 A R ela tio n al M o de l fo r D a t a B a s e s
11 0

3 3 Pr o pe r tie s o f Bin a r y R e la t io n s
112

3 4 Clo s u r e o f R ela tio n s
J r 4

3 5 W a r sha 1Ts A1go r ithm
117

3 6 E qu iv a le n c e R e la tio n s a n d Pa r titio n s
12 o

3 7 P a r tia l Or de r in g R ela tio n s a n d La t tic e s
1 2 5

3 8 Cha in s a n d A n tic ha in s
13 1

3 9 A J o b S che du lin g Pr o ble m
13 4

3
1 0 Co m p a tible R e la tio n
13 8

3
1 1 F u n c t io n s
J 3 9

3
1 2 Co m p o s itio n o f Fu n c tio n s
14 2

3
1 3 In v e r tible F u n c tio n
14 5

3
13
1 G r a ph o f Inu e r s e F u n c tio n s
145
3 13
2 St ep s To r Fin din g the l n u e r s e d a Fu n c t io n
14 7
3
1 3 3 i r o pe r tie s pf l n u e r s e F u n c tio n
15 o

3 15 Ha s hi n g
J
8
h

3
15
1 Ha s h Fu n c tio n
159

■

c o n t m t s
l x l

3
1 5
2 S o m e Po p u ta r H a s h Fu n ct io tts
159

3
1 5 3 Co llis io n R e s o lu tio n
J 6 o

3
15 4 T e c hn iqu e s Us e d to M in im iz e Clu s t e r in g
1 63

3
16 P ige o nh o le P r in c iple
16 4

3
1 6
1 E x t e n de d ffig e o n ho le PT in c ip le
16 5

P r o ble 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 t io n
18 1

E x e r c is e o n Pig e o n ho le P r in c ip le
18 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 l a n a r G r a p h s
1 8 a

4
1 I n t r o du c t io n
1 8 2

J
-
B a s ic T e r m in o lo gy
1 8 4

J
3 M u lt igr a phs a n d W e ight e d G r a phs
18 7

4 4 D igr a phs a n d R e la tio n s
1 9 0

4 5 R e pr e s e n t a t io n o f G r a phs
1 9 1

4 5
1 i n c ide n c e M a t r ix
19 1

4 5 2 A dja c e n c y M a t r ix
1 9 2

4 6 0 p e r a t io n s o n G r a phs
193

7
P a ths a n d Cir c u it s
1 9 6

4 8 G r a ph T r a v e r s a is
1 9 8

4 8 1 Tauersi ng a G r a ph
19 8

§
2 Depth
Fir s t S e a r c h
19 8

l
8 3 B r e a dth
F ir s t S e a r c h
2 0 1

4 8 4 pr o g r a m Im p le m e n t a t io n s
2 0 2

4 8 5 p r o gr a m tha t Im ple m e n t s D ept h FIT s t

S e a r c h A lg o r it hm
2 0 5

4 8 6 pr o gr a m tha t Im ple m e n t s Br e a dth

Fir s t S e a r c h Alg o r ithm
2 0 7

Sho r t e s t p a th s in W e ight e d Gr a phs
2 0 9

E ule r ia n P a th s a n d Cir c u it s
2 12

T h, T r a v eli n g S a le s pe r s o n P r o ble m
2 2 1

4
3 F a c t o r s o f a G r a ph
2 2 7

4
Pla n a r G r a ph s
2 2 9

4
1 5
1 A ! p lic a tio n s Pf G r a ph Co lo r in g
2 3 8

4
15 2 Chr o m a tic Pa r t itio n in g
2 39

4
1 5 3 Chr o m a tic P o ly n o m ia l
2 3 9

P r o ble m s
2 4 0

pT o g r o m m in g Ex e r cis e s

5
T e e s a n d C u t S e t s

T r e e s
2 55

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner

Scanned by CamScanner