2017-03-12 10 views

答えて

2

let n = 2^k。我々は持っている:

2^n = 2^(2^k) 
n^log(n) = (2^k)^log(2^k) = (2^k)^(k log 2) 
     = 2^(k^2 log 2) 

k^2 log 22^kを比較します。これは基本的な比較です:2^kは十分に大きいすべてのために大きいですk

+0

うわ、これは興味深いアプローチです。私には断言しないことが1つありますが、どうしたのですか? (2^k)^(k log 2)= 2 ^(k^2 log 2) –

+0

@JohnDoeそれは単なる「力への力」のプロパティです: '(a^x)^ y = a^) '。ここをクリックしてください:http://www.icoachmath.com/math_dictionary/power_properties.html – IVlad

+0

どのような信じられないほど簡単な解決策!私は数日間苦労してきました、ありがとうございました。 –

0

log(基底2)を両方の関数に対して取ると、log(f(n)) = nlog(g(n)) = (log(n))^2となります。

さて、(log(n))^2 = o(n)logは、単調増加関数である、我々はすなわち、f(n)nの値が大きいため非常に速く成長し、

g(n) = o(f(n))を持っています。ここで

は、より厳密にそれを証明する別の方法です:

L = lim{n->inf} g(n)/f(n) = lim{n->inf} n^(log(n))/2^nしてみましょう。

したがってlog (L) = lim{n->inf} log^2(n) - n

` = lim{n->inf} n*(log^2(n)/n) - 1)` 

    ` = lim{n->inf} (n) * lim{n->inf} (log^2(n)/n) - 1)` 

    ` = lim{n->inf} (n) * (0-1)` 

    ` = lim{n->inf} (-n) = -inf` 

=> L = 2^(-inf) = 0

o(n)の代替的な定義によれば(小o、ここで参照:https://en.wikipedia.org/wiki/Big_O_notation)を、

L = lim{n->inf} g(n)/f(n) = 0

=> g(n) = o(f(n))。ここ

は、元に、ログスケールでf(n)g(n)成長を比較する数値は、次のとおり

enter image description hereenter image description here

+0

2つの関数の対数の増加率を比較するのは有効ですか? –

+0

@ジョン・ドゥーなぜか? 2つの関数の対数も(複合)関数です。基本的には、一方の関数がもう一方の関数をログスケールで支配し、logが単調増加関数であるため、最初の関数が元のドメインでも2番目の関数を支配します。 –

関連する問題