复杂性证明

时间:2010-10-05 20:48:20

标签: proof asymptotic-complexity

我想证明以下例子:

n^k = O (c^n) for every k and c>1

值得注意的是,多项式函数比指数函数增长得更快。我们试图找到k0> 0满足条件

fn > = k0 * g(n)

n^k <= k0 * c^n
log(n^k) <= log (k0 * c^n)
log(n^(k/n)) <= log (k0 * c)
k0 >= 1/c*n^(k/n)

所以,k0&gt; 0,正面和足够小,而c的值无关紧要......可以吗?

1 个答案:

答案 0 :(得分:0)

log(n^k) <= log (k0 * c^n)
k log n <= log k0 + n log c

k log n - n log c <= log k0
log (n^k) - log (c^n) <= log k0
log ((n^k) / (c^n)) <= log k0 | expo
(n^k) / (c^n) <= k0
n^k <= k0 * c^n

=> n^k = O(c^n)

你的第3步似乎错了,至少我看不出你从哪里得到它。你的结论似乎也不能证明所要求的内容。