C＋算法主题系列之论递归回溯算法与原始穷举算法的一致性

1. 前言

本文将和大家一起聊聊和的内在关系，目的是透过现象看本质，深入理解回溯算法的内在，让你真真切切看清楚其真实面貌，而不仅仅限于套用算法模板。

回溯算法适用于如下的问题域：

问题可以分解成多个步聚。

每一步可有多个选择。

求解此问题的多种方案。

如果求解某问题共需要 个步骤、而每一步可有的选择为，根据乘法原理，则符合问题的方案应该有 。如下图所示：

数学上的排列组合问题便是典型的此类问题。

排列问题描述：如从 这 个数字中选择 个数字进行重新排列，请问共有多少排列方案，当时称为全排列。

本文将从求解全排列的原始穷举算法开始，一路讨索原始穷举算法和回溯算法之间的一致性。这里的一致性是说回溯算法本质就是原始穷举算法，当然，两者之间会有思想层面的差异性。

2. 原始穷举算法

什么是原始穷举算法？

理论上讲，算法只有一种，便是穷举，但是，人是智慧性的，可通过发现待处理数据之间的逻辑关系，从而设计方案，减少穷举的次数。

原始穷举算法也是一种静态处理算法。

静态这里又做何解释？

不急，且先看如何使用原始穷举算法求解 这几个数字的全排列。

穷举的基本思想是先确定数据范围，然后对其进行筛选。个数字的全排列穷举算法实现流程如下：

无论是哪一种排列方案，都需要找齐 个数字，说明每一种方案都需要分 步。如下图所示，每一次需要填满如下 个格间方算找出一种方案。

第一步可以从 中选择出一个数字。如下图先选择数字 。

因全排列数字不能重复使用，故第二步只能从没有选择的数字中再选择一个。

如此思想，继续完成后续步聚。

如何编码实现？

必然是循环和条件分支语句上场，循环用来确定能查找的数字范围，条件分支进行筛选。

输出结果：

至此，解决了全排列问题，但是，有 个问题值得思考。

你是否看到了上述代码里有回溯？

Tips： 所谓回溯，指结束当前步聚，回到上一步，再次开始。

可认为代码中的每一个循环语句对应了问题中的每一步聚。如下图当第 次循环语句（第 步）结束后，会回溯到上一步，即第四步（第四个循环语句）。

Tips： 循环嵌套的特性：内层循环结束，重新进入外层循环判断，如果外层循环满足条件可以继续，新一轮内层循环也将开始。

同理，如果第四步（第 个循环语句）结束，会回溯到第 步(第 个循环语句)。一旦第三步确定好新数字，第四步和第五步会重新开始。如此反复，一步一步向上回溯再向下重新开始，便能找出所有方案。

思考后的结论：

循环嵌套自带有回溯能力。

根据循环嵌套的特点，所有循环次数的乘积便是最终求解的次数，可知第一步可供选择数字有 个，第二步有 个，第三步有 个，第四步有 ，第 步有 1 个。共计方案数为 种，和代码输出结论一样。

再思考第二个问题：如果求 此个数字的全排列，或更多个数字的全排列又该如何？

显然，无法让上述代码在运行时，同时实现求 数字和数字的全排列，除非写 份代码。上文说过，原始穷举算法是静态的，所谓的静态性就在此，代码仅局限于一个具体问题的求解，而不是一类问题的求解。

3. 递归回溯算法

自然的想法，代码必须能根据问题需求动态扩展循环语句块，会让我们想到递归。

递归实现全排列动态化的流程：

先实现在 这个数字中选择 个数字的排列方案。这是一个很简单的子问题，一个循环语句块就能解决。

如果要在个数字中选择 个数字进行排列。根据前面的理论，可以使用循环嵌套。

因函数就是封装了循环语句的函数，如果让函数自己调用自己，不仅实现了循环嵌套，而且还是动态嵌套，甚至可以无限制的嵌套。

至此，便实现了动态扩展循环语法结构，想来，真是一件让人兴奋的事情。

递归是需要有出口的，这里的限制很简单。如果 个数字中选择 个数字，只需要 层循环嵌套便可。

递归函数仅实现了动态循环嵌套，依然要遵循排列逻辑，仅当第一个数字和第二个数字确定后方能输出。

因递归是函数间调用，上一级函数中的循环语句块中选择的数字要在下一级函数的循坏中使用，要么使用参数传递，要么使用全局变量。

如下使用参数传递方案：

输出结果：

代码中还是有几个问题需要解决：

结果中出现了数字重复方案。这个问题是易解决的，只需要添加如下一行代码便可，是不是很熟悉。

但是，当动态嵌套的循环（递归）层次很多时，通过参数传递选择好的数字是一件很繁琐的事情。如下图所示。

要解决这 个问题，看来还得使用全局全量：

添加一个全局变量存储数字的使用状态，避免重复使用。

添加一个全局变量存储选择的结果。

修改后代码如下：

输出结果：

为什么输出的结果不完整？

如下图所示：

如果外层循环选择了数字 ，则内层循坏可以选择 ，且会对这几个数字做全局已经使用标记，当重新进入外层循坏时，已经没有数字可以。

所以代码中还差最后一环节，无论任何时候，当重回外层循坏时，需要把标记为已经使用的数字重新标记为初始未使用状态。

如此，使用递归实现的回溯算法便大功告成。

输出最终代码的测试结果：

小结：

递归回溯算法中，递归充当了动态添加循环语句块的作用。

当使用参数向下一级函数传递上一级函数结果时，不需要标记信息，但会增加代码的复杂度。

递归回溯算法也不是什么新艳事物，不过是换了一个马甲做穷举，还是循坏嵌套这一套。

原始穷举算法的性能本身就够寒碜，递归回溯算法的性能更寒碜。所以，递归回溯算法并不性能优化方案，而是静转动的实现方案，是类型解决方案。

如需提升递归回溯算法的性能，可使用剪技。

4. 静态和动态

继续通过一个案例理解静态和动态的差异性，便能明白为什么可以在算法界里独成一派。

问题描述：素数分解。

素数，又称质数，是指除 和其自身之外，没有其他约数的正整数。例如 都是质 数，而 则不是。 虽然素数不能分解成除 和其自身之外整数的乘积，但却可以分解成更多素数的和。你需要编程 求出一个正整数最多能分解成多少个互不相同的素数的和。 例如， 是 的合法分解方法。 则是分解为最多素数的方法。

问题分析：

为了简化问题，这里仅以分解 的质数之和为例。

问题本质还是排列性质，只是排列的数字换成了质数。

问题所要的结论不是纯数字排列，而是要求排列后的数字相加之和为 。

如果使用静态穷举算法，将会面对 个问题：

比小的质数有。因不知道那几个数字相加为 。最少可以是 个数字相加，而理论上最多可能是所有数字相加。如下静态书写代码，循环嵌套可以达到 层，且从第二层开始就要检查是否能得到所要的结果。

如果要分解比 大的数字，如此编写代码将会让人崩溃，甚至疯癫。

如果使用方案，则可以根据需要动态且正确的进行循环次数的嵌套。如下代码，代码中的细节由读者自行参悟。

输出结果：

5. 总结

通过上述的讲解，以及编码之间的比较，想必已经看出了递归回溯算法的本质。

归纳一句话便是：动态循环次数的嵌套而已。

本文想传递一种学习认知，世间万物的规律都是万变不离其宗，当你看破事物的本质，神秘感将会荡然无存。