字典序的下一个排列

先上模板

//数组a的下一个字典序排列。stl貌似会超时。手写还是快#include<cstdio>#include<cstring>#include<algorithm>using namespace std;int a[1025];void next(int N){    int index = 0;    bool flag = false;    for(int i = N - 2 ; i >= 0 ; i--){        if(a[i] < a[i + 1]){//找第一个小于后一个数的数字            flag = true;            index = i;            break;        }    }    if(flag == flase){//这个序列已经是递减的排列，下一个肯定是递增的        sort(a ,a + N);        return;    }    int temp = index + 1;    //如果后面已经是递减了，那么就找到位于现在制定的两个数中间那个数换上来，并将后面按小到大排序      //例如1 2 4 3，假设现在index指向2，则temp指向4，i指向了3，因为3<4&&3>2所以将3与2交换，后面的按小到大排序      //因为这么做的前提是2后面是递减的，所以我们只要从最后找到一个最先位于index和tem之间的值即可，如此循环      for(int i = N - 1 ; i >= index + 2 ; i--){        if(a[i] < a[temp] && a[i] > a[index]){            temp = i;            break;        }    }    int change = a[index];    a[index] = a[temp];    a[temp] = change;    sort(a + index + 1 , a + N);}

今天做了个poj1011，这是个组合数学的一个算法。今天学了一发，受教了。还查了一发证明，不仅感叹。。。牛逼。最近学离散的集合论，始终不知道是干啥的。。。好尴尬，虽然说，模板和证明都不是我自己的，但是！！！合起来就是我的。原创！
那个条件很烦直接上例子

例子更能说明：

假设输入为 5 5 2 4 7 6 3

从后往前观察，对于A[5] = 6 >= A[6] = 3。（交换A[5]和A[6]得到的排列： 5 5 2 4 7 3 6 小于原排列，这一步是没有必要做的，只是为了让大家看清楚）

A[4] = 7 >= A[5] >= A[6]。(交换A[4]和A[5]或者A[4]和A[6]等，得到的都比原排列小)

A[3] = 4 < A[4] >= A[5] >= A[6]，这时从7 6 3中选择6，6是这三个数中大于4的最小的数，交换A[3] = 4和A[5] = 6，得到： 5 5 2 6 7 4 3

明显5 5 2 6 7 4 3比原排列大，但不是原排列的next permutation。

需要调整7 4 3得到最小的3 4 7，最终就是输出5 5 2 4 3 6 7
！！！！！！！！！！！！！！！！！！！！证明！！！！！！！！！！！！！！
这里写链接内容
证明写的极其帮！