渐近有界函数在加法下的闭合证明

bollock1

我想证明这一说法:

如果f(n)为Theta(h(n))且g(n)= O((h(n)),则f(n)+ g(n)为O(h(n))。

假定所有函数均为非负且单调非递减。

我尝试的证明解释说,如果f(n)和g(n)为O(h(n)),则存在:

正常数n0,c0使得对于所有n> = n0的f(n)<= c0 * h(n)

正常数n1,c1使得对于所有n> = n1的f(n)<= c1 * h(n)

因此可以推论,对于所有n> = max(n1,n0),g(n)+ f(n)<=(c1 + c0)* h(n)意味着g(n)+ f(n)为O(h(n))

这个对吗?是否有更严格的证据……例如,矛盾?

帕特里克87

您的证明是正确和严格的。这是直接和建设性的证明,您不仅可以证明存在适当的c和n0,而且还说出如何从这些假设中计算出它们。这里没有其他简单的证明方法。

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章