一、next_permutation的实现
**原理:**所谓的下一个排列实际就是按照字典顺序比该排列更大的一个排列。首先从后往前找一个递增序列(递增序列说明在该递增序列里这是按照字典排序的最大序列),并找到第一个非递增的索引 i。而为了得到一个字典序列更大的序列,就必须从递增序列中找一个稍微大于索引 i 对应的数值,并与它替换;并反转递增序列变为递减序列为更新后的最小序列,从而得到下一个排列。
next_permutation的实现经过了三个过程(为了方便说明,下面说的数组都是指STL能进行双向迭代的容器):
1.首先从i=last-1(数组的最后面)进行遍历,找到递增(从后往前看)数组的范围以及第一个非递增数组的位置;不是很好说,举个例子如下图所示。假设有个数组{0,2,4, 3,1},i从后往前遍历,找到第一个非递增的索引(遍历经过1,3,4递增序列),则递增序列的索引范围是[ ii ,last-1]。
2.然后再从后last-1往前遍历从递增序列(索引范围是[ ii, last-1 ])中找到一个比索引i对应(上图中的2)数大的数就就停止,并标记该索引值为j(上图中的3)。并交换索引i,j对应的数组的值。得到如图所示。
3.最后,反转递增序列{ 1, 2, 4}(索引为[ ii,last-1])为递减序列{4, 2, 1},如下图所示。
下面为STL next_permutation函数实现的一个版本:
template <class BidirectionalIterator>
bool next_permutation(BidirectionalIterator first, BidirectionalIterator last)
{
if(first == last) return false; //空区间,不存在下一个排列
BidirectionalIterator i = first;
++i;
if(i == last) return false; //区间只有一个元素,不存在下一个排列
i = last;
--i;
for(;;)
{
BidirectionalIterator ii = i; //ii为递增区间[ ii , last-1]
--i; //i为第一个非递增区间的索引
if(*i < *ii)
{
BidirectionalIterator j = last;
while(!(*i < *--j)); //通过查找比*i稍微大的值*j,由于过滤了等于(*i == *j),索引该区间里可以存在重复的元素
iter_swap(i, j); //交换 *i 与 *j的值
reverse(ii, last); //反转递增区间
return true; //存在下一个排列
}
if(i == first)
{
reverse(first, last); //如果i == first, 索引从last 到 first最大的递增序列,不存在下一个排列,反转区间
return false;
}
}
}
在leetcode中不少的关于排列的题,都可以用到上面的思想进行实现,比如:
leetcode 31题
实现获取下一个排列的函数,算法需要将给定数字序列重新排列成字典序中下一个更大的排列。
如果不存在下一个更大的排列,则将数字重新排列成最小的排列(即升序排列)。
必须原地修改,只允许使用额外常数空间。
以下是一些例子,输入位于左侧列,其相应输出位于右侧列。
1,2,3 → 1,3,2
3,2,1 → 1,2,3
1,1,5 → 1,5,1
class Solution {
public:
void nextPermutation(vector<int>& nums) {
if(nums.empty() || nums.size() == 1)
return;