c++中函数放在等号右边_算法导论学习笔记（二）函数的增长

:存在正常量c1，c2，n0，使得对所有n ≥ n0，有0 ≤ c1 * g(n) ≤ f(n) ≤ c2 * g(n)}

称g(n)是f(n)的一个渐进确界

PS:此处要求n足够大时f(n)是非负的

记号渐进的给出了一个函数的上界和下界。当只有一个渐进上界时，使用Ο记号。

正式定义如下：

,存在正常量c，n0，使得对所有n ≥ n0，有0 ≤ f(n) ≤ c * g(n)。

正如Ο记号提供了一个函数的渐进上界一样，Ω记号提供了一个渐进下界。

正式定义如下：

，存在正常量c，n0，使得对所有n ≥ n0，有0 ≤ c * g(n) ≤ f(n)。

定理3.1：对任意两个函数f(n)和g(n),f(n)=

,当且仅当f(n)=O(g(n))和

。

应用如下：如果有a

+bn+c=

，则立即可以得出a

+bn+c=

和a

=

等式和不等式中的渐进符号

当渐进记号独立于等式或者不等式的右边，有助于省略一个等式中无关紧要的细节，即省略低阶项。

例如：

，没有必要写出所有的低阶项。

当渐进记号出现在等式的左边，总有一种办法来选择等号右边的匿名函数使等式成立。

例如：对于2

+

=

，无论

怎么取，总有

使等式成立。

换言之，等式右边提供了较左边更少的细节。

o记号

o表示非渐进紧缺的上界

例如：

是渐进紧确的，但

不是，所以可以写成

，就是渐进紧确的了。

与

的关系可类比o和O的关系，不赘述