Muy en la línea de "cómo decir de forma rebuscada algo más simple que  el mecanismo de un botijo" (¿recordais la Ley de Rendimientos Decrecientes?), acabo de encontrar esta definición del principio de optimalidad de la Programación Dinámica:

Un problema de optimización cuya solución se puede expresar mediante una secuencia de decisiones cumple el principio de optimalidad si, dada una secuencia que corresponde a la solución óptima, se cumple que cualquier subsecuencia de esa solución corresponde a la solución óptima del subproblema asociado.

Está clarisimo, ¿verdad? Seis veces me lo he tenido que leer :P

(Por cierto, la forma "clara" de decir eso mismo en  castellano es "Si el camino de A a C es óptimo y contiene el subcamino de B a C, este también es óptimo)