Գրեք սա: Gradient bounded dynamic programming with submodular and concave extensible value functions