阿米尔·本·阿姆拉姆。;杰夫·汉密尔顿。 多项式循环程序的严格最坏情况界限。 （英语） Zbl 1524.68075号 Bojañczyk，Mikołaj（编辑）等人，《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11425, 80-97 (2019). 摘要：摘自《Lect.Notes Compute.Sci.5028，67-76》（2008；Zbl 1142.68369号)]，第一作者等。表明，对于一种简单的编程语言（用有界循环表示非确定性命令式程序，算术仅限于加法和乘法），可以精确地确定程序是否具有特定的增长率属性，特别是计算值或程序的运行时间，具有多项式增长率。一个自然而有趣的问题是提高所获得信息的准确性。本文说明了如何获得这类程序的渐近多元多项式界。这是一个完整的解决方案：只要存在多项式界，就会找到它。关于整个系列，请参见[Zbl 1408.68009号]. 引用于5文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65年第68季度 算法和问题复杂性分析 引文：Zbl 1142.68369号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}和\textit{G.W.Hamilton}，莱克特。注释计算。科学。11425、80-97（2019年；Zbl 1524.68075） 全文： 内政部 OA许可证