卡特兰数定义参考百度百科
卡特兰数能够解决的问题类似出栈顺序问题,对于一个有两种操作1,2 且1,2操作分别有n次的序列必须严格保证操作1的次数在任意前k(k∈Z)个操作中始终不小于操作2的次数,这种操作的方案数就是卡特兰数C(2n,n)/(n+1)。
我们可以用折线的方式去证明卡特兰数
在笛卡尔坐标系中,令x轴表示当前第几次操作,y轴表示当前情况下操作1比操作2多几次。那么折线在x轴上方则为合法方案。
而对于所有不合法的方案,一定存在某个正整数k,使得在前k个操作中操作2比操作1多1次,那么我们让从k+1~2n的所有操作1变成操作2,操作2变成操作1,那么很容易就可以看出最后操作1比操作2少了2次,这也就是说,不合法的方案数就等价于在2n个操作中