基于Dickson引理的Ackermannian和原始递归界
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
摘要：
Dickson引理是一个简单而强大的工具，广泛用于终止证明，特别是在处理计数器或相关的数据结构。然而，大多数计算机科学家不知道如何从这种终止证明中推导出复杂性上界，现有的文献在这些问题上没有很大的帮助。我们提出了一个新的分析的坏序列的长度（N^k，\leq），并解释如何可以得到复杂性的上限从终止证明。我们的上界改善了早期的结果，本质上是紧的。
英文摘要：
Dickson's Lemma is a simple yet powerful tool widely used in termination proofs, especially when dealing with counters or related data structures. However, most computer scientists do not know how to derive complexity upper bounds from such termination proofs, and the existing literature is not very helpful in these matters. We propose a new analysis of the length of bad sequences over (N^k,\leq) and explain how one may derive complexity upper bounds from termination proofs. Our upper bounds improve earlier results and are essentially tight.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
