剖析next_permutation的实现

我们今天可以讨论一下全排列的问题，因为我们STL库中实现了这个next_permutation，我们结合库里的这个函数说一下我们全排列的递归和非递归的实现。

一、递归实现

       我们通过递归解决一个问题的时候，往往要看问题是不是都是同样性质和解法的问题，并且问题的规模是不是在一步步减小，直到问题规模为常量，也就是有一个结束的条件。

            对于我们的这个全排列问题，大家应该都知道既然是排列，那么相同的数字顺序不同也是不同的一种排列方法，所以每个数字应该在每个位置，都应该出现过，出现方法，那当然就是交换, 我们先看代码，然后结合代码分析。

#include <iostream>
using namespace std;
void swap(int* a, int* b)
{
     int tmp = *a;
	 *a = *b;
	 *b = tmp;
}

void fun(int* arr , int k, int len, int* count)
{
	if(k==len)
	{
		for(int i = 0;i<len;++i)
		{
			cout<<arr[i]<<" ";
		}
		(*count)++;
		cout<<endl;
	}

	for(int i = k; i<len;++i)
	{
		swap(arr[k],arr[i]);
		fun(arr, k+1, len, count);
	}
}

我们可以看到代码尾部时我们实现全排列的关键几行，我们for循环保证我们此时传进来的k这个位置在此刻和k之后的位置都出现过，有同学可能就有疑问了，为什么不包括它之前的位置呢？我们看一下这个过程边看边理解这个问题。假设我现在k时0，也就是第一个位置，那我希望它在1出现过，和1交换，希望它在2位置出现过，和2换，这是不是一个相互的过程，等到处理1位置上的数的时候，0位置的值和它交换的时候它也出现在0位置上过了，所以到i位置上的时候，i之前的数字在做for循环的时候都和i位置交换过了，也就意味着，i已经在i-1之前的位置都出现过了，所以我们每次都从当前位置往后交换，而传入k+1是因为我们已经分析过了，我们每个问题的性质都是相同，我们需要向前推进让问题的规模不断减小。传入的count是用于计数看有多少种排列方法。

二、非递归实现

我们非递归的主要思想是，让输出顺序从最小的字典排列顺序开始输出，直到输出到最大的字典排列顺序，例如，1 2 3 4 5 6是最小的，而6 5 4 3 2 1是最大的。以下的实现方法同时也是我们stl中next_permutation的实现算法。

                                               

这处理下来才是字典顺序仅大于上一个排列，而小于剩下的所有排列的方式。

void print(int* arr, int len,int* count)
{
    for(int i =0; i < len; ++i)
	{
		cout<<arr[i]<<" ";
	}
	(*count)++;
	cout<<endl;
}

void reverse(int*arr, int l, int r)
{
	if(l>=r)
	{  
		return ;
	}

	for(;l<r;l++,r--)
	{
		int tmp = arr[l];
		arr[l] = arr[r];
		arr[r] = tmp;
	}
}

bool IsOver(int* arr, int len)
{
     for(int i = 0; i< len-1; ++i)
	 {
		 if(arr[i]<arr[i+1])
		 {
			 return false;
		 }
	 }

	 return true;
}
void fun(int* arr, int k, int len,int* count)
{
	if(len<2)
	{
		return ;
	}
	int i,j;
    do
   {
	print(arr,len,count);
	for(i = len -2; i>=0;i--)
	{
		if(arr[i]<arr[i+1])
		{
			break;
		}
	}

	for(j= len -1; j>=i;j--)
	{
		if(arr[j]>arr[i])
		{
			break;
		}
	}

	swap(arr[i],arr[j]);
	reverse(arr, i+1, len-1);
   }while(!IsOver(arr,len));

   print(arr, len, count);
}

而我们stl中pre_permutation的实现则是和next_permutaiton相反，它是找到上一个排列顺序，也就相当于从5 4 3 2 1 找到 1 2 3 4 5。