Professional Documents
Culture Documents
1
Mathematical Preliminaries
• Sets
• Functions
• Relations
• Graphs
• Proof Techniques
2
SETS
A set is a collection of elements
A {1, 2, 3}
B {train, bus, bicycle, airplane}
We write
1 A
ship B
3
Set Representations
C = { a, b, c, d, e, f, g, h, i, j, k }
C = { a, b, …, k } finite set
S = { 2, 4, 6, … } infinite set
4
A = { 1, 2, 3, 4, 5 }
U
6 A
2 3 8
1
7 4 5
9
10
U = { 1 , … , 10 }
5
Set Operations
A = { 1, 2, 3 } B = { 2, 3, 4, 5}
A B
• Union
2 4
1
3
A U B = { 1, 2, 3, 4, 5 } 5
• Intersection
U
A B = { 2, 3 } 2
3
• Difference
A-B={1}
1
B - A = { 4, 5 }
Venn diagrams
6
• Complement
Universal set = {1, …, 7}
A = { 1, 2, 3 } A = { 4, 5, 6, 7}
4
A
A 3 6
1
2
5 7
A=A
7
{ even integers } = { odd integers }
Integers
1 odd
even 5
2 6
0
4
3 7
8
DeMorgan’s Laws
U
AUB=A B
U
A B=AUB
9
Empty, Null Set:
={}
SU =S
U
S = = Universal Set
S- =S
-S=
10
Subset
A = { 1, 2, 3} B = { 1, 2, 3, 4, 5 }
A B
U
Proper Subset: A B
U
B
A
11
Disjoint Sets
A = { 1, 2, 3 } B = { 5, 6}
U
A B=
A B
12
Set Cardinality
• For finite sets
A = { 2, 5, 7 }
|A| = 3
(set size)
13
Powersets
A powerset is a set of sets
S = { a, b, c }
2S = { , {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c} }
Observation: | 2S | = 2|S| ( 8 = 23 )
14
Cartesian Product
A = { 2, 4 } B = { 2, 3, 5 }
A X B = { (2, 2), (2, 3), (2, 5), ( 4, 2), (4, 3), (4, 5) }
|A X B| = |A| |B|
AXBX…XZ
15
FUNCTIONS
domain range
4 A B
f(1) = a a
1
2 b
3 c
5
f : A -> B
If A = domain
then f is a total function
otherwise f is a partial function
16
RELATIONS
R = {(x1, y1), (x2, y2), (x3, y3), …}
xi R yi
17
Equivalence Relations
• Reflexive: xRx
• Symmetric: xRy yRx
• Transitive: x R y and y R z xRz
Example: R = ‘=‘
•x=x
•x=y y=x
• x = y and y = z x=z
18
Equivalence Classes
For equivalence relation R
equivalence class of x = {y : x R y}
Example:
R = { (1, 1), (2, 2), (1, 2), (2, 1),
(3, 3), (4, 4), (3, 4), (4, 3) }
21
Walk
e
b
a d
22
Path
e
b
a d
base e
b
3
a 1 d
2
c
24
Euler Tour
8 base
7 e
b 1
4 6
a 5 2 d
3
c
25
Hamiltonian Cycle
5 base
e
b 1
4
a 2 d
3
c
26
Finding All Simple Paths
e
b
a d
c
origin
27
Step 1
e
b
a d
c
origin
(c, a)
(c, e)
28
Step 2
e
b
a d
(c, a) c
origin
(c, a), (a, b)
(c, e)
(c, e), (e, b)
(c, e), (e, d)
29
Step 3
e
b
a d
(c, a) c
origin
(c, a), (a, b)
(c, a), (a, b), (b, e)
(c, e)
(c, e), (e, b)
(c, e), (e, d)
30
Step 4
e
b
(c, a) a d
parent
leaf
child
32
root
Level 0
Level 1
leaf Height 3
Level 2
Level 3
33
Binary Trees
34
PROOF TECHNIQUES
• Proof by induction
• Proof by contradiction
35
Induction
If we know
• for some b that P1, P2, …, Pb are true
• for any k >= b that
P1, P2, …, Pk imply Pk+1
Then
Every Pi is true
36
Proof by Induction
• Inductive basis
Find P1, P2, …, Pb which are true
• Inductive hypothesis
Let’s assume P1, P2, …, Pk are true,
for any k >= b
• Inductive step
Show that Pk+1 is true 37
Example
Theorem: A binary tree of height n
has at most 2n leaves.
Proof by induction:
let L(i) be the maximum number of
leaves of any subtree at height i
38
We want to show: L(i) <= 2i
• Inductive basis
L(0) = 1 (the root node)
• Inductive hypothesis
Let’s assume L(i) <= 2i for all i = 0, 1, …, k
• Induction step
we need to show that L(k + 1) <= 2k+1 39
Induction Step
height
k
k+1
40
Induction Step
height
k L(k) <= 2k
k+1
41
Remark
Recursion is another thing
f(0) = 1, f(1) = 1
42
Proof by Contradiction
43
Example
Theorem: 2 is not rational
Proof:
Assume by contradiction that it is rational
2 = n/m
n and m have no common factors
44
2 = n/m 2 m 2 = n2
n is even
Therefore, n2 is even
n=2k
m is even
2 m2 = 4k2 m2 = 2k2
m=2p
Contradiction!
45
Languages
46
A language is a set of strings
47
Alphabets and Strings
We will use small alphabets: a, b
Strings
a
ab u ab
abba v bbbaaa
baba w abba
aaabbbaabab
48
String Operations
w a1a2 an abba
v b1b2 bm bbbaaa
Concatenation
49
w a1a2 an ababaaabbb
Reverse
R
w an a2a1 bbbaaababa
50
String Length
w a1a2 an
Length: w n
Examples: abba 4
aa 2
a 1
51
Length of Concatenation
uv u v
Example: u aab, u 3
v abaab, v 5
uv aababaab 8
uv u v 3 5 8
52
Empty String
A string with no letters:
Observations: 0
w w w
String Substring
abbab ab
abbab abba
abbab b
abbab bbab
54
Prefix and Suffix
abbab
Prefixes Suffixes
abbab w uv
a bbab
prefix
ab bab
suffix
abb ab
abba b
abbab
55
Another Operation
n
w ww
w
n
2
Example: abba abbaabba
0
Definition: w
0
abba
56
The * Operation
* : the set of all possible strings from
alphabet
a, b
* , a, b, aa, ab, ba, bb, aaa, aab,
57
The + Operation
: the set of all possible strings from
alphabet except
a, b
* , a, b, aa, ab, ba, bb, aaa, aab,
*
a, b, aa, ab, ba, bb, aaa, aab,
58
Languages
A language is any subset of *
Example: a, b
* , a, b, aa, ab, ba, bb, aaa,
Languages:
a, aa, aab
{ , abba, baba, aa, ab, aaaaaa}
59
Note that:
Sets { } {}
Set size {} 0
n n
An infinite language L {a b : n 0}
ab
L abb L
aabb
aaaaabbbbb
61
Operations on Languages
The usual set operations
R R
Definition: L {w : w L}
R n n
L {b a : n 0}
63
Concatenation
64
Another Operation
Definition: n
L LL L
n
3
a, b a, ba, ba, b
aaa, aab, aba, abb, baa, bab, bba, bbb
0
Special case: L
n n
L {a b : n 0}
2 n n m m
L {a b a b : n, m 0}
2
aabbaaabbb L
66
Star-Closure (Kleene *)
0 1 2
Definition: L* L L L
Example:
,
a, bb,
a, bb*
aa , abb, bba , bbbb,
aaa, aabb, abba, abbbb,
67
Positive Closure
1 2
Definition: L L L
L *
a, bb,
a, bb aa, abb, bba, bbbb,
aaa, aabb, abba, abbbb,
68