Algoritmo divide y vencers

En la cultura popular, divide y vencers hace referencia a un refrn que implica resolver un problema
difcil, dividindolo en partes ms simples tantas veces como sea necesario, hasta que la resolucin de
las partes se torna obvia. La solucin del problema principal se construye con las soluciones
encontradas.

En las ciencias de la computacin, el trmino divide y vencers (DYV) hace referencia a uno de los
ms importantes paradigmas de diseo algortmico. El mtodo est basado en la resolucin recursiva de
un problema dividindolo en dos o ms subproblemas de igual tipo o similar. El proceso contina hasta
que stos llegan a ser lo suficientemente sencillos como para que se resuelvan directamente. Al final,
las soluciones a cada uno de los subproblemas se combinan para dar una solucin al problema original.

Esta tcnica es la base de los algoritmos eficientes para casi cualquier tipo de problema como, por
ejemplo, algoritmos de ordenamiento (quicksort, mergesort, entre muchos otros), multiplicar nmeros
grandes (Karatsuba), anlisis sintcticos (anlisis sintctico top-down) y la transformada discreta de
Fourier.

Por otra parte, analizar y disear algoritmos de DyV son tareas que lleva tiempo dominar. Al igual que en
la induccin, a veces es necesario sustituir el problema original por uno ms complejo para conseguir
realizar la recursin, y no hay un mtodo sistemtico de generalizacin.

El nombre divide y vencers tambin se aplica a veces a algoritmos que reducen cada problema a un
nico subproblema, como labsqueda binaria para encontrar un elemento en una lista ordenada (o su
equivalente en computacin numrica, el algoritmo de biseccin para bsqueda de races). Estos
algoritmos pueden ser implementados ms eficientemente que los algoritmos generales de divide y
vencers; en particular, si es usando una serie de recursiones que lo convierten en simples bucles. Bajo
esta amplia definicin, sin embargo, cada algoritmo que usa recursin o bucles puede ser tomado como
un algoritmo de divide y vencers. El nombre decrementa y vencers ha sido propuesta para la
subclase simple de problemas.

La correccin de un algoritmo de divide y vencers, est habitualmente probada una induccin

matemtica, y su coste computacional se determina resolviendo relaciones de recurrencia.