私はあなたが意味すると仮定していますO((n^2) * log n)が、答えは同じであり、証明する必要があるのは基本的に同じですn^(2 * log n)。また、絶対値をいじる手間を省くために、非負関数のみを検討します。
答えはO(n^2)、 の厳密なサブセットですO((n^2) * log n)。小さいです。
最初にそれがサブセットであることを証明しfますO(n^2)。次に、すべての 、 などがありMます。kn >= Mf(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 ngO((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 >= Mg(n) <= k * n^2