La idea básica detrás de este método es adivinar la respuesta y luego demostrar que es correcta por inducción. Este método se puede utilizar para resolver cualquier recurrencia. Si se adivina una solución y luego se intenta verificar nuestra suposición de manera inductiva, por lo general, la prueba tendrá éxito (en ese caso hemos terminado) o la prueba fallará (en ese caso, la falla nos ayudará a refinar nuestra suposición).
Por ejemplo, considere la recurrencia: . Esto no encaja en la forma requerida por los Teoremas Maestros . Observar cuidadosamente la recurrencia nos da la impresión de que es similar al método divide y vencerás (dividir el problema en √N subproblemas cada uno con tamaño √N ). Como puede verse, el tamaño de los subproblemas en el primer nivel de recursión es N . Entonces, supongamos que , y luego tratemos de probar que la suposición es correcta.
Comencemos tratando de probar un límite superior:
La última desigualdad supone sólo que . Esto es correcto si N es suficientemente grande y para cualquier constante c, por pequeña que sea.
De la prueba anterior, podemos ver que nuestra suposición es correcta para el límite superior. Ahora, probemos el límite inferior para esta recurrencia:
La última desigualdad supone sólo que . Esto es incorrecto si N es suficientemente grande y para cualquier constante k.
De la prueba anterior, podemos ver que nuestra suposición es incorrecta para el límite inferior.
De la discusión anterior, se puede entender que es demasiado grande. Pero ¿qué tal ? El límite inferior es fácil de probar directamente:
Ahora, probemos el límite superior para este Θ(N):
De la inducción anterior, se puede entender que es demasiado pequeño y demasiado grande. Entonces, necesitamos algo más grande que N y más pequeño que ? ¿Qué tal ?
Demostrando el límite superior para :
Demostrando límite inferior para :
El último paso no funciona. Entonces, no funciona. ¿Qué más hay entre N y ? ¿Qué tal ?
Demostrando el límite superior para :
Demostrando límite inferior para :
De las pruebas anteriores, puede ver que y .
Técnicamente, todavía nos faltan los casos base en ambas pruebas, pero podemos estar bastante seguros en este punto de que .
Publicación traducida automáticamente
Artículo escrito por gauravkmishra y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA