Resolver T (n) = 2T (n / 2) + log n con el método del árbol de recurrencia

Estaba resolviendo relaciones de recurrencia. La primera relación de recurrencia fue

$T(n)=2T(n/2)+n$

La solución de este puede ser encontrada por Master Theorem o el método del árbol de recurrencia. El árbol de recurrencia sería algo como esto:

La solución sería:

$T(n)=\underbrace{n+n+n+...+n}_{\log_2{n}=k \text{ times}}=\Theta(n \log{n})$

Luego me enfrenté al siguiente problema:

$T(n)=2T(n/2)+\log{n}$

Mi libro muestra que por el teorema maestro o incluso por algún enfoque de sustitución, esta recurrencia tiene la solución $\Theta(n)$ . Tiene la misma estructura que el árbol anterior con la única diferencia que realiza en cada llamada $\log{n}$ trabajo. Sin embargo, no puedo usar el mismo enfoque anterior para este problema.

recurrence-relation

— anir
fuente

El término no recursivo de la relación de recurrencia es el trabajo para fusionar soluciones de subproblemas. El nivel $k$ de su árbol de recurrencia (binario) contiene $2^k$ subproblemas con tamaño $\frac {n}{2^k}$ , así que primero necesitas encontrar el trabajo total en el nivel $k$ y luego resumir este trabajo en todos los niveles de los árboles.

Por ejemplo, si el trabajo es constante $C$ , entonces el trabajo total en el nivel $k$ estarán $2^k \cdot C$ y el tiempo total $T(n)$ se dará por la siguiente suma:

T (n) = \sum_{k = 1}^{\log_{2} n} 2^{k} C = C (2^{\log_{2} n + 1} - 2) = Θ (n)

$T(n) = \sum_{k=1}^{\log_2{n}}2^k C = C(2^{\log_2{n}+1}-2) = \Theta(n)$

Sin embargo, si el trabajo crece logarítmicamente con el tamaño del problema, deberá calcular con precisión la solución. La serie sería la siguiente:

T (n) = \log_{2} n + \underset{\log_{2} n times}{\underset{⏟}{2 \log_{2} (\frac{n}{2}) + 4 \log_{2} (\frac{n}{4}) + 8 \log_{2} (\frac{n}{8}) + . . . .}}

$T(n)=\log_2{n}+\underbrace{2\log_2(\frac {n} {2})+4\log_2(\frac {n} {4})+8\log_2(\frac {n} {8}) + ....}_{\log_2{n} \text{ times}}$

Será una suma bastante compleja:

T (n) = \log_{2} n + \sum_{k = 1}^{\log_{2} n} 2^{k} \log_{2} (\frac{n}{2^{k}})

$T(n)=\log_2{n}+\sum_{k=1}^{\log_2{n}}2^k \log_2(\frac {n} {2^k})$

Voy a denotar temporalmente $m=\log_2{n}$ y simplifica la suma anterior:

\sum_{k = 1}^{m} 2^{k} \log_{2} (\frac{n}{2^{k}}) = = \sum_{k = 1}^{m} 2^{k} (\log_{2} n - k) = = \log_{2} n \sum_{k = 1}^{m} 2^{k} - \sum_{k = 1}^{m} k 2^{k} = = \log_{2} n (2^{m + 1} - 2) - (m 2^{m + 1} - 2^{m + 1} + 2)

$\sum_{k=1}^{m}2^k \log_2(\frac {n} {2^k})=\\=\sum_{k=1}^{m}2^k(\log_2{n}-k)=\\=\log_2{n}\sum_{k=1}^{m}2^k-\sum_{k=1}^{m}k2^k=\\=\log_2{n}(2^{m+1}-2)-(m2^{m+1}-2^{m+1}+2)$

Aquí usé una fórmula para el $\sum_{k=1}^{m}k2^k$ suma de la calculadora de álgebra simbólica en línea Wolfram | Alpha . Entonces necesitamos reemplazar $m$ de vuelta por $\log_2{n}$ :

T (n) = \log_{2} n + 2 n \log_{2} n - 2 \log_{2} n - 2 n \log_{2} n + 2 n - 2

$T(n)=\log_2{n}+2n\log_2{n}-2\log_2{n}-2n\log_2{n}+2n-2$

= 2 n - \log_{2} n - 2 = Θ (n)

$=2n-\log_2{n}-2=\Theta(n)$

QED

— HEKTO
fuente

maldita sea, cometí un error súper estúpido al hacer una pregunta. Ahora corregido. Sin embargo, ahora no puedo entender cómo las cosas se cancelan entre sí en la serie:

2^{0} \log_{2} \frac{n}{2^{0}} + 2^{1} \log_{2} \frac{n}{2^{1}} + 2^{2} \log_{2} \frac{n}{2^{2}} + . . . + 2^{\log_{2} n} \log_{2} \frac{n}{2^{\log_{2} n}} = \log_{2} n + 2 \log_{2} \frac{n}{2} + 4 \log_{2} \frac{n}{4} + . . . + n \log_{2} 1

$2^0\log_2\frac{n}{2^0}+2^1\log_2\frac{n}{2^1}+2^2\log_2\frac{n}{2^2}+...+2^{ \log_2{n}}\log_2\frac{n}{2^{ \log_2{n}}}=\log_2{n}+2\log_2{\frac{n}{2}}+4\log_2{\frac{n}{4}}+...+n\log_2{1}$ .. Esta es la serie que se te ocurre, ¿verdad? Tratando con

n = 8

$n=8$ , Tengo

\log_{2} 8 + 2 \log_{2} 4 + 4 \log_{2} 2 + 8 \log_{2} 1 = 3 + 4 + 4 = 11

$\log_2{8}+2\log_2{4}+4\log_2{2}+8\log_2{1}=3+4+4=11$ . ¿Qué pasa aquí?

— anir

@anir - Usa la igualdad

\log_{2} (\frac{n}{2^{k}}) = \log_{2} n - k

$\log_2(\frac{n}{2^k}) = \log_2 n - k$

— HEKTO

Todavía no entendí cómo esa serie colapsa

Θ (n)

$\Theta(n)$ : '¬ (Math-noob-here ...

— anir

@anir - Ampliaré mi respuesta

— HEKTO

@HEKTO Si resuelve el comentario anterior, ¿aún obtiene nlog (n)? He intentado mucho ¿podrías ayudarme por favor?

— roottraveller