La programación dinámica es un paradigma algorítmico clásico, que a menudo permite la evaluación de un espacio de búsqueda de tamaño exponencial en tiempo polinómico. La descomposición recursiva de problemas, la tabulación de resultados intermedios para reutilización y el Principio de Optimalidad de Bellman son sus ingredientes bien comprendidos. Sin embargo, los algoritmos a menudo carecen de abstracción y son difíciles de implementar, tediosos de depurar y delicados de modificar.