Ira Gessel格点路径猜想的证明

@第{Kauers2008ProofOI条,title={Ira Gessel格点路径猜想的证明},author={曼努埃尔·考尔斯(Manuel Kauers)、克里斯托夫·库特尚(Christoph Koutschen)和多伦·齐尔伯格(Doron Zeilberger)},journal={美国国家科学院院刊},年份={2008},体积={106},页码={11502-11505},网址={https://api.semanticscholar.org/CorpusID:8298617}}
我们给出了Ira Gessel令人着迷的简单假设的一个计算机辅助但完全严格的证明,即以原点开始和结束的单位步数为东、西、北和南方向的方格在x+y≥0,y≥0的区域内行走2n步的方式数等于16n(5/6)n(1/2)n(5/3)n(2)n

Gessel格路径猜想的一个人类证明

Gessel行走是限制在四分之一平面内的晶格路径,从原点开始,由向西、向东、向西南或向东北的单位台阶组成。2001年,Ira Gessel推测

Gessel猜想的人性化证明

我们用步骤{(1,1)、(1,0)、(−1,0)和(−1,−1)}将第一象限中的行走解释为带有两组字母的Dyck单词的泛化。使用这种语言,我们为

用Tutte不变方法计算象限行走

20世纪70年代,威廉·塔特(William Tutte)基于某些“不变量”开发了一种聪明的代数方法,用于求解在枚举适当着色的三角剖分时出现的函数方程。

在四分之一平面上小步行走

设S是不包含(0,0)的{-1,0,1}^2的子集。我们讨论了从(0,0)开始并始终保持在第一象限的S中具有步的平面格行走的枚举。先验的,那里

从Kreweras到Gessel:四分之一平面中的穿行模式

.我们开始研究四边形格点行走中的模式回避。首先,我们展示了克雷韦拉斯漂移(避免长度为2的模式)和一些著名晶格之间令人惊讶的联系

计算机代数为枚举组合数学服务

综述了四分之一平面上小步距步行的结构性质和生成函数的显式公式的最新结果,特别是两个重要的范例:“猜测与证明”和“创造性伸缩”。

Gessel游动计数的概率方法

我们考虑Gessel从原点$(0,0)$开始在第一象限$i,j\geq 0$中行走,由西、东北、东和西南台阶组成。设$F(m;n_1,n_2)$
...

在四分之一平面上小步行走

设S是不包含(0,0)的{-1,0,1}^2的子集。我们讨论了从(0,0)开始并始终保持在第一象限的S中具有步的平面格行走的枚举。先验的,那里

准正交ansatz和限制格游动

伟大的人口普查员杰尔曼·克雷韦拉斯(Germain Kreweras)凭经验发现了这一有趣的事实,然后需要大量的篇幅和人类的创造力来证明这一点,

模积分的一种构造算法——Gröbner基的无限维模拟

通过引入一类无限维自由模的子模的Grijbner基的模拟,给出了获得M/&M的完整算法,这是对论文[AZ]研究问题的回答。

Ore代数中的非交换消去法证明多元恒等式

一个理论?

整数序列在线百科全书

整数序列在线百科全书(或OEIS)是一个包含约130000个数字序列的数据库,它用作字典,告诉用户关于特定序列的已知信息,并被广泛使用。

Gröbner基、积分与超越函数

微分算子环的Gröbner基理论及其在以下问题中的应用:包含特殊函数或二项式系数的表达式的零识别等,即通过计算机验证公式。