发送短信: Gradient bounded dynamic programming with submodular and concave extensible value functions