【leetcode】Next Permutation（全排列）

Implement next permutation, which rearranges numbers into the lexicographically next greater permutation of numbers.

If such arrangement is not possible, it must rearrange it as the lowest possible order (ie, sorted in ascending order).

The replacement must be in-place and use only constant extra memory.

Here are some examples. Inputs are in the left-hand column and its corresponding outputs are in the right-hand column.

1,2,3 → 1,3,2
3,2,1 → 1,2,3

1,1,5 → 1,5,1

对于给定的任意一种全排列，如果能求出下一个全排列的情况，那么求得所有全排列情况就容易了。好在STL中的algorithm已经给出了一种健壮、高效的方法，下面进行介绍。

设目前有一个集合的一种全排列情况A : 3,7,6,2,5,4,3,1，求取下一个排列的步骤如下：

/** Tips: next permuation based on the ascending order sort
 * sketch :
 * current: 3   7  6  2  5  4  3  1  .
 *                    |  |     |     |
 *          find i----+  j     k     +----end
 * swap i and k :
 *          3   7  6  3  5  4  2  1  .
 *                    |  |     |     |
 *               i----+  j     k     +----end
 * reverse j to end :
 *          3   7  6  3  1  2  4  5  .
 *                    |  |     |     |
 *          find i----+  j     k     +----end
 * */

具体方法为：

a）从后向前查找第一个相邻元素对(i,j)，并且满足A[i] < A[j]。

易知，此时从j到end必然是降序。可以用反证法证明，请自行证明。

b）在[j,end)中寻找一个最小的k使其满足A[i]<A[k]。

由于[j,end)是降序的，所以必然存在一个k满足上面条件；并且可以从后向前查找第一个满足A[i]<A[k]关系的k，此时的k必是待找的k。

c）将i与k交换。

此时，i处变成比i大的最小元素，因为下一个全排列必须是与当前排列按照升序排序相邻的排列，故选择最小的元素替代i。

易知，交换后的[j,end)仍然满足降序排序。因为在(k,end)中必然小于i，在[j,k)中必然大于k，并且大于i。

d）逆置[j,end)

由于此时[j,end)是降序的，故将其逆置。最终获得下一全排序。

注意：如果在步骤a)找不到符合的相邻元素对，即此时i=begin，则说明当前[begin,end)为一个降序顺序，即无下一个全排列，这时返回最小值，方法是将其逆置成升序。

class Solution(object):
    def nextPermutation(self, nums):
        """
        :type nums: List[int]
        :rtype: void Do not return anything, modify nums in-place instead.
        """
        if len(nums) <= 1: 
            return 
        index = -1
        for i in range(len(nums)-2, -1, -1):
            if nums[i] < nums[i+1]:
                index = i
                break
        if index == -1:
            return nums.reverse()
        else:
            for i in range(len(nums)-1, index, -1):
                if nums[i] > nums[index]:
                    nums[i], nums[index] = nums[index], nums[i]
                    break
        nums[index+1:] = nums[index+1:][::-1]