用排列组合解释入栈出栈种类数

组合排列公式

卡特兰数
递推关系的解为：

h(n)=C(2n,n)/(n+1) (n=0,1,2,…)

或

h(n)=c(2n,n)-c(2n,n+1)(n=0,1,2…)

组合公式：

c(m,n)=m!/n!(m-n)!

抽象模型：n个1和n个0组成排列，要求在组成的排列中，在任意的前k个字符中，1的个数不能少于0的个数。

将每个元素的入栈出栈状态抽象为1和0，将不同时机的插入取出抽象为1和0的不同序列，此序列唯一不能违反的原则为：从头至任何位置的0的个数必须小于等于1的个数，即任何时间点抽取的次数都少于等于插入的次数。

出现0多于1的序列的本质为：前面的0和1总数相等，然后出现一个0。无论任何位置出现“多一个”的0，在它后面的0和1都是m,m+1个；而它本身与前面的0和1则是k+1,k个。n个0和n个1里，随便取（n+1）个，一定不是1多就是0多，1多则在队伍后面，0多在队伍前面。此种排序有C(2n,n+1)个。

每个元素都有2个状态1和0，n个0和n个1的状态序列有C(2n,n)种，2n个位置，随便取其一半为1状态。

所以出入栈的种类数h(n)=c(2n,n)-c(2n,n+1)(n=0,1,2…)

模型：n个元素排队入栈，随意出栈的队列种数
设有队列1 2 3 4 入栈

1 2 3 | 4 （1，2，3入栈，栈外元素为 4）栈外元素4随意插入出栈队列 出栈种数： 4
1 2 | 3 4 （1，2入栈，栈外元素 3 4）3有2种插入位置 ，4插入位置有3种 排除 3 1 4 2 出栈种数：5
1 | 2 3 4（1入栈，栈外元素2 3 4）2有一种，3，4如上，出栈种数：5

一共出栈种数：14