[论文解读] The dinner table problem: the rectangular case

Roberto Tauraso|ArXiv.org|Jul 14, 2005

Advanced Combinatorial Mathematics参考文献 7被引用 8

一句话总结

本文通过定义一个新的排列类 $ a_{n,d} $，即没有任何元素恰好被移动 $ d $ 个位置的排列，解决了矩形餐桌的‘晚餐桌问题’。推导出一个涉及多项式系数和组合求和的复杂容斥公式，证明此类排列的渐近概率趋近于 $ e^{-2} $，并具有修正项 $ rac{4(d-1)}{n} $，推广了已知的环形和线性餐桌结果。

ABSTRACT

$n$ people are seated randomly at a rectangular table with $\lfloor n/2 floor$ and $\lceil n/2 ceil$ seats along the two opposite sides for two dinners. What's the probability that neighbors at the first dinner are no more neighbors at the second one? We give an explicit formula and we show that its asymptotic behavior as $n$ goes to infinity is $e^{-2}(1+4/n)$ (it is known that it is $e^{-2}(1-4/n)$ for a round table). A more general permutation problem is also considered.

研究动机与目标

• 将晚餐桌问题从环形和线性排列推广至具有 $ d $-分离位移约束的矩形餐桌。
• 定义并计算 $ a_{n,d} $，即集合 $ \{1,\dots,n\} $ 的排列数，使得对所有有效的 $ i $，满足 $ |\pi(i+d) - \pi(i)| \neq d $。
• 利用容斥原理和多项式系数分解，推导出 $ a_{n,d} $ 的闭式公式。
• 分析 $ a_{n,d}/n! $ 的渐近行为，证明其收敛于 $ e^{-2} $，并给出精确的一阶修正项。

提出的方法

• 提出一个关于模 $ d $ 的 $ d $ 个剩余类的多变量容斥公式，索引为 $ r_k $ 和 $ c_k $。
• 使用生成函数和多项式系数恒等式，通过 $ q_{n,d}(L) $ 建模禁止的位移模式，$ q_{n,d}(L) $ 是整数分拆的和。
• 对总和进行渐近分析，展开 $ n^{ ext{underline}} $ 项，并对大 $ n $ 使用生成函数近似。
• 通过按总和 $ r = \sum r_k $、$ c = \sum c_k $ 分组项，利用指数生成函数极限分析主导贡献。
• 使用近似 $ (n/d)^{\underline{m}} \sim (n/d)^m $，并展开 $ 1/n $ 的有理函数以提取主导阶渐近项。
• 将 $ c = r $、$ c = r-1 $ 和 $ c = r-2 $ 的情形合并，推导出完整的渐近展开，得到 $ \frac{4(d-1)}{n} $ 修正项。

实验结果

研究问题

• RQ1 在矩形餐桌上，有多少种 $ n $ 个人的排列方式，使得没有人与原始邻座恰好相隔 $ d $ 个位置？
• RQ2 能否为一般 $ d \geq 2 $ 推导出 $ a_{n,d} $（此类排列的计数）的闭式公式？
• RQ3 当 $ n \to \infty $ 时，概率 $ a_{n,d}/n! $ 的行为如何？其收敛到极限的速率是什么？
• RQ4 渐近展开中的修正项如何依赖于 $ d $？其精确系数是什么？

主要发现

• 通过模 $ d $ 的 $ d $ 个剩余类上的多变量容斥求和，结合多项式系数和组合和 $ q_{n,d}(L) $，推导出 $ a_{n,d} $ 的闭式公式。
• 渐近概率 $ a_{n,d}/n! $ 随 $ n \to \infty $ 收敛于 $ e^{-2} $，并带有首阶修正项 $ \frac{4(d-1)}{n} $。
• 主导渐近展开为 $ \frac{a_{n,d}}{n!} = e^{-2}\left(1 + \frac{4(d-1)}{n} + O\left(\frac{1}{n^2}\right)\right) $，对 $ d \geq 2 $ 成立。
• 对于 $ d=0 $（环面）和 $ d=1 $（线性）的情形，论文提供了更精细的渐近展开，包含高阶项，与已知序列 A089222 和 A002464 一致。
• 展开中 $ 1/n $ 项的系数为 $ 4(d-1) $，表明其与 $ d $ 呈线性关系，该结论通过生成函数和多项式系数分析得到验证。
• 推导依赖于对下降阶乘的近似，以及对 $ d $ 个非负整数元组的对称和，最终在极限下得到指数生成函数的乘积形式。