算法设计及分析-2函数及增长.pptVIP

算法设计与分析 第二章 函数的增长 2.1 渐近记号 2.2 标准记号体系和通用函数 2.1 渐近记号 算法运行时间的阶较简明地刻画了一个算法的效率，并作为不同算法进行比较的工具； 当输入规模足够大时，精确表示的运行时间中的常系数和低阶项被输入规模所掩盖； 输入规模足够大到只需考虑运行时间的增长量级时，研究的算法效率即为渐近效率。亦即，我们只关心从极限的角度考虑运行时间如何随输入规模的增长而增长。 渐近效率更高的算法，对大规模的输入是更好的。（对小规模的输入则不一定！） 2.1 渐近记号 —?记号 渐近紧确界记号? ? (g(n)) = { f(n) | 存在正常数c1,c2和n0使得对所有n? n0有：0 ? c1g(n) ? f(n) ? c2g(n) } 即对任一函数f(n)满足上述条件时，则f(n)属于集合? (g(n)) ? (g(n))的定义要求其每个元素渐近非负，这也要求g(n)本身是渐近非负的（其他记号也是如此）。实际算法运行时间也是如此。 2.1 渐近记号 —?记号 2.1 渐近记号 —?记号 f(n)= ?(g(n))的确切意义是：f(n) ? ?(g(n))。 一般情况下，等式和不等式中的渐近记号?(g(n))表示?(g(n))中的某个函数。 例如：2n2 + 3n + 1 = 2n2 + ?(n) 表示 2n2 +3n +1=2n2 + f(n)，其中f(n) 是?(n)中某个函数。 其他记号也使如此 2.1 渐近记号 —?记号 形式证明1/2n2-3n=?(n2) 即确定常数c1,c2,n0，使对所有n ? n0，有： 用n2除不等式得： 右边不等式在n ? 1，c2 ? 1/2时成立，左边不等式在n ? 7，c1 ? 1/14时成立，选c1=1/14，c2=1/2，n0=7时上式即可成立。 2.1 渐近记号 —?记号 反证法可证明6n3≠?(n2) 。 一般地，对任意多项式p(n)= ， 其中ai为常数，ad0，有p(n)=?(nd) 。 记号?(1)表示一个常数或常函数（因为常数是0阶的多项式）。 2.1 渐近记号 —O记号 渐近上界记号O O(g(n)) = { f(n) | 存在正常数c和n0使得对所有n? n0有：0 ? f(n) ? cg(n) } f(n)= ?(g(n))隐含着f(n)= O(g(n)) 如：n2= O(n2)，另an+b=O(n2) 2.1 渐近记号 —?记号 渐近下界记号? ? (g(n)) = {f(n) | 存在正常数c和n0使得对所有n? n0有：0? cg(n) ? f(n) } f(n)= ?(g(n))也隐含着f(n)= ?(g(n)) 如：n2= ?(n2)，另an3+bn+c= ?(n2) 2.1 渐近记号 —O与?记号 2.1 渐近记号 —o与?记号 非紧上界记号o o(g(n)) = { f(n) | 对于任何正常数c0，存在正常数n0 0使得对所有n? n0有：0 ? f(n)cg(n) } 等价于 f(n) / g(n) ?0 ，as n??。 非紧下界记号? ? (g(n)) = { f(n) | 对于任何正常数c0，存在正常数和n0 0使得对所有n? n0有：0 ? cg(n) f(n) } 等价于 f(n) / g(n) ?? ，as n??。 f(n) ? ? (g(n)) ? g(n) ? o (f(n)) 2.1 渐近记号 —性质 定理1： ? (g(n)) = O (g(n)) ? ? (g(n)) 传递性： f(n) = ?(g(n)) 和 g(n) = ?(h(n)) 蕴含 f(n) = ?(h(n)), f(n) = O(g(n)) 和 g(n) = O(h(n)) 蕴含 f(n) = O(h(n)), f(n) = ?(g(n)) 和 g(n) = ?(h(n)) 蕴含af(n) = ?(h(n)), f(n) = o(g(n)) 和 g(n) = o(h(n)) 蕴含af(n) = o(h(n)), f(n) = ?(g(n)) 和 g(n) = ?(h(n)) 蕴含af(n) = ?(h(n)). 2.1 渐近记号 —性质 自返性： f(n) = ?(f(n)), f(n) = O(f(n)), f(n) = ?(f(n)), 对称性 f(n) = ?(g(n)) 当且仅当 g(n) = ?(f(n)). 传递对称性: f(n) = O(g(n))当且仅当g(n) = ?(f(n)), f(n) = o(g(n))当且仅当g(n) = ?(f(n)). 2.1 渐近记号 —比较 f(n)= O(g(n)) ? a