算法导论-渐近符号
在描述插入排序算法时,我们使用
来刻画其在最坏情况下的运行时间,其中a,b和c是常量。
我们使用来表示其执行时间的增长量级。本文将继续介绍除了
(包含)之外的渐进符号和性质。
记号
我们称 g(n) 是 f(n) 的一个渐进紧确界(asymptotically tight bound)。的定义要求每个成员
均渐近非负,即当 n 足够大时,f(n) 非负。( 渐进正函数就是对所有足够大的 n 均为正的函数。)
直觉上,一个渐近正函数的的低阶项在确定渐近确界时可以被忽略,因为对大的 n,它们是无足轻重的。当 n 较大时,即使最高阶项的很小一部分都足以支配所有的低阶项。因此,将 置为稍小于最高阶项系数的值并将
置为稍大于最高阶项系数的值能使