Основная теорема - В лучшем случае большой О?

Я очень новичок в алгоритмах и временной сложности и просматриваю книгу. Из того, что я знаю о функции Big-Oh, она не уникальна для любого f(n), в зависимости от констант c и n0. Мое первое сомнение заключается в том, дает ли Основная теорема наилучший случай функции Большого О или нет. Мое второе сомнение - может быть глупое - я запутался после решения задач 1 и 2, пытаясь вернуться назад и проверить ответы.

Скриншот проблем.

Теперь моя попытка выглядит следующим образом:
1)cn2≥3T(n/2) + n2
⇒kn2 ≥T(n/2)
⇒k''(n/2)2≥T(n/2)
< br> так что это согласуется с O(n2).
Почему то же самое не относится к задаче 2, то есть почему это не O( n2), но O(n2logn)? Я предполагаю, что за этим стоит какая-то математика, и я хочу это знать (если у меня есть достаточный опыт до сих пор).


person DonGod    schedule 23.05.2020    source источник


Ответы (1)


В зависимости от ваших условий теорема Мастерса дает либо наихудшую временную сложность Big-O, либо жесткую границу Big-Theta

Теперь фактическое доказательство теоремы Мастера включает в себя рисование рекуррентного дерева и некоторых приближений с использованием прогрессии геометрического ряда. Вот ссылка на pdf, содержащий процесс.

person Aanu Babajide    schedule 23.05.2020
comment
Спасибо. Но мне все еще неясно одно: существует ли лучшая тета (асимптота) наихудшего случая для данного f(n) или результат основной теоремы является наиболее близким и точным. . - person DonGod; 24.05.2020
comment
То есть существует ли h(n) такое, что f(n)=theta(h(n)) и h(n)=theta(g (н)) - person DonGod; 24.05.2020
comment
@DonGod Согласно доказательству, сложность с жесткими границами является наиболее близкой асимптотически. Итак, насколько нам известно, существует более точная жесткая граница. - person Aanu Babajide; 24.05.2020