Existen varios corolarios de la "conjetura de optimalidad dinámica" que permanecen sin probar: