序列数据动态规划的一门学科 电子书下载

原名:A Discipline of Dynamic Programming over Sequence Data
作品简介:我们描述了序列数据动态规划的代数风格。我们基于语法和代数的组合定义了它的形式框架，包括贝尔曼原理的形式化。我们建议使用一种在方便的抽象级别上进行算法设计的语言。……