卡特兰数和算法

news2024/11/29 8:43:00

在组合数学中,卡特兰数是一系列自然数,出现在各种组合计数问题中,通常涉及递归定义的对象。它们以比利时数学家尤金·查尔斯·卡特兰(Eugène Charles Catalan)的名字命名。

卡特兰数序列是1, 1, 2, 5, 14, 42......(n = 0,1,...)。

一般来说,用二项式系数表示的第n个卡特兰数如下:

alt

这也可以表示为:

alt

卡特兰数的奇特属性

如果使用卡特兰数形成矩阵如下所示:

alt

那么所有这些矩阵的行列式都将等于1。

卡特兰数在组合数学中的一些应用

格路径(Lattice Paths)

考虑一个平面,将其划分为边长为一单位的正方形方块,如下图所示。让点O作为原点(0,0),点P为任意点(n, n)。

alt

找出从O到P的路径数量,使得每条路径在或者在连接O和P的直线上方(如图中粉色标示)。

在任何情况下,你只能一次向上或一次向右前进一步。

解:

假设n = 2,那么我们有O(0,0)和P(2,2)。

alt

在这种情况下,我们可以有2条路径(绿色标示),如下所示:

类似地,对于n = 3,我们有O(0,0)和P(3,3)。

alt

在这种情况下,我们可以有5条路径(绿色标示),如下所示:

同样,对于n = 4,我们可以有14条路径。

alt

因此,我们有一个卡特兰数的序列。

一般的解决方案为n:

所需的路径数量(在粉色线上方或上面)=

(从O到P的总路径数) -(违反条件的路径数,即它们在粉色线下面)

假设路径没有限制,并考虑一般点Q(m, n),O为(0,0)。

用U表示向上步骤,用R表示向右步骤,为了从O到达点Q,我们需要m次向右和n次向上。这些步骤可以以任何方式进行。

alt

所以,我们需要排列m个R和n个U,可以用以下方式进行:

因此,从O到Q的总路径数由以下方式给出:

alt

因此,从O(0,0)到P(n, n)的总路径数=

alt

要找到违反路径的数量,我们使用反射技巧:

假设n = 4,即点P为(4,4),考虑任何违反路径,例如黄色线。

在第一个违反点X上标记一条与y = x平行的线(粉色线)。这条线以蓝色标示。

alt

现在从点X绘制原始路径(黄色线)在与y = x平行的线(蓝色线)上的反射。这个反射路径用红色表示。将红色的终点标记为P'。

对于任何初始的违反路径,蓝色线都保持不变,因为所有第一个违反点都将在该线上。

在这种情况下,当n = 4时,遵循红色路径从X到达点P'(5,3)。

alt

同样,对于n = 5,P'将是(6,4),对于n = 6,P'将是(7,5),依此类推。

一般来说,我们可以说点P'将是(n+1,n-1)。

alt

显然,我们得到一个新的路径,它从(0,0)开始,以(n+1,n-1)结束。

这种给定黄色路径找到红色路径的过程是完全可逆的,即如果给定红色路径,我们可以找到黄色路径。

因此,从(0,0)到P的违反路径数量将等于从(0,0)到P'(n+1,n-1)的路径数量。

从(0,0)到P'(n+1,n-1)的路径数量(使用方程1)=

alt

因此,违反条件的路径数量,即它们在粉色线下面 =。

alt

所需的路径数量(在粉色线上方或上面)=

alt

这可以简化为

alt

这就是第n个卡特兰数。

因此,粉色线上方和上面的路径数是卡特兰数。

(n+2)边正规多边形的三角形划分。

考虑一个(n+2)边的多边形,我们必须计算通过绘制其对角线将多边形划分为三角形的方式数量,使得没有两条对角线在多边形内部相交。

解:假设n = 2,我们有一个正方形。

如下图所示,我们可以以两种方式划分正方形:

alt

假设n = 3,我们有一个五边形。

如下图所示,我们可以以五种方式划分五边形:

alt

同样,对于n = 4,我们得到六边形,我们可以以14种方式划分,依此类推。

这个序列也形成了一个卡特兰序列。

alt

表达式加括号: 给定一个包含(n+1)项的表达式。我们需要找出如何加括号以使项的顺序不改变的方式数量。

解:为了简化起见,考虑给定操作为乘法。

假设n = 2,给定表达式为"abc"。

我们可以以2种方式加括号 -> (a(bc)),((ab)c)。

假设n = 3,给定表达式为"abcd"。

我们可以以5种方式加括号

(((ab)c)d),((ab)(cd)),((a(bc))d),(a((bc)d)),(a(b(cd)))

同样,对于n = 4,我们可以以14种方式进行,依此类推。

alt

这个序列也形成了一个卡特兰序列。

握手问题:

有2n个人坐在圆形桌周围。找出他们可以互相握手的方式数量,使得手不交叉。握手只能用一只手,每个人一次只能与一人握手。

解:假设n = 2,我们有4人坐在桌旁。

这里的人以1、2、3、4表示,握手用一条线表示。

alt

所以对于n = 2,我们可以有2种方式。

同样,对于n = 3,我们可以有5种握手的方式。

alt

对于n = 4,有14种方式,以此类推。

alt

这形成了一个卡特兰序列。

除了上面提到的应用外,这些卡特兰数在计算几何学、密码学和许多其他领域中还有许多应用。

我们可以在广泛的专业领域中找到这些数的用途,使它们成为最重要的整数序列之一。

卡特兰数算法是一种动态规划算法。

在组合数学中,卡特兰数形成了一系列自然数,出现在各种计数问题中,通常涉及递归定义的对象。

非负整数n上的卡特兰数是一组数字,在树的枚举问题中出现,问题类型是:“如果不同的方向被分别计数,那么一个正n边形可以以多少种方式分成n-2个三角形?”

卡特兰数算法的应用:

以平面上n个连续硬币组成底行的方式,其中不允许在底行两侧放置硬币,并且每个额外的硬币必须位于其他两个硬币的上方,这种堆叠硬币的方式数是第n个卡特兰数。

将一个包含n对括号的字符串分组的方式,使得每个开括号都有一个匹配的闭括号,这种分组的方式数是第n个卡特兰数。

在平面上将n+2边的凸多边形分割成三角形的方式,通过连接顶点与直线相交方式不相交,这种方式的数是第n个卡特兰数。这是欧拉感兴趣的应用。

使用以零为基础的编号,第n个卡特兰数可以通过以下方程直接表示为二项式系数的形式。

卡特兰数的示例: 这里n的值为4

辅助空间:O(n) 时间复杂度:O(n²)

卡特兰数的经典运用

卡特兰数(Catalan numbers)是一种组合数学中的数列,通常用Cn表示,其中n是一个非负整数。卡特兰数在许多组合数学和计算机科学问题中具有重要的应用。以下是一些卡特兰数的经典运用:

括号匹配问题:卡特兰数可用于描述括号匹配的不同方式。例如,n对括号的合法匹配方式的数量就是Cn。

二叉搜索树:卡特兰数可以表示n个节点的不同形态的二叉搜索树(BST)。这在计算机科学中用于分析算法的平均情况和性能很有用。

凸多边形的三角划分:给定一个n+2边的凸多边形,卡特兰数表示将其分成n个三角形的不同方式。这在计算几何学和图形学中很有用。

栈的操作序列:卡特兰数用于描述栈的不同操作序列的数量,如进栈和出栈的方式。

插入和删除操作的序列:在计算机科学中,卡特兰数用于表示插入和删除操作的序列的数量,如插入和删除字符以使括号匹配。

编程语言中的语法树:卡特兰数可用于计算不同语法树的数量,这在编译器设计和解析器生成中非常重要。

卡特兰数还在许多其他问题中发挥了重要作用,包括排列、组合、图形理论、密码学等等。

总之,卡特兰数是组合数学中的一个重要概念,它在各种领域中都有广泛的应用,帮助解决了许多与组合和计数相关的问题。

卡特兰数是一系列正整数,可以用于解决计算机科学中的各种问题。它们属于组合数学领域,与斐波那契数列一样,遵循一个基本的递归关系。它们还适用于动态规划方法。

本文将详细探讨这个主题,并将其应用于一些流行的计算机科学问题。与斐波那契数列一样,卡特兰数也遵循一种模式。序列中的前几个数字如下所示。

1, 1, 2, 5, 14, 42, 132, …

递归关系如下所示:

C3 = C0 * C2 + C1 * C1 + C2 * C0

可以从n = 2开始,基本情况为(C0 = C1 = 1),递归解决较小的子问题,逐步解决最终问题n。

与斐波那契数列类似,这也包含有重叠子问题,这使我们能够对子问题的答案进行备忘录化,以避免重复计算。

下面的代码使用递归和备忘录化来返回第n个卡特兰数。

def catalan_number(n, dp):
    if n <= 1:
        return 1

    if dp[n] != -1:
        return dp[n]

    res = 0
    for i in range(n):
        res += catalan_number(i, dp) * catalan_number(n - 1 - i, dp)

    dp[n] = res
    return res

# 初始化备忘录
n = 10
dp = [-1] * (n + 1)
dp[0] = dp[1] = 1

result = catalan_number(n, dp)
print(f"The {n}-th Catalan Number is {result}")

以下是可以使用上述代码解决的一些问题:

具有n个节点的二叉搜索树的数量。 有效括号的数量。 具有某些递归关系修改的完全二叉树的数量。 具有高度h的完全二叉树的数量。 让我们详细了解如何将上述问题与卡特兰数序列相关联,以更好地理解它们的用途。

问题1:给定值n,返回构建具有n个节点的二叉搜索树的方式数量。

方法:

我们选择一个节点作为根节点。 我们遍历左子树和右子树中可以形成的节点组合。 我们将这些可能的组合相加,得到最终答案。

递归关系:

NWays(n) = NWays(0) * NWays(n-1-0) + NWays(1) * NWays(n-1-1) + ....NWays(n-1) * NWays(0)

alt

问题2:给定值n,查找具有n对有效括号的可能组合数量。

方法:

就像上面的问题一样,我们选择1对括号作为默认值。 在默认括号周围,我们将计算所有可能的括号组合。 递归关系:与上述相同

( )()(), ( )(()), (())(), ((())) , (()())

问题3:给定值n,查找可以构建的可能完全二叉树数量。

方法:

与二叉搜索树问题不同,我们不能直接获取左子树和右子树中的所有节点组合。它们还必须满足完全二叉树的条件(每个节点具有0或正好2个子节点的树)。

根据定义,必须明确,无法构建具有偶数节点数的完全二叉树。

因此,我们需要更改第一个问题中的递归关系。 在这里,我们将遍历可以构建的左子树和右子树的有效组合。

递归关系:

如果(n为偶数) NWays(n) = 0 NWays(n) = NWays(1) * NWays(n-1-1) + NWays(3) * NWays(n-1-3) + ....NWays(n-1-1) * NWays(1)

注意,我们只使用奇数数量的节点来构建左子树和右子树。

alt

问题4:给定值n和值h,返回具有高度h的完全二叉树的构建方式数量。

方法:

在这个问题中,我们在第三个问题的状态中添加了一个参数。 这个参数代表所构建树的高度。

递归关系:

如果(n为偶数) NWays(n, h) = 0

NWays(n, h) = NWays(1, h-1) * NWays(n-1-1, h-1) + NWays(3, h-1) * NWays(n-1-3, h-1) + ....NWays(n-1-1, h-1) * NWays(1, h-1)

h-1是因为我们将根节点从高度中排除 其中h的范围从1到h。

NWays(n,h) - NWays(n, h-1)将给出我们构建高度h的完全二叉树的方式数量。

上述问题的基本情况是 NWays(0) = NWays(1) = NWays(1, 任何高度) = 1

希望这足够详细地描述了卡特兰数及其在计算机科学中的应用。谢谢!

本文由 mdnice 多平台发布

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/967626.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

AAC之处理码流分析工具(三十六)

简介: CSDN博客专家,专注Android/Linux系统,分享多mic语音方案、音视频、编解码等技术,与大家一起成长! 优质专栏:Audio工程师进阶系列【原创干货持续更新中……】🚀 人生格言: 人生从来没有捷径,只有行动才是治疗恐惧和懒惰的唯一良药. 更多原创,欢迎关注:Android…

websocket基础

下面就以代码来进行说明 1&#xff0c;先导入websocket依赖 <dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-websocket</artifactId></dependency> 2.编写websocket相关bean管理配置 Config…

牛客网刷题

牛客网刷题-C&C 2023年9月3日15:58:392023年9月3日16:37:01 2023年9月3日15:58:39 2023年9月3日16:37:01 整型常量和实型常量的区别

一、了解[mysql]索引底层结构和算法

目录 一、索引1.索引的本质2.mysql的索引结构 二、存储引擎1.MyISAM2.InnoDB3.为什么建议InnoDB表要建立主键并且推荐int类型自增&#xff1f;4.innodb的主键索引和非主键索引&#xff08;二级索引&#xff09;区别5.联合索引 一、索引 1.索引的本质 索引:帮助mysql高效获取数…

01-为什么阿里巴巴强制要求使用包装类型定义属性?【Java面试题总结】

1.为什么阿里巴巴强制要求使用包装类型定义属性&#xff1f; 我认为主要有以下几个方面的原因&#xff1a; 默认值问题&#xff1a;使用基本数据类型定义属性时&#xff0c;如果没有给属性赋初始值&#xff0c;会使用默认值&#xff08;如 int 的默认值为 0&#xff09;&…

C++:初识类与this指针

文章目录 前言一、类类的定义和实例化类的访问限定符类的作用域计算类的大小 二、类的成员函数的this指针总结 个人主页 &#xff1a; 个人主页 个人专栏 &#xff1a; 《数据结构》 《C语言》《C》 前言 一、类 类的定义和实例化 注意类定义结束时后面分号( ; )不能省略。 类…

基于粒子群算法的考虑需求响应的风-光-柴-储容量优化配置

目录 文章摘要&#xff1a; 研究背景&#xff1a; 考虑柔性负荷的风、光、柴、储微电网模型&#xff1a; 储能配置模型&#xff1a; 粒子群算法&#xff1a; 运行结果&#xff1a; 1. 全年运行效果展示&#xff1a; 2. 典型日运行效果&#xff1a; Matlab代码数据分享…

博客系统自动化测试项目实战(测试系列9)

目录 前言&#xff1a; 1.博客前端页面测试用例图 2.测试用例的代码实现 2.1登录页面的测试 2.2博客列表页面的测试 2.3写博客测试 2.4博客详情页面的测试 2.5已发布博客的标题和时间的测试 2.6注销用户的测试 结束语&#xff1a; 前言&#xff1a; 之前小编给大家讲…

js实现点击查看全部/收起功能

在上一篇文章实现用js截取文本后&#xff0c;我的另一个需求也迎刃而解了。需求就是一段长文本需要溢出隐藏&#xff0c;然后点击全部时显示全部文本&#xff0c;点击收起又回到溢出隐藏的状态。实现的效果如下图&#xff1a; 实现的思路时点击全部时使用这条数据的原文本&…

04-过滤器和拦截器有什么区别?【Java面试题总结】

过滤器和拦截器有什么区别&#xff1f; 运行顺序不同&#xff1a;过滤器是在 Servlet 容器接收到请求之后&#xff0c;但在 Servlet被调用之前运行的&#xff1b;而拦截器则是在Servlet 被调用之后&#xff0c;但在响应被发送到客户端之前运行的。 过滤器Filter 依赖于 Servle…

【优先级队列】

文章目录 基于无序数组实现基于有序数组的实现基于堆的实现合并多个有序链表-力扣 23 题 基于无序数组实现 要点 入队保持顺序&#xff0c;在数组尾部插入即可出队前找到优先级最高的出队&#xff0c;相当于一次选择排序 基于有序数组的实现 要点 入队后排好序&#xff0c…

企业架构LNMP学习笔记8

1、 运维人员需要考虑安全性、稳定性。 安装&#xff1a; 解压进入到目录&#xff1a; shell > tar zxf php-7.2.12.tar.gz shell > cd php-7.2.12 安装依赖软件&#xff1a; yum -y install libxml2-devel libjpeg-devel libpng-devel freetype-devel curl-devel op…

企业应用系统 PHP项目支持管理系统Dreamweaver开发mysql数据库web结构php编程计算机网页

一、源码特点 PHP 项目支持管理系统是一套完善的web设计系统 应用于企业项目管理&#xff0c;从企业内部的各个业务环境总体掌握&#xff0c;系统具有完整的源代码和数据库&#xff0c;系统主要采用B/S模式开发。 php项目支撑管理系统2 二、功能介绍 (1)权限管理&#xff1…

Android 使用OpenCV实现实时人脸识别,并绘制到SurfaceView上

1. 前言 上篇文章 我们已经通过一个简单的例子&#xff0c;在Android Studio中接入了OpenCV。 之前我们也 在Visual Studio上&#xff0c;使用OpenCV实现人脸识别 中实现了人脸识别的效果。 接着&#xff0c;我们就可以将OpenCV的人脸识别效果移植到Android中了。 1.1 环境说…

一个基于YAPI接口生产代码的开源工具

前后端分离的开发模式是一种趋势&#xff0c;但如果缺少好的开发工具跟管理模式&#xff0c;会使得前后端开发人员相互等待&#xff0c;扯皮等问题。从而影响项目的交付进度。 通过实践摸索&#xff0c;YAPI是一款很适合前后端分离开发的协助工具。它以项目为维度&#xff0c;可…

arduino仿真 SimulIDE1.0仿真器

SimulIDE 是一个开源的电子电路模拟器&#xff0c;支持模拟各种电子元器件的行为&#xff0c;可以帮助电子工程师和爱好者进行电路设计和测试。以下是 SimulIDE 的安装和使用说明&#xff1a; 安装 SimulIDE SimulIDE 可以在 Windows、Linux 和 Mac OS X 等操作系统上安装。您…

取证工具prodiscover的基本操作

前言提醒 取证工具ProDiscover在网上讲解操作的文章实在太少&#xff0c;一是prodiscover是用于磁盘取证的工具&#xff0c;本身比较小众比不上其他的编程软件能用到的地方多&#xff0c;二是这个工具是用来恢复提取磁盘中被删除的文件&#xff0c;是比较隐晦的软件。 需要注…

CSAPP的Lab学习——AttackLab

文章目录 前言一、阶段一攻击二、阶段二攻击三、阶段三攻击四、阶段四攻击五、阶段五攻击总结 前言 一个本硕双非的小菜鸡&#xff0c;备战24年秋招。刚刚看完CSAPP&#xff0c;真是一本神书啊&#xff01;遂尝试将它的Lab实现&#xff0c;并记录期间心酸历程。 代码下载 官方…

【AWS实验】 配置中转网关及对等连接

文章目录 实验概览目标实验环境任务 1&#xff1a;查看网络拓扑并创建基准任务 2&#xff1a;创建中转网关任务 3&#xff1a;创建中转网关挂载任务 4&#xff1a;创建中转网关路由表任务 4.1&#xff1a;创建路由表关联任务 4.2&#xff1a;创建路由传播 任务 5&#xff1a;更…

velodyne_msgs/VelodyneScan数据流消息转化为sensor_msgs/PointCloud2点云帧消息

目的 在查看一个开源数据集时&#xff0c;点云信息格式为velodyne_msgs/VelodyneScan&#xff0c;无法在rviz中显示&#xff0c;需要转换为sensor_msgs/PointCloud2。 软件版本 Ubuntu20.04 Noetic 激光雷达型号 32线激光雷达velodyne 32E 参考方法 ROS Noetic velodyn…