{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Recursion\n", "- defining something in terms of itself usually at some smaller scale, perhaps multiple times, to achieve your objective\n", "- e.g., a human being is someone whose mother is a human being\n", "- directory is a structure that holds files and (smaller) directories, etc.\n", "- in programming, functions can generally call themselves to solve smaller subproblems\n", "- fractals is a drawing which also has self-similar structure, where it can be defined in terms of itself\n", "\n", "## Definitions\n", "Recursion: The process of solving a problem by reducing it to smaller versions of itself is called recursion.
\n", "Recursive definition: a definition in which something is defined in terms of smaller version of itself.
\n", "Recursive algorithm: an algorithm that finds a solution to a given problem by reducing the problem to smaller versions of itself
\n", "Infinite recursion: never stops\n", "\n", "### general construct of recurive algorithms:\n", "- recursive algorithms have base case(s) and general case(s)\n", "- base case(s) provides direct answer that makes the recursion stop\n", "- general case(s) recursively reduces to one of the base case(s)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### recursive countdown example" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "# Recursively print countdown from 10-1 and blast off!\n", "# Run it as a script\n", "import os\n", "import time\n", "def countDown(n):\n", " os.system('clear')\n", " if n == 0:\n", " print('Blast Off!')\n", " time.sleep(1)\n", " os.system('clear')\n", " else:\n", " print(n)\n", " time.sleep(1)\n", " countDown(n-1) # tail recursion\n", " #print(n)\n", " " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "countDown(10)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Fibonacci numbers\n", "- Fibonacci sequence: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, ...\n", "- devised by Fibonacci (1170-1250), who used the sequence to model the breeding of (pairs) of rabbits\n", "- say in generation 7 you had 21 pairs in total, of which 13 were adults, then in next generation the adults will have bred new children, and the previous children will have grown up to become adults. So, in generation 8, you'll have 13+21=34 rabbits, of which 21 are adults." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Fibonacci number definition\n", "
\n",
    "fib(0) = 0 - base case 1\n",
    "fib(1) = 1 - base case 2\n",
    "fib(n) = fib(n-1) + fib(n-2) for n >= 2 - general case\n",
    "
" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "# In Python:\n", "#count = 0\n", "def fib(n):\n", " global count\n", " #count += 1\n", " if n <= 1:\n", " return n\n", " f = fib(n-1) + fib(n-2)\n", " return f" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "fib(10)\n", "#print(count)\n", "#assert fib(8) == 21\n", "#assert fib(10) == 55" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### visualize fib(4) using pythontutor.com\n", "- https://goo.gl/YNizhH" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "from IPython.display import IFrame\n", "src = \"\"\"\n", "http://pythontutor.com/iframe-embed.html#code=%23%20In%20Python%3A%0Adef%20fib%28n%29%3A%0A%20%20%20%20if%20n%20%3C%3D%201%3A%0A%20%20%20%20%20%20%20%20return%20n%0A%20%20%20%20f%20%3D%20fib%28n-1%29%20%2B%20fib%28n-2%29%0A%20%20%20%20return%20f%0A%20%20%20%20%0Aprint%28fib%284%29%29&codeDivHeight=400&codeDivWidth=350&cumulative=false&curInstr=0&heapPrimitives=false&origin=opt-frontend.js&py=3&rawInputLstJSON=%5B%5D&textReferences=false\n", "\"\"\"\n", "IFrame(src, width=900, height=300)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### how many times is fib() called for fib(4)?\n", "- Modify fib to count the number of times fib gets called." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Factorial definition\n", "
\n",
    "    0! = 1 - base case\n",
    "    n! = n.(n-1)! for n >= 1 - general case\n",
    "
" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### exercise 1\n", "Write a recursive fact(n) function that takes a positive integer n and returns its factorial.\n", "
\n",
    "Here are some test cases that the fact(n) should pass:\n",
    "assert fact(5) == 120\n",
    "assert fact(10) == 3628800\n",
    "assert fact(100) == math.factorial(100)\n",
    "
" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### exercise 2\n", "Write a recursive function -- gcd(a, b) -- that finds the greatest common divisor of two given positive integers, a and b.\n", "
\n",
    "Here are some test cases that gcd(a, b) should pass:\n",
    "assert gcd(2, 100) == 2\n",
    "assert gcd(50, 10) == 10\n",
    "assert gcd(125, 75) == 25\n",
    "
" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### exercise 3\n", "Write a program that simulates the steps required to solve the \"Tower of Hanoii\" puzzle for some disks n.\n", "- https://www.mathsisfun.com/games/towerofhanoi.html\n", "\n", "- Recursive algorithm \n", "- If there are 1 or more disks to move:\n", " 1. Move the top n-1 disks from needle 1 (source) to needle 2 (helper), using needle 3 (dest) as the intermediate needle\n", " 2. Move disk number n from needle 1 to needle 3\n", " 3. Move the top n - 1 disks from needle 2 to needle 3, using needle 1 as the intermediate needle" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "def moveDisks(n, src, helper, dst):\n", " if n > 0:\n", " moveDisks(n-1, src, dst, helper)\n", " print('Move disk #{} from {} to {}'.format(n, src, dst))\n", " moveDisks(n-1, helper, src, dst)" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "moveDisks(3, 'needle1', 'needle2', 'needle3')" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.6.2" } }, "nbformat": 4, "nbformat_minor": 2 }