[论文解读] Valleyless Sequences

Robert G. Rieper, Melkamu Zeleke|ArXiv.org|May 17, 2000

Advanced Combinatorial Mathematics被引用 9

一句话总结

本文引入了无谷序列——即避免局部极小值（谷）且为非减、非增或单峰的序列——并建立了长度为 $ n $ 的无谷排列与 $ n $ 的组合之间的一一对应关系，证明此类排列的数量为 $ 2^{n-1} $。本文推导了长度为 $ n $、最大值为 $ k $ 的无谷序列的生成函数与闭式计数公式，得出关键结果 $ V_{n,k} = \binom{n-1+2(k-1)}{2(k-1)} $。

ABSTRACT

Valleyless sequences of finite length $n$ and maximum entry $k$ occur in tree enumeration problems and provide an interesting correspondence between permutations and compositions. In this paper we introduce the notion of \emph {valleyless} sequences, explore the correspondence and enumerate them using the method of generating functions.

研究动机与目标

• 定义并刻画无谷序列——即避免局部极小值且为单峰或单调的序列。
• 建立长度为 $ n $ 的无谷排列与 $ n $ 的组合之间的一一对应关系，证明 $ |\mathcal{V}_n \cap \mathcal{P}_n| = 2^{n-1} $。
• 枚举最大值为 $ k $ 的长度为 $ n $ 的无谷序列，给出闭式表达式。
• 推导生成函数，包括 $ q $-类比形式，用于此类序列的总和与最大部分。
• 探讨无谷序列与树枚举问题之间的联系，特别是路径长度和叶节点数给定的有序树。

提出的方法

• 通过条件定义无谷序列：对所有 $ i < j < k $，有 $ s_j \geq \min\{s_i, s_k\} $，以确保无局部极小值。
• 使用逆表刻画无谷排列：$ a_k = 0 $ 或 $ n-k $，从而得出此类排列共有 $ 2^{n-1} $ 个。
• 通过将所有元素加一并在开头或结尾添加一个 1 的操作，建立无谷排列与 $ n $ 的组合之间的一一对应关系。
• 推导生成函数 $ V(x,q,y) = \sum_{n,p,k} V_{n,p,k} x^n q^p y^k $，其满足一个 $ q $-差分方程。
• 使用“蛇油法”和生成函数恒等式，推导出闭式表达式 $ V_{n,k} = \binom{n-1+2(k-1)}{2(k-1)} $。
• 推导出生成函数 $ a_n(q,y) $ 的非线性递推关系，以处理递归构造中的重复计数。

实验结果

研究问题

• RQ1 长度为 $ n $、最大值为 $ k $ 的无谷序列的确切数量是多少？
• RQ2 是否存在无谷排列与 $ n $ 的组合之间的一一对应关系？
• RQ3 无谷序列的生成函数能否用 $ q $-级数或 $ q $-差分方程表示为闭式？
• RQ4 无谷序列中各项之和与最大部分的分布如何？能否通过 $ q $-类比生成函数捕捉这一分布？
• RQ5 无谷序列枚举背后的递推结构是什么？该结构如何处理递归构造中的重复计数？

主要发现

• 最大值为 $ k $ 的长度为 $ n $ 的无谷序列的数量由闭式公式 $ V_{n,k} = \binom{n-1+2(k-1)}{2(k-1)} $ 给出，这是主要的枚举结果。
• 长度为 $ n $ 的无谷排列与 $ n $ 的组合之间存在一一对应关系，两者的大小均为 $ 2^{n-1} $。
• 无谷序列数量的生成函数满足 $ q $-差分方程 $ (1 - xq)^2 V(x,q,y) = xqy - x^2q^2y + y V(xq,q,y) $，由此可导出级数解。
• 长度为 $ n $ 的序列的生成函数 $ a_n(q,y) $ 满足非线性递推关系 $ a_n = \frac{2q a_{n-1} - q^2 a_{n-2}}{1 - y q^n} $，该关系考虑了递归构造中的重复计数。
• 例如，通过本文配套的 Maple 包计算得，长度为 10、各项之和为 20、最大部分为 5 的无谷序列数量为 325。
• 生成函数 $ V(x,q,y) $ 的显式表达式为 $ \sum_{n=1}^\infty \frac{x q^n (1 - x q^n)}{(xq)_n^2} y^n $，其中 $ (xq)_n = \prod_{i=1}^n (1 - x q^i) $。