题目描述

image.png

题目链接

https://leetcode.cn/problems/next-permutation/

思路

「下一个排列」的定义是:给定数字序列的字典序中下一个更大的排列。如果不存在下一个更大的排列,则将数字重新排列成最小的排列,即升序排列。我们可以将该问题形式化地描述为:给定若干个数字,将其组合为一个整数。如何将这些数字重新排列,以得到下一个更大的整数。如【31】下一个排列 - 图2的下一个更大的数为【31】下一个排列 - 图3。如果没有更大的整数,则输出最小的整数。

【31】下一个排列 - 图4为例,其排列依次为: :::danger 【31】下一个排列 - 图5
【31】下一个排列 - 图6
【31】下一个排列 - 图7
【31】下一个排列 - 图8
【31】下一个排列 - 图9 ::: 可以看到有这样的关系:【31】下一个排列 - 图10

1. 算法推导

那如何得到这样的排列顺序?我们可以这样来分析:

我们希望下一个数比当前的数大,这样才满足「下一个排列」的定义。因此只需要将后面的「大数」与前面的「小数」交换,就能得到一个更大的数。比如【31】下一个排列 - 图11,将【31】下一个排列 - 图12【31】下一个排列 - 图13交换就能得到一个更大的数【31】下一个排列 - 图14。我们还希望下一个数增加的幅度尽可能的小,这样才满足「下一个排列与当前排列紧邻」的要求。为了满足这个要求,我们需要:

  • 在尽可能靠右的低位进行交换,因此需要从后向前查找。
  • 将一个尽可能小的「大数」与前面的「小数」交换。比如【31】下一个排列 - 图15,下一个排列应该把【31】下一个排列 - 图16【31】下一个排列 - 图17交换而不是把【31】下一个排列 - 图18【31】下一个排列 - 图19交换。
  • 将「大数」换到前面后,需要将「大数」后的所有数重置为升序,升序排列就是最小的排列。以【31】下一个排列 - 图20为例:首先按照上一步,交换【31】下一个排列 - 图21【31】下一个排列 - 图22,得到【31】下一个排列 - 图23;之后还需要将【31】下一个排列 - 图24之后的数字重置为升序,得到【31】下一个排列 - 图25。显然【31】下一个排列 - 图26【31】下一个排列 - 图27更小,所以【31】下一个排列 - 图28就是【31】下一个排列 - 图29的下一个排列。

2. 算法过程

标准的「下一个排列」算法可以描述为:

  1. 从后向前查找第一个相邻升序的元素对【31】下一个排列 - 图30,满足【31】下一个排列 - 图31,此时【31】下一个排列 - 图32必然是降序。
  2. 【31】下一个排列 - 图33从后向前查找第一个满足【31】下一个排列 - 图34【31】下一个排列 - 图35【31】下一个排列 - 图36【31】下一个排列 - 图37分别就是上文所说的「小数」和「大数」。
  3. 【31】下一个排列 - 图38【31】下一个排列 - 图39交换。
  4. 可以断定这时【31】下一个排列 - 图40必然是降序,此时逆置【31】下一个排列 - 图41使其升序。
  5. 如果在步骤一中找不到符合的相邻元素对,说明当前【31】下一个排列 - 图42为一个降序顺序,则直接跳到步骤四。

下面,我们举个例子来说明一下,以求【31】下一个排列 - 图43的下一个排列为例:
image.png
首先从后向前查找第一个相邻升序的元素对【31】下一个排列 - 图45。这里即【31】下一个排列 - 图46,对应的值为【31】下一个排列 - 图47
image.png
然后在【31】下一个排列 - 图49从后向前查找第一个大于【31】下一个排列 - 图50的值【31】下一个排列 - 图51。这里【31】下一个排列 - 图52【31】下一个排列 - 图53,故【31】下一个排列 - 图54【31】下一个排列 - 图55
image.png
【31】下一个排列 - 图57【31】下一个排列 - 图58交换。这里交换【31】下一个排列 - 图59【31】下一个排列 - 图60
image.png
这时【31】下一个排列 - 图62必然是降序,逆置【31】下一个排列 - 图63使其升序。这里逆置【31】下一个排列 - 图64
image.png
因此,【31】下一个排列 - 图66的下一个排列就是【31】下一个排列 - 图67。最后我们再对比一下这两个相邻的排列(橙色是蓝色的下一个排列):
image.png

代码实现

  1. public void nextPermutation(int[] nums) {
  2. if (nums == null || nums.length == 0) {
  3. return;
  4. }
  5. // 从后向前查找第一个相邻升序的元素对(i,j)
  6. int i = -1, j = -1;
  7. for (int index = nums.length - 1; index > 0; index--) {
  8. if (nums[index] > nums[index - 1]) {
  9. j = index;
  10. i = index - 1;
  11. break;
  12. }
  13. }
  14. // 如果存在逆序对,在[j,end)从后向前查找第一个大于nums[i]的值nums[k],然后交换nums[i]与nums[k]
  15. if (j != -1) {
  16. int k = j; // 注意,k默认为j,因为至少j是比i大的
  17. for (int n = nums.length - 1; n >= j + 1; n--) {
  18. if (nums[n] > nums[i]) {
  19. k = n;
  20. break;
  21. }
  22. }
  23. swap(nums, i, k);
  24. } else {
  25. // 如果不存在逆序对,则整体都是降序的,此时需要把整个数组做一个逆置
  26. j = 0;
  27. }
  28. // 这时 [j,end) 必然是降序,逆置 [j,end) 使其升序
  29. int middle = (nums.length - j) / 2;
  30. for (int k = 0; k < middle; k++) {
  31. swap(nums, j + k, nums.length - 1 - k);
  32. }
  33. }
  34. private void swap(int[] nums, int i, int j) {
  35. int tmp = nums[i];
  36. nums[i] = nums[j];
  37. nums[j] = tmp;
  38. }

复杂度分析

  • 时间复杂度:【31】下一个排列 - 图69,其中【31】下一个排列 - 图70为给定序列的长度。我们至多只需要扫描两次序列,以及进行一次序列的反转操作。
  • 空间复杂度:【31】下一个排列 - 图71,只需要常数的空间存放若干变量。