热门标签 | HotTags
当前位置:  开发笔记 > 后端 > 正文

各类数(一)——卡特兰数

欢迎访问https:blog.csdn.netlxt_Lucia~~宇宙第一小仙女\(^o^)~~萌量爆表求带飞≡Σ(((

欢迎访问https://blog.csdn.net/lxt_Lucia~~


宇宙第一小仙女\(^o^)/~~萌量爆表求带飞=≡Σ((( つ^o^)つ~ dalao们点个关注呗~~

 

 

关于卡特兰数

卡特兰数是一种经典的组合数,经常出现在各种计算中,其前几项为 : 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900, 2674440, 9694845, 35357670, 129644790, 477638700, 1767263190, 6564120420, 24466267020, 91482563640, 343059613650, 1289904147324, 4861946401452, ...

计算公式

卡特兰数一般的计算公式:这里写图片描述 
另类递推公式:C(n)=C(n-1)*((4*n-2)/(n+1));

一般性质

Cn的另一个表达形式为这里写图片描述 
所以,Cn是一个自然数,这一点在先前的通项公式中并不显而易见。 
这个表达形式也是André对前一公式证明的基础。

卡塔兰数满足以下递推关系 
这里写图片描述 
它也满足 
这里写图片描述 
这提供了一个更快速的方法来计算卡塔兰数。

卡塔兰数的渐近增长为 
这里写图片描述 
它的含义是左式除以右式的商趋向于1当n → ∞。(这可以用n!的斯特灵公式来证明。)

所有的奇卡塔兰数Cn都满足n = 2^k − 1。 
所有其他的卡塔兰数都是偶数。

实际问题的解决

说了这么多,那么卡特兰数在实际问题中的应用还是很广泛的:

经典问题:

  • 给出一个n,要求一个长度为2n的01序列,使得序列的任意前缀中1的个数不少于0的个数, 
    以下为长度为6的序列: 
    111000 101100 101010 110010 110100 
    证明: 
    令1表示进栈,0表示出栈,则可转化为求一个2n位,含n个1,n个0的二进制数, 
    满足从左往右扫描到任意一位时,经过的0数不多于1数 
    显然含n个1,n个0的2n位二进制数共有这里写图片描述个,下面考虑不满足要求的数目. 
    考虑一个含n个1,n个0的2n位二进制数,扫描到第2m+1位上时有m+1个0和m个1(容易证明一定存在这样的情况), 
    则后面的01排列中必有n-m个1n-m-1个0 
    将2m+2及其以后的部分0变成1,1变成0,则对应一个n+1个0和n-1个1的二进制数 
    反之亦然(相似的思路证明两者一一对应) 
    从而这里写图片描述

  • 将上例的X换成左括号,Y换成右括号,Cn表示所有包含n组括号的合法运算式的个数: 
    ((())) ()(()) ()()() (())() (()())

  • Cn表示有n+1个叶子的二叉树的个数 
    这里写图片描述

  • Cn表示所有不同构的含n个分枝结点的满二叉树的个数(一个有根二叉树是满的当且仅当每个结点都有两个子树或没有子树)

  • Cn表示所有在n × n格点中不越过对角线的单调路径的个数 
    一个单调路径从格点左下角出发,在格点右上角结束,每一步均为向上或向右 
    计算这种路径的个数等价于计算Dyck word的个数(同问题1): 
    X代表“向右”,Y代表“向上” 
    这里写图片描述

  • Cn表示通过连结顶点而将n + 2边的凸多边形分成三角形的方法个数 
    下图中为n = 4的情况: 
    这里写图片描述

  • Cn表示对{1, …, n}依序进出栈的置换个数 
    一个置换w是依序进出栈的当S(w) = (1, …, n), 
    其中S(w)递归定义如下:令w = unv,其中n为w的最大元素,u和v为更短的数列 
    再令S(w) =S(u)S(v)n,其中S为所有含一个元素的数列的单位元。

  • Cn表示集合{1, …, n}的不交叉划分的个数. 其中每个段落的长度为2

  • Cn表示用n个长方形填充一个高度为n的阶梯状图形的方法个数 
    下图为 n = 4的情况: 
    这里写图片描述


总结最典型的四类应用:

(实质上却都一样,无非是递归等式的应用,就看你能不能分解问题写出递归式了)

  1. 括号化问题。

      矩阵链乘: P=a1×a2×a3×……×an,依据乘法结合律,不改变其顺序,只用括号表示成对的乘积,试问有几种括号化的方案?(h(n)种)

  2. 出栈次序问题。 
      一个栈(无穷大)的进栈序列为1,2,3,..n,有多少个不同的出栈序列? 
       
      类似: 
      (1)有2n个人排成一行进入剧场。入场费5元。其中只有n个人有一张5元钞票,另外n人只有10元钞票,剧院无其它钞票,问有多少中方法使得只要有10元的人买票,售票处就有5元的钞票找零?(将持5元者到达视作将5元入栈,持10元者到达视作使栈中某5元出栈) 
       
      (2)在圆上选择2n个点,将这些点成对连接起来,使得所得到的n条线段不相交的方法数。 
      

  3. 将多边行划分为三角形问题。 
      将一个凸多边形区域分成三角形区域的方法数? 
       
      类似:一位大城市的律师在她住所以北n个街区和以东n个街区处工作。每天她走2n个街区去上班。如果她从不穿越(但可以碰到)从家到办公室的对角线,那么有多少条可能的道路? 
       
      类似:在圆上选择2n个点,将这些点成对连接起来使得所得到的n条线段不相交的方法数? 
       
    4.给顶节点组成二叉树的问题。 
      给定N个节点,能构成多少种形状不同的二叉树? 
      先去一个点作为顶点,然后左边依次可以取0至N-1个相对应的,右边是N-1到0个,两两配对相乘,就是h(0)*h(n-1) + h(2)*h(n-2) +…+ h(n-1)h(0)=h(n)(能构成h(N)个)

转自:https://blog.csdn.net/wu_tongtong/article/details/78161211

出栈顺序 与 卡特兰数的关系

令h(0)=1,h(1)=1,卡特兰数满足递推式:h(n)= h(0)*h(n-1)+h(1)*h(n-2) + ... + h(n-1)h(0) (n>=2)

例如:h(2)=h(0)*h(1)+h(1)*h(0)=1*1+1*1=2 ,h(3)=h(0)*h(2)+h(1)*h(1)+h(2)*h(0)=1*2+1*1+2*1=5;

另类递推式:h(n)=h(n-1)*(4*n-2)/(n+1);

递推关系的解为:h(n)=C(2n,n)/(n+1) (n=1,2,3,...);

递推关系的另类解为:h(n)=C(2n,n)-C(2n,n+1)(n=1,2,3,...);

常规分析

首先,我们设f(n)=序列个数为n的出栈序列种数。同时,我们假定第一个出栈的序数是k。第一个出栈的序数k将1~n的序列分成两个序列,其中一个是1~k-1,序列个数为k-1,另外一个是k+1~n,序列个数是n-k。此时,我们若把k视为确定一个序数,那么根据乘法原理,f(n)的问题就等价于——序列个数为k-1的出栈序列种数乘以序列个数为n - k的出栈序列种数,即选择k这个序数的f(n)=f(k-1)×f(n-k)。而k可以选1到n,所以再根据加法原理,将k取不同值的序列种数相加,得到的总序列种数为:f(n)=f(0)f(n-1)+f(1)f(n-2)+……+f(n-1)f(0)。看到此处,再看看卡特兰数的递推式,答案不言而喻,即为f(n)=h(n)= C(2n,n)/(n+1)= C(2n,n)-C(2n,n+1)(n=1,2,3,……)。最后,令f(0)=1,f(1)=1。

 

非常规分析

对于每一个数来说,必须进栈一次、出栈一次。我们把进栈设为状态‘1’,出栈设为状态‘0’。n个数的所有状态对应n个1和n个0组成的2n位二进制数。由于等待入栈的操作数按照1‥n的顺序排列、入栈的操作数b大于等于出栈的操作数a(a≤b),因此输出序列的总数目=由左而右扫描由n个1和n个0组成的2n位二进制数,1的累计数不小于0的累计数的方案种数。

在2n位二进制数中填入n个1的方案数为C(2n,n),不填1的其余n位自动填0。从中减去不符合要求(由左而右扫描,0的累计数大于1的累计数)的方案数即为所求。

不符合要求的数的特征是由左而右扫描时,必然在某一奇数位2m+1位上首先出现m+1个0的累计数和m个1的累计数,此后的2(n-m)-1位上有n-m个 1和n-m-1个0。如若把后面这2(n-m)-1位上的0和1互换,使之成为n-m个0和n-m-1个1,结果得1个由n+1个0和n-1个1组成的2n位数,即一个不合要求的数对应于一个由n+1个0和n-1个1组成的排列。

反过来,任何一个由n+1个0和n-1个1组成的2n位二进制数,由于0的个数多2个,2n为偶数,故必在某一个奇数位上出现0的累计数超过1的累计数。同样在后面部分0和1互换,使之成为由n个0和n个1组成的2n位数,即n+1个0和n-1个1组成的2n位数必对应一个不符合要求的数。

因而不合要求的2n位数与n+1个0,n-1个1组成的排列一一对应。

显然,不符合要求的方案数为C(2n,n+1)。由此得出输出序列的总数目=C(2n,n)-C(2n,n+1)=C(2n,n)/(n+1)=h(n+1)。

类似问题 买票找零

有2n个人排成一行进入剧场。入场费5元。其中只有n个人有一张5元钞票,另外n人只有10元钞票,剧院无其它钞票,问有多少中方法使得只要有10元的人买票,售票处就有5元的钞票找零?(将持5元者到达视作将5元入栈,持10元者到达视作使栈中某5元出栈)

最终结果:C(2n,n)-C(2n,n+1)

转自:https://blog.csdn.net/feeltouch/article/details/45077387


推荐阅读
  • 深入解析Android自定义View面试题
    本文探讨了Android Launcher开发中自定义View的重要性,并通过一道经典的面试题,帮助开发者更好地理解自定义View的实现细节。文章不仅涵盖了基础知识,还提供了实际操作建议。 ... [详细]
  • Explore how Matterverse is redefining the metaverse experience, creating immersive and meaningful virtual environments that foster genuine connections and economic opportunities. ... [详细]
  • PyCharm下载与安装指南
    本文详细介绍如何从官方渠道下载并安装PyCharm集成开发环境(IDE),涵盖Windows、macOS和Linux系统,同时提供详细的安装步骤及配置建议。 ... [详细]
  • 技术分享:从动态网站提取站点密钥的解决方案
    本文探讨了如何从动态网站中提取站点密钥,特别是针对验证码(reCAPTCHA)的处理方法。通过结合Selenium和requests库,提供了详细的代码示例和优化建议。 ... [详细]
  • Java 中的 BigDecimal pow()方法,示例 ... [详细]
  • 探讨如何高效使用FastJSON进行JSON数据解析,特别是从复杂嵌套结构中提取特定字段值的方法。 ... [详细]
  • 本文详细介绍了如何在Linux系统上安装和配置Smokeping,以实现对网络链路质量的实时监控。通过详细的步骤和必要的依赖包安装,确保用户能够顺利完成部署并优化其网络性能监控。 ... [详细]
  • CentOS7源码编译安装MySQL5.6
    2019独角兽企业重金招聘Python工程师标准一、先在cmake官网下个最新的cmake源码包cmake官网:https:www.cmake.org如此时最新 ... [详细]
  • 深入理解Java中的volatile、内存屏障与CPU指令
    本文详细探讨了Java中volatile关键字的作用机制,以及其与内存屏障和CPU指令之间的关系。通过具体示例和专业解析,帮助读者更好地理解多线程编程中的同步问题。 ... [详细]
  • 使用 Azure Service Principal 和 Microsoft Graph API 获取 AAD 用户列表
    本文介绍了一段通用代码示例,该代码不仅能够操作 Azure Active Directory (AAD),还可以通过 Azure Service Principal 的授权访问和管理 Azure 订阅资源。Azure 的架构可以分为两个层级:AAD 和 Subscription。 ... [详细]
  • 深入解析:手把手教你构建决策树算法
    本文详细介绍了机器学习中广泛应用的决策树算法,通过天气数据集的实例演示了ID3和CART算法的手动推导过程。文章长度约2000字,建议阅读时间5分钟。 ... [详细]
  • 本文详细介绍了macOS系统的核心组件,包括如何管理其安全特性——系统完整性保护(SIP),并探讨了不同版本的更新亮点。对于使用macOS系统的用户来说,了解这些信息有助于更好地管理和优化系统性能。 ... [详细]
  • 本文详细介绍如何使用Samba软件配置CIFS文件共享服务,涵盖安装、配置、权限管理及多用户挂载等关键步骤。通过具体示例和命令行操作,帮助读者快速搭建并优化Samba服务器。 ... [详细]
  • 本文介绍如何在QT框架中使用QWebSocket和QTcpSocket实现SSL加密通信,涵盖单向认证设置。单向认证常见于Web通信场景,其中客户端验证服务端证书,而服务端不验证客户端证书。 ... [详细]
  • 本文详细介绍了如何使用 Yii2 的 GridView 组件在列表页面实现数据的直接编辑功能。通过具体的代码示例和步骤,帮助开发者快速掌握这一实用技巧。 ... [详细]
author-avatar
诚实的愛是最棒的_977_415_874
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有