Download Recursion!

Recursion!
What Happens Inside a Function?
def h(x):
if x%2 == 1:
return f(x) + x
else:
return f(f(x))
def f(x):
x = x-1
return g(x)+1
def g(x):
return x*2
8
h(3):
return f(3) + 3
5
f(3):
return g(2) + 1
4
g(2):
return 4
Two key points…
• Functions return to where they were called from
• Each function keeps its own values of its variables
Recursion…
n! = n(n-1)(n-2)…1
def factorial(n):
result = 1
for k in range(1, n+1):
result = result * k
return result
Recursion…
n! = n(n-1)(n-2)…1
n! = n[(n-1)!] “inductive definition”
Recursion…
n! = n(n-1)(n-2)…1
n! = n[(n-1)!] “inductive definition”
0! = 1
“base case”
Math Induction = CS Recursion
Math
inductive
definition
0! = 1
n! = n[(n-1)!]
Python (Functional)
recursive function
# recursive factorial
def factorial(n):
if n == 0:
return 1
else:
return n * factorial(n-1)
Is Recursion Magic?
factorial(3):
return 3 * factorial(2)
# recursive factorial
def factorial(n):
if n == 0:
return 1
else:
return n*factorial(n-1)
Is Recursion Magic?
factorial(3):
return 3 * factorial(2)
return 2 * factorial(1)
# recursive factorial
def factorial(n):
if n == 0:
return 1
else:
return n*factorial(n-1)
Is Recursion Magic?
factorial(3):
return 3 * factorial(2)
return 2 * factorial(1)
return 1 * factorial(0)
# recursive factorial
def factorial(n):
if n == 0:
return 1
else:
return n*factorial(n-1)
Is Recursion Magic?
factorial(3):
return 3 * factorial(2)
return 2 * factorial(1)
1
return 1 * factorial(0)
# recursive factorial
def factorial(n):
if n == 0:
return 1
else:
return n*factorial(n-1)
Is Recursion Magic?
factorial(3):
return 3 * factorial(2)
2
return 2 * factorial(1)
1
return 1 * factorial(0)
# recursive factorial
def factorial(n):
if n == 0:
return 1
else:
return n*factorial(n-1)
Is Recursion Magic?
factorial(3):
6
return 3 * factorial(2)
2
return 2 * factorial(1)
1
return 1 * factorial(0)
# recursive factorial
def factorial(n):
if n == 0:
return 1
else:
return n*factorial(n-1)
The Power of Recursion…
>>> pow(10, 3)
1000
>>> pow(10, 0)
1
>>> pow(2, 5)
32
def pow(base, exp):
The Power of Recursion…
>>> pow(10, 3)
1000
>>> pow(10, 0)
1
>>> pow(2, 5)
32
def pow(base, exp):
if exp == 0: return 1
else:
# base case!
The Power of Recursion…
>>> pow(10, 3)
1000
>>> pow(10, 0)
1
>>> pow(2, 5)
32
def pow(base, exp):
if exp == 0: return 1 # base case!
else: return base * pow(base, exp-1)
Computing the length of a list
>>> len([1, 42, “spam”])
3
>>> len([1, [2, [3, 4]]])
2
Python has
this builtin!
def len(L):
‘’’returns the length of list L’’’
Computing the length of a list
>>> len([1, 42, “spam”])
3
>>> len([1, [2, [3, 4]]])
2
Python has
this builtin!
def len(L):
‘’’returns the length of list L’’’
if L == []: return 0 # base case
Computing the length of a list
>>> len([1, 42, “spam”])
3
>>> len([1, [2, [3, 4]]])
2
def len(L):
‘’’returns the length of list L’’’
if L == []: return 0 # base case
else: return 1 + len(L[1:])
Summing up the numbers in a list
>>> sum([1, 42, 7])
50
>>> sum([42])
42
>>> sum([])
0
Python has
this built-in
too!
def sum(L):
‘’’returns the sum of numbers in the list’’’
Summing up the numbers in a list
>>> sum([1, 42, 7])
50
>>> sum([42])
42
>>> sum([])
0
The base
case takes
care of the
simplest
case we
def sum(L):
could get.
‘’’returns the sum of numbers in the list’’’
if L == []: return 0
Summing up the numbers in a list
>>> sum([1, 42, 7])
50
>>> sum([42])
42
>>> sum([])
0
def sum(L):
‘’’returns the sum of numbers in the list’’’
if L == []: return 0
else: return ???
Summing up the numbers in a list
>>> sum([1, 42, 7])
50
>>> sum([42])
42
>>> sum([])
0
def sum(L):
‘’’returns the sum of numbers in the list’’’
if L == []: return 0
else: return L[0] + sum(L[1:])
No new variables!
def len(L):
‘’’ RECURSIVE VERSION ’’’
if L == []: return 0 # base case
else: return 1 + len(L[1:])
def lenV2(L):
‘’’ LOOP VERSION ‘’’
counter = 0 # a new variable!
for x in L:
counter += 1
return counter
Reversing a list
>>> reverse([1, 2, 3, 4])
[4, 3, 2, 1]
def reverse(L):
[
,
,
]
Reversing a list
[
>>> reverse([1, 2, 3, 4])
[4, 3, 2, 1]
def reverse(L):
if L == []: return ???
# base case
,
,
]
Reversing a list
[
>>> reverse([1, 2, 3, 4])
[4, 3, 2, 1]
def reverse(L):
if L == []: return []
# base case
,
,
]
Reversing a list
[
,
>>> reverse([1, 2, 3, 4])
[4, 3, 2, 1]
def reverse(L):
if L == []: return []
else:
return ???
# base case
We will generally avoid
using append when
writing recursive
functions.
,
]
Reversing a list
[
>>> reverse([1, 2, 3, 4])
[4, 3, 2, 1]
def reverse(L):
if L == []: return [] # base case
else:
return reverse(L[1:]) + [L[0]]
,
,
]
Minimum!
>>> min([372, 112, 42, 451])
42
>>> min([16])
16
[
,
,
Assume that the list
always has at least one
number in it! Use len
as a helper function!
def min(L):
‘’’ returns smallest value in the list L ‘’’
if ??? # base case?
]
Minimum!
>>> min([372, 112, 42, 451])
42
>>> min([16])
16
[
,
,
Assume that the list
always has at least one
number in it! Use len
as a helper function!
def min(L):
‘’’ returns smallest value in the list L ‘’’
if len(L) == 1: return L[0] # base case!
elif L[0] < min(L[1:]): ???return L[0]
else: return min(L[1:]
]
Minimum!
>>> min([372, 112, 42, 451])
42
>>> min([16])
16
[
,
,
Assume that the list
always has at least one
number in it! Use len
as a helper function!
def min(L):
‘’’ returns smallest value in the list L ‘’’
if len(L) == 1: return L[0] # base case?
elif L[0] < min(L[1:]): return L[0]
else: return ???
]
Minimum!
>>> min([372, 112, 42, 451])
42
>>> min([16])
16
[
,
,
Assume that the list
always has at least one
number in it! Use len
as a helper function!
def min(L):
‘’’ returns smallest value in the list L ‘’’
if len(L) == 1: return L[0] # base case?
elif L[0] < min(L[1:]): return L[0]
else: return min(L[1:])
]
member
>>> member(42, [1, 3, 5, 42, 7])
True
>>> member(42, [“spam”, “is”, “yummy”])
False
def member(thing, myList):
‘’’ return True if thing This is sort of like the
in myList and False “in” thing in Python, but
don’t use “in” here. Just
otherwise. ‘’’
list indexing, slicing,
and recursion!
member
>>> member(42, [1, 3, 5, 42, 7])
True
>>> member(42, [“spam”, “is”, “yummy”])
False
def member(thing, myList):
if myList == []: return ???
# base case
member
>>> member(42, [1, 3, 5, 42, 7])
True
>>> member(42, [“spam”, “is”, “yummy”])
False
def member(thing, myList):
if myList == []: return False # base
case
elif thing == myList[0]: return True
member
>>> member(42, [1, 3, 5, 42, 7])
True
>>> member(42, [“spam”, “is”, “yummy”])
False
def member(thing, myList):
if myList == []: return False # base
case
elif thing == myList[0]: return True
else: return member(thing, myList[1:])
Palindrome?
>>> pal(“radar”)
True
>>> pal(“amanaplanacanalpanama”)
True
>>> pal(“spam”)
False
def pal(myString):
‘’’ returns True if myString is a
palindrome and False otherwise ‘’’
Palindrome?
>>> pal(“radar”)
True
>>> pal(“amanaplanacanalpanama”)
True
>>> pal(“spam”)
False
def pal(myString):
‘’’ returns True if myString is a
palindrome and False otherwise ‘’’
if len(myString) <= 1: return True # base
case
Palindrome?
>>> pal(“radar”)
True
>>> pal(“amanaplanacanalpanama”)
True
>>> pal(“spam”)
False
def pal(myString):
‘’’ returns True if myString is a
palindrome and False otherwise ‘’’
if len(myString) <= 1: return True # base
case
elif myString[0] != myString[-1]:
return False
else:
Palindrome?
>>> pal(“radar”)
True
>>> pal(“amanaplanacanalpanama”)
True
>>> pal(“spam”)
False
def pal(myString):
‘’’ returns True if myString is a
palindrome and False otherwise ‘’’
if len(myString) <= 1: return True # base
case
elif myString[0] != myString[-1]:
return False
else: return pal(myString[1:-1])