双栈排序（栈+二分图）

牛客题面：双栈排序

题面大意：

给定一个整数 $n$ 和一个初始序列 $a$，其中序列 $a$ 的值为[1,n]不重复的正整数。
现在有以下四个操作，希望能够凭借这四个操作使得序列 $a$ 成为一个升序的序列。

1. 操作a：如果输入序列不为空，将第一个元素压入栈S1
2. 操作b：如果栈S1不为空，将S1栈顶元素弹出至输出序列
3. 操作c：如果输入序列不为空，将第一个元素压入栈S2
4. 操作d：如果栈S2不为空，将S2栈顶元素弹出至输出序列

让我们判断，初始序列 $a$ 是否能够通过以上四个操作得到升序序列，如果不能输出 $0$ ；如果可以输出字典序最小的操作序列。

思路：

当我们只考虑一个栈的时候，很显然有一个固定的操作：
在序列 $a$ 中从前往后遍历每个数，先将当前数压入栈中，如果之后的所有数值都比栈顶数值来得大，则需要将栈顶弹出，否则不弹出。

所以，当我们拓展到两个栈的时候，我们只要考虑当前数要压入第一个栈还是第二个栈就行了，其余操作与上述一致。

这里有一个很强的性质：
当两数 $a[i]<a[j],(i<j)$ 时，这两个数不存在于同一个栈中，当且仅当，存在 $k>j$ 时，有 $a[k]<a[i]<a[j]$。

证明如下：

充分性：
当 $a[i]$ 与