王牌

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