Cota inferior asimptòtica

De la Viquipèdia, l'enciclopèdia lliure
f(x)=Ω(g(x))

En anàlisi d'algorismes una cota inferior asimptòtica és una funció que serveix de cota inferior d'una altra funció quan l'argument tendeix a infinit. Usualment s'utilitza la notació Ω(g(x)) per referir-se a les funcions acotades inferiorment per la funció g(x). Més formalment es defineix:

Una funció f(x) pertany a Ω(g(x)) quan hi ha una constant positiva c tal que a partir d'un valor , no supera f(x). Vol dir que la funció f és superior a g a partir d'un valor donat excepte per un factor constant.

La cota inferior asimptòtica té utilitat en teoria de la complexitat computacional a l'hora de calcular la complexitat del millor cas per als algorismes.

Tot i que Ω(g(x)) està definit com un conjunt, s'acostuma a escriure f(x)= Ω(g(x)) en lloc de f(x)∈ Ω(g(x)). Moltes vegades també es parla d'una funció nomenant únicament la seva expressió, com en en lloc de h(x)=x², sempre que estigui clar quin és el paràmetre de la funció dins de l'expressió. En la gràfica es dona un exemple esquemàtic de com es comporta pel que fa a f(x) quan x tendeix a infinit.

La cota ajustada asimptòtica (notació Θ) té relació amb les cotes superior (notació O) i inferior asimptòtiques:

Exemples[modifica]

  • La funció pot ser fitada inferiorment per la funció x. Per demostrar prou notar que per a tot valor de x≥1 es compleix x≤x². Per tant x²=Ω(x) (però x no serveix com a cota superior per ).
  • La funció x²+200x està fitada inferiorment per . Vol dir que quan x tendeix a infinit el valor de 200x es pot menysprear pel que fa al de .

Vegeu també[modifica]

Bibliografia[modifica]

  • Introduction to Algorithms, 2a ed. per Thomas H. Corman, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein (anglès)