Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
'
k
b
n
b n k n d aT
n
n T
: si
1 si ) 1 (
) (
) (
ent onces,
,
_
+
1 log
0
log
) (
n
j
j
j a
b
b
b
n
d a n n T ) (
Demost racin. Ya se hizo en las not as ant eriores.
Lminas Anlisis-(24-26)
Anlisis y Diseo de Algoritmos Maestro-10
Lema 2
FSean a 1 y b 1 const ant es y sea d(n) una funcin no
negat iva definida sobre las pot encias exact as de b. La
funcin g
,
_
1 log
0
)
n
j
j
j
b
b
n
d a n g(
1 Si d(n) = O(n
log
b
a-
) para alguna const ant e > 0,
ent onces, g(n) = (n
log
b
a
).
2 Si d(n) = (n
log
b
a
), ent onces, g(n) = (n
log
b
a
lgn).
3 Si ad(n/b) cd(n) para alguna const ant e c < 1 y para n b,
ent onces, g(n) = (d(n)).
puede ser acot ado asint t icament e como sigue:
Arturo Daz Prez
Anlisis y Complejidad de Algoritmos 6
Anlisis y Diseo de Algoritmos Maestro-11
Demost racin Caso 1
FSi d(n) = O(n
log
b
a-
), ent onces, d(n/b
i
) = O((n/b
i
)
log
b
a-
)
,
_
,
_
a
n
j
j
j
b
b
b
n
d a O n g
log
1 log
0
) (
j
n
j
a
a
a
n
j
j
j
b
b
b
b
b
b
ab
n
b
n
d a
,
_
,
_
1 log
0
log
log
log
1 log
0
1 log
0
log
) (
n
j
j a
b
b
b n
1
]
1
1
1 ) (
log
log
b
b
n
n
a
b
b
1
]
1
1
1
log
b
n
n
a
b
Anlisis y Diseo de Algoritmos Maestro-12
Demost racin Caso 1 (cont .)
FYa que b y son const ant es
,
_
a
n
j
j
j
b
b
b
n
d a
log
1 log
0
1
]
1
1
1
log
b
n
n
a
b
) ( ) ( ) (
log log a a
b b
n O n O n n g
Arturo Daz Prez
Anlisis y Complejidad de Algoritmos 7
Anlisis y Diseo de Algoritmos Maestro-13
Demost racin Caso 2
FSi d(n) = (n
log
b
a
), ent onces, d(n/b
i
) = ((n/b
i
)
log
b
a
)
,
_
,
_
a
n
j
j
j
b
b
b
n
a n g
log
1 log
0
) (
j
n
j
a
a
a
n
j
j
j
b
b
b
b
b
b
a
n
b
n
a
,
_
,
_
1 log
0
log
log
log
1 log
0
1 log
0
log
1
n
j
a
b
b
n
n n
b
a
b
log
log
) lg ( ) log ( ) (
log log
n n n n n g
a
b
a
b b
, por lo tanto
Anlisis y Diseo de Algoritmos Maestro-14
Demost racin Caso 3
FDado que ad(n/b) cd(n) para alguna const ant e c < 1 y
para n b, e, se t iene que, a
j
d(n/b
j
) c
j
d(n).
a
n
j
j
j
b
b
b
n
d a n g
log
1 log
0
) (
,
_
1 log
0
) ( ) (
n
j
j
b
n d c n g
0
) ( ) (
j
j
c n d n g
c
n d
1
1
) (
)) ( ( ) ( n d O n g
, por lo tanto
, de aqu, ya que c es constante
)) ( ( ) ( n d n g
Arturo Daz Prez
Anlisis y Complejidad de Algoritmos 8
Anlisis y Diseo de Algoritmos Maestro-15
Lema 3
FSean a 1 y b 1 const ant es, sea d(n) una funcin y sea
T(n) definido en los ent eros no negat ivos pot encias de b
por la recurrencia
( ) ) ( ) ( n d aT n T
b
n
+
T(n) puede ser acot ado asint t icament e como sigue:
1 Si d(n) = O(n
log
b
a-
) para alguna const ant e > 0,
ent onces, T(n) = (n
log
b
a
).
2 Si d(n) = (n
log
b
a
), ent onces, T(n) = (n
log
b
a
lgn).
3 Si d(n) = (n
log
b
a+
) para alguna const ant e > 0 y si
ad(n/b) cd(n) para alguna const ant e c < 1 y t odas las n
suficient ement e grandes, ent onces, T(n) = (d(n)).
Anlisis y Diseo de Algoritmos Maestro-16
Demost racin Lema 3
FPor el Lema 1
,
_
+
1 log
0
log
) (
n
j
j
j a
b
b
b
n
d a n n T ) (
FPor el Lema 2
FCaso 1
) ( ) ( ) (
log log log a a a
b b b
n n O n n T + ) (
FCaso 2
) lg ( ) lg ( ) (
log log log
n n n n n n T
a a a
b b b
+ ) (
FCaso 3
)) ( ( ) (
log
n d n n T
a
b
+ ) (
pero d(n) = (n
log
b
a+
) , por lo tanto
)) ( ( n d n T ) (
Arturo Daz Prez
Anlisis y Complejidad de Algoritmos 9
Anlisis y Diseo de Algoritmos Maestro-17
Observacin al Lema 3
FEl Lema 3 es vlido nicament e cuando n es una
pot encia exact a de b.
FTarea. Demost rar que el Teorema Maest ro es vlido para
cuando n no es necesariament e un pot encia de b.
Cormen et al. pgs. 70-72.