61A Lecture 6 Announcements Recursive Functions Recursive - - PowerPoint PPT Presentation

61a lecture 6 announcements recursive functions recursive
SMART_READER_LITE
LIVE PREVIEW

61A Lecture 6 Announcements Recursive Functions Recursive - - PowerPoint PPT Presentation

61A Lecture 6 Announcements Recursive Functions Recursive Functions 4 Recursive Functions Definition: A function is called recursive if the body of that function calls itself, either directly or indirectly 4 Recursive Functions Definition:


slide-1
SLIDE 1

61A Lecture 6

slide-2
SLIDE 2

Announcements

slide-3
SLIDE 3

Recursive Functions

slide-4
SLIDE 4

Recursive Functions

4

slide-5
SLIDE 5

Recursive Functions

Definition: A function is called recursive if the body of that function calls itself, either directly or indirectly

4

slide-6
SLIDE 6

Recursive Functions

Definition: A function is called recursive if the body of that function calls itself, either directly or indirectly Implication: Executing the body of a recursive function may require applying that function

4

slide-7
SLIDE 7

Recursive Functions

Definition: A function is called recursive if the body of that function calls itself, either directly or indirectly Implication: Executing the body of a recursive function may require applying that function

4

slide-8
SLIDE 8

Recursive Functions

Definition: A function is called recursive if the body of that function calls itself, either directly or indirectly Implication: Executing the body of a recursive function may require applying that function

Drawing Hands, by M. C. Escher (lithograph, 1948)

4

slide-9
SLIDE 9

Digit Sums

5

2+0+1+5 = 8

slide-10
SLIDE 10

Digit Sums

  • If a number a is divisible by 9, then sum_digits(a) is also divisible by 9

5

2+0+1+5 = 8

slide-11
SLIDE 11

Digit Sums

  • If a number a is divisible by 9, then sum_digits(a) is also divisible by 9
  • Useful for typo detection!

5

2+0+1+5 = 8

slide-12
SLIDE 12

Digit Sums

  • If a number a is divisible by 9, then sum_digits(a) is also divisible by 9
  • Useful for typo detection!

5

The Bank of 61A 1234 5678 9098 7658

OSKI THE BEAR

2+0+1+5 = 8

slide-13
SLIDE 13

Digit Sums

  • If a number a is divisible by 9, then sum_digits(a) is also divisible by 9
  • Useful for typo detection!

5

The Bank of 61A 1234 5678 9098 7658

OSKI THE BEAR

A checksum digit is a function of all the other digits; It can be computed to detect typos 2+0+1+5 = 8

slide-14
SLIDE 14

Digit Sums

  • If a number a is divisible by 9, then sum_digits(a) is also divisible by 9
  • Useful for typo detection!

5

The Bank of 61A 1234 5678 9098 7658

OSKI THE BEAR

A checksum digit is a function of all the other digits; It can be computed to detect typos

  • Credit cards actually use the Luhn algorithm, which we'll implement after digit_sum

2+0+1+5 = 8

slide-15
SLIDE 15

Sum Digits Without a While Statement

6

slide-16
SLIDE 16

Sum Digits Without a While Statement

6

def split(n): """Split positive n into all but its last digit and its last digit.""" return n // 10, n % 10

slide-17
SLIDE 17

Sum Digits Without a While Statement

6

def split(n): """Split positive n into all but its last digit and its last digit.""" return n // 10, n % 10 def sum_digits(n): """Return the sum of the digits of positive integer n."""

slide-18
SLIDE 18

Sum Digits Without a While Statement

6

def split(n): """Split positive n into all but its last digit and its last digit.""" return n // 10, n % 10 def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n

slide-19
SLIDE 19

Sum Digits Without a While Statement

6

def split(n): """Split positive n into all but its last digit and its last digit.""" return n // 10, n % 10 def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n)

slide-20
SLIDE 20

Sum Digits Without a While Statement

6

def split(n): """Split positive n into all but its last digit and its last digit.""" return n // 10, n % 10 def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-21
SLIDE 21

The Anatomy of a Recursive Function

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-22
SLIDE 22

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-23
SLIDE 23

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-24
SLIDE 24

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions
  • Conditional statements check for base cases

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-25
SLIDE 25

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions
  • Conditional statements check for base cases

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-26
SLIDE 26

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions
  • Conditional statements check for base cases
  • Base cases are evaluated without recursive calls

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-27
SLIDE 27

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions
  • Conditional statements check for base cases
  • Base cases are evaluated without recursive calls

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-28
SLIDE 28

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions
  • Conditional statements check for base cases
  • Base cases are evaluated without recursive calls
  • Recursive cases are evaluated with recursive calls

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-29
SLIDE 29

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions
  • Conditional statements check for base cases
  • Base cases are evaluated without recursive calls
  • Recursive cases are evaluated with recursive calls

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-30
SLIDE 30

The Anatomy of a Recursive Function

  • The def statement header is similar to other functions
  • Conditional statements check for base cases
  • Base cases are evaluated without recursive calls
  • Recursive cases are evaluated with recursive calls

(Demo)

7

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

slide-31
SLIDE 31

Recursion in Environment Diagrams

slide-32
SLIDE 32

Recursion in Environment Diagrams

9

Interactive Diagram

slide-33
SLIDE 33

Recursion in Environment Diagrams

9

(Demo) Interactive Diagram

slide-34
SLIDE 34

Recursion in Environment Diagrams

9

(Demo) Interactive Diagram

slide-35
SLIDE 35

Recursion in Environment Diagrams

  • The same function fact is called

multiple times

9

(Demo) Interactive Diagram

slide-36
SLIDE 36

Recursion in Environment Diagrams

  • The same function fact is called

multiple times

9

(Demo) Interactive Diagram

slide-37
SLIDE 37

Recursion in Environment Diagrams

  • The same function fact is called

multiple times

  • Different frames keep track of the

different arguments in each call

9

(Demo) Interactive Diagram

slide-38
SLIDE 38

Recursion in Environment Diagrams

  • The same function fact is called

multiple times

  • Different frames keep track of the

different arguments in each call

  • What n evaluates to depends upon 


the current environment

9

(Demo) Interactive Diagram

slide-39
SLIDE 39

Recursion in Environment Diagrams

  • The same function fact is called

multiple times

  • Different frames keep track of the

different arguments in each call

  • What n evaluates to depends upon 


the current environment

9

(Demo) Interactive Diagram

slide-40
SLIDE 40

Recursion in Environment Diagrams

  • The same function fact is called

multiple times

  • Different frames keep track of the

different arguments in each call

  • What n evaluates to depends upon 


the current environment

  • Each call to fact solves a simpler

problem than the last: smaller n

9

(Demo) Interactive Diagram

slide-41
SLIDE 41

Iteration vs Recursion

10

slide-42
SLIDE 42

Iteration vs Recursion

Iteration is a special case of recursion

10

slide-43
SLIDE 43

4! = 4 · 3 · 2 · 1 = 24

Iteration vs Recursion

Iteration is a special case of recursion

10

slide-44
SLIDE 44

4! = 4 · 3 · 2 · 1 = 24

Iteration vs Recursion

Iteration is a special case of recursion Using while:

10

slide-45
SLIDE 45

4! = 4 · 3 · 2 · 1 = 24

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total Using while:

10

slide-46
SLIDE 46

4! = 4 · 3 · 2 · 1 = 24

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total Using while: Using recursion:

10

slide-47
SLIDE 47

4! = 4 · 3 · 2 · 1 = 24

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total def fact(n): if n == 0: return 1 else: return n * fact(n-1) Using while: Using recursion:

10

slide-48
SLIDE 48

4! = 4 · 3 · 2 · 1 = 24

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total def fact(n): if n == 0: return 1 else: return n * fact(n-1) Using while: Using recursion: Math:

10

slide-49
SLIDE 49

4! = 4 · 3 · 2 · 1 = 24

n! =

n

Y

k=1

k

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total def fact(n): if n == 0: return 1 else: return n * fact(n-1) Using while: Using recursion: Math:

10

slide-50
SLIDE 50

4! = 4 · 3 · 2 · 1 = 24

n! =

n

Y

k=1

k n! = ( 1 if n = 0 n · (n − 1)!

  • therwise

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total def fact(n): if n == 0: return 1 else: return n * fact(n-1) Using while: Using recursion: Math:

10

slide-51
SLIDE 51

4! = 4 · 3 · 2 · 1 = 24

n! =

n

Y

k=1

k n! = ( 1 if n = 0 n · (n − 1)!

  • therwise

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total def fact(n): if n == 0: return 1 else: return n * fact(n-1) Using while: Using recursion: Math: Names:

10

slide-52
SLIDE 52

4! = 4 · 3 · 2 · 1 = 24

n! =

n

Y

k=1

k n! = ( 1 if n = 0 n · (n − 1)!

  • therwise

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total def fact(n): if n == 0: return 1 else: return n * fact(n-1) Using while: Using recursion:

n, total, k, fact_iter

Math: Names:

10

slide-53
SLIDE 53

4! = 4 · 3 · 2 · 1 = 24

n! =

n

Y

k=1

k n! = ( 1 if n = 0 n · (n − 1)!

  • therwise

Iteration vs Recursion

Iteration is a special case of recursion def fact_iter(n): total, k = 1, 1 while k <= n: total, k = total*k, k+1 return total def fact(n): if n == 0: return 1 else: return n * fact(n-1) Using while: Using recursion:

n, total, k, fact_iter

Math: Names:

n, fact

10

slide-54
SLIDE 54

Verifying Recursive Functions

slide-55
SLIDE 55

The Recursive Leap of Faith

12

slide-56
SLIDE 56

The Recursive Leap of Faith

Photo by Kevin Lee, Preikestolen, Norway

12

slide-57
SLIDE 57

The Recursive Leap of Faith

Photo by Kevin Lee, Preikestolen, Norway

def fact(n): if n == 0: return 1 else: return n * fact(n-1)

12

slide-58
SLIDE 58

The Recursive Leap of Faith

Is fact implemented correctly?

Photo by Kevin Lee, Preikestolen, Norway

def fact(n): if n == 0: return 1 else: return n * fact(n-1)

12

slide-59
SLIDE 59

The Recursive Leap of Faith

Is fact implemented correctly? 1. Verify the base case

Photo by Kevin Lee, Preikestolen, Norway

def fact(n): if n == 0: return 1 else: return n * fact(n-1)

12

slide-60
SLIDE 60

The Recursive Leap of Faith

Is fact implemented correctly? 1. Verify the base case 2. Treat fact as a functional abstraction!

Photo by Kevin Lee, Preikestolen, Norway

def fact(n): if n == 0: return 1 else: return n * fact(n-1)

12

slide-61
SLIDE 61

The Recursive Leap of Faith

Is fact implemented correctly? 1. Verify the base case 2. Treat fact as a functional abstraction! 3. Assume that fact(n-1) is correct

Photo by Kevin Lee, Preikestolen, Norway

def fact(n): if n == 0: return 1 else: return n * fact(n-1)

12

slide-62
SLIDE 62

The Recursive Leap of Faith

Is fact implemented correctly? 1. Verify the base case 2. Treat fact as a functional abstraction! 3. Assume that fact(n-1) is correct 4. Verify that fact(n) is correct

Photo by Kevin Lee, Preikestolen, Norway

def fact(n): if n == 0: return 1 else: return n * fact(n-1)

12

slide-63
SLIDE 63

Mutual Recursion

slide-64
SLIDE 64

The Luhn Algorithm

14

slide-65
SLIDE 65

The Luhn Algorithm

Used to verify credit card numbers

14

slide-66
SLIDE 66

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

14

slide-67
SLIDE 67

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

  • First: From the rightmost digit, which is the check digit, moving left, double the value
  • f every second digit; if product of this doubling operation is greater than 9 (e.g., 7 *

2 = 14), then sum the digits of the products (e.g., 10: 1 + 0 = 1, 14: 1 + 4 = 5)

14

slide-68
SLIDE 68

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

  • First: From the rightmost digit, which is the check digit, moving left, double the value
  • f every second digit; if product of this doubling operation is greater than 9 (e.g., 7 *

2 = 14), then sum the digits of the products (e.g., 10: 1 + 0 = 1, 14: 1 + 4 = 5)

  • Second: Take the sum of all the digits

14

slide-69
SLIDE 69

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

  • First: From the rightmost digit, which is the check digit, moving left, double the value
  • f every second digit; if product of this doubling operation is greater than 9 (e.g., 7 *

2 = 14), then sum the digits of the products (e.g., 10: 1 + 0 = 1, 14: 1 + 4 = 5)

  • Second: Take the sum of all the digits

14

1 3 8 7 4 3

slide-70
SLIDE 70

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

  • First: From the rightmost digit, which is the check digit, moving left, double the value
  • f every second digit; if product of this doubling operation is greater than 9 (e.g., 7 *

2 = 14), then sum the digits of the products (e.g., 10: 1 + 0 = 1, 14: 1 + 4 = 5)

  • Second: Take the sum of all the digits

14

1 3 8 7 4 3 2 3 1+6=7 7 8 3

slide-71
SLIDE 71

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

  • First: From the rightmost digit, which is the check digit, moving left, double the value
  • f every second digit; if product of this doubling operation is greater than 9 (e.g., 7 *

2 = 14), then sum the digits of the products (e.g., 10: 1 + 0 = 1, 14: 1 + 4 = 5)

  • Second: Take the sum of all the digits

14

1 3 8 7 4 3 2 3 1+6=7 7 8 3 = 30

slide-72
SLIDE 72

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

  • First: From the rightmost digit, which is the check digit, moving left, double the value
  • f every second digit; if product of this doubling operation is greater than 9 (e.g., 7 *

2 = 14), then sum the digits of the products (e.g., 10: 1 + 0 = 1, 14: 1 + 4 = 5)

  • Second: Take the sum of all the digits

14

1 3 8 7 4 3 2 3 1+6=7 7 8 3 The Luhn sum of a valid credit card number is a multiple of 10 = 30

slide-73
SLIDE 73

The Luhn Algorithm

Used to verify credit card numbers From Wikipedia: http://en.wikipedia.org/wiki/Luhn_algorithm

  • First: From the rightmost digit, which is the check digit, moving left, double the value
  • f every second digit; if product of this doubling operation is greater than 9 (e.g., 7 *

2 = 14), then sum the digits of the products (e.g., 10: 1 + 0 = 1, 14: 1 + 4 = 5)

  • Second: Take the sum of all the digits

14

1 3 8 7 4 3 2 3 1+6=7 7 8 3 The Luhn sum of a valid credit card number is a multiple of 10 = 30 (Demo)

slide-74
SLIDE 74

Recursion and Iteration

slide-75
SLIDE 75

Converting Recursion to Iteration

16

slide-76
SLIDE 76

Converting Recursion to Iteration

Can be tricky: Iteration is a special case of recursion.

16

slide-77
SLIDE 77

Converting Recursion to Iteration

Can be tricky: Iteration is a special case of recursion. Idea: Figure out what state must be maintained by the iterative function.

16

slide-78
SLIDE 78

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

Converting Recursion to Iteration

Can be tricky: Iteration is a special case of recursion. Idea: Figure out what state must be maintained by the iterative function.

16

slide-79
SLIDE 79

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

Converting Recursion to Iteration

Can be tricky: Iteration is a special case of recursion. Idea: Figure out what state must be maintained by the iterative function.

16

What's left to sum

slide-80
SLIDE 80

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

Converting Recursion to Iteration

Can be tricky: Iteration is a special case of recursion. Idea: Figure out what state must be maintained by the iterative function. A partial sum

16

What's left to sum

slide-81
SLIDE 81

def sum_digits(n): """Return the sum of the digits of positive integer n.""" if n < 10: return n else: all_but_last, last = split(n) return sum_digits(all_but_last) + last

Converting Recursion to Iteration

Can be tricky: Iteration is a special case of recursion. Idea: Figure out what state must be maintained by the iterative function. A partial sum

16

(Demo) What's left to sum

slide-82
SLIDE 82

Converting Iteration to Recursion

17

slide-83
SLIDE 83

Converting Iteration to Recursion

More formulaic: Iteration is a special case of recursion.

17

slide-84
SLIDE 84

Converting Iteration to Recursion

More formulaic: Iteration is a special case of recursion. Idea: The state of an iteration can be passed as arguments.

17

slide-85
SLIDE 85

Converting Iteration to Recursion

More formulaic: Iteration is a special case of recursion. Idea: The state of an iteration can be passed as arguments. def sum_digits_iter(n): digit_sum = 0 while n > 0: n, last = split(n) digit_sum = digit_sum + last return digit_sum

17

slide-86
SLIDE 86

Converting Iteration to Recursion

More formulaic: Iteration is a special case of recursion. Idea: The state of an iteration can be passed as arguments. def sum_digits_iter(n): digit_sum = 0 while n > 0: n, last = split(n) digit_sum = digit_sum + last return digit_sum def sum_digits_rec(n, digit_sum): if n == 0: return digit_sum else: n, last = split(n) return sum_digits_rec(n, digit_sum + last)

17

slide-87
SLIDE 87

Converting Iteration to Recursion

More formulaic: Iteration is a special case of recursion. Idea: The state of an iteration can be passed as arguments. def sum_digits_iter(n): digit_sum = 0 while n > 0: n, last = split(n) digit_sum = digit_sum + last return digit_sum def sum_digits_rec(n, digit_sum): if n == 0: return digit_sum else: n, last = split(n) return sum_digits_rec(n, digit_sum + last) Updates via assignment become...

17

slide-88
SLIDE 88

Converting Iteration to Recursion

More formulaic: Iteration is a special case of recursion. Idea: The state of an iteration can be passed as arguments. def sum_digits_iter(n): digit_sum = 0 while n > 0: n, last = split(n) digit_sum = digit_sum + last return digit_sum def sum_digits_rec(n, digit_sum): if n == 0: return digit_sum else: n, last = split(n) return sum_digits_rec(n, digit_sum + last) Updates via assignment become... ...arguments to a recursive call

17