31. 下一个排列

方法已经知道了，从右向左尝试遍历一个递增序列，直到第一个不递增的数字(图中是a3)，将递增序列中第一个大于这个数字的元素(a5)与之交换，然后将递增序列掉转。
问题是，如何证明这个排列是下一个排列？
换句话说，假如当前排列是current，下一个排列是next，如何证明不存在任何一个排列other，使得current<other<next。

我们以下图为例，尝试找到这个other，并证明该排列不存在。
首先，证明a0~a2都不变。

• 如果current<other，则在[0, 2]上，元素$a_i^{other}>=a_i^{current}$。
• 如果other<next，则在[0, 2]上，元素$a_i^{current}<=a_i^{next}$。

由此可得$a_i^{other}<=a_i^{current}<=a_i^{next}$，而[0,2]中，$a_i^{current}=a_i^{next}$，所以$a_i^{other}=a_i^{current}$。所以a0~a2都不变。

然后，在a3~a6中，如果要找到比current更大的数，放在位置3，还要使得排列刚好比current大，则a5是最好的选择。（因为a4不如a5，而a6小于a3）

现在，我们已经让排列大于current了，我们要让剩下三个数的排列尽可能小，我们发现，next的排列是唯一最小可能的排列，我们没法找到更小的排列了。

由此可证，next是下一个排列。
至于他们是怎么想到这样能找到下一个排列的？不关我事，我就一刷题的。