Претензия неверна.
В качестве примера можно привести следующее: Мы не сомневаемся, что 2n
является элементом O(n)
. Но мы можем доказать, что exp(2n)
не является элементом O(exp(n))
. Это можно легко увидеть, вычислив
exp(2n)
lim -------- = infinity
n -> infinity exp(n)
, что означает, что exp(2n)
не в O(exp(n))
.
Учитывая ваш намек на L'Hospital: это правило для вычисления лимитов с использованием производных, точнее:
f(x) f'(x)
lim ------ = lim -----------
n -> infinity g(x) n -> infinity g'(x)
при определенных обстоятельствах (например, f
и g
стремятся к бесконечности. Я не знаю точных критериев, которые необходимо выполнить, поэтому я просто предлагаю прочитать это для получения дополнительной информации.
Но, что мы можем сказать о функциях и их производных, так это:
Если f'(x)
является элементом O(g'(x))
, то мы имеем, что f(x)
является элементом O(g(x))
. Другое направление не так.