En este documento se estudiará el problema de ordenar un array de elementos sobre los cuales se puede establecer una relación de orden.

Los algoritmos de este documento serán escritos en C y serán intercambiables entre si; es decir, todos aceptarán los mismos parámetros: un array A de datos y un entero que representa el tamaño del array.

Junto con la descripción de cada algoritmo también se discutirá el orden de tiempo de ejecución del mismo. Se utilizará para esto la notación de ordenes de magnitud "O grande" ("Big O"), descripta en el documento "Análisis de Algoritmos" del mismo autor. La medición de estos tiempos ha sido hecha considerando solamente la cantidad de comparaciones, asignaciónes, etc que impliquen elementos del

array de datos: o sea, las cotas de tiempo sólo están en función del tamaño del conjunto de datos. Puesto que estos pueden ser arbitrariamente complejos, no se consideran los tiempos de operaciones sobre ellos.