En el sitio web de Algoritmos de clasificación , se realiza el siguiente reclamo:
El algoritmo de ordenación ideal tendría las siguientes propiedades:
- Estable: las claves iguales no se reordenan.
- Opera en su lugar, requiriendo espacio extra.
- El peor de los casos comparaciones clave.
- El peor de los casos intercambios.
- Adaptativo: acelera hasta cuando los datos están casi ordenados o cuando hay pocas claves únicas.
No existe un algoritmo que tenga todas estas propiedades, por lo que la elección del algoritmo de clasificación depende de la aplicación.
Mi pregunta es, ¿es cierto que
no existe un algoritmo [de clasificación] que tenga todas estas propiedades
Y si es así, ¿por qué? ¿Qué tienen estas propiedades que hace que todas sean simultáneamente imposibles de cumplir?