大O符号证明

时间:2013-10-19 21:55:53

标签: algorithm complexity-theory big-o

问题是证明

  • f(n)= 4n 5 - 17n 4 - 33n 3 - 13n 2

在Θ(n 5

我试图做的是将4n 5 分成两个独立的常数(2n 5 + 2n 5 )并制作整个方程大于或等于2n 5 并且得到C = 2,N> = 6.

我不确定我是否正确,我仍然不确定如何真正证明函数是在Θ(n 5 )。我希望有人可以帮助我解决这个问题,以及采取哪些措施来证明其他Big Oh符号问题。

谢谢你的帮助!

1 个答案:

答案 0 :(得分:4)

f(n)∈Θ(g(n))(更一般)

我们必须证明存在正MN,以便

g(n) * M <= f(n) <= g(n) * N

足够大n秒。在这种情况下,那是

M * n5 <= 4n5 - 17n4 - 33n3 - 13n2 <= N * n5

除以n5

M <= 4 - 17(1/n) - 33(1/n2) - 13(1/n3) <= N

对于较大的n,我们将留下

M <= 4 - ε <= N

我们可以选择M = 3N = 4


f(n)∈O(g(n))(更具体)

这实际上来自上面的结果,但我们也可以提供具体的证据。

我们必须证明存在正N这样的

|f(n)| <= g(n) * N

足够大n秒。在这种情况下,那是

|4n5 - 17n4 - 33n3 - 13n2| <= N * n5

除以n5

4 - 17(1/n) - 33(1/n2) - 13(1/n3) <= N

对于较大的n,我们将留下

4 - ε <= N

我们可以选择N = 4


<强>参考: