私はあなたが意味すると仮定していますO((n^2) * log n)
が、答えは同じであり、証明する必要があるのは基本的に同じですn^(2 * log n)
。また、絶対値をいじる手間を省くために、非負関数のみを検討します。
答えはO(n^2)
、 の厳密なサブセットですO((n^2) * log n)
。小さいです。
最初にそれがサブセットであることを証明しf
ますO(n^2)
。次に、すべての 、 などがありM
ます。k
n >= M
f(n) <= k(n^2)
Let L = max(M, e)
(e は対数の底)。次に、すべてn >= L
のlog(n) >= log(e) == 1
(since n >= 1
) およびf(n) <= k(n^2)
(since n >= M
) について。
したがって、すべてのn >= L
、f(n) <= k(n^2) * log(n)
。もそうf
ですO((n^2) * log n)
。
次に、それが厳密なサブセットであることを証明しg
ます。g(n) = (n^2) * log n
g
O((n^2) * log n)
についてはk
、 を取りL = e^k
ます。次に、任意のn > L
場合log(n) > k
などg(n) > n^2 * k
。
したがって、g
はO(n^2)
存在M
し得ないので、ではありませk
ん。n >= M
g(n) <= k * n^2