Règle de la limite

Définition: Pour g : N ! R 0
, on dit que
lim g(n) = ` () 8✏ > 0, 9n0 2 N t.q. |g(n) `|  ✏ 8n n0
n!1
() ✏  g(n) `  ✏
() ` ✏  g(n)  ` + ✏
f (n)
lim
Règle: 1) Si n!1 2 R+ alors f (n) 2 ⇥(g(n))
g(n)
et donc O(f (n)) = O(g(n))
f (n)
lim
2) Si n!1 = 0 alors f (n) 2 O(g(n)) mais g(n) 2 / O(f (n))
g(n)
De façon équivalente f (n) 2 O(g(n)) mais f (n) 2
/ ⇥(g(n))
et donc O(f (n)) ( O(g(n))
f (n)
lim
3) Si n!1 = +1 alors g(n) 2 O(f (n)) mais f (n) 2/ O(g(n))
g(n)
De façon équivalente f (n) 2 ⌦(g(n)) mais f (n) 2
/ ⇥(g(n))

IFT2125, Sylvie Hamel

Université de Montréal
Règle de la limite 1
 Règle de l’hôpital:

Si lim f (n) = lim g(n) = 0

n!1 n!1

ou lim f (n) = lim g(n) = +1

n!1 n!1

alors

f (n) f 0 (n)
lim = lim 0
n!1 g(n) n!1 g (n)

IFT2125, Sylvie Hamel

Université de Montréal
Règle de l’hôpital 2
 Notation asymptotique conditionnelle

Soient f, g : N ! R 0
et P : N ! {vrai, faux}

0
O(f (n) | P (n)) = {t : N ! R | 9c 2 R+ , 9n0 2 N
f (n) sachant P (n)
tels que 8n n0 , P (n) =) t(n)  cf (n)}
si P (n) vrai, alors

IFT2125, Sylvie Hamel

Université de Montréal
Notation asymptotique conditionnelle 3
 Notation asymptotique conditionnelle

Définitions:

1) Une fonction f est éventuellement non décroissante s’il 9n0 2 N

tel que 8n n0 , f (n + 1) f (n)

2) Une fonction f est b -lisse ( b-smooth) si pour b 2 N, b 2

a) elle est e.n.d. (éventuellement non décroissante)
b) f (bn) 2 O(f (n))

IFT2125, Sylvie Hamel

Université de Montréal
Notation asymptotique conditionnelle 4
 Notation asymptotique conditionnelle

Définition: Une fonction f est lisse si elle est b -lisse 8b 2, b 2 N

Théorème: Si f est b -lisse pour un certain b 2, b 2 N ,

alors f est lisse.

IFT2125, Sylvie Hamel

Université de Montréal
Notation asymptotique conditionnelle 5
 Notation asymptotique conditionnelle

Règle de lissage (smoothness rule):

0
Soit f : N ! R une fonction lisse,
soit b 2 N, b 2,
soit t : N ! R 0 une fonction e.n.d.

alors
t(n) 2 ⇥(f (n) | n puissance b)
()
t(n) 2 ⇥(f (n))

IFT2125, Sylvie Hamel

Université de Montréal
Notation asymptotique conditionnelle 6