Escolar Documentos
Profissional Documentos
Cultura Documentos
Notacoes de Ordem O Omega e Theta
Notacoes de Ordem O Omega e Theta
Notacoes de Ordem O Omega e Theta
Ordem O
Convm restringir a ateno a funes assintoticamente no-negativas, ou seja, funes f tais que f(n) 0 para todo n suficientemente grande. Mais explicitamente: f assintoticamente no-negativa se existe n0 tal que f(n) 0 para todo n maior que n0 . Agora podemos definir a ordem . [Esta letra um O maisculo. Ou melhor, um micron grego maisculo, como quer Knuth.]
DEFINIO: Dadas funes assintoticamente no-negativas f e g, dizemos que f est na ordem de g e escrevemos f = (g) se f(n) c g(n) para algum c positivo e para todo n suficientemente grande. Em outras palavras, existe um nmero positivo c e um nmero n0 tais que f(n) c g(n) para todo n maior que n0 .
(A notao " ( )" empregada nesta definio conhecida como notao assinttica ou notao de Landau.)
Exemplo 1: Se f(n) 9999 g(n) para todo n 1000 ento f = recproca no verdadeira!)
(g). (Cuidado: a
Exemplo 2: Suponha que f(n) = 2n + 3n + 4 e g(n) = n. Observe que 2n2 + 3n + 4 2n2 + 3n 2 + 4n2 = 9n2 desde que n 1. Resumindo, f(n) 9 g(n) para todo n 1. Portanto, f(n) = (g(n)). Exemplo 3: Suponha que f(n) = 3 + 2/n e que g(n) = n0, ou seja, g(n) = 1. Ento 3 + 2/n 3 + 1 = 4 = 4n 0 desde que n 2. Resumindo, f(n) 4 g(n) para todo n 2. Portanto, f(n) = (g(n)). Exemplo 4: Suponha que f(n) = n3 e que g(n) = 200n2. No verdade que f(n) = (g(n)). De fato, se existissem c e n0 tais que f(n) c g(n), teramos n 200c para todo n n0. Mas isso absurdo!
Exerccios
1. Faz sentido dizer que "f(n) est em 2. Fica bem dizer que "f(n) est em (n) para n 4"? (n) com c = 12 e n0 = 4"?
3. Discuta a seguinte definio alternativa da classe : "Dizemos que f est em (g) se existem nmeros positivos c, n 0 e n n0 tais que f(n) c g(n)." 4. Discuta a seguinte definio alternativa da classe : "Dizemos que f est em (g) se existe um nmero natural n 0 tal que f(n) c g(n) para algum nmero positivo c e para todo n n0." 5. [INTERESSANTE] A clusula "n suficientemente grande" na definio da classe suprflua quando estamos lidando com funes estritamente positivas. De fato, suponha que f (g) e g(n) > 0 para todo n natural e mostre que existe um nmero positivo c tal que f(n) c g(n) para todo n natural. 6. Critique o seguinte raciocnio: "A derivada de 4n2+2n 8n+2. A derivada de n2 2n. Como 8n+2 > 2n, podemos concluir que 4n2+2n cresce mais que n2 e portanto 4n2+2n no (n2)." Critique o seguinte raciocnio: "A derivada de 4n2+2n 8n+2. A derivada de 9n 2 18n. Como 8n+2 18n para n 1, podemos concluir que 4n 2+2n (9n2)."
(n) ? verdade
10. verdade que (3/2)n2 + (7/2)n 4 = (3/2)n 2 + (7/2)n 4 = (n2) ? 11. verdade que n3999999n 21000000 =
(n2) = (n2). Mostre que (n3) = (n3). verdade que, para qualquer nmero natural k n, tem-se (nk) = (nk) ?
13. verdade que 2n+1 est em 14. verdade que log2 n = (2n) ? verdade que 3n est em (2n) ?
(log2n) ?
16. Prove que n = (2n). (Sugesto: use induo matemtica para provar que n 2n para todo n suficientemente grande.) 17. Prove que lg n est em (n).
18. Prove que n (2n/4). (Sugesto: use induo matemtica para provar que n 2n/4 para todo n suficientemente grande.) 19. Prove que 4 lg n est em (n). (n lg n).
Ordem Omega
A expresso "f = (g)" tem o mesmo sabor que "f g". Agora precisamos de um conceito que tenha o sabor de "f g". DEFINIO: Dadas funes assintoticamente no-negativas f e g, dizemos que f est na ordem Omega de g e escrevemos f = (g) se f(n) c g(n) para algum c positivo e para todo n suficientemente grande. Em outras palavras, existe um nmero positivo c e um nmero n0 tais que f(n) c g(n) para todo n maior que n0. Exemplo: Se f(n) g(n)/100000 para todo n 888 ento f = recproca no verdadeira!) Qual a relao entre g = (f). e ? No difcil verificar que f = (g). (Cuidado: a (g) se e somente se
Exerccio
1. Seja (nk) o nmero de combinaes de n objetos tomados k a k. Mostre
(n2) = (n2). Mostre que (n3) = (n3). verdade que, para qualquer nmero natural k n, tem-se (nk) = (n k) ?
2. Prove que 100 lg n 10n + 2n lg n est em 3. verdade que 2n+1 est em (n lg n). (2n) ?
Ordem Theta
Alm dos conceitos que tm o sabor de "f g" e de "f g", precisamos de um que tenha o sabor de "f = g". DEFINIO: Dizemos que f e g esto na mesma e escrevemos f = (g) se f = (g) e f = (g). Trocando em midos, f = (g) significa que existe nmeros positivos c e d tais que c g(n) f(n) d g(n) para todo n suficientemente grande. Exemplo: As funes abaixo pertencem todas ordem (n2):
Exerccio
1. Quais das conjeturas abaixo so verdadeiras? 1. (3/2)n 2 + (7/2)n3 4 = (n2) 2. 9999 n 2 = (n2) 3. n2/1000 999n = (n2 ) 4. log 2n + 1 = (log 10n) 5. piso(lg n) = (lg n)
nmeros naturais maiores que 99, potncias inteiras de 2 (ou seja, 20, 21, 22 , etc.), potncias inteiras de 1, nmeros racionais maiores que .
A mesma notao usada para todos os domnios. Por exemplo, se f uma funo assintoticamente no-negativa definida nas potncias inteiras de 2, dizer que f(n) = (n 2) o mesmo que dizer que existe um nmero positivo c tal que f(n) c n2 para todo n da forma 2k com k suficientemente grande. As mesmas observaes se aplicam notao e notao .