1114 放苹果（递归）

1. 问题描述：

把M个同样的苹果放在N个同样的盘子里，允许有的盘子空着不放，问共有多少种不同的分法？ 5，1，1和1，5，1 是同一种分法。

输入:

第一行是测试数据的数目T。 
以下每行均包含二个整数M和N，以空格分开。1≤M，N≤20

输出:

对输入的每组数据M和N，用一行输出相应的答案。 

样例输入:

1
7 3

样例输出

8

来源：http://oj.ecustacm.cn/problem.php?id=1114

2. 思路分析：

① 分析题目可以知道这道问题需要尝试所有苹果的放法才可以求解最终的结果，根据这个特点我们知道可以使用递归搜索全部的可能性（递归可以搜索全部的可能性最终求得结果）。但是与之前练习的递归问题不同的是这道题目其实是有条件限制的就是盘子为空的时候为如果其他盘子中苹果的数目--对应相等的话那么是属于一种分法，也就是题目中给出的 5，1，1和1，5，1 属于同一种分法。一开始的时候没有什么思路，感觉这个条件限制处理起来还是有点麻烦的，后面在网上查找了相关的递归解法，发现需要理解题目的意思并且具体的苹果分法进行理解。

② 主要是分为两种情况，第一种情况是盘子的数目大于了苹果的数目，所以无论怎么样放置苹果都是存在空盘子的，而存在空盘子的情况下有些分苹果的情况是相同的，所以我们需要去除掉这些空的盘子，其实去掉这些空盘子对于结果是没有什么影响的，也就是f(m, n) = f(m, m)（m,n分别为苹果和盘子的数目）。第二种情况是盘子的数目小于等于苹果的数目，这个时候又分为两种情况：a：至少一个盘子为空的情况（10个苹果放在3个盘子中其中一个盘子不放苹果）f(m, n) = f(m, n - 1)。b：所有盘子都有苹果，这个时候我们可以从每个盘子拿走一个苹果这个时候对结果是没有什么影响，也即f(m - n, n)，问题规模在减小，结合具体的例子会更好理解每个盘子拿掉一个苹果对结果是没有影响的，所以当盘子的数目小于等于苹果数目的时候那么放的方法为两种情况的结果相加，也即f(m, n) = f(m, n - 1) + f(m - n, n)；如果理解当盘子的数目小于等于苹果数目的时候a中至少有一个盘子为空放法呢？其实在往下递归的时候盘子的数量可能为一直减少的，而苹果的数目一直不变最终可能所有苹果都放在同一个盘子的情况。主要是结合题目中给出的放置苹果的方法以及结合代码表达出具体的意思

③ 感觉这道题目对于理解递归的另外一种类型的题目也是很有帮助的，可以结合题目的例子来表达意思，一个简单的尝试所有可能性的问题经过条件限制之后又会变成新的问题还是很奇妙的

3. 代码如下：

# m表示苹果, n表示盘子
def dfs(m: int, n: int):
    if m == 0 or n == 1: return 1
    # 去除掉多余的盘子
    if n > m:
        return dfs(m, m)
    # n个盘子中至少一个为空的情况(往下递归的时候盘子的数目可能一直减少而苹果数目不变所以是至少)和每个盘子中拿走一个苹果两种结果相加
    else:
        return dfs(m, n - 1) + dfs(m - n, n)


if __name__ == '__main__':
    T = int(input())
    for i in range(T):
        M, N = map(int, input().split())
        print(dfs(M, N))