还是建议看看yxc的题解
这是先考虑了一个栈的情况，再从一个栈的情况扩充到两个栈
来说明一下他对性质的证明
首先满足条件的二元组式肯定不能够被放在同一个栈里面的，那么如果我将原序列分成两个组，其中每个组中的任意二元组都不满足条件（注意\(k\)不一定要局限于分组之后的同一组，而是对于原序列来说，就是\(k\)也可以是另一组的数字），那么手动模拟一下就会发现过程是不会出现矛盾的，而且操作序列是唯一的
至于是如何搞出字典序最小的，我也看不太明白
标签：满足条件,二元,题解,双栈,序列,排序 From： https://www.cnblogs.com/dingxingdi/p/17890675.html