Python递归函数的正确理解与使用

先看一个题目：

题面描述
小明很喜欢学数学，并且喜欢做一些奇怪的题，这天他想知道对于给定的 N ，有多少个 M 满足“ M<=N, gcd(N,M)==1, M 是偶数”。请你编写程序帮助小明解决这个问题。
输入数据
输入数据第一行为一个正整数 T ，表示测试数据的组数。 接下来的 T 组测试数据中， 每组测试数据为一行，包含一个整数 N （1≤T≤100， 1≤N≤10000 ）。
输出数据
对于每一组输入数据，在单独的一行中输出 ”Case #id: M”, 表示第 id 组数据结果是 M ， id 从 1 开始；
样例输入

4
1
2
11
23

样例输出

Case #1: 0
Case #2: 0
Case #3: 5
Case #4: 11

Hint:
gcd(a,b)==1 表示 a 与 b 的最大公约数为 1 ，即 a 与 b 互素。

1. 讲讲算法思路
2. 分析输入输出与显示
3. 源代码与递归函数的精华所在

1.两个数互素：最小公约数为1。我们只要把大一点的数%较小的数，上一轮较小的数%这个余数又得到一个余数，每次判断这个余数是0还是1。只要有0出现就不互素。

2.输入用list[]保存。输出的序号可以在循环里面计数。输出赋值：print('Case #%d: %d'%(x,y))

3.

#求法，可能会用到函数，递归函数等
def gcd(x,y):#定义递归函数
    if x>=y:
        z1=x%y#取余数
        if z1==0:#如果余数==0，立马返回0这个指示表示x,y这两个数不是互素。
            return 0
        elif z1==1:#如果余数==1，立马返回1这个指示表示x,y这两个数是互素。
            return 1
        else:#如果上述的情况都不满足，立马递归，用结果作为输入，再次计算，直到返回值是0/1
            return gcd(y,z1)
    else:
        (x,y)=(y,x)
        z1=x%y
        if z1==0:
            return 0
        elif z1==1:
            return 1
        else:
            return gcd(y,z1)
test_nums=int(input())
stores=[]
for ii in range(test_nums):
    stores.append(int(input()))
m=0#计数
for i in stores:
    n=0
    m=m+1
    for M in range(2,i+1,2):
        if_is=gcd(i,M)
        if if_is==1:
            n=n+1
    print('Case #%d:'%(m),n)

这里的递归函数其实写的还是比较保守的，

def get_gcd(a,b):  
    if(a % b) == 0:  
        return b    
    else:    
        return get_gcd(b, a % b) 

这是某位同学的改进，直接判断递归函数的结果是不是1，是1的话就是互素。这里因为递归，所以就算较小数%较大数也不会有关系，无非就是在递归一次。

>>> 10%3
1
>>> 3%10
3
>>> 10%3
1

递归函数的特点：定义的函数里一定要在return后面再次调用原函数，并且有if函数的return某一个计算的变量作为最后的结果。不然就没完没了了。