arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2108.11285math.CO
收藏

广义拉丁长方形和梯形的自动计数

Automatic Counting of Generalized Latin Rectangles and Trapezoids

George Spahn, Doron Zeilberger

摘要:

在“全自动枚举”的案例研究中,我们说明了如何充分利用符号计算,通过开发(我们称之为)“符号动态规划”算法来计算“难以计算的序列”的许多术语,即拉丁方阵,广义排列,广义三行拉丁矩形的数量。最后,我们还概述了Ira Gessel 1987年定理的推广证明,该定理说,对于任何行数k,具有k行和n列的拉丁矩形的数量在n中是P-递归的。我们的算法完全实现在Maple中,并产生了相当多的条款,这样的序列。

英文摘要:

In this case study in ``fully automated enumeration'', we illustrate how to take full advantage of symbolic computation by developing (what we call) `symbolic-dynamical-programming' algorithms for computing many terms of `hard to compute sequences', namely the number of Latin trapezoids, generalized derangements, and generalized three-rowed Latin rectangles. At the end we also sketch the proof of a generalization of Ira Gessel's 1987 theorem that says that for any number of rows, k, the number of Latin rectangles with k rows and n columns is P-recursive in n. Our algorithms are fully implemented in Maple, and generated quite a few terms of such sequences.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑