Académique Documents
Professionnel Documents
Culture Documents
1 Lmite estrecho
1.1 f (n) pertenece a (g(n)) si, y solo si es O(g(n)) y es
(g(n))
Demostracion:
f (n) pertenece a (g(n))
si existen nf y csf , donde nf , csf > 0
en consecuencia csf g(n) f (n)
ademas, si existe cif , donde cif > 0
en consecuencia f (n) cif g(n)
significa que 0 cif g(n) f (n) csf g(n) para toda n nf
y f (n) es (g(n))
si existen nf y cif , donde nf , cif > 0
entonces f (n) cif g(n) para toda n nf
2 Transitividad
2.1 Si f (n) es O(g(n)) y g(n) es O(h(n)) entonces f (n) es
O(h(n))
Demostracion:
Si f (n) es O(g(n))
significa que, si existen nf y csf , donde nf , csf > 0
en consecuencia csf g(n) f (n)
1
y g(n) es O(h(n))
significa que, si existen ng y csg , donde ng , csg > 0
en consecuencia csg h(n) g(n)
y g(n) es (h(n))
si existen ng y cig , donde ng , cig > 0
en consecuencia g(n) cig h(n)
y g(n) es (h(n))
si existen ng y csg , donde ng y csg > 0
en consecuencia csg h(n) g(n)
ademas, si existe cig , donde cig > 0
en consecuencia g(n) cig h(n)
es lo mismo que 0 cig h(n) g(n) csg h(n) para toda n ng
entonces 0 cif cig h(n) f (n) csf csg h(n) para toda n max{nf , ng }
es igual a f (n) es (h(n))
2
3 Reflexividad
3.1 Si f (n) es O(f (n)) entonces f (n) es O(f (n))
Demostracion:
Si f (n) es O(f (n))
significa que, si existen nf y csf , donde nf > 0 y csf = 1
de tal modo que csf f (n) f (n)
es igual a f (n) = f (n) para toda n nf
4 Simetra
4.1 f (n) es (g(n)) si, y solo si g(n) es (f (n))
Demostracion:
f (n) es (g(n))
significa que, si existen nf y csf , donde nf , csf > 0
en consecuencia csf g(n) f (n)
3
ademas, si existe cif , donde cif > 0
en consecuencia f (n) cif g(n)
significa que 0 cif g(n) f (n) csf g(n) para toda n nf
5 Simetra transpuesta
5.1 f (n) es O(g(n)) si y solo si g(n) es (f (n))
Demostracion:
f (n) es O(g(n))
si existen nf y csf , donde nf , csf > 0
entonces csf g(n) f (n) para toda n nf
significa que f (n) es O(g(n))
6 Aditividad
6.1 Si f (n) es O(h(n)) y g(n) es O(h(n)), entonces f (n) + g(n)
es O(h(n))
Demostracion:
Si f (n) es O(h(n))
significa que, si existen nf y csf , donde nf y csf > 0
en consecuencia csf h(n) f (n) para toda n nf
y g(n) es O(h(n))
significa que, si existen ng y csg , donde ng y csg > 0
en consecuencia csg h(n) g(n) para toda n ng
4
6.2 Si f (n) es (h(n)) y g(n) es (h(n)), entonces f (n) + g(n)
es (h(n))
Demostracion:
Si f (n) es (h(n))
significa que, si existen nf y cif , donde nf , cif > 0
en consecuencia f (n) cif h(n) para toda n nf
y g(n) es (h(n))
significa que, si existen ng y cig , donde ng , cig > 0
en consecuencia g(n) cig h(n) para toda n ng
y g(n) es (h(n))
significa que, si existen ng y csg , donde ng , csg > 0
en consecuencia csg h(n) g(n) para toda n ng
ademas, si existe cig , donde cig > 0
en consecuencia f (n) cig h(n)
es lo mismo que 0 cig h(n) f (n) csg h(n) para toda n ng
entonces 0 cif cig f (h) + g(h) csf csg h(n) para toda n max{nf , ng }
significa que f (n) + g(n) es (h(n))