Download How To Think Like A Computer Scientist

Document related concepts

Location arithmetic wikipedia , lookup

Mathematics and art wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Quadratic reciprocity wikipedia , lookup

Positional notation wikipedia , lookup

Addition wikipedia , lookup

Golden ratio wikipedia , lookup

List of works designed with the golden ratio wikipedia , lookup

Continued fraction wikipedia , lookup

Ratio wikipedia , lookup

Elementary mathematics wikipedia , lookup

Transcript
Great Theoretical Ideas In Computer Science
S. Rudich
V. Adamchik
Lecture 13
CS 15-251
Feb 28, 2006
Spring 2006
Carnegie Mellon University
Recurrences, Phi and CF
Warm-up
Solve in integers
x1+x2+x3=11
x1r0; x2b3; x3r0
Warm-up
Solve in integers
x1+x2+x3=11
x1r0; x2b3; x3r0
[X11]
1xx2 x3
(1 -x) 2
Make Change (interview question)
Find the number of ways to
make change for $1 using
pennies, nickels, dimes and
quarters
Make Change
Find the number of ways to
make change for $1 using
pennies, nickels, dimes and
quarters
[X100]
1
(1 -x)(1 -x5 )(1 -x10 )(1 -x25 )
Make Change
Find the number of ways to
make change for $1 using
pennies, nickels, dimes and
quarters
x1  5x2  10x3  25x4  100
Partitions
Find the number of ways to
partition the integer n
3 = 1+1+1=1+2
4=1+1+1+1=1+1+2=1+3=2+2
Partitions
Find the number of ways to
partition the integer n
x1  2x2  3x3  ...  nxn  n
Partitions
Find the number of ways to
partition the integer n
1
(1 -x)(1 -x2)(1 -x3)...(1 -xn )
Leonardo Fibonacci
In 1202, Fibonacci proposed a problem
about the growth of rabbit populations.
The rabbit reproduction model
•A rabbit lives forever
•The population starts as a single newborn pair
•Every month, each productive pair begets a
new pair which will become productive after 2
months old
Fn= # of rabbit pairs at the beginning of the
nth month
month
rabbit
s
1
1
2
1
3
2
4
3
5
5
6
7
8
1
3
Fn is called the nth Fibonacci number
month
rabbit
s
1
1
2
1
3
2
4
3
5
5
6
7
8
1
3
F0=0, F1=1, and Fn=Fn-1+Fn-2 for n2
Fn is defined by a recurrence relation.
F0=0, F1=1,
Fn=Fn-1+Fn-2 for n2
What is a closed form
formula for Fn?
Techniques you have seen so far
Fn=Fn-1+Fn-2
Consider solutions of the form:
Fn= cn
for some constant c
c must satisfy:
cn - cn-1 - cn-2 = 0
cn - cn-1 - cn-2 = 0
iff cn-2(c2 - c - 1) = 0
iff c=0 or c2 - c - 1 = 0
Iff c = 0, c = , or c = -1/
 (“phi”) is the golden ratio
c = 0, c = , or c = -(1/)
So for all these values of c the
inductive condition is satisfied:
cn - cn-1 - cn-2 = 0
Do any of them happen to satisfy the
base condition as well?
F0=0, F1=1
a,b a n + b (-1/ )n
satisfies the inductive condition
Adjust a and b to fit the base conditions.
n=0: a+b = 0
n=1: a 1 + b (-1/ )1 = 1
a= 1/5 b= -1/5
Leonhard Euler (1765)
n
n

Fn 
F
1 I
 GJ
H K
5
Fibonacci Power Series

F x
k 0
k
k
 ??
Fibonacci Bamboozlement
Cassini’s Identity
Fn+1Fn-1 - Fn2 = (-1)n
We dissect FnxFn square and rearrange
pieces into Fn+1xFn-1 square
Golden Ratio
Divine Proportion
Ratio obtained when you divide a line segment
into two unequal parts such that the ratio of
the whole to the larger part is the same as
the ratio of the larger to the smaller.
AC AB


AB BC
A
AC
2
 
BC
AC AB BC
2
  


1
BC BC BC
2   1  0
B
C
Ratio of height of the person to
height of a person’s navel
Aesthetics
 plays a central role in renaissance art and
architecture.
After measuring the dimensions of pictures,
cards, books, snuff boxes, writing paper,
windows, and such, psychologist Gustav
Fechner claimed that the preferred
rectangle had sides in the golden ratio
(1871).
Which is the most attractive rectangle?
Which is the most attractive rectangle?

1
Golden
Rectangle
Divina Proportione
Luca Pacioli (1509)
Pacioli devoted an entire book to the
marvelous properties of . The book
was illustrated by a friend of his
named:
Leonardo Da Vinci
Table of contents
•The first considerable effect
•The second essential effect
•The third singular effect
•The fourth ineffable effect
•The fifth admirable effect
•The sixth inexpressible effect
•The seventh inestimable effect
•The ninth most excellent effect
•The twelfth incomparable effect
•The thirteenth most distinguished effect
Divina Proportione
Luca Pacioli (1509)
"Ninth Most Excellent Effect"
two diagonals of a regular pentagon
divide each other in the Divine
Proportion.
Expanding Recursively
   1  0
2
  1
1

Expanding Recursively
  1
 1
1

1
1
1

Expanding Recursively
1
  1

 1
 1
1
1
1

1
1
1
1
1

Expanding Recursively
1
 1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1....
A (Simple) Continued Fraction Is Any
Expression Of The Form:
1
a
1
b
1
c
1
d
1
e
1
f
1
g
h
1
1
i
j  ....
where a, b, c, … are whole numbers.
A Continued Fraction can have a finite
or infinite number of terms.
1
a
1
b
1
c
1
d
1
e
1
f
1
g
h
1
1
i
j  ....
We also denote this fraction by [a,b,c,d,e,f,…]
Continued Fraction Representation
8
1
 1
1
5
1
1
1
1
1
1
= [1,1,1,1,1,0,0,0,…]
Recursively Defined Form For CF
CF  whole number, or
1
= whole number 
CF
Proposition: Any finite
continued fraction evaluates
to a rational.
Converse: Any rational has a
finite continued fraction
representation.
Euclid’s GCD = Continued Fractions
A  A
 
B B
1
B
A mod B
Euclid(A,B) = Euclid(B, A mod B)
Stop when B=0
A Pattern for 
Let r1 = [1,0,0,0,…] = 1
r2 = [1,1,0,0,0,…] = 2/1
r3 = [1,1,1,0,0,0…] = 3/2
r4 = [1,1,1,1,0,0,0…] = 5/3
and so on.
Theorem:
rn = Fn+1/Fn
Divine Proportion
F
1 I
 GJ
H K 
F
1 I
 GJ

H K
n
Fn

Fn1

n
n
n 1

n 1
F
1I
G J
H K
F
1 I
 GJ
H K
n
F
1 I
 GJ
H K
n 1
n 1
lim n
Fn

Fn1

n 1
 n1
Heads-on
How to convert
kilometers into miles?
Magic conversion
50 km = 34 + 13 + 3
50 = F9 + F7 + F4
F8 + F6 + F3 = 31 miles
Quadratic Equations
X2 – 3x – 1 = 0
3  13
X
2
X2 = 3X + 1
X = 3 + 1/X
X = 3 + 1/X = 3 + 1/[3 + 1/X] = …
A Periodic CF
3  13
 3
2
3
1
1
1
3
1
3
1
3
1
3
1
3
3
1
1
3
3  ....
A period-2 CF
1 2

3
1
1
1
1
4
1
8
4
1
1
8
4  ...
Proposition: Any quadratic
solution has a periodic
continued fraction.
Converse: Any periodic
continued fraction is the
solution of a quadratic
equation
What about those
non-periodic
continued fractions?
Non-periodic CFs
1
e 1  1
1
1
1
2
1
1
1
1
1
4
1
1
1
1
1
6
1  ....
What is the pattern?
1
  3
1
7
1
15 
1
1
1
292 
1
1
1
1
1
1
1
2
1  ....
What a cool
representation!
Finite CF: Rationals
Periodic CF: Quadratic
roots
And some numbers reveal
hidden regularity.
More recurrences!!
Let us embark now on the
Catalan numbers
Counting Binary Trees
Count the number of
binary trees with n
nodes.
Counting Binary Trees
Let Tn represent the
number of trees with n
nodes
T1=1, T2=2
Counting Binary Trees
Size n
=
Size n-1-k
Size k
Counting Binary Trees
Size n
=
Size n-1-k
Size k
Tn = T0 Tn-1 + T1 Tn-2+…+Tn-1 T0
Counting Binary Trees

T x
k 0
k
k
 ??
Triangulation
Count the number of ways
to divide a convex
n-gon into triangles with
noncrossing diagonals.
• Review GCD algorithm
• Recurrences, Phi and CF
• The Catalan numbers
Study Bee