最优算法的寻找方法

对于自然界的一个算法，由决定性步骤所规定的算法所需要的最低时间开销是一个算法的下界。

由一个特定的针对某一问题而提出的算法，经过分析得到的时间复杂度是一个算法的上界。

要证明一个算法是最优算法，就要证明这个算法运行在最坏情况下的时间复杂度与算法下界在同一个数量级上。
算法的平均运行情况与其下界相等是不能证明此算法是最优算法的。