阿米尔·本·阿姆拉姆。;尼尔·D·琼斯。;克里斯蒂安森，拉尔斯 线性、多项式还是指数？多项式时间内的复杂性推理。 （英文） Zbl 1142.68369号 Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿502867-76（2008）。 摘要：我们提出了一种新的方法来推断具有有界循环的命令式程序的复杂性属性。处理的属性是：作为输入函数的计算值的多项式（或线性）有界性；运行时间也是如此。众所周知，对于图灵完备编程语言来说，复杂性属性是不可判定的。程序分析中的许多工作通过放松正确性概念克服了这一障碍：人们不需要一个正确地决定兴趣属性是否成立的算法，而只需要“是”的答案是正确的。相反，我们通过定义一种“核心”编程语言来重塑问题，这种语言是图灵不完整的，但足够强大，可以对真正感兴趣的程序进行建模。对于这种语言，我们的方法是第一个给出特定答案的方法；换句话说，我们的推论既合理又完整。该方法的本质是为每个命令分配一个“复杂性证书”，这是输出值对输入依赖性的简明规范。这些证书是由组合且可有效计算的推理规则生成的。这种方法受到了Niggl和Wunderlich以及Jones和Kristiansen之前工作的启发，但使用了一种新颖、更具表现力的证书。关于整个系列，请参见[Zbl 1137.68002号]. 引用于2评论引用于6文件 MSC公司： 65年第68季度 算法和问题复杂性分析 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：隐式计算复杂性;多项式时间复杂度;线性时间复杂度;静态程序分析 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}等人，Lect。注释计算。科学。5028，67-76（2008；Zbl 1142.68369） 全文： 内政部 参考文献： [1] Cousot，P.，摘要解释，美国计算机学会计算调查，28，2，324-328（1996）·doi:10.1145/234528.234740 [2] 琼斯，N.D。；克里斯蒂安森，L。；库珀，S.B。；Löwe，B。；Torenvliet，L.，《数据流和算法复杂性》，《新计算范式》，263-274（2005），海德堡：施普林格出版社·Zbl 1115.68052号 [3] Jones，N.D.，Kristiansen，L.：用于复杂性分析的mwp-边界流演算。ACM事务处理。计算逻辑（即将出现）·Zbl 1351.68075号 [4] 克里斯蒂安森，L。；Niggl，K.-H.，《命令式编程语言的计算复杂性》，Theor。计算。科学。，318, 1-2, 139-161 (2004) ·Zbl 1048.03030号 ·doi:10.1016/j.tcs.2003.10.16 [5] Niggl，K.-H。；Wunderlich，H.，为命令式程序证明多项式时间和线性/多项式空间，SIAM J.Compute，35，5，1122-1147（2006）·Zbl 1100.68035号 ·doi:10.1137/S0097539704445597 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。