13.04.2013 Views

Algoritmos e complexidade Notas de aula - Arquivo Escolar

Algoritmos e complexidade Notas de aula - Arquivo Escolar

Algoritmos e complexidade Notas de aula - Arquivo Escolar

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

B. Soluções dos exercícios<br />

Solução do exercício 1.2.<br />

Prova <strong>de</strong> 1.6:<br />

“⇒”: Seja f ∈ O(g). Como s(n) = sup m≥n f(m)/g(m) é não-crescente e<br />

maior ou igual que 0, é suficiente mostrar que existe um n tal que s(n) < ∞.<br />

Por <strong>de</strong>finição do O temos c > 0 e n0 tal que ∀n > n0 f ≤ cg. Logo ∀n ><br />

n0 sup m≥n f(m)/g(m) ≤ c.<br />

“⇐”: Seja lim sup n→∞ f(n)/g(n) < ∞. Então<br />

∃c > 0∃n0∀n > n0( sup f(m)/g(m)) < c.<br />

m≥n<br />

Isso implica, que para o mesmo n0, ∀n > n0 f < cg e logo f ∈ O(g).<br />

Prova <strong>de</strong> 1.7:<br />

“⇒”: Seja f ∈ o(g), i.e. para todo c > 0 temos um n0 tal que ∀n > n0 f ≤ cg.<br />

Logo ∀n > n0 f(n)/g(n) ≤ c, que justifique limn→∞ f(n)/g(n) = 0 (veja<br />

lema A.1).<br />

“⇐”: Seja limn→∞ f(n)/g(n) = 0, i.e. para todo c > 0 existe um n0 tal que<br />

∀n > n0 f(n)/g(n) < c pela <strong>de</strong>finição do limite. Logo ∀n > n0 f ≤ cg, tal que<br />

f ∈ o(g).<br />

Prova <strong>de</strong> 1.8:<br />

“⇒”: Seja f ∈ Ω(g). Como i(n) = infm≥n f(m)/g(m) é não-<strong>de</strong>crescente, é<br />

suficiente mostrar, que existe um n tal que i(n) > 0. Pela <strong>de</strong>finição <strong>de</strong> Ω<br />

existem c > 0 e n0 tal que ∀n > n0 f ≥ cg. Logo ∀n > n0 f(n)/g(n) ≥ c > 0,<br />

i.e. i(n0 + 1) > 0.<br />

“⇐”: Suponha lim infn→∞ f(n)/g(n) = l > 0. Vamos consi<strong>de</strong>rar os casos<br />

l < ∞ e l = ∞ separadamente.<br />

Caso l < ∞: Escolhe, por exemplo, c = l/2. Pela <strong>de</strong>finição do limite existe n0<br />

tal que ∀n > n0 |l − f/g| ≤ l/2. Logo f ≥ l/2g (f/g aproxima l por baixo) e<br />

f ∈ Ω(g).<br />

Caso l = ∞, i(n) não tem limite superior, i.e. (∀c > 0)∃n0 i(n0) > c. Como<br />

i(n) é não-<strong>de</strong>crescente isso implica (∀c > 0)∃n0(∀n > n0) i(n) > c. Portanto<br />

∀n > n0f > cg e f ∈ ω(g) ⊆ Ω(g).<br />

307

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!