Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.
-
Upload
arline-ball -
Category
Documents
-
view
245 -
download
1
Transcript of Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.
![Page 1: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/1.jpg)
Advanced Counting Techniques
CSC-2259 Discrete Structures
Konstantin Busch - LSU 1
![Page 2: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/2.jpg)
Recurrence Relations
Konstantin Busch - LSU 2
nn aaaa ,,,:}{ 10 Sequence
),,,( 110 nn aaafa Recurrence relation:
For any 0nn
![Page 3: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/3.jpg)
Konstantin Busch - LSU 3
Example:
212 nnn aaa 2n
nan 3Solutions to recurrence relation:
5na
Recurrence relation
![Page 4: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/4.jpg)
Konstantin Busch - LSU 4
$10,000 bank deposit
%11 interest
nP :amount after yearsn
111 11.111.0 nnnn PPPP
000,100 P
022
1 )11.1()11.1(11.1 PPPP nnnn
97.922,228$000,10)11.1( 3030 P
Example:
![Page 5: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/5.jpg)
Konstantin Busch - LSU 5
Fibonacci sequence
21 nnn fff
1,0 10 ff
Example:
![Page 6: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/6.jpg)
Konstantin Busch - LSU 6
Towers of HanoiExample:
bar1 bar2 bar3
Goal: move all discs to bar3
Rule: not allowed to put larger discs on top of smaller discs
ndiscs
![Page 7: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/7.jpg)
Konstantin Busch - LSU 7
bar1 bar2 bar3
1n
move recursively discs to bar21nStep 1:
![Page 8: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/8.jpg)
Konstantin Busch - LSU 8
bar1 bar2 bar3
1n
move largest disc to bar3Step 2:
![Page 9: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/9.jpg)
Konstantin Busch - LSU 9
bar1 bar2 bar3
move recursively discs to bar31nStep 3:
n
![Page 10: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/10.jpg)
Konstantin Busch - LSU 10
11 H
12 1 nn HH
nH :total disc moves
2 recursive callswith discs(steps 1&3)
1nmovement oflargest disc(step 2)
one move for one disc
![Page 11: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/11.jpg)
Konstantin Busch - LSU 11
11 H
12
1222
1222
122212122
1221)12(2
12
21
21
1
23
33
2
22
2
1
n
nn-
nn-
nn
nn
nn
H
H)H(
HH
HH
12 1 nn HH
![Page 12: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/12.jpg)
Solving Linear Recurrence Relations
Konstantin Busch - LSU 12
Linear homogeneous recurrence relationof degree :
knknnn acacaca 2211
0kc
k
Rci Constant coefficients:
![Page 13: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/13.jpg)
Konstantin Busch - LSU 13
A sequence (solution) satisfying the relationis uniquely determined by the initial values:
11
11
00
kk Ca
Ca
Ca
k
(these are different constants than the coefficients)
![Page 14: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/14.jpg)
Konstantin Busch - LSU 14
nn ra
if an only if
knknnn acacaca 2211
knk
nnn rcrcrcr 22
11
Solution to recurrence relation:
012
21
1
kkkkk crcrcrcr
divide both sides withknr
characteristic equation
![Page 15: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/15.jpg)
Konstantin Busch - LSU 15
012
21
1
kkkkk crcrcrcr
characteristic equation:
factorize with roots
0)())(( 21 krrrrrr
characteristic roots: krrr ,,, 21
nn ra 1
Multiple possible solutions:n
n ra 2 nkn ra
![Page 16: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/16.jpg)
Konstantin Busch - LSU 16
nn ra 1
The solutionsn
n ra 2 nkn ra
may not satisfy the initial conditions
11
11
00
kk Ca
Ca
Ca
![Page 17: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/17.jpg)
Konstantin Busch - LSU 17
Theorem: Recurrence relation of degree 2
2211 nnn acaca
has unique solutionnn
n rra 2211
where are solutions to the characteristic equation,and are constants thatdepend on initial conditions
21, rr
21,
![Page 18: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/18.jpg)
Konstantin Busch - LSU 18
0212 crcr
Characteristic Equation
21, rrRoots:
02112
1 crcr 2112
1 crcr
02212
2 crcr 2212
2 crcr
Proof:
![Page 19: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/19.jpg)
Konstantin Busch - LSU 19
2211122
1111 rrrra
First compute from initial conditions
210
220
110 rra
21,10 ,aa
![Page 20: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/20.jpg)
Konstantin Busch - LSU 20
22111 rra
210 a 201 a
221201 )( rraa
21
1102 rr
ara
21
201201 rr
raaa
![Page 21: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/21.jpg)
Konstantin Busch - LSU 21
Prove by induction that nnn rra 2211
Basis cases: 210 a
22111 rra
true for the specific choices of 21,
![Page 22: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/22.jpg)
Konstantin Busch - LSU 22
Inductive hypothesis:kk
k rra 2211
for all nk 0
kkk rra 2211
Inductive step:
for nk
prove that
assume that
![Page 23: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/23.jpg)
Konstantin Busch - LSU 23
By inductive hypothesis:
122
1111
nnn rra
222
2112
nnn rra
![Page 24: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/24.jpg)
Konstantin Busch - LSU 24
)()(
)()(
2212
222112
11
222
2112
122
1111
2211
crcrcrcr
rrcrrc
acaca
nn
nnnn
nnn
By recurrence relation definition
Inductive hypothesis
2112
1 crcr 2212
2 crcr
nn
nnn
rr
rrrra
2211
22
222
21
211 )()(
End of Proof
![Page 25: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/25.jpg)
Konstantin Busch - LSU 25
Fibonacci sequence
21 nnn fff 1,0 10 ff
Example:
nnn rrf 2211 Has solution:
2
511
r
2
512
rCharacteristic roots:
![Page 26: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/26.jpg)
Konstantin Busch - LSU 26
5
1
21
1102
rr
frf
5
1
21
2011
rr
rff
![Page 27: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/27.jpg)
Konstantin Busch - LSU 27
nn
nnn rrf
2
51
5
1
2
51
5
1
2211
![Page 28: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/28.jpg)
Konstantin Busch - LSU 28
Degree recurrence relation:
has unique solution
nkk
nnn rrra 2211
where are solutions to the characteristic equation,and are constants thatdepend on initial conditions
krrr ,,, 21
k ,,, 21
knknnn acacaca 2211
k
![Page 29: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/29.jpg)
Konstantin Busch - LSU 29
Example: 321 6116 nnnn aaaa
15,5,2 210 aaa
Solution:
Characteristic equation: 06116 23 rrr
Roots: 3,2,1 321 rrr
nnnnnnn rrra 321 321332211
![Page 30: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/30.jpg)
Konstantin Busch - LSU 30
nnnna 321 321
23
22
212
13
12
111
03
02
010
32115
3215
3212
a
a
a
2,1,1 321
nnnnnna 3221322111
Final solution:
![Page 31: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/31.jpg)
Recurrence Relations for Divide and Conquer Algorithms
Konstantin Busch - LSU 31
Typical divide and conquer algorithm:
•Input of size n
•Divide into sub-problems each of size bn /
a
)(ng•Combine sub-problems with cost
![Page 32: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/32.jpg)
Konstantin Busch - LSU 32
)()/()( ngbnfanf
Divide an conquer recurrence relation:
Cost of subproblemof size bn /
![Page 33: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/33.jpg)
Konstantin Busch - LSU 33
Examples:
Binary search: 2)2/()( nfnf
Merge Sort: nnfnf )2/(2)(
Fast Matrix Multiplication (Stassen’s Alg.):
4/15)2/(7)( 2nnfnf
![Page 34: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/34.jpg)
Konstantin Busch - LSU 34
)()/()( ngbnfanf
Zkbnkbbn k ,,,0,1,
1
0
)/()1()(k
j
jjk bngafanf
Theorem: if
then
![Page 35: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/35.jpg)
Konstantin Busch - LSU 35
Proof:
)()/()/(
)())/()/((
)()/()(
22
2
ngbngabnfa
ngbngbnfaa
ngbnfanf
![Page 36: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/36.jpg)
Konstantin Busch - LSU 36
)()/()/()/(
)()/())/()/((
)()/()/(
)())/()/((
)()/()(
2233
232
22
2
ngbngabngabnfa
ngbngabngbnfaa
ngbngabnfa
ngbngbnfaa
ngbnfanf
![Page 37: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/37.jpg)
Konstantin Busch - LSU 37
1
0
1
0
2233
232
22
2
)/()1(
)/()/(
)()/()/()/(
)()/())/()/((
)()/()/(
)())/()/((
)()/()(
k
j
jjk
k
j
jjkk
bngafa
bngabnfa
ngbngabngabnfa
ngbngabngbnfaa
ngbngabnfa
ngbngbnfaa
ngbnfanf
End of Proof
![Page 38: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/38.jpg)
Konstantin Busch - LSU 38
cbnfanf )/()(Theorem: if
Rcaca
Zkbnkbbn k
,,0,1
,,,0,1,
)(nf)( log abnO
)(log nO b
1a
1athen
![Page 39: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/39.jpg)
Konstantin Busch - LSU 39
Proof:
1
0
1
0
)1(
)1(
)/()(
k
j
jk
k
j
jk
acfa
cafa
cbnfanf
From previous theorem
![Page 40: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/40.jpg)
Konstantin Busch - LSU 40
)(log
log)1(
)1(
)1()(1
0
nO
ncfa
ckfa
acfanf
b
bk
k
k
j
jk
1aCase:
kbn nk blog
![Page 41: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/41.jpg)
Konstantin Busch - LSU 41
)(
11)1(
1
1)1(
)1()(
log
2log
1
1
0
a
a
k
kk
k
j
jk
b
b
nO
CnC
a
c
a
cfa
a
acfa
acfanf
1aCase:
End of Proof
![Page 42: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/42.jpg)
Konstantin Busch - LSU 42
Example:
Binary search: 2)2/()( nfnf
2,2,1 cba
)(log)(log)(log)( 2 nOnOnOnf b
![Page 43: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/43.jpg)
Konstantin Busch - LSU 43
dcnbnfanf )/()(Master Theorem:
if
Rdcadca
Zkbnkbbn k
,,,0,0,1
,,,1,1,
)(nf )log( nnO d
)( dnO
dba
dba
then
)( log abnO dba
![Page 44: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/44.jpg)
Konstantin Busch - LSU 44
Example:
Merge Sort: nnfnf )2/(2)(
1,1,2,2 dcba
dba 122
)log()log()( nnOnnOnf d
![Page 45: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/45.jpg)
Generating Functions
Konstantin Busch - LSU 45
17321 eee
Find number of solutions for:
3
20
3
1317
0,, 321 eee
Answer:
![Page 46: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/46.jpg)
Konstantin Busch - LSU 46
Alternative solution
17321 eee
choices for 1e choices for 2e choices for 3e)1)(1)(1( 173217321732 xxxxxxxxxxxx
![Page 47: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/47.jpg)
Konstantin Busch - LSU 47
Alternative solution
17321 eee
5151
1717
23
2210 xaxaxaxaxaa
17a is the total numberof solutions to equation
)1)(1)(1( 173217321732 xxxxxxxxxxxx
![Page 48: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/48.jpg)
Konstantin Busch - LSU 48
Another problem: 17321 eee
52 1 e
63 2 e
Find total number of solutions which satisfy:
74 3 e
![Page 49: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/49.jpg)
Konstantin Busch - LSU 49
Alternative solution
17321 eee
choices for 1e choices for 2e choices for 3e
))()(( 765465435432 xxxxxxxxxxxx
52 1 e 63 2 e 74 3 e
![Page 50: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/50.jpg)
Konstantin Busch - LSU 50
Alternative solution
17321 eee
))()(( 765465435432 xxxxxxxxxxxx
52 1 e 63 2 e 74 3 e
1818
1717
1010
99 xaxaxaxa
17a is the total numberof solutions to equation
![Page 51: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/51.jpg)
Konstantin Busch - LSU 51
Generating function:
0
33
2210
)(
k
kk
kk
xa
xaxaxaxaaxG
generating function for sequence
,,,,,, 3210 kaaaaa
![Page 52: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/52.jpg)
Konstantin Busch - LSU 52
Solve recurrence relation
13 kk aa 20 a
Generating functions can also be used tosolve recurrence relations
Example:
![Page 53: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/53.jpg)
Konstantin Busch - LSU 53
13 kk aa
Let be the generating function for sequence ,,,,, 3210 kaaaaa
)(xG
20 a
0
)(k
kk xaxG
![Page 54: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/54.jpg)
Konstantin Busch - LSU 54
11
0
1
0
)(
k
kk
k
kk
k
kk
xa
xa
xaxxGx
![Page 55: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/55.jpg)
Konstantin Busch - LSU 55
2
)3(
)3(
3
3)(3)(
0
110
110
11
10
11
0
a
xaaa
xaxaa
xaxaa
xaxaxxGxG
k
kkk
k
kk
kk
k
kk
k
kk
k
kk
k
kk
13 kk aa 20 a
0
![Page 56: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/56.jpg)
Konstantin Busch - LSU 56
2)(3)( xxGxG
xxG
31
2)(
![Page 57: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/57.jpg)
Konstantin Busch - LSU 57
xk
k
xx
1
1
0
xxG
31
12)(
0
32)(k
kk xxG
0
32)(k
kk xxG
![Page 58: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/58.jpg)
Konstantin Busch - LSU 58
0
32)(k
kk xxG
0
)(k
kk xaxG
kka 32
13 kk aa 20 a
Solution to recurrence relation
![Page 59: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/59.jpg)
Inclusion-Exclusion
Konstantin Busch - LSU 59
A BBA
|||||||| BABABA
![Page 60: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/60.jpg)
Konstantin Busch - LSU 60
ABA
||
||||||
||||||||
CBA
CBCABA
CBACBA
B
C
CA CB
CBA
![Page 61: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/61.jpg)
Konstantin Busch - LSU 61
||)1(
||
||
||||
211
1
1
121
nn
nkjikji
njiji
niin
AAA
AAA
AA
AAAA
Principle of Inclusion-Exclusion:
![Page 62: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/62.jpg)
Konstantin Busch - LSU 62
Proof:
We want to prove that:
an arbitrary element is counted exactly one time in the expression of the theorem
x
![Page 63: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/63.jpg)
Konstantin Busch - LSU 63
Suppose is a member of exactly sets: rx
riii AAAx 21
rjjjjj
r
nkjikji
njiji
nii
r
rAAA
AAA
AA
A
1
211
1
1
1
1
||)1(
||
||
||
Then is counted in the terms:x
![Page 64: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/64.jpg)
is counted times
Konstantin Busch - LSU 64
ni
iA1
||
)1,(rCr
In sum:
x
(since belongs exactly to sets)x r
![Page 65: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/65.jpg)
is counted times
Konstantin Busch - LSU 65
)2,(rC
In sum:
x
(since belongs exactly to sets)x r
nji
ji AA1
||
![Page 66: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/66.jpg)
is counted times
Konstantin Busch - LSU 66
)3,(rC
In sum:
x
(since belongs exactly to sets)x r
nkji
kji AAA1
||
![Page 67: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/67.jpg)
is counted times
Konstantin Busch - LSU 67
),(1 rrC
In sum:
x
(since belongs exactly to sets)x r
rjj
jjj
r
rAAA
1
211
||
![Page 68: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/68.jpg)
Konstantin Busch - LSU 68
),()1()3,()2,()1,( 1 rrCrCrCrC r
Thus, in the expression of the theorem is counted so many times:x
ni
iA1
||
nji
ji AA1
||
nkji
kji AAA1
||
rjj
jjj
r
rAAA
1
211
||
![Page 69: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/69.jpg)
Konstantin Busch - LSU 69
),()1()2,()1,()0,()11(0 rrCrCrCrC rr
),()1()2,()1,()0,(1 1 rrCrCrCrC r
End of Proof
From binomial expansion we have that:
Thus, is counted exactly one timex
![Page 70: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/70.jpg)
Konstantin Busch - LSU 70
Example: Find the number of primes between 1…100
If a number is composite and between1…100 then it must be divided by a primewhich is at most :10010
2, 3, 5, 7
![Page 71: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/71.jpg)
Konstantin Busch - LSU 71
:the set of primes between 1…100P
2N :composites between 1…100 divided by 2
3N :composites between 1…100 divided by 3
:the set of composites between 1…100N
5N :composites between 1…100 divided by 5
7N :composites between 1…100 divided by 7
![Page 72: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/72.jpg)
Konstantin Busch - LSU 72
From the principle of inclusion-exclusion:
||
||||||||
||||||||||||
||||||||||
7532
753752732532
757353725232
5532
NNNN
NNNNNNNNNNNN
NNNNNNNNNNNN
NNNNN
![Page 73: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/73.jpg)
Konstantin Busch - LSU 73
78
001232467101614203350
7532
100
753
100
752
100
732
100
532
100
75
100
73
100
53
100
72
100
52
100
32
100
7
100
5
100
3
100
2
100||
N
||
||||||||
||||||||||||
||||||||||
7532
753752732532
757353725232
5532
NNNN
NNNNNNNNNNNN
NNNNNNNNNNNN
NNNNN
![Page 74: Advanced Counting Techniques CSC-2259 Discrete Structures Konstantin Busch - LSU1.](https://reader030.fdocuments.net/reader030/viewer/2022033023/56649f305503460f94c4a85b/html5/thumbnails/74.jpg)
Konstantin Busch - LSU 74
Number of primes between 1…100:
21
7899
||99||
NP