证明problemB

有n个数字a[n](1<= a[i] <=k), 保证1-k每个数字至少出现一次, 求字典序最小的全排列 题目。

为什么单调栈一定能找到最优解？

使用反证法：
假设正确答案是 $x_1,x_2,x_3,x_4,...,x_k$。
假设通过单调栈找到的答案是 $y_1,y_2,y_3,y_4,...,y_k$。
假设这两个答案不同，设二者从$i$位置开始不同（前$i-1$个数字相同，$x_i\ne y_i$）。
设$a=x_i$, $b-y_i$。
显然 $b<a$ 是不可能的(不可能找到比正确答案更优的答案)，只能是 $b>a$ 。
也就是说在正确答案中$b$排在了$a$之后，而在单调栈的答案中$b$排在了$a$之前。
也就是说在单调栈寻找答案的过程中，加入$a$时没有让$b$弹出栈。
有两种情况：
一种是$a$后面没有与$b$相等的数了，但是在正确答案中$b$排在了$a$后面，所以a后面是存在b的，所以这种情况是不存在的。
另一种是加入$a$时，弹出栈顶元素的过程中遇到了比a更小的数c，那么最终答案中a之前的数是一个比a小的数c，这与b > a 相矛盾。