卡特兰数 (Catalan Number) 的形象解释

       网上有很多关于卡特兰数 (Catalan Number) 的案例解释,此处给出我认为最形象的一种解释。
       对于给出的一个坐标,我们在一次只能向右或者向上走一格的情况下,从(0,0)走到(n,n),但前提是路径不能超过y=x这一条线。
在这里插入图片描述
       图中蓝色的线就是y=x分界线,我们走过的路径是黄色的线,从(0,0)开始,先向右走了3次走到(0.3),在向上走了3次走到(3,3),再向右走了4次走到(7.3),在向上走了4次走到(7,7)。这是一种正确的走法。下面我们再来看一种不正确的走法:
在这里插入图片描述
       黄色线段仍然是我们的路径。可以看出,路径超过了y=x这一条线的限制,是一种错误的走法。
       此处我们为了便于分析,做出了y=x+1这一条棕色的线段。显然,如果我们的路径超过了y=x这一条线的限制,那么一定会和y=x+1相交(当然,交点的个数最少是一个,可能有很多个),所以我们取第一个交点(图中位于(4,4),用绿色的点标注),考察这个交点之后的黄色路径。我们将绿色点之后的黄色路径以y=x+1为轴进行对称变换,形成图中的紫色路径。由于原先路径的终点是(n,n),则对称之后的终点是(n-1,n+1),也就是图中红色标注的点。我们可以将绿色点之前的黄色路径和之后的紫色路径连在一起,这就形成了一条从(0,0)到(n-1,n+1)的路径。

       下面我们先给出结论,我们费了这么大劲得出的一条从(0,0)到(n-1,n+1)的路径和之前那一种错误的走法是一种一一映射的关系。也就是说从(0,0)到(n-1,n+1)的路径(我们记为路径a)集合的个数,和从(0,0)走到(n,n)的路径中错误的走法(我们记为路径b)个数相等(也就是越过了y=x分界线的路径)。
       下面我们给出证明:
       1.对于每一条路径a,由于其起点位于(0,0),终点在(n-1,n+1),在y=x+1这一条线的两侧,所以路径a必然会和y=x+1相交,这个交点K至少有一个。那么路径a在到达交点K之前的那一部分和黄色路径b是一致的,在K之后的部分恰好是紫色部分,轴对称之后又成为黄色路径b的一部分了了。所以可以看出每一条路径a都会对应一条路径b。
       2.从上面第二幅图的分析过程就可以得出,每一条路径b都会对应一条路径a。
       综上所述,所有的路径a和路径b是一一对应的。故路径a的集合中元素的个数就等于路径b这个集合中元素的个数。我们知道路径a就是起点位于(0,0),终点在(n-1,n+1)的一条折线,一共有2n条折线段,其中有n+1次是向上,所以一共有 C 2 n n + 1 C_{2n}^{n+1} C2nn+1种。所以路径b也即是这么多。
       回过头来看整体的分析过程,我们无非就是想得出路径b(也就是越过了y=x分界线的路径)的个数是多少,但是直接求不出,所以我们利用一次数量上的等价转化变成了我们能够求出的路径a,之后就迎刃而解了。

       最后回到我们最初的问题,从(0,0)走到(n,n),不超过y=x这一条线的路径个数为从(0,0)走到(n,n)的路径个数减去越过了y=x分界线的路径个数,所以最后结果为 C 2 n n C_{2n}^{n} C2nn C 2 n n + 1 C_{2n}^{n+1} C2nn+1 = C 2 n n C_{2n}^{n} C2nn /(n + 1) (组合数的化简推导比较繁琐,在这里就不列出啦)

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值