Scanned by CamScanner

Scanned by CamScanner
 E le m e n ts o f D is c r e te
A B O U T TH E A U T H O R S

C lm n g L an n g L iu
M a th e m a tic s
h N a tio n a l C h e n g
B S c d e g re e ( 19 5 6 ) a l t c
F rd b g L aw
C h m (D a . e ) L il= re c e i. N M s 19 6 0 )
n g in e e r in g d e g , e e s (
« r
d E l u ic a l E
K a a g L n i. Etsi in T a i. A n a n d h is s c e
i n c e M a s te r a n e c

T h l H w a s o n A C o m p u te r O rie n te d A p p ro a c h
c h u s e n s In s titu t
e o f e c n o o g e

a n d M s s c ic n e c D o c u r
d e g n e t l9 6 2 t a l u e M a s s a n f
l 9 6 19 7 1 a n d th e U n i, e r s ity 3e
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 (
19 9 8 ) w h e r e h e w a s
m in a is a l L rb a r u c h a m w g n ( 1 9
ra l
T H C h a ir P m fe s s o r a t N a 【io n a l C e n t
Um , e r s , T o k o J a p a n L i K
n n . r a r)
w as c da l T i H
H o n o t a r y C h a ir P r o fe s s o r a t N a t o
i n a s n g u a
h .. T a j. a n d M c iY i c h i
Llu.m,t H . .w m

d 2 0 0 ce c h n ic a l
is th e M ar d am bo r o f e ig h t b o o k s an d m o no gra ph s An o ver
H e au ar m
C h u n g m u n g L iu
T is a tm m b ct o f A cadem ia s in in a Fe H o w o f th e !n 5 1Itu re o T E Ie c tr ic a l a n d E le c tr o n ic s

f th e A s so c ia to n fo r C o m p u tin g M a c h in e ry L" " 1 13 ,￠ q f lli" " is

Etg m m an d a Feuo w o
L l l" " C ba '" p «" W '

D a ga P ra sa d M o h a p a tr a
D u r ga Pr a s a d M o h a p a tr a
h is p h D fr o m In d ta n In s titu te o f T e c h n o io g K h a r u g p
u r
D e rg r p rw d M e ba w a r e c e iv e d

i i c H ( h IT R k l a H e jo in e d th e fa c u lry u t th e
a n d M E fr o m m o d a lE n g n e e r g
n o e g e n o w i o . R e

l In s titu te o f T . c h n u lo g y
D e p a n m - ! o f C o m p u rc r S c ie n c e am d E n g in e e r in g a t th e N . t u n a
i
i P f H i h .. t , r e s ts , n . In rlr d is c re lc
r lz i n 19 9 6 w h e r e h c is n o w * x s s
Rm m n l r o e s s o r s r e M a r c

m u h r m a t ,r s w ft. u e e n g in e e rin g r e a l tim e s y u c m \ a n

d d i, lr ib . Te d c o m p u t in g H e h a s

p u b h M c d m o te m thin ! p a p e 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 r k 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 r d fo r

th c y e ar 2 00 6 b y O r is s a B ig y a n A c a d e m y C u r r e n tly h e lb a m e m b e r l j j IE E E

G H ill P u b lis h in g C om pa n y L im ilM

T a ta M c ra w

N EW D ELH I

M L b ro w H ill u g i, r
\ . \ lm d h w C « = =
Y o r k S l im .. S a n F r a r' '" ,

N ew U ￠lh i N c w
M ila n
M U d M c u co C tt
V \ 1 im m lm m n
K u . I・ L u n , n Jr
f
s iw apon d»r To q rr
Sm Ju a n S a n tiw

Scanned by CamScanner
 TB U M c G ra w H ill

S p e e l/ I In d M E d id o n 20 0 8

ilh th e M co m w H ill ( ,n n p tm ic ) In r N c w Y , ・r k
Adr pd in In d ia b y an a ng em c m w

In d ia P l k ls la N e p d B u w ll d e s h S r i l a n k» n u ll l\lm m n
Sd ls Tm to r le e n ,

l v c ,I N
C o p y r ig h t 0 2 0 0 8 b y T h c M c G ra w H ill C o m p n n ic s In v A ll R l# u . RC ' " ,: " n l l . . I llll\
i b d d d i t ih l d i m y l. ' " 1 l , 1 r l, \ a ll y '" c l, l l . I, , l. . .Il l,
p u b lic a t o n m a y u c e o r s r u c n '
e r c p r .
T b e lo d ife M i
mechanical p h m o c o p y in g N c o M in g o r t)lh c m is c n r . l, \r c d II\ . . l n lh , " . .r rr l u m y p {i r e r\ls ve w a m

u rn tdu u k h te r H a ra P r iy a
nol lim ite d 1o In an y n c rw o r k o r o th e r c k tm n ic 5 1' ' r a c 1' " m n .M n , I. . II '" Im I
, 1, , n . I I. .r
Vu u r lo ve e n c o u ra ge n te n t
dinra n c e learning
t ltttl x ll p p o r t a re m y g r e a te s t in s p ir a tio n

iS B N 13 : 9 7 8 0 0 7 0 6 6 9 13 0 D r D u r ga P ra sa d M o h a p a tr a
IS B N 10 0-0 7 0 66 9 13 9

M a n a g in g D ire c to r : A ti vt S h u k la

G e ncn lM an a g e r P u b lis h in g s E M & T e c h E d : \{ b h u M j h J.

, i i, l

S po n s o rin g E d ito r S h a lin i Jh u

Ju n io r S p o n s o rin g E d ito r N ilu n j- C ha k r a r a
w
S e n io r C o p y E d ito r : 1]ip iM D v
Ju n io r M a n a g e r P t o d u c tio n A n ja » R a N n

G e n e ra lM an ager M a r k c lin g H ig b e r E d u c a tio n & S c h o o l: M ic /lu u tJ C ru

P to 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 P m d u c lio n R o je n d e r P G h a m e ta
A s sI G e n era l M a n a g e r P r o d u c tio n B L D
o g na

In fo rm a tio n c o n M in e d in lh is w o rk h a s be e b ta in e d b y T a ta M
n o c G ra w H ill Fr o m s o u rc e s
b e lie v e d to b e re lia b le H o . Ev er ne ith e r T itta M c G ra w H ill n o r its a u th o m gu a r a n te e ch e
y o r c o m p le te n e s s o f a n in fo rm a ti
a c c u ra c
y o n p u b lis h e d h e r e in
a n d n e ith e r T a ta M c G r a w
H ill n o r iB a u b o rs s h ll
a b e re s p o n s ib le Fo r a n e r
y r o rs o m is s io n s o r d a m a c x a r is in
u s e o f lh is in fo rm i
a t o n T h is w o r k i g g o u lo f
s p u b lis h e d w ith th
e u n d e r s ta n d in
H ill a n d i« a u th o rs a re
s u p p ly in
g th a t T a ta M c G r a w
g in fo rm a tio n b u t u e n o t a tte m ti
o M e r p ro h s , in n a l
s e r v ic e s Ir s u h
p n g [o r e n d e r e n g in e e r in g o r
c s e r v ic e s u e re u i
p m ff io n a 】s h o u rd b e s o u h q r e d th e a s s is ta n c e o f o 1 a
g t p p r o p r ia te

T yp e s e i a t 7 t j C o
m po se rs w Z 3 9 1 M a d ip u r N ew D e lh i 1 10 06 3 an d p r in te d at R ashu jy a
C o v er n in te r
i at R a s h tr iy a p r in t
e rs
R Y LL C RA XR O
JA L

M C G ro w H in t ,p o n ,e s

Scanned by CamScanner
 h>?4' )1 4
"
<
t! :

G D N T EN TS

d i
p r e fa c e to th e T h ir d E it o n
p r e li
n c e to t h e F ir s t E d itio n

L is t o f S y m b o ls

1 S e ts a n d P r o p o s itio n s

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

o m b in a tio n s o
C f S e ts 5
1 2
F i it e a n d In fin ite S e ts 8
1 3 n
b ] In fin it e S e ts 1 0
1 4 U n c o u n ta y
M a t h e m a t ic a l I n d u c tio n 12
1 5
l i d E x c lu s io n 20
6 p r in c ip le o f In c u s
o n a n
1

1 7 M u lt is e ts 2 5
o s i tion
6

l
s 2
pr op
2 6
L o g ic a l C o n n e c t iv e
s
M i d itio n a ls 2 9
C o n d itio n a l a n d B c o n
0 d F o r m u la s 32
w e ll
W l F r m e
b/ I
o
\
W T a u to lo g ie s 33

te m e n t C a lc u lu s 36
T h e o ry f In fe r e n c e fo r S ta
o
m th T a b le s 3 6
1 14 1 Va
lid ity U s fn g T y u
6
1 14 2 R u
le s o f j In e r e n c e 3
is e s 4 o
1 14 3 con s
is te n c y o $ P T e m
tH ' *
s ta t e m e n t F u n
c tio n , v a r
iM e A n d Q u a n Y
1 1 6 T Ii e
16 1 pr e
1
d ic a te F o r m u la s 4 3

W §
Scanned by CamScanner
 c o n t e n ts co n tm ts lx l
§
v iil

d E q u iu a le n ees 46 3 1 5 2 S o m e P o p u ta r H a s h F u n c t io tts 1 5 9
v a lid F o r m u la s an
a tc u tu s 48
'
,
% T he o ry o f I r e n c e T
.
t it M
or p r e d ic a te c
o r e th a n O n e Q ra n t ifie r 49
3 1 5 3 C o llis io n R e s o lu tio n J6o
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 63
u la s In u o u T g
1 1 8 3 Fo r m 3 1 6 P ig e o n h o le P r in c ip le 1 6 4
d o f Pro o f 5 o
1 1 9 M e th o s 3 1 6 1 E x te n d e d ffig e o n h o le P T in c ip le 1 6 5
n A 1g o r ith m 55
1 2 o E u c lid e a P r o b le m s 1 7 o
1 E u c lid e a n
p r im e 5 5
1 2 0 E x e r c is e s o n R e c u r s iu e F u n c tio n 181
p r o b le m s 56 E x e r c is e o n Hh Fh n c t io n
a s 18 1

d E x e r c is e o n P ig h o le P r in c ip le
eo n 18 1
b in t io a n
p e r m u t a t io n s , C o m
a n s ,
2 67 Pro gra m m in g E x e r c is e s 1 8 1
D is c r e t e P r o b a b iliw
d u c t io n 6 7
2 1 In t r o 4 G r a ph s a n d P la n a r G r a ph s 18 a
d P ro d u c t 6 7
2 2 1 h e R u le s o f S u m a n 4 1 I n t r o d u c t io n 1 82
P t t io n s 6 8 B a s ic T e r m in o lo
2 3 e r m u a
J - gy 18 4
2 4 C o m h in n t in n s 74 J 3 M u lt ig r a p h s a n d W e ig h t e d G r a p h s 18 7
i
2 5 G e n e r a tio n o f P e r m u ta t o n s a
n d C o m b in a tio n s ?8
4 4 D ig r a p h s a n d R e la tio n s 1 9 0
2 6 D is c re te P r o b a b ility 8J
4 5 R e p r e s e n ta t io n o f G r a p h s 1 9 1
2 7 C o n d itio n a l P r o b a b ility 87
4 5 1 in c id e n c e M a t r ix 19 1
2 8 B a ye s T h e o r e m 89
4 5 2 A d ja c e n c y M a tr ix 192
2 9 In fo r m a tio n a n d M u tu a l In fn r m a tio n 92
4 6 0 p e r a t io n s o n G r a p h s 1 9 3
Pmblpms 97 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
3 R e la t io n s a n d P u n c tio n s 10 6
4 8 1 Tauersing a G r a p h 198

2 D e p th F ir s t S e a r c h 19 8
3 1 In tr o d u c t io n 10 6 §
l 8 3 B r e a d th F ir s t S e a r c h 2 0 1
3 A R e la tio n a l M o d e l fo r D a t a B a s e s 1 1 0
2
8 p o g r a m I m p le m e n t a t io n s 20 2
4 4 r
3 P r o p e r tie s o f B in a r y R e la t io n s 1 1 2
3 l m e n ts D e p t h F IT s t
4 8 5 p r o g r a m th a t m p e
I
4 C lo s u r e o f R e la tio n s J r 4
3 S e a r c h A lg o r it h m 2 0 5
5 W a r s h a 1T s A 1g o r ith m
3 11 7
t h a t Im p le m e n t s B r e a
d th
4 8 6 p r o g r a m
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 i h
F ir s t S e a r c h A g l o r t m 2 0 7
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 hs 20 9
S h o r te s t p a th s in W e ig h t e d G r a p
12 5
3 8 C h a in s a n d A n tic h a in s 1 3 1 i u it s
l
E u er ia n P a t h s a n d C r c 2 12
3 9 A J o b S c h e d u lin g P r o b le m 13 4
3 1 0 C o m p a tib le R e la tio n 13 8 P r o b le m 22 1
3 1 1 F u n c t io n s J 3 9 T h, T g S a le s p e r s o n
r a v e lin
G r a p h
of 2 2 7
3 1 2 C o m p o s itio n o f F u n c tio n s 1 4 3 F a c to r s a
42
3 1 3 In v e r tib le F u n c tio n 4 P la n a r G r a p h s 2 2 9
145
3 1 3 1 G r a p h o f In u e r s e F u n ti l in 2 38
c o ns 145 i tio n s P f G r a p h C o o r g
3 1 3 2 S te p s To r F in d in
g th e ln u e r s e d a F u n c t io 4 15 1 A ! p lca
i
a tic P a r t t o i n in g 2 39
4 15 2 C hro m
3 3 3 i r o p e r tie s
1 n 14 7
p f l n u e r s e F u n c tio n P l i a l 239
15 o a tic y n o m
4 15 3 C hro m
o

P r o b le m s 2 4 0
is e s
p T o g r o m m in g E x e r c

3 15 H a s h in 8 d C u t S e ts
g J h 5 T e e s an
3 15 1 H a sh Fu n c tio n 55
159 T re e s 2

■
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner