Да, ваши рассуждения верны, и ваш вывод верен.
Другой способ думать об этом состоит в том, что O(g)
- это набор функций, которые не растут асимптотически быстрее, чем g
, o(g)
- это набор функций, которые асимптотически растут медленнее, чем g
. Таким образом, если f
растет с той же асимптотикой c, что и g
, то f
находится в O(g)
, но не o(g)
. Набор o(g)
является подмножеством O(g)
, а разность наборов O(g) \ o(g) = Θ(g)
.
Как педант, я вынужден отметить, что вы запросили функцию " , f (n), то есть Big-O некоторой другой функции, g (n) " (выделение мое), поэтому вы должны выбрать другую функцию, например g(n) = 2n
, чтобы она была некоторые другие функции. ; -)