可行仿射递归的时间复杂度语义（扩展摘要）
摘要：ATR表达式是一种基于值传递PCF的形式系统，受复杂性理论指导。ATR程序在2级多项式时间内运行，并且所有标准的2级可行基本功能都可以通过ATR定义（ATR类型限制在级别0、1和2）。原始版本的ATR的一个局限性是只能直接表示尾递归。在这篇论文中，我们扩展了ATR，以便能够直接表示广泛的仿射递归。特别是，修订后的ATR能够相当自然地表示经典的插入排序和选择排序算法，从而克服了大多数先前隐式复杂性基础形式系统的瓶颈。论文的主要工作是扩展和简化ATR的时间复杂性语义，以开发一套工具，用于提取和解决可行仿射递归中产生的高阶递归关系。
作者：Norman Danner and James S. Royer
论文ID：cs/0701076
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23