machine learning，贝尔曼公式推导