Tarea 1: Orden de crecimiento asintotico

Jacobo G. Gonzalez Leon

Agosto, 2017

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

si, y solo si 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

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)

entonces csf csg h(n) f (n) para toda n max{nf , ng }

es igual a f (n) es O(h(n))

2.2 Si f (n) es (g(n)) y g(n) es (h(n)) entonces f (n) es

(h(n))
Demostracion:
Si f (n) es (g(n))
significa que, si existen nf y cif , donde nf , cif > 0
en consecuencia f (n) cif g(n)

y g(n) es (h(n))
si existen ng y cig , donde ng , cig > 0
en consecuencia g(n) cig h(n)

entonces f (n) cif cig h(n) para toda n max{nf , ng }

es igual a f (n) es (h(n))

2.3 Si f (n) es (g(n)) y g(n) es (h(n)) entonces f (n) es

(h(n))
Demostracion:
Si f (n) es (g(n))
significa que, 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)
es lo mismo que 0 cif g(n) f (n) csf g(n) para toda n nf

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

entonces f (n) es O(f (n))

3.2 Si f (n) es (f (n)) entonces f (n) es (f (n))

Demostracion:
Si f (n) es (f (n))
significa que, si existen nf y cif , donde nf > 0 y cif = 1
de tal modo que f (n) cif f (n)
es igual a f (n) = f (n) para toda n nf

entonces f (n) es (f (n))

3.3 Si f (n) es (f (n)) entonces f (n) es (f (n))

Demostracion:
Si f (n) es (f (n))
significa que, si existen nf y csf , donde nf > 0 y csf = 1
en consecuencia csf f (n) f (n)
ademas, si existe cif , donde cif = 1
en consecuencia f (n) cif f (n)
por lo tanto 0 cif f (n) f (n) csf f (n)
significa que f (n) = f (n) para toda n nf

entonces f (n) es (f (n))

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

si, y solo si g(n) es (f (n))

significa que, si existen ng y csg , donde ng , csg > 0
en consecuencia csg f (n) g(n)
ademas, si existe cig , donde cig > 0
en consecuencia g(n) cig f (n)
significa que 0 cig f (n) g(n) csg f (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))

si, y solo si g(n) es (f (n))

si existen ng y cig , donde ng , cig > 0
entonces g(n) cig f (n) para toda n ng
significa que g(n) es (f (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

entonces csf csg h(n) f (n) + g(n) para toda n max{nf , ng }

es lo mismo que f (n) + g(n) es O(h(n))

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

entonces f (n) + g(n) cif cig h(n) para toda n max{nf , ng }

es lo mismo que f (n) + g(n) es O(h(n))

6.3 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 csf , donde nf , csf > 0
en consecuencia csf h(n) f (n) para toda n nf
ademas, si existe cif , donde cif > 0
en consecuencia f (n) cif h(n)
es lo mismo que 0 cif h(n) f (n) csf h(n) para toda n nf

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))