►Оценка Ώ задает нижнюю

асимптотическую оценку роста функции f(n) и определяет класс функций, которые растут не

медленнее, чем g(n) с точностью до постоянного множителя.

►f(n) =Ώ(g(n)) если Ǝ c>0, n0 > 0: 0

<= cg(n) <= f(n) для любого n > n0

►Например, запись f(n) = Ώ(nlog(n)) обозначает класс функций, которые растут не медленнее, чем g(n) =

nlog(n)

►Равенство f(n) = Ө (g(n))

выполняется тогда и только тогда, когда f(n) = O(g(n)) и f(n) = Ώ(g(n)) .

►Доказано, что все алгоритмы сортировки, основанные на попарном сравнении элементов,

отсортируют n элементов за время, не меньшее Ώ(nlog(n)).

Классы сложности

►P-сложные,

►NP-сложные,

►экспоненциально сложные

►и др

машина Тьюринга