Gessel猜想的人性化证明

我们用步骤解释第一象限中的行走{（1,1），（1,0），（-1,0）带有两组字母的Dyck单词。使用这种语言，我们给出一个使用上述步骤计算行走次数的表达式，从在原点处结束。我们给出了一个显式公式对于使用以下内容之间的对应关系的限制类此类单词这样的话和戴克的道路。这个显式公式完全相同与之相同循环面积平方满足多项式的次数n个-罗宾斯猜测了戈斯，尽管这种联系是个谜。最后我们讨论另一个组合问题，其中公式出现并证明了双射的存在。

2009年3月2日收到；2009年4月30日收到修订版。发布于整数序列杂志2009年5月12日。