运筹学第一约束条件是指：如果只是>或<，那数据存在那种永远没有尽头的逼近，永远找不到最值。所以约束条件一定要带一个相等的关系。着重讨论可数状态和具有多约束，状态相关折扣因子以及可能无穷大成本的紧缩Borel动作空间中的第一遍离散时间马尔可夫决策过程。