Notação Omega


A notação assintótica (Omega) é usada na análise de algoritmos para descrever um limite inferior do crescimento de uma função à medida que o tamanho da entrada aumenta. Enquanto a Notação Big O estabelece um limite superior, a notação define o comportamento mínimo, ou seja, ela nos diz que o tempo de execução de um algoritmo não será menor do que uma certa taxa de crescimento (crescimento mínimo).

Definição Formal

Para uma função , o conjunto de funções é definido como:

Isso significa que, após um determinado valor , a função sempre cresce pelo menos tão rápido quanto , multiplicada por uma constante . Ou seja, serve como um limite inferior assintótico para o crescimento de .

Interpretação

A notação nos informa o crescimento mínimo de uma função. Se , então, para entradas suficientemente grandes, a função cresce pelo menos tão rápido quanto , a partir de algum valor .

Exemplo: Verificar se

Queremos verificar se para algum . Aplicando a definição:

Podemos simplificar:

Essa desigualdade é verdadeira para valores grandes de , tomando e , pois aumenta conforme cresce. Logo, podemos afirmar que:

Isso significa que, para valores grandes de , cresce pelo menos tão rápido quanto .

Referências


Aula 2 - Análise de algoritmos