En la teoría de algoritmos, uno suele tener que encontrar el programa con la menor complejidad por una función computable dada "y" una medida de complejidad.