插入排序及其解决思路
算法的作用自然不用多说，无论是在校学生，还是已经工作多年，只要想在计算机这条道路走得更远，算法都是必不可少的。
就像编程语言中的“Hello World！”程序一般，学习算法一开始学的便是排序算法。排序问题在日常生活中也是很常见的，说得专业点：
输入是：n个数的一个序列
<a1,a2,...,an−1,an>
输出是：这n个数的一个全新的序列
<a,1,a,2,...,a,n−1,a,n>
，其特征是
a,1≤a,2≤...≤a,n−1≤a,n
举个例子，在本科阶段学校往往要求做的实验中大多是“学生管理系统”、“信息管理系统”、“图书管理系统”这些。就比如“学生管理系统”中的分数，每当往里面添加一个新的分数时，便会和其他的进行比较从而得到由高到低或由低到高的排序。
我本人是不太喜欢做这种管理系统的…… 再举个比较有意思的例子。
大家肯定都玩过扑克牌，撇开部分人不说，相信大部分童鞋都热衷于将牌按序号排好。那么这其中就蕴含着算法的思想：
<code class="hljs has-numbering">1）手中的扑克牌有2种可能：没有扑克牌（为空）或者有扑克牌且已排好序。 2）从桌上抓起一张牌后，从左往右（从右往左）依次进行比较，最终选择一个合适的位置插入。</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li></ul>
简单的说，插入排序的精髓在于“逐个比较”。
在列出代码之前，先来看看下面的第一张图，我画的不是太好，就是有没有经过排序的 “8，7，4，2，3，9”几个数字，根据上面的描述，将排序过程描述为：
<code class="hljs has-numbering">1）将第二个数字“7”和“8”比较，发现7更小， 于是将“8”赋值到“7”所在的位置， 然后将7赋值给“8”所在的位置。 2）将”4“移到”7“所在的位置，”7“和”8“后移一位。 3）同样的步骤，将”2“和”3“移到”4“的前面。 4）”9“比前面的数字都大，故不移动。</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li></ul>
仅仅是这样的描述还是不够的，我们需要更加专业一点。
<code class="hljs matlab has-numbering"><span class="hljs-number">1</span>）设置一个循环，从第二个数字开始（索引为<span class="hljs-number">1</span>）不断与前面的数字相比。 <span class="hljs-number">2</span>）每次循环开始时作为比较的数的索引为<span class="hljs-built_in">j</span>，设置temp为其值。（因为在前面也看到了，将”<span class="hljs-number">8</span>“赋值到”<span class="hljs-number">7</span>“的位置时，如果不将”<span class="hljs-number">7</span>“保存起来，那么便丢失了这个数字。） <span class="hljs-number">3</span>）取得<span class="hljs-built_in">j</span>的前一位<span class="hljs-built_in">i</span>。 <span class="hljs-number">4</span>）只要<span class="hljs-built_in">i</span>仍在数组中，并且索引为<span class="hljs-built_in">i</span>处的值大于temp，就将<span class="hljs-built_in">i</span>后一位的值设为<span class="hljs-built_in">i</span>处的值，同时将<span class="hljs-built_in">i</span>减<span class="hljs-number">1</span>。 <span class="hljs-number">5</span>）在<span class="hljs-built_in">i</span>不在数组中或<span class="hljs-built_in">i</span>处的值不必temp大时结束第四部的循环，然后将<span class="hljs-built_in">i</span>后一位的值设置为temp。</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li></ul>
将上面这部分描述翻译为insertion_sort函数，下面是完整的测试程序。
<code class="hljs cpp has-numbering"><span class="hljs-preprocessor">#include <iostream></span>
<span class="hljs-preprocessor">#include <cstdio></span>
<span class="hljs-keyword">using</span> <span class="hljs-keyword">namespace</span> <span class="hljs-built_in">std</span>;
<span class="hljs-preprocessor">#define MAX_N 1000</span>
<span class="hljs-keyword">int</span> A[MAX_N];
<span class="hljs-keyword">int</span> n;
<span class="hljs-keyword">void</span> insertion_sort();
<span class="hljs-keyword">int</span> main()
{
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"数组长度：\n"</span>);
<span class="hljs-built_in">scanf</span>(<span class="hljs-string">"%d"</span>,&n);
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"数组内容：\n"</span>);
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> i=<span class="hljs-number">0</span>;i<n;i++)
{
<span class="hljs-built_in">scanf</span>(<span class="hljs-string">"%d"</span>,&A[i]);
}
insertion_sort();
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> i=<span class="hljs-number">0</span>;i<n;i++)
{
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"%d "</span>,A[i]);
}
<span class="hljs-keyword">return</span> <span class="hljs-number">0</span>;
}
<span class="hljs-keyword">void</span> insertion_sort()
{
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> j=<span class="hljs-number">1</span>;j<n;j++)
{
<span class="hljs-keyword">int</span> temp=A[j];
<span class="hljs-keyword">int</span> i=j-<span class="hljs-number">1</span>;
<span class="hljs-keyword">while</span>(i>=<span class="hljs-number">0</span>&&A[i]>temp)
{
A[i+<span class="hljs-number">1</span>]=A[i];
i=i-<span class="hljs-number">1</span>;
}
A[i+<span class="hljs-number">1</span>]=temp;
}
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li><li>19</li><li>20</li><li>21</li><li>22</li><li>23</li><li>24</li><li>25</li><li>26</li><li>27</li><li>28</li><li>29</li><li>30</li><li>31</li><li>32</li><li>33</li><li>34</li><li>35</li><li>36</li><li>37</li><li>38</li><li>39</li><li>40</li><li>41</li><li>42</li><li>43</li></ul>
下面是能够帮助我们理解算法的正确性的循环不变式的三条性质：
<code class="hljs has-numbering">初始化：循环第一次迭代之前，它为真。 保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真。 终止：在循环终止时，不变式能够提供一个有助于证明算法正确性的性质。</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li></ul>
就比如上面排序的例子，终止意味着在最后一次迭代时，由传入数组元素构成的子数组元素都已排好序，因此此时子数组就等同与原数组，于是循环终止。
学习如何分析算法
继续分析排序算法，我们知道排序10000个数肯定要比排序10个数所花费的时间更长，但除了输入的项数外就没有其他的影响因素吗？当然有，比如说输入的序列的已被排序的程度，如果是“23456781”这个序列，我们仅仅需要将1放到首位就好，而输入是”87654321“，我们就需要将7到1依次与其前面的数字进行比较。
关于算法的分析也有两个定义：
<code class="hljs has-numbering">1）输入规模，当考虑的是排序算法时，那么规模就指的是项数；如果考虑的是图算法，那么规模就是顶点数和边数。 2）运行时间，名义上来说就是算法执行的时间，但实际上我们在分析一个算法时考量的算法执行的操作数或步数。</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li></ul>
下面我们通过前面排序算法的伪代码来分析它的运行时间。
<code class="hljs livecodeserver has-numbering">INSERTION-SORT(A) <span class="hljs-number">1</span> <span class="hljs-keyword">for</span> j = <span class="hljs-number">2</span> <span class="hljs-built_in">to</span> A.<span class="hljs-built_in">length</span> <span class="hljs-comment"> // 代价c1，次数n </span> <span class="hljs-number">2</span> temp=A[j]; <span class="hljs-comment"> // 代价c2，次数n-1</span> <span class="hljs-number">3</span> <span class="hljs-comment"> // 将A[j]插入到已排序的A[1..j-1] // 代价0，次数n-1</span> <span class="hljs-number">4</span> i=j-<span class="hljs-number">1</span>; <span class="hljs-comment"> // 代价c4，次数n-1</span> <span class="hljs-number">5</span> <span class="hljs-keyword">while</span> i><span class="hljs-number">0</span> <span class="hljs-operator">and</span> A[i]>temp <span class="hljs-comment"> // 代价c5 </span> <span class="hljs-number">6</span> A[i+<span class="hljs-number">1</span>]=A[i]; <span class="hljs-comment"> // 代价c6</span> <span class="hljs-number">7</span> i=i-<span class="hljs-number">1</span>; <span class="hljs-comment"> // 代价c7 </span> <span class="hljs-number">8</span> A[i+<span class="hljs-number">1</span>]=temp; <span class="hljs-comment"> // 代价c8，次数n-1</span></code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li></ul>
代价为c1处的次数为n应该比较好理解对吧，从j=1到j=n一共有n步，j=n也应该包括在内，因为这是算法终止的情况。而j=n时，程序直接终止了，所以在代价c2、c3、c7处次数都为n-1。
那么在while循环中呢，代价为c4的时候次数为多少呢，很显然应该是 ∑nj=2tj ，而c5和c6在while循环里总有一次它不会去执行，因此次数为 ∑nj=2(tj−1) 。
将代价和次数相乘，便得到了该算法所需的总时间：
T(n)=c1n+c2(n−1)+c4(n−1)+c5∑nj=2tj+c6∑nj=2(tj−1)+c7∑nj=2(tj−1)+c8(n−1)
除此之外我们还可以来对算法进行最好和最坏情况的分析：
1）在最好情况下，也就是整个输入数组其实都是排好序的，那么它根本没法进入while循环，也就是说当i取初值j-1时，有
A[i]≤temp
，从而对
j=2,3,4...n
都有
tj=1
。
那么算法的总时间也就可以算出来了：
T(n)=(c1+c2+c4+c5+c8)n−(c2+c4+c5+c8)
2）在最坏情况下，也就是数组是逆向排好序的，那么就需要将 A[j] 与已排好序的数组 A[1...j1] 中的每个元素进行比较，从而对 j=2,3,4...n 都有 tj=j 。
那么算法的总时间也就可以算出来了：
T(n)=(c52+c62+c72)n2+(c1+c2+c4+c52−c62−c72+c8)n−(c2+c4+c5+c8)
渐近记号
Θ
在上面我已经求出了该排序算法的运行总时间，但我们可以对其做进一步的简化以及抽象，我们只考虑最坏情况，因为在实际中它更有意义。将运行时间表示为
an2+bn+c
，其中的
a、b、c
都依赖于
ci
。
让我们来做进一步的抽象，通过只考虑运行时间的增长率和增长量级。因为当程序足够大时，低阶项便不再重要了，甚至连高阶项的系数也可以忽略不计。于是，我们记插入排序在最坏情况下所需要的运行时间为 Θ(n2) 。
现在是时候给出
Θ
的定义了：
Θ(g(n))={f(n):存在正数常量c1、c2和n0，使得对所有的n≥n0,有0≤c1g(n)≤f(n)≤c2g(n)}
也就是说在跨过 n0 之后， f(n) 就一直处于 c1g(n) 和 c2g(n) 之间，其中 c1g(n) 是下界， c2g(n) 是上界。
O 和 Ω
O
和
Θ
相比，前者就只是后者的一半——只有渐近上界，而没有渐近下界。那么它的定义为：
O(g(n))={f(n):存在正数常量c和n0，使得对所有的n≥n0,有0≤f(n)≤cg(n)}
Ω
和
Θ
相比，前者就只是后者的一半——只有渐近下界，而没有渐近下界。那么它的定义为：
Ω(g(n))={f(n):存在正数常量c和n0，使得对所有的n≥n0,有0≤f(n)cg(n)≤cg(n)}
设计分治算法
前面的排序问题使用的方法叫做增量法，即在排序子数组 A[1...j−1] 后，将单个元素 A[j] 插入到子数组的适当位置，然后参数排序好的数组 A[1...j] ，它的精髓在于“逐个比较”。
现在我们再来介绍一种新的方法，叫做分治法，它同样也是鼎鼎大名。它的精髓在于“一分为二“，而驱动这个算法的这是递归。
分治算法在每层递归中都有三个步骤：
<code class="hljs has-numbering">1）分解原问题为若干子问题，这些子问题是缩小版的原问题。（抽象的讲，将一个已经切成楔形的大块西瓜可以再切成多个小的楔形西瓜。） 2）解决这些子问题，递归地求解各个子问题。然后，若问题的规模足够小，则直接求解。（继续举例子，要吃完一大块西瓜，可以不断的吃小部分，当西瓜块足够小时，可以一口干掉。） 3）合并这些子问题的解成原问题的解。（吃完的那些小块西瓜加在一起就是刚才那一块很大的西瓜了。）</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li></ul>
虽然西瓜的例子能够体现分治算法的思想，但用前面的扑克牌来演示则更加合适，毕竟它有数字呀。来来来，想象一下，桌上正有两堆牌，且分别都已经排号顺序，可是呢我们需要这两堆牌合并起来并且排序好。
那么怎么操作呢？很简单，一句话就能说清楚：不断从两堆牌的顶上选取较小的一张，然后放到新的扑克牌堆中。
首先我们将扑克牌定义成数组 A ， p 和 q 以及 r 都是数组的下标，且 p≤q<r ，两段已排序好的子数组是 A[p..q] 和 A[q+1..r] ，我们需要做的是将其排序为 A[p..r] 。下面的伪代码便实现了这个思想：
<code class="hljs vbnet has-numbering">MERGE(A,p,q,r) <span class="hljs-number">1</span> n1 = (q - p) + <span class="hljs-number">1</span> = q - p + <span class="hljs-number">1</span> <span class="hljs-number">2</span> n2 = (r - (q + <span class="hljs-number">1</span>)) +<span class="hljs-number">1</span> = r - q <span class="hljs-number">3</span> <span class="hljs-keyword">let</span> L[<span class="hljs-number">1.</span>.n1+<span class="hljs-number">1</span>] <span class="hljs-keyword">and</span> R[<span class="hljs-number">1.</span>.n2+<span class="hljs-number">1</span>] be <span class="hljs-keyword">new</span> arrays <span class="hljs-number">4</span> <span class="hljs-keyword">for</span> i = <span class="hljs-number">1</span> <span class="hljs-keyword">to</span> n1 <span class="hljs-number">5</span> L[i] = A[p + i -<span class="hljs-number">1</span>] <span class="hljs-number">6</span> <span class="hljs-keyword">for</span> j = <span class="hljs-number">1</span> <span class="hljs-keyword">to</span> n2 <span class="hljs-number">7</span> R[j] = A[q + j] <span class="hljs-number">8</span> L[n1 + <span class="hljs-number">1</span>] = <span class="hljs-preprocessor">#</span> <span class="hljs-number">9</span> R[n2 + <span class="hljs-number">1</span>] = <span class="hljs-preprocessor">#</span> <span class="hljs-number">10</span> i = <span class="hljs-number">1</span>; <span class="hljs-number">11</span> j = <span class="hljs-number">1</span>; <span class="hljs-number">12</span> <span class="hljs-keyword">for</span> k = p <span class="hljs-keyword">to</span> r <span class="hljs-number">13</span> <span class="hljs-keyword">if</span> L[i] 小于等于 R[j] <span class="hljs-number">14</span> A[k] = L[i]; <span class="hljs-number">15</span> i = i + <span class="hljs-number">1</span>; <span class="hljs-number">16</span> <span class="hljs-keyword">else</span> <span class="hljs-number">17</span> A[k] = R[j] <span class="hljs-number">18</span> j = j + <span class="hljs-number">1</span>;</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li><li>19</li></ul>
上面的”# “号就是传说中的哨兵牌，每当显露一张哨兵牌时，它不可能为较小的值，除非两个堆都已显露出哨兵牌。但是出现这种情况就意味着算法结束，所有非哨兵牌都已被放置到输出堆。
<code class="hljs bash has-numbering">………………p q r………………
………………<span class="hljs-number">3</span> <span class="hljs-number">6</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span> <span class="hljs-number">2</span> <span class="hljs-number">5</span> <span class="hljs-number">7</span> <span class="hljs-number">8</span>………………
k
L <span class="hljs-number">3</span> <span class="hljs-number">6</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span> <span class="hljs-comment"># R 2 5 7 8 #</span>
i j</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li></ul>
比较”3“和”2“，发现2更小，于是将2放到A数组的首位，并且将 j 移后一位。
<code class="hljs bash has-numbering">………………p q r………………
………………<span class="hljs-number">2</span> <span class="hljs-number">6</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span> <span class="hljs-number">2</span> <span class="hljs-number">5</span> <span class="hljs-number">7</span> <span class="hljs-number">8</span>………………
k
L <span class="hljs-number">3</span> <span class="hljs-number">6</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span> <span class="hljs-comment"># R 2 5 7 8 #</span>
i j</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li></ul>
比较”3“和”5“，发现3更小，于是将3放到数组A的首位，并且将 i 移后一位。
<code class="hljs bash has-numbering">………………p q r………………
………………<span class="hljs-number">2</span> <span class="hljs-number">3</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span> <span class="hljs-number">2</span> <span class="hljs-number">5</span> <span class="hljs-number">7</span> <span class="hljs-number">8</span>………………
k
L <span class="hljs-number">3</span> <span class="hljs-number">6</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span> <span class="hljs-comment"># R 2 5 7 8 #</span>
i j</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li></ul>
以此类推，最终A数组就成排好了序……
<code class="hljs ruleslanguage has-numbering">………………p q r………………
………………<span class="hljs-number">2</span> <span class="hljs-number">3</span> <span class="hljs-number">5</span> <span class="hljs-number">6</span> <span class="hljs-number">7</span> <span class="hljs-number">8</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span>………………
k
L <span class="hljs-number">3</span> <span class="hljs-number">6</span> <span class="hljs-number">8</span> <span class="hljs-number">9</span> <span class="hljs-array"># R </span><span class="hljs-number">2</span> <span class="hljs-number">5</span> <span class="hljs-number">7</span> <span class="hljs-number">8</span> <span class="hljs-array"># </span>
i j</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li></ul>
将上面的思想以及伪代码写成如下程序，大家可以参考参考：
<code class="hljs cpp has-numbering"><span class="hljs-preprocessor">#include <iostream></span>
<span class="hljs-preprocessor">#include <cstdio></span>
<span class="hljs-keyword">using</span> <span class="hljs-keyword">namespace</span> <span class="hljs-built_in">std</span>;
<span class="hljs-preprocessor">#define MAX_N 1000</span>
<span class="hljs-keyword">int</span> A[MAX_N];
<span class="hljs-keyword">int</span> L[MAX_N/<span class="hljs-number">2</span>];
<span class="hljs-keyword">int</span> R[MAX_N/<span class="hljs-number">2</span>];
<span class="hljs-keyword">int</span> n,p,q,r;
<span class="hljs-keyword">void</span> merge();
<span class="hljs-keyword">int</span> main()
{
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"数组长度：\n"</span>);
<span class="hljs-built_in">scanf</span>(<span class="hljs-string">"%d"</span>,&n);
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"数组内容：\n"</span>);
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> i=<span class="hljs-number">0</span>;i<n;i++)
{
<span class="hljs-built_in">scanf</span>(<span class="hljs-string">"%d"</span>,&A[i]);
}
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"输入p q r\n"</span>);\
<span class="hljs-built_in">scanf</span>(<span class="hljs-string">"%d %d %d"</span>,&p,&q,&r);
merge();
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> i=<span class="hljs-number">0</span>;i<n;i++)
{
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"%d "</span>,A[i]);
}
<span class="hljs-keyword">return</span> <span class="hljs-number">0</span>;
}
<span class="hljs-keyword">void</span> merge()
{
<span class="hljs-keyword">int</span> n1=q-p+<span class="hljs-number">1</span>;
<span class="hljs-keyword">int</span> n2=r-q;
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> i=<span class="hljs-number">0</span>;i<n1;i++)
L[i]=A[p+i];
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> j=<span class="hljs-number">0</span>;j<n2;j++)
R[j]=A[q+j+<span class="hljs-number">1</span>];
L[n1]=<span class="hljs-number">100</span>;
R[n2]=<span class="hljs-number">100</span>;
<span class="hljs-keyword">for</span>(<span class="hljs-keyword">int</span> k=p,i=<span class="hljs-number">0</span>,j=<span class="hljs-number">0</span>;k<=r;k++)
{
<span class="hljs-keyword">if</span>(L[i]<=R[j])
{
A[k]=L[i];
i=i+<span class="hljs-number">1</span>;
}
<span class="hljs-keyword">else</span>
{
A[k]=R[j];
j=j+<span class="hljs-number">1</span>;
}
}
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li><li>19</li><li>20</li><li>21</li><li>22</li><li>23</li><li>24</li><li>25</li><li>26</li><li>27</li><li>28</li><li>29</li><li>30</li><li>31</li><li>32</li><li>33</li><li>34</li><li>35</li><li>36</li><li>37</li><li>38</li><li>39</li><li>40</li><li>41</li><li>42</li><li>43</li><li>44</li><li>45</li><li>46</li><li>47</li><li>48</li><li>49</li><li>50</li><li>51</li><li>52</li><li>53</li><li>54</li><li>55</li><li>56</li><li>57</li><li>58</li></ul>
下面没有用图示而是用了代码显示块来显示，应该也能看的吧？就是不断的归并，最终合成一个完整的排好序的数组。
<code class="hljs has-numbering">…………………………2 2 5 6 7 8 8 9………………………… ……………………………………归并…………………………………… …………………2 5 6 8………………2 7 8 9………………… ……………………归并…………………………归并…………………… ……………2 6…………5 8…………2 9…………7 8…………… ……………归并…………归并………归并……………归并…………… …………6……2………8……5………2……9………8……7…………</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li></ul>
要完成上面这个程序，我们可以利用前面写好的merge函数呢，下面是伪代码实现。
<code class="hljs sql has-numbering"><span class="hljs-operator"><span class="hljs-keyword">MERGE</span>-SORT(A,p,r) <span class="hljs-number">1</span> <span class="hljs-keyword">if</span> p < r <span class="hljs-number">2</span> q = 小于或等于(p+r)/<span class="hljs-number">2</span>的最大整数 <span class="hljs-number">3</span> <span class="hljs-keyword">MERGE</span>-SORT(A,p,q) <span class="hljs-number">4</span> <span class="hljs-keyword">MERGE</span>-SORT(A,q+<span class="hljs-number">1</span>,r) <span class="hljs-number">5</span> <span class="hljs-keyword">MERGE</span>(A,p,q,r)</span></code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li></ul>
然后为了完成这其中 q 的参数传递，将它们设置为全局变量已经不合适了，具体的程序可以参考如下：
<code class="hljs cpp has-numbering"><span class="hljs-preprocessor">#include <iostream></span>
<span class="hljs-preprocessor">#include <cstdio></span>
<span class="hljs-keyword">using</span> <span class="hljs-keyword">namespace</span> <span class="hljs-built_in">std</span>;
<span class="hljs-preprocessor">#define MAX_N 1000</span>
<span class="hljs-keyword">int</span> A[MAX_N];
<span class="hljs-keyword">int</span> L[MAX_N/<span class="hljs-number">2</span>];
<span class="hljs-keyword">int</span> R[MAX_N/<span class="hljs-number">2</span>];
<span class="hljs-keyword">void</span> merge(<span class="hljs-keyword">int</span> A[],<span class="hljs-keyword">int</span> p,<span class="hljs-keyword">int</span> q,<span class="hljs-keyword">int</span> r);
<span class="hljs-keyword">void</span> merge_sort(<span class="hljs-keyword">int</span> A[],<span class="hljs-keyword">int</span> p,<span class="hljs-keyword">int</span> r);
<span class="hljs-keyword">int</span> main()
{
<span class="hljs-keyword">int</span> n, p, q, r;
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"数组长度：\n"</span>);
<span class="hljs-built_in">cin</span> >> n;
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"数组内容：\n"</span>);
<span class="hljs-keyword">for</span> (<span class="hljs-keyword">int</span> i = <span class="hljs-number">0</span>;i < n;i++)
{
<span class="hljs-built_in">cin</span> >> A[i];
}
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"输入p r\n"</span>);\
<span class="hljs-built_in">cin</span> >> p >> r;
merge_sort(A, p, r);
<span class="hljs-keyword">for</span> (<span class="hljs-keyword">int</span> i = <span class="hljs-number">0</span>;i < n;i++)
{
<span class="hljs-built_in">printf</span>(<span class="hljs-string">"%d "</span>, A[i]);
}
<span class="hljs-keyword">return</span> <span class="hljs-number">0</span>;
}
<span class="hljs-keyword">void</span> merge_sort(<span class="hljs-keyword">int</span> A[],<span class="hljs-keyword">int</span> p,<span class="hljs-keyword">int</span> r)
{
<span class="hljs-keyword">if</span>(p<r)
{
<span class="hljs-keyword">int</span> q=(p+r)/<span class="hljs-number">2</span>;
merge_sort(A,p,q);
merge_sort(A,q+<span class="hljs-number">1</span>,r);
merge(A,p,q,r);
}
}
<span class="hljs-keyword">void</span> merge(<span class="hljs-keyword">int</span> A[], <span class="hljs-keyword">int</span> p, <span class="hljs-keyword">int</span> q, <span class="hljs-keyword">int</span> r)
{
<span class="hljs-keyword">int</span> n1 = q - p + <span class="hljs-number">1</span>;
<span class="hljs-keyword">int</span> n2 = r - q;
<span class="hljs-keyword">for</span> (<span class="hljs-keyword">int</span> i = <span class="hljs-number">0</span>;i<n1;i++)
L[i] = A[p + i];
<span class="hljs-keyword">for</span> (<span class="hljs-keyword">int</span> j = <span class="hljs-number">0</span>;j<n2;j++)
R[j] = A[q + j + <span class="hljs-number">1</span>];
L[n1] = <span class="hljs-number">100</span>;
R[n2] = <span class="hljs-number">100</span>;
<span class="hljs-keyword">for</span> (<span class="hljs-keyword">int</span> k = p, i = <span class="hljs-number">0</span>, j = <span class="hljs-number">0</span>;k<=r;k++)
{
<span class="hljs-keyword">if</span> (L[i] <= R[j])
{
A[k] = L[i];
i = i + <span class="hljs-number">1</span>;
}
<span class="hljs-keyword">else</span>
{
A[k] = R[j];
j = j + <span class="hljs-number">1</span>;
}
}
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li><li>19</li><li>20</li><li>21</li><li>22</li><li>23</li><li>24</li><li>25</li><li>26</li><li>27</li><li>28</li><li>29</li><li>30</li><li>31</li><li>32</li><li>33</li><li>34</li><li>35</li><li>36</li><li>37</li><li>38</li><li>39</li><li>40</li><li>41</li><li>42</li><li>43</li><li>44</li><li>45</li><li>46</li><li>47</li><li>48</li><li>49</li><li>50</li><li>51</li><li>52</li><li>53</li><li>54</li><li>55</li><li>56</li><li>57</li><li>58</li><li>59</li><li>60</li><li>61</li><li>62</li><li>63</li><li>64</li><li>65</li><li>66</li><li>67</li><li>68</li><li>69</li><li>70</li><li>71</li><li>72</li><li>73</li></ul>
分析分治算法
当我们的输入足够小时，比如对于某个常量c， n≤c ，则直接求解需要常量时间，并写作 Θ(1) 。
对于复杂的问题，我们将其分解成 a 个子问题，每个子问题的规模是原问题的 1/b .对于这规模为 n/b 的子问题，累计需要 T(n/b) 的时间，所以需要 aT(n/b) 的时间来求解这 a 个子问题。而这其中分解的过程也需要消耗一定的时间，记作 D(n) ，合并这些子问题也需要一定的时间，记作 C(n) 。于是又得到了一个递归式：
当 n≤c 时， T(n)=Θ(1)
其他情况时， T(n)=aT(n/b)+D(n)+C(n)
下面来通过分治模式在每层递归时都有的三个步骤来分析归并排序算法，我们所考虑的是n个数的最坏情况下的运行时间。同样的，归并排序一个元素需要常量时间，当n>1时有如下3个步骤：
分解：分解步骤仅仅计算子数组的中间位置，需要常量时间，因此
D(n)=Θ(1)
解决：我们递归地求解两个规模均为
n/2
的子问题，将贡献
2T(n/2)
的运行时间。
合并：一个具有n个元素的子数组上过程MERGE需要
Θ(n)
的时间，所以
C(n)=Θ(n)
。
因此 D(n)+C(n) 便等于 Θ(n) 和 Θ(n) 相加，可是结果依然为 Θ(n) 。接着可以得到归并排序的最坏情况运行时间的递归式了。
当 n=1 时， T(n)=Θ(1)
当 n>1 时， T(n)=2T(n/2)+Θ(n)
我们对上式稍作变换如下：
当 n=1 时， T(n)=c
当 n>1 时， T(n)=2T(n/2)+cn
这个式子可以不断的做递归，最后形成一个递归树的。树的第一层是 cn ，第二层是 cn/2 ，第三层是 cn/4 ，直到最后一层为 c 。第二层有2棵子树，第三层有4棵子树，直到最后一程有 n 棵子树，因此每层的代价总共为 cn 。而整个树共有 lgn+1 层，因此总代价为 cnlgn+cn 。
忽略低阶项和系数项，最终记为 Θ(nlgn) 。
递归和迭代
这两个概念也许很多童鞋依旧是老虎老鼠傻傻分不清楚，下面通过求解斐波那契数来看看它们俩的关系吧。
斐波那契数的定义：
f0=0
f1=1
fi=fi−1+fi−2(i>1)
递归：
<code class="hljs lisp has-numbering"><span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">5</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">4</span>)</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">4</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">3</span>)</span>)</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">4</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">3</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">2</span>)</span>)</span>)</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">4</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">3</span> <span class="hljs-list">(<span class="hljs-number">2</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">1</span>)</span>)</span>)</span>)</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">4</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">3</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">2</span> <span class="hljs-number">1</span>)</span>)</span>)</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">4</span> （<span class="hljs-variable">* 3 2)))) (*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">4</span> <span class="hljs-number">6</span>)</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">5</span> <span class="hljs-number">24</span>)</span>)</span> <span class="hljs-list">(<span class="hljs-title">*</span> <span class="hljs-number">6</span> <span class="hljs-number">120</span>)</span> <span class="hljs-number">720</span></span></span></code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li></ul>
迭代：
<code class="hljs lisp has-numbering"><span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">1</span> <span class="hljs-number">1</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">1</span> <span class="hljs-number">2</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">2</span> <span class="hljs-number">3</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">6</span> <span class="hljs-number">4</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">24</span> <span class="hljs-number">5</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">120</span> <span class="hljs-number">6</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">720</span> <span class="hljs-number">7</span> <span class="hljs-number">6</span>)</span> <span class="hljs-number">720</span></code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li></ul>
递归的核心在于：不断地回到起点。
迭代的核心在于：不断地更新参数。
在下面的代码中：
递归的核心是sum的运算，sum不断的累乘，虽然运算的数值不同，但形式和意义一样。
而迭代的核心是product和counter的不断更新。如上表中，product就是factorial的前2个参数不断的累乘更新成第一个参数；而第二个参数则是counter，其不断的加1来更新自己。
<code class="hljs haskell has-numbering"><span class="hljs-title">product</span> <- counter * product <span class="hljs-title">counter</span> < - counter + <span class="hljs-number">1</span></code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li></ul>
<code class="hljs cpp has-numbering"><span class="hljs-preprocessor">#include <iostream></span>
<span class="hljs-keyword">using</span> <span class="hljs-keyword">namespace</span> <span class="hljs-built_in">std</span>;
<span class="hljs-keyword">int</span> factorialRecursive(<span class="hljs-keyword">int</span> n);
<span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count);
<span class="hljs-keyword">int</span> main()
{
<span class="hljs-keyword">int</span> n;
<span class="hljs-built_in">cout</span><<<span class="hljs-string">"Enter an integer:"</span><<endl;
<span class="hljs-built_in">cin</span>>>n;
<span class="hljs-built_in">cout</span><<factorialRecursive(n)<<endl;
<span class="hljs-built_in">cout</span><<factorialIteration(<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,n)<<endl;
<span class="hljs-keyword">return</span> <span class="hljs-number">0</span>;
}
<span class="hljs-keyword">int</span> factorialRecursive(<span class="hljs-keyword">int</span> n)
{
<span class="hljs-keyword">int</span> sum=<span class="hljs-number">1</span>;
<span class="hljs-keyword">if</span>(n==<span class="hljs-number">1</span>)
sum*=<span class="hljs-number">1</span>;
<span class="hljs-keyword">else</span>
sum=n*factorialRecursive(n-<span class="hljs-number">1</span>);
<span class="hljs-keyword">return</span> sum;
}
<span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count)
{
<span class="hljs-keyword">int</span> sum=<span class="hljs-number">1</span>;
<span class="hljs-keyword">if</span>(counter>max_count)
sum*=product;
<span class="hljs-keyword">else</span>
factorialIteration((counter*product),(counter+<span class="hljs-number">1</span>),max_count);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li><li>19</li><li>20</li><li>21</li><li>22</li><li>23</li><li>24</li><li>25</li><li>26</li><li>27</li><li>28</li><li>29</li><li>30</li><li>31</li><li>32</li><li>33</li><li>34</li><li>35</li><li>36</li></ul>
补充问题：
关于上面的factorialIteration函数，今天收到一份邮件，我也通过再次分析学到了很多，这里罗列一下。
第一个问题：
首先来看相对简单的问题，该童鞋在函数内以两种不同方式加上another_sum=2却有着不同的结果。
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count)
{
<span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span>;
<span class="hljs-keyword">int</span> another_sum=<span class="hljs-number">2</span>;
<span class="hljs-keyword">if</span>(counter>max_count)
{
<span class="hljs-keyword">sum</span>*=product;
another_sum*=product;
}
<span class="hljs-keyword">else</span>
factorialIteration((counter*product),(counter+<span class="hljs-number">1</span>),max_count);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li></ul>
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count)
{
<span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span>;
<span class="hljs-keyword">int</span> another_sum=<span class="hljs-number">2</span>;
<span class="hljs-keyword">if</span>(counter>max_count)
{
another_sum*=product;
<span class="hljs-keyword">sum</span>*=product;
}
<span class="hljs-keyword">else</span>
factorialIteration((counter*product),(counter+<span class="hljs-number">1</span>),max_count);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li></ul>
因为这个函数声明的是int型的返回类型，但没有用return语句，所以C++自动将其运行的最后一行语句作为了返回语句。所以这两个函数类似于：
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count)
{
<span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span>;
<span class="hljs-keyword">int</span> another_sum=<span class="hljs-number">2</span>;
<span class="hljs-keyword">if</span>(counter>max_count)
{
<span class="hljs-keyword">sum</span>*=product;
<span class="hljs-keyword">return</span> another_sum*=product;
}
<span class="hljs-keyword">else</span>
factorialIteration((counter*product),(counter+<span class="hljs-number">1</span>),max_count);
}
<span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count)
{
<span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span>;
<span class="hljs-keyword">int</span> another_sum=<span class="hljs-number">2</span>;
<span class="hljs-keyword">if</span>(counter>max_count)
{
another_sum*=product;
<span class="hljs-keyword">return</span> <span class="hljs-keyword">sum</span>*=product;
}
<span class="hljs-keyword">else</span>
factorialIteration((counter*product),(counter+<span class="hljs-number">1</span>),max_count);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li><li>19</li><li>20</li><li>21</li><li>22</li><li>23</li><li>24</li><li>25</li><li>26</li></ul>
然而我在CodeBlocks中写的代码不用return是可以的，但在Visual Studio中却是会报错的。
有了这个发现，我原来的代码也可以这样来写：
<code class="hljs cpp has-numbering"><span class="hljs-preprocessor">#include <iostream></span>
<span class="hljs-keyword">using</span> <span class="hljs-keyword">namespace</span> <span class="hljs-built_in">std</span>;
<span class="hljs-keyword">int</span> factorialRecursive(<span class="hljs-keyword">int</span> n);
<span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count);
<span class="hljs-keyword">int</span> main()
{
<span class="hljs-keyword">int</span> n;
<span class="hljs-built_in">cout</span><<<span class="hljs-string">"Enter an integer:"</span><<endl;
<span class="hljs-built_in">cin</span>>>n;
<span class="hljs-built_in">cout</span><<factorialRecursive(n)<<endl;
<span class="hljs-built_in">cout</span><<factorialIteration(<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,n)<<endl;
<span class="hljs-keyword">return</span> <span class="hljs-number">0</span>;
}
<span class="hljs-keyword">int</span> factorialRecursive(<span class="hljs-keyword">int</span> n)
{
<span class="hljs-keyword">int</span> sum=<span class="hljs-number">1</span>;
<span class="hljs-keyword">if</span>(n==<span class="hljs-number">1</span>)
sum*=<span class="hljs-number">1</span>;
<span class="hljs-keyword">else</span>
sum=n*factorialRecursive(n-<span class="hljs-number">1</span>);
<span class="hljs-comment">// return sum; // 去掉这里的return语句</span>
}
<span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count)
{
<span class="hljs-keyword">int</span> sum=<span class="hljs-number">1</span>;
<span class="hljs-keyword">if</span>(counter>max_count)
<span class="hljs-keyword">return</span> sum*=product; <span class="hljs-comment">// 在这里加上return语句</span>
<span class="hljs-keyword">else</span>
factorialIteration((counter*product),(counter+<span class="hljs-number">1</span>),max_count);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li><li>19</li><li>20</li><li>21</li><li>22</li><li>23</li><li>24</li><li>25</li><li>26</li><li>27</li><li>28</li><li>29</li><li>30</li><li>31</li><li>32</li><li>33</li><li>34</li><li>35</li><li>36</li></ul>
现在来看另一个问题：
<code class="hljs cpp has-numbering"><span class="hljs-preprocessor">#include <iostream></span>
<span class="hljs-keyword">using</span> <span class="hljs-keyword">namespace</span> <span class="hljs-built_in">std</span>;
<span class="hljs-keyword">int</span> test(<span class="hljs-keyword">int</span> n);
<span class="hljs-keyword">int</span> sum;
<span class="hljs-keyword">int</span> main()
{
<span class="hljs-built_in">cout</span><<test(<span class="hljs-number">1</span>)<<endl;
<span class="hljs-keyword">return</span> <span class="hljs-number">0</span>;
}
<span class="hljs-keyword">int</span> test(<span class="hljs-keyword">int</span> n)
{
sum = <span class="hljs-number">1</span>;
sum += n;
<span class="hljs-keyword">if</span> (sum < <span class="hljs-number">5</span>)
test(n+<span class="hljs-number">1</span>);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li></ul>
如果设sum为全局变量，那么会在test函数中每一次调用sum=1时都将sum重新赋值为1。整个程序最后输出为5。这个应该没有什么悬念吧？
如果设sum给test内的局部变量，则会在每一次执行int sum=1语句时都会创建一个新的sum对象，它的存放地址和之前的sum并不相同。然后整个程序最后输出意外的是4。
<code class="hljs cpp has-numbering"><span class="hljs-preprocessor">#include <iostream></span>
<span class="hljs-keyword">using</span> <span class="hljs-keyword">namespace</span> <span class="hljs-built_in">std</span>;
<span class="hljs-keyword">int</span> test(<span class="hljs-keyword">int</span> n);
<span class="hljs-keyword">int</span> main()
{
<span class="hljs-built_in">cout</span><<test(<span class="hljs-number">1</span>)<<endl;
<span class="hljs-keyword">return</span> <span class="hljs-number">0</span>;
}
<span class="hljs-keyword">int</span> test(<span class="hljs-keyword">int</span> n)
{
<span class="hljs-keyword">int</span> sum = <span class="hljs-number">1</span>;
sum += n;
<span class="hljs-keyword">if</span> (sum < <span class="hljs-number">5</span>)
<span class="hljs-keyword">return</span> test(n+<span class="hljs-number">1</span>);
<span class="hljs-comment">// return sum; 此处有这一行代码命名为程序1，没有这行代码命名为程序2</span>
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li><li>10</li><li>11</li><li>12</li><li>13</li><li>14</li><li>15</li><li>16</li><li>17</li><li>18</li></ul>
程序1的输出是5，程序2的输出是4。具体函数执行过程如下：
第一步，调用test(1)：
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">2</span> <span class="hljs-keyword">return</span> test(<span class="hljs-number">2</span>)</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li></ul>
第二步，调用test(2)：
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">3</span> <span class="hljs-keyword">return</span> test(<span class="hljs-number">3</span>)</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li></ul>
第三步，调用test(3)：
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">4</span> <span class="hljs-keyword">return</span> test(<span class="hljs-number">4</span>)</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li></ul>
第四步，调用test(4)：
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">5</span></code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li></ul>
执行到第四步的时候，由于sum以及不比5小了，所以程序1没有进入if语句而是执行下一句return sum，所以输出为1。
而如果是程序2，也就是没有return sum语句，那么程序在执行完第四步后就会返回到第三步，最终调用(return) sum=4，输出4。
第三个问题：
该童鞋还提到了尾递归，这里我就来说说我的理解，如有问题欢迎大家直接评论或邮件给我。
上面代码中的递归函数factorialRecursive应该没问题的吧。
上面的代码我给其命名为迭代。
<code class="hljs axapta has-numbering"><span class="hljs-keyword">int</span> factorialIteration(<span class="hljs-keyword">int</span> product, <span class="hljs-keyword">int</span> counter, <span class="hljs-keyword">int</span> max_count)
{
<span class="hljs-keyword">int</span> <span class="hljs-keyword">sum</span>=<span class="hljs-number">1</span>;
<span class="hljs-keyword">if</span>(counter>max_count)
<span class="hljs-keyword">sum</span>*=product;
<span class="hljs-keyword">else</span>
factorialIteration((counter*product),(counter+<span class="hljs-number">1</span>),max_count);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li></ul>
通过在main函数中调用如下代码来执行该函数：
<code class="hljs scss has-numbering">cout<<<span class="hljs-function">factorialIteration(<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,n)</span><<endl;</code><ul style="display: block;" class="pre-numbering"><li>1</li></ul>
当然，也可以另外写一个函数如下：
<code class="hljs cs has-numbering"><span class="hljs-keyword">int</span> factorialIter(<span class="hljs-keyword">int</span> n)
{
<span class="hljs-keyword">return</span> factorialIteration(<span class="hljs-number">1</span>,<span class="hljs-number">1</span>,n);
}</code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li></ul>
并通过在main函数中直接调用该函数来做计算：
<code class="hljs scss has-numbering">cout<<<span class="hljs-function">factorialIter(n)</span><<endl;</code><ul style="display: block;" class="pre-numbering"><li>1</li></ul>
函数factorialIteration中的max_count我们称其为“循环不变量”，也就是对于整个运算过程而言这个变量是不变的。为了让大家更加印象深刻，将前面出现过的东西再来复制一遍：
<code class="hljs lisp has-numbering"><span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">1</span> <span class="hljs-number">1</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">1</span> <span class="hljs-number">2</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">2</span> <span class="hljs-number">3</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">6</span> <span class="hljs-number">4</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">24</span> <span class="hljs-number">5</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">120</span> <span class="hljs-number">6</span> <span class="hljs-number">6</span>)</span> <span class="hljs-list">(<span class="hljs-title">factorial</span> <span class="hljs-number">720</span> <span class="hljs-number">7</span> <span class="hljs-number">6</span>)</span> <span class="hljs-number">720</span></code><ul style="display: block;" class="pre-numbering"><li>1</li><li>2</li><li>3</li><li>4</li><li>5</li><li>6</li><li>7</li><li>8</li><li>9</li></ul>
从第二行开始的factorial的第三个参数”6“就是循环不变量。
尾递归：
在计算机科学中，尾调用是一个作为过程最后一步的子例程调用执行。如果尾调用可能在以后的调用链中再调用这同一个子例程，那么这个子例程就被称为是尾递归，它是递归的一个特殊情况。尾递归非常有用，在实现中也容易处理。尾调用可以不通过在调用堆栈中添加新的栈帧而实现。
传统上，尾部调用消除是可选的。然而，在函数式编程语言中，尾调用消除往往由语言标准作为保障，这种保证允许使用递归，在特定情况下的尾递归，来代替循环。在这种情况下，尽管用它作为一种优化是不正确的（尽管它可能是习惯用法）。在尾递归中，当一个函数调用它自身这种特殊情况下，可能调用消除比传统的尾调用更加合适。
迭代：
迭代是一个重复过程，它的目的是接近既定的目标或结果。每次重复的过程也称为”迭代“，作为迭代的结果都将作为下一次迭代的起点。
迭代在计算中是指的计算机程序中的重复的语句块。它可以表示两个专业术语，同义重复，以及描述一种具有可变状态重复的具体形式。然后令人费解的是，它也可以表示通过显式重复结构的任何重复，而不管其可变性。
在第一个意义上，递归是迭代的一个例子，但通常用”递归“来标记，而不作为”迭代“的例子。
在第二个意义上，（更加狭义地）迭代描述了一种编程风格。这与一个有着更有声明性方法的递归有着鲜明的对比。
第三个意义上，使用while或for循环，以及使用map或fold的函数也被视为迭代。
（以上定义部分摘自英文维基百科）
关于递归和尾递归在函数式编程中的应用也可以看这里：【Scheme归纳】3 比较do, let, loop
感谢您的访问，希望对您有所帮助。 欢迎大家关注、收藏以及评论。
为使本文得到斧正和提问，转载请注明出处：
http://blog.csdn.net/nomasp
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
