[论文解读] Improved bounds and new techniques for Davenport--Schinzel sequences and their generalizations

Gabriel Nivasch|arXiv (Cornell University)|Jan 4, 2009

Algorithms and Data Compression参考文献 15被引用 5

一句话总结

本文改进了阶数为 s 的 Davenport–Schinzel 序列的上下界，提出了一种基于递推关系的新技术，重新推导并强化了先前的结果。该文为 λ₃(n) 和一般 s 情况建立了更紧的界，证明了上界中系数 2 的紧致性，并通过改进先前方法的分析，提升了偶数 s 情况下指数中的首项系数。

ABSTRACT

We present several new results regarding λs(n), the maximum length of a Davenport--Schinzel sequence of order s on n distinct symbols.First, we prove that[EQUATION]where t = [(s - 2)/2], and α(n) denotes the inverse Ackermann function. The previous upper bounds, by Agarwal, Sharir, and Shor (1989), had a leading coefficient of 1 instead of 1/t! in the exponent. The bounds for even s are now tight up to lower-order terms in the exponent. These new bounds result from a small improvement on the technique of Agarwal et al.More importantly, we also present a new technique for deriving upper bounds for λs(n). This new technique is based on some recurrences very similar to those used by the author, together with Alon, Kaplan, Sharir, and Smorodinsky (SODA 2008), for the problem of stabbing interval chains with j-tuples. With this new technique we: (1) re-derive the upper bound of λ3(n) ≤ 2nα(n)+O(n)√α(n) (first shown by Klazar, 1999); (2) re-derive our own new upper bounds for general s; and (3) obtain improved upper bounds for the generalized Davenport--Schinzel sequences considered by Adamec, Klazar, and Valtr (1992).Regarding lower bounds, we show that λ3(n) ≥ 2nα(n) - O (n) (the previous lower bound (Sharir and Agarwal, 1995) had a coefficient of 1/2), so the coefficient 2 is tight. We also present a simpler variant of the construction of Agarwal, Sharir, and Shor that achieves the known lower bounds of λs(n) ≥ n·2(1/t!)α(n)t - O (α(n)t-1) for s ≥ 4 even.

研究动机与目标

• 改进在 n 个符号上阶数为 s 的 Davenport–Schinzel 序列最大长度 λₛ(n) 的上下界。
• 基于区间链刺穿问题的启发，开发一种基于递推关系的新分析技术，以推导更紧的界。
• 重新推导并强化针对 λ₃(n) 和广义 Davenport–Schinzel 序列的已有界。
• 确立 λ₃(n) 上界中系数 2 的紧致性，并通过改进分析，提升偶数 s 情况下指数中的首项系数。
• 简化并重新验证已知的 λₛ(n) 下界构造，特别是针对 s ≥ 4 的偶数情况。

提出的方法

• 引入一种基于递推关系的新方法，用于上界估计 λₛ(n)，其建模于区间链刺穿问题的技术。
• 将该递推框架应用于重新推导 λ₃(n) ≤ 2nα(n) + O(n√α(n)) 的界，确认其紧致性。
• 利用新方法推导一般 s 情况下的改进上界，其中指数中的首项系数为 1/t!，其中 t = ⌊(s−2)/2⌋。
• 重新分析并简化 Agarwal、Sharir 和 Shor 的构造，以实现 s ≥ 4 偶数情况下的已知下界。
• 利用反 Ackermann 函数 α(n) 表达具有更优渐近精度的界。
• 将递推分析与序列的结构分解相结合，以控制 Davenport–Schinzel 序列中的禁止交替结构。

实验结果

研究问题

• RQ1 λ₃(n) 的最紧可能上界是什么？上界中 2nα(n) 项的系数 2 是否最优？
• RQ2 能否开发一种新的基于递推关系的方法，以统一并改进所有 s 情况下 λₛ(n) 的已有上界？
• RQ3 新界与已知下界相比如何，特别是针对偶数 s ≥ 4 的情况？
• RQ4 能否将偶数 s 情况下上界指数中首项系数从 1 提升至 1/t!？
• RQ5 是否存在一种更简单的构造，能够实现 s ≥ 4 偶数情况下的已知 λₛ(n) 下界？

主要发现

• λ₃(n) 的上界被收紧为 2nα(n) + O(n√α(n))，并通过匹配的下界证明了系数 2 的紧致性。
• 对于一般 s，上界被改进为 λₛ(n) ≤ n · 2(1/t!)α(n)t − O(α(n)t−1)，其中 t = ⌊(s−2)/2⌋，提升了指数中的首项系数。
• 新提出的基于递推关系的技术成功重新推导出 λ₃(n) 的界，并推广至所有 s 情况，得到更优的界。
• λ₃(n) 的下界被改进为 2nα(n) − O(n)，确认了上界中系数 2 的最优性。
• Agarwal–Sharir–Shor 构造的简化变体实现了 s ≥ 4 偶数情况下的已知下界，验证了界中指数的紧致性。
• 对于偶数 s，界现在在指数的低阶项范围内是紧致的，解决了序列极值组合学中长期存在的开放问题。