王牌

ACE:一个自动复杂性评估器。对特定算法的复杂性进行了大量的研究,然而,很少有人致力于这一评价的机械化。ACE(自动复杂性评估器)系统能够以完全机械的方式分析合理的大型程序,如排序程序。从初始函数程序导出时间复杂度函数。根据MacCarthy递归归纳原理,使用递归定义的预定义库将该函数转换为其非递归等价。由于复杂性不是可判定的属性,这种变换在所有情况下都是不可能的。预定义的库越丰富,系统就越有可能成功。描述了ACE所执行的操作,并通过对排序算法的分析说明了系统的使用。相关的工作和进一步改进的结论进行了讨论。