Sie sind auf Seite 1von 5

Design

and Analysis of Algorithms I

Asympto(c Analysis Addi(onal Examples

Example #1
Claim : Proof : need to pick constants such that Note : So if we choose Q.E.D
Tim Roughgarden

then (*) holds.

Example #2
Claim : Proof : by contradic(on. If constants such that But then [cancelling ] Which is certainly false. Q.E.D
Tim Roughgarden

then there exist

Example #3
Claim : for every pair of (posi(ve) func(ons f(n), g(n),

Tim Roughgarden

Proof : For every n, we have And Thus

Example #3 (con(nued)

Q.E.D

Tim Roughgarden

Das könnte Ihnen auch gefallen