[论文解读] A solution to the tennis ball problem

Anna de Mier, Marc Noy|ArXiv.org|Nov 14, 2003

Advanced Combinatorial Mathematics参考文献 5被引用 5

一句话总结

本文通过关联格路的拟阵的Tutte多项式，为广义网球球问题提供了完整解法。通过将路径计数问题建模为拟阵结构，并利用递归函数方程推导出显式生成函数，作者提出了一套系统方法，可计算任意参数集下游戏结束时有效球配置的数量。

ABSTRACT

We present a complete solution to the so-called tennis ball problem, which is equivalent to counting lattice paths in the plane that use North and East steps and lie between certain boundaries. The solution takes the form of explicit expressions for the corresponding generating functions. Our method is based on the properties of Tutte polynomials of matroids associated to lattice paths. We also show how the same method provides a solution to a wide generalization of the problem.

研究动机与目标

• 为广义网球球问题提供解决方案，该问题涉及在特定约束下，经过n轮添加和移除球后，剩余球的不重复集合的计数。
• 建立一种系统方法，用于计算始终位于由重复块N和E步组成的边界路径之下的有效格路数量。
• 将先前局限于特殊情况（例如k=1或k=l=2）的结果推广至适用于任意正整数k_i和l_i的一般框架。
• 利用代数函数和根的对称有理函数，推导出路径计数序列生成函数的显式可计算表达式。

提出的方法

• 将网球球问题建模为受限于形式为(N^{k_1}E^{l_1}...N^{k_r}E^{l_r})^n的边界路径的格路计数问题。
• 为每条此类路径关联一个拟阵M[P_n]，其中基对应于篮子外的有效球配置。
• 使用Tutte多项式t(M[P_n]; x, y)编码路径计数，其中参数用于追踪与边界路径的交点及初始E步。
• 定义递归函数变换Φ^i，以在边界路径的各块之间传播信息，从而实现生成函数的递归计算。
• 引入代数方程(w-1)^l - z w^{k+l} = 0的幂级数解w_1, ..., w_l，以表示生成函数的代数结构。
• 推导出生成函数Q(z) = (1/z) R(w_1, ..., w_l)，其中R是可通过方程组计算的对称有理函数。

实验结果

研究问题

• RQ1 如何为任意参数t和s计算网球球问题中经过n轮后剩余的不重复球集数量？
• RQ2 从(0,0)到(ln, kn)的格路中，不越过路径(N^{k_1}E^{l_1}...N^{k_r}E^{l_r})^n的路径数量的生成函数是什么？
• RQ3 该解法能否超越原始问题及先前已解决的情况（如k=1，k=l=2）进行推广？
• RQ4 如何利用关联拟阵的Tutte多项式推导出路径计数生成函数的闭式或可计算表达式？

主要发现

• 有效配置数量的生成函数为Q(z) = (1/z) R(w_1, ..., w_l)，其中w_1, ..., w_l是方程(w-1)^l - z w^{k+l} = 0的唯一分式幂级数解。
• 当(k_1,l_1,k_2,l_2) = (2,2,1,1)时，生成函数产生序列1, 16, 503, 19904, 885500, ...，其中显式有理函数R = (1-w_1)(1-w_2)(1-w_3)/(2w_1w_2w_3 - (w_1w_2 + w_1w_3 + w_2w_3))。
• 该方法推广了先前结果：当k=1时，生成函数退化为广义Catalan数公式1/((l-1)n+1) * C(ln, n)。
• 完整的Tutte多项式生成函数表示为包含根w_j及变量x和y的对称函数的有理函数。
• 该解法具有有效性和算法性：可编写计算机程序，对任意输入k_1, l_1, ..., k_r, l_r计算R。