Utilizan una heurística de selección, eligiendo en cada paso al óptimo local buscando llegar al óptimo global. De esta forma el criterio de selección depende únicamente de elecciones anteriores y/o del estado actual. No todos los problemas admiten alguna solución óptima de esta forma. Un problema tiene subestructura óptima si una solución óptima al problema contiene dentro soluciones óptimas a sus subproblemas.

En algunos problemas puede ocurrir que existan más de un criterio de elección greedy válido.Para una instancia particular del problema las distintas elecciones greedy pueden dar el mismo o diferente subconjunto óptimo. Ambos son óptimos extremos.

Llamamos a un algoritmo pseudo polinomial cuando la complejidad del mismo se mide en función de un valor numérico de la entrada y no la cantidad de elementos de esta.