卡塔兰数

✍ dations ◷ 2025-02-24 07:30:49 #整数数列,阶乘与二项式主题,置换,随机矩阵

卡塔兰数是组合数学中一个常在各种计数问题中出现的数列。以比利时的数学家欧仁·查理·卡特兰(1814–1894)命名。历史上,清朝数学家明安图(1692年-1763年)在其《割圜密率捷法》中最先发明这种计数方式,远远早于卡塔兰。有中国学者建议将此数命名为“明安图数”或“明安图-卡塔兰数”。

卡塔兰数的一般项公式为

C n = 1 n + 1 ( 2 n n ) = ( 2 n ) ! ( n + 1 ) ! n ! {\displaystyle C_{n}={\frac {1}{n+1}}{2n \choose n}={\frac {(2n)!}{(n+1)!n!}}} 的另一个表达形式为

C n = ( 2 n n ) ( 2 n n + 1 )  for  n 1 {\displaystyle C_{n}={2n \choose n}-{2n \choose n+1}\quad {\mbox{ for }}n\geq 1} 是一个自然数;这一点在先前的通项公式中并不显而易见。这个表达形式也是André对前一公式证明的基础。(见https://en.wikipedia.org/wiki/Catalan_number#Second_proof。)

递推关系:

它也满足

这提供了一个更快速的方法来计算卡塔兰数。

卡塔兰数的渐近增长为

它的含义是当 → ∞时,左式除以右式的商趋向于1。(这可以用!的斯特灵公式来证明。)

所有的奇卡塔兰数都满足 n = 2 k 1 {\displaystyle n=2^{k}-1} 令1表示进栈,0表示出栈,则可转化为求一个位、含个1、个0的二进制数,满足从左往右扫描到任意一位时,经过的0数不多于1数。显然含个1、个0的位二进制数共有 ( 2 n n ) {\displaystyle {2n \choose n}} 个1、个0的2n位二进制数,扫描到第位上时有个0和个1(容易证明一定存在这样的情况),则后面的0-1排列中必有个1和个0。将及其以后的部分0变成1、1变成0,则对应一个个0和个1的二进制数。反之亦然(相似的思路证明两者一一对应)。

从而 C n = ( 2 n n ) ( 2 n n + 1 ) = 1 n + 1 ( 2 n n ) {\displaystyle C_{n}={2n \choose n}-{2n \choose n+1}={\frac {1}{n+1}}{2n \choose n}} 的取值为多少,×的汉克尔矩阵: A i , j = C i + j 2 .   {\displaystyle A_{i,j}=C_{i+j-2}.\ } = 4 时我们有

进一步,无论的取值为多少,如果矩阵被移动成 A i , j = C i + j 1 .   {\displaystyle A_{i,j}=C_{i+j-1}.\ } = 4 时我们有

同时,这两种情形合在一起唯一定义了卡塔兰数。

相关

  • 日本莽草素日本莽草素具有高度的毒性,是由日本莽草萃取出的具有杀虫活性的物质。在日本使用于民俗疗法之中,但是食入时会导致死亡。症状会在食入后 1–6小时后发作,开始时是腹泻、呕吐和
  • 科隆群岛坐标:0°40′S 90°33′W / 0.667°S 90.550°W / -0.667; -90.550科隆群岛,又称加拉帕戈斯群岛(西班牙语:Islas Galápagos,官方名称Archipiélago de Colón),位于太平洋东部,接近
  • 脱衣搜身脱衣搜身,用于检查一个人是否携带武器或其它违禁品的方法。执法人员有权在必要时要求被搜查人脱掉部分或全部衣物,检查其私人物品和体腔(口腔、阴道、肛门等)。脱衣搜身需要法律
  • 武九铁路武九铁路自中华人民共和国湖北省武汉市至江西省九江市,全长262千米,是中国国家路网“沿江通道”的重要组成部分,铁路等级为一级复线。武九铁路的各段在历史上曾分别作为不同的
  • 寒武纪第十期寒武纪第十期(Cambrian "Stage 10")是寒武纪的第十个阶段,年代大约位于489.5–485.4百万年前。
  • 和与积的问题不可能的谜题(英语:The Impossible Puzzle)也称为和与积的问题(英语:Sum and Product Puzzle)是一个数学问题,乍看之下没什么有关答案的线索,无法作答,因此而称为“不可能的谜题”。
  • 洛斯帕飛 (乐队)洛斯帕飛(Lostprophets)是来自英国威尔士庞迪布里德的一组摇滚乐队,乐队1997年成立至2013年,发行了五张专辑,是唯一完完全全道地的英国乐队,却流着相当美式的新金属乐风,没有浓厚英
  • 朱尔·利萨茹朱尔·安托瓦内·利萨茹(法语:Jules Antoine Lissajous,1822年3月4日-1880年6月24日)是一位法国数学家,利萨茹曲线以他命名。他同时制造了利萨茹装置,该装置可以产生利萨茹图形。一
  • 丁斯曼丁斯曼 (Dinsman,1949年5月20日-),原名“Che Shamsuddin Othman”,1970年代马来西亚剧场导演、编剧及演员,以马来语为创作媒介语。他早期的剧作如《抗议》()、《惹拔》()和《不是自杀》
  • 利奥波德·埃亚尔茨 除特别注明外,本文所有时间均以中时区时间(UTC±0)为准。利奥波德·埃亚尔茨(法语:Leopold Eyharts,1957年4月28日-)是法国第8位宇航员。1957年4月28日出生于法国比亚里茨,1979年毕