离散动态规划与Bellman代数

本专著建立了一个与最优化原理足够贴近的代数系统，叫做Bellman半环，从而建立了离散动态规划的基本公理系统。证明了Bellman代数，包括极大代数和极小代数，是最优化原理成立的一个充分条件。还把基本公理系统推广为一般公理系统，并建立了匹配优化原理。