说起递归，我觉得其实大部分人应该是不陌生的，递归广泛存在于生活中。
比如：
The woman in this image holds an object that contains a smaller image of her holding an identical object, which in turn contains a smaller image of herself holding an identical object, and so forth.[from wikipedia]
那么递归的定义是什么呢？
在数学和计算机科学中，我们给出一个比较传统的定义是：它们有两个特性。一个基本特例，也称作平凡（一般）情况，它是递归终止的情形
一个已定义好的规则来使其它非基本的情形转化为基本情形
可能这个上面的定义比较枯燥，那么我们用一个经典的例子来说明一下。
Fibonacci sequence
Fib(0) = 0, 是一个基本情况
Fib(o) = 1, 是第二个基本情况所以 Fibonacci sequence 总共有两个基本情形对于其它情形，我们定义 Fib(n) = Fib(n-1) + Fib(n-2)到这里，估计读者已经对递归有一个大概的印象了，那么在Python中我们怎么用递归来实现某些特定的功能呢？
我首先用一些简单的例子来进行说明。
例1.
假如你要求序列数列 1, 2, 3, 4, ..., n 的和。比如对于n=4， 其和是10。那假如我们用递归来描述这种情况呢？
定义:基本情况：S(1) = 1
其它情形: S(n) = S(n-1) + n
所以在上述求和中S(n)的定义又用到了自己本身的定义，这就构成了递归。
我们用Python来实现以下上面的思路。
def Sum(n): if n==1: #对应基本情形 return 1 return Sum(n-1) + n#对应递归情形>>> Sum(4)10>>> Sum(10)55>>> Sum(100)5050
代码如上，可以看到，问题如果用递归来解决的话，可以与现实很好的结合，因为现实中有很多问题也是递归定义的。
此外，使用递归编程也比较简单。例2.
经典的求阶乘
定义 F(n) 为阶乘函数。
基本情形: F(0) = 1, F(1) = 1
其它情形: F(n) = F(n-1) * n
实现:
def F(n): if n==0 or n==1: #对应基本情形 return 1 return F(n-1)*n#对应递归情形>>> F(4)24>>> F(10)3628800
例3.
求 斐波那契数列
定义Fib(n) 为斐波那契数列
基本情形:
Fib(0) = 1, Fib(1) = 1
其它情形:
Fib(n) = Fib(n-1)+Fib(n-2)
实现:
def Fib(n): if n==0 or n==1: return 1 return Fib(n-1)+Fib(n-2)>>> Fib(10)89>>> Fib(8)34>>>
除此以外，接下来的几道题也可以用递归求解，虽然可能在有些问题上，递归并不是最合适的工具，可以使用迭代得到比递归更为高效的算法。
例4.
计算s=a+aa+aaa+aaaa+aa...a，其中 a是一个数字。
其中，a 以及 n 由用户输入，但是我们在这里就直接给定了。定义：
函数 SSS(a, n) 的值为上述所求值基本情形：
SSS(a, 1) = a
其它情形:
SSS(a, n) = SSS(a, n-1) + a...a(共n项)def SSS(a, n): #这里我说明一下，直接用input函数得到的就是字符串，除非你已经做了转换 #所以,我们设定a、n都是字符串 n = int(n)#转换 if n == 1: return int(a) return SSS(a, n-1) + int(a * n)#请思考这里a*n>>> SSS('2', '5')24690>>> SSS('2', '1')2>>> SSS('2', '2')24>>> 例5.
在一个排列中，如果一对数的前后位置与大小顺序相反，即前面的数大于后面的数，那么它们就称为一个逆序。一个排列中逆序的总数就称为这个排列的逆序数。比如排列[1,4,3,2]中，4在3前面，但4>3，则4和3逆序，同理，4和2逆序，3和2逆序，共有3对逆序，因此这组排列的逆序数为3。现在请你设计一个程序，判断用户输入的数组的逆序数。
定义：
OP(seq, n)为序列seq中前n项的逆序数基本情形:
OP(seq[1...n], 1) = 0，对于只有一个元素的集合，逆序数必然只有0其它情形:
OP(seq[1...n], n) = OP(seq[1...n, n-1] + F(n)，其中，F(n)是n关于seq[1...n-1]的逆序数.实现:
def OP(seq, n): if n == 1: return 0 #不为0 Fn = 0 for i in range(0, n-1): if seq[n-1] < seq[i]: Fn+=1 return OP(seq, n-1)+Fn>>> s = [5, 4, 3, 2, 1]>>> s[5, 4, 3, 2, 1]>>> OP(s, len(s))10>>>
例6.
输入某年某月某日，判断这一天是这一年的第几天？
假如我们要用递归实现这样的程序，该怎么考虑呢？
首先，我们得定义出我们的递归函数，它有三个变量，年，月，日。
定义:WhichDay(year, month, day)
基本情况: WhichDay(year, month, day) 当month = 1时，可以看出，此时该函数的值为 day
其它情形:
WhichDay(year, month, day) = WhichDay(year, month-1, F(month-1))+day请注意,我在递归式子中使用的F(month-1), 这个代表(month-1)这一月的总天数。
实现:
F = { 1:31, 2: 28, 3:31, 4:30, 5:31, 6:30, 7:31, 8:31, 9:30, 10: 31, 11: 30, 12: 31}def WhichDay(year, month, day): if month == 1: return day flag = 0#二月是否闰年标志 if month == 3: #二月特殊处理 #这里month等于3请读者思考 if (year % 4 == 0 and year % 100!=0) or year % 400 == 0: flag = 1#判断闰年 return WhichDay(year, month-1, F[month-1]+flag)+day>>> WhichDay(2016, 2, 1)32>>> WhichDay(2016, 11, 8)313>>> WhichDay(2016, 12, 31)366>>> 虽然上面的问题并不是很适合使用递归来实现，但是我主要是想跟大家分享一个递归解决问题中的思路，以及递归是一个很强大的工具，但是同时会产生很严重的效率问题。关于这一点，可以查看递归优化，可以很大程度上改善递归的效率。
希望读者看完这篇教程，可以有所收获，谢谢。