引言：最近刷数据结构的题，刷到一组元素入栈，他的出栈顺序有可能是哪些时卡住，之前没有关注此类问题，便写下总结
先通过几个例题讲解下出栈顺序问题
1.
一个栈的入栈序列是a,b,c,d,e则栈的不可能的输出序列是：（）
A edcba B decba C dceab D abcde栈之根本——后进先出（Last In First Out , LIFO）初次接触到这个问题的人，或许会认为入栈abcde，所以出栈只能是edcba所以BCD都不对。
其实是这个问题描述有歧义，应该是分段入栈的顺序，也就是说，可能先入栈a，取出a，入栈b，取出b……，所以D也是可能的。
知道这个意思了以后，就要明确这个问题的矛盾根本所在：第一次出栈d，说明什么？说明a，b，c一定早已入栈（入栈顺序决定的）。那么在出栈d以后，a，b，c的出栈顺序一定是c，b，a，而不用理会中间穿插着出栈了d后面的字符（因为可以再入栈，再出栈嘛）。所以立即选中C，不用犹豫，理由简单：d出栈了，abc一定已经入栈，那么abc只能以cba的顺序出栈，C不符合，OK！
举一个更加直观的例子：
如栈顺序是：1 2 3 4 ，如何正确理解出栈？ （1）入栈顺序是1 2 3 4，就是指这四个数依次入栈：
数据4入栈之前，1 2 3肯定已经入栈了；
数据3入栈之前，1 2肯定已经入栈了，而4还没入栈；
数据2入栈之前，1肯定已经入栈了，而2 3 4还没入栈；
数据1最先入栈，2 3 4还没入栈。
（2）既然入栈顺序是1 2 3 4，3 4入栈的时候，1 2 肯定已经入栈了，怎么会在后面再入栈。
（3）先拿4 3 1 2这个出栈序列来说，4最先出来，说明此时1 2 3（底到顶顺序）还都在栈中；接下来只有3能出栈，3出来后，栈中为1 2（底到顶顺序）；再接下来只有2能出栈，所以如果出栈序列前两个是4 3的话，后两个只能是2 1。再看个正确的出栈序列：2 4 3 1；2最先出来，说明它出来时，3 4还没入栈，而1已入栈且还在栈中；接着是4出来，说明此时3也在栈中（3要比4先入栈），此时栈中有1 3（底到顶顺序）；然后只能
总之，挨个看出栈序列的数据，根据入栈顺序，分析它出来时，栈中应该还有谁，而有谁还没入栈，然后分析此时可不可能是它出栈。下面针对蓝桥杯问题，编程来进行分析。
题目：
X星球特别讲究秩序，所有道路都是单行线。一个甲壳虫车队，共16辆车，按照编号先后发车，夹在其它车流中，缓缓前行。
路边有个死胡同，只能容一辆车通过，是临时的检查站，如图所示。
X星球太死板，要求每辆路过的车必须进入检查站，也可能不检查就放行，也可能仔细检查。
如果车辆进入检查站和离开的次序可以任意交错。那么，该车队再次上路后，可能的次序有多少种？
为了方便起见，假设检查站可容纳任意数量的汽车。
显然，如果车队只有1辆车，可能次序1种；2辆车可能次序2种；3辆车可能次序5种。
现在足足有16辆车啊，亲！需要你计算出可能次序的数目。
分析题意：此题的类型为N个元素的出栈问题，题意为16个元素的出栈顺序有多少种。
我们把n个元素的出栈个数的记为f(n), 那么对于1,2,3, 我们很容易得出：
f(1)= 1 //即 1
f(2)= 2 //即 12、21
f(3)= 5 //即 123、132、213、321、231
然后我们来考虑f(4), 我们给4个元素编号为a,b,c,d, 那么考虑：元素a只可能出现在1号位置，2号位置，3号位置和4号位置(很容易理解，一共就4个位置，比如abcd,元素a就在1号位置)。
分析：
1) 如果元素a在1号位置，那么只可能a进栈，马上出栈，此时还剩元素b、c、d等待操作，就是子问题f(3)；
2) 如果元素a在2号位置，那么一定有一个元素比a先出栈，即有f(1)种可能顺序（只能是b），还剩c、d，即f(2)， 根据乘法原理，一共的顺序个数为f(1)* f(2)；
3) 如果元素a在3号位置，那么一定有两个元素比1先出栈，即有f(2)种可能顺序（只能是b、c），还剩d，即f(1)，
根据乘法原理，一共的顺序个数为f(2) * f(1)；
4) 如果元素a在4号位置，那么一定是a先进栈，最后出栈，那么元素b、c、d的出栈顺序即是此小问题的解，即 f(3)；
结合所有情况，即f(4) = f(3) +f(2) * f(1) + f(1) * f(2) + f(3);
为了规整化，我们定义f(0) = 1；于是f(4)可以重新写为：
f(4) = f(0)*f(3) + f(1)*f(2) + f(2) * f(1)+ f(3)*f(0)
然后我们推广到n，推广思路和n=4时完全一样，于是我们可以得到：
f(n) = f(0)*f(n-1) + f(1)*f(n-2) + ... +f(n-1)*f(0)
即
方法二：
但这只是一个递推公式（若编程实现，需要维护一个一维数组，时间复杂度为O(n^2)）。怎么把它转化为通项公式呢，复杂度仅为O(1)?
于是上网搜索一下，原来真的有这么一个公式：C(2n,n)/(n+1) （C(2n,n)表示2n里取n），并且有个名字叫Catalan数。附上wiki的链接，写得太详细了： http://en.wikipedia.org/wiki/Catalan_number
现在的问题就是：怎么从上述的递推公式求出C(2n,n)/(n+1) ? 有兴趣的朋友欢迎留言讨论！
我抽象了下问题，在知乎上问了个问题，其中有一个答案提出了“折现法”，从几何上推出了“n个元素进栈有多少个出栈顺序”这个问题的答案是C(2n,n)-C(2n,n-1)，化简一下即得Catalan number。推荐大家看一看。
代码：
public class Main {
// 不用管出站后车的数量和顺序，因为进站顺序和出站顺序已经决定出站时的排序
static int fun(int a, int b) {// a是等待进站的数目，b是站中的数目
if (a == 0)// 此时已全部进站，出站时的顺序只有一种
return 1;
if (b == 0)// 此时车站为空，只能让车进站
return fun(a - 1, 1);
// 有两种走法：1、让一辆车进站 ；2、让一辆车出站
return fun(a - 1, b + 1) + fun(a, b - 1);
}
static int fun(int a) {
return fun(a, 0);
}
public static void main(String[] args) {
System.out.println(fun(16));
}
}答案：35357670