Técnicas de Demostración Algorítmica
Técnicas de Demostración Algorítmica
Técnicas de Demostración Algorítmica
ALGORITMOS VORACES
En ciencias de la computación, un algoritmo voraz (también conocido como ávido, devorador o greedy) es
una tecnica de búsqueda por la cual se sigue una heurística consistente en elegir la opción óptima en cada
paso local con la esperanza de llegar a una solución general óptima. Este esquema algorítmico es el que menos
dificultades plantea a la hora de diseñar y comprobar su funcionamiento. Normalmente se aplica a
los problemas de optimización.
DIVIDE Y VENCERAS
El diseño “divide y vencerás” es una técnica que se aplica a veces a algoritmos que reducen cada problema a
un único subproblema, como la búsqueda binaria para encontrar un elemento en una lista ordenada (o su
equivalente en computación numérica, el algoritmo de bisección para búsqueda de raíces).
Estos algoritmos usan una serie de recursiones, donde cada algoritmo que usa recursión o bucles puede ser
tomado como un algoritmo de “divide y vencerás”.
DE ORDENACIÓN
Los algoritmos básicos de ordenación más simples y clásicos se muestran en la siguiente tabla:
El método de burbuja, es el más sencillo aunque a la par también es el más ineficiente; por esta causa no se
recomienda su uso, pero sí se debe conocer su técnica.
DE BÚSQUEDA
BÚSQUEDA SECUENCIAL
QUICKSORT
Como se puede suponer, la eficiencia del algoritmo depende de la posición en la que termine el pivote elegido.
En el mejor caso, el pivote termina en el centro de la lista, dividiéndola en dos sublistas de igual
tamaño. En este caso, el orden de complejidad del algoritmo es O(n·log n).
En el peor caso, el pivote termina en un extremo de la lista. El orden de complejidad del algoritmo es
entonces de O(n²). El peor caso dependerá de la implementación del algoritmo, aunque habitualmente
ocurre en listas que se encuentran ordenadas, o casi ordenadas. Pero principalmente depende del pivote,
si por ejemplo el algoritmo implementado toma como pivote siempre el primer elemento del array, y el array
que le pasamos está ordenado, siempre va a generar a su izquierda un array vacío, lo que es ineficiente.
TÉCNICAS DE REPOSICIONAMIENTO
Una idea preliminar para ubicar el pivote, en su posición final sería contar la cantidad de elementos menores
que él, y colocarlo un lugar más arriba, moviendo luego todos esos elementos menores que él a su izquierda,
para que pueda aplicarse la recursividad.
Existe, no obstante, un procedimiento mucho más efectivo. Se utilizan dos índices: i, al que llamaremos índice
izquierdo, y j, al que llamaremos índice derecho. El algoritmo es el siguiente:
Recorrer la lista simultáneamente con i y j: por la izquierda con i (desde el primer elemento), y por la
derecha con j (desde el último elemento).
Cuando lista[i] sea mayor que el pivote y lista[j] sea menor, se intercambian los elementos en esas
posiciones.
Repetir esto hasta que se crucen los índices.
El punto en que se cruzan los índices es la posición adecuada para colocar el pivote, porque sabemos que a un
lado los elementos son todos menores y al otro son todos mayores (o habrían sido intercambiados).
Ejemplo
5-3-7-6-2-1-4
5-3-7-6-2-1-4
i j p
i j p
1-3-7-6-2-5-4
i j p
3 es menor que 4: avanzamos por la izquierda. 2 es menor que 4: nos mantenemos ahí.
1-3-7-6-2-5-4
i j p
1-3-2-6-7-5-4
i j p
1-3-2-6-7-5-4
iyj p
En este momento termina el ciclo principal, porque los índices se cruzaron. Ahora intercambiamos lista[i] con
lista[p] (pasos 16-18):
1-3-2-4-7-5-6
1-3-2
1 es menor que 2: avanzamos por la izquierda. 3 es mayor: avanzamos por la derecha. Como se intercambiaron
los índices termina el ciclo. Se intercambia lista[i] con lista[p]:
1-2-3
El mismo procedimiento se aplicará a la otra sublista. Al finalizar y unir todas las sublistas queda la lista inicial
ordenada en forma ascendente.
1-2-3-4-5-6-7