Bellman的GAP：动态编程的声明语言

动态规划是解决组合优化问题的一种成熟技术。在应用计算机科学的几个领域中，例如运筹学、自然语言处理或生物序列分析，动态编程问题以多种形式出现，并且具有相当的复杂性。动态编程问题通常在计算机科学教科书中以一种简单的方式呈现——作为一组重复出现的表格——对于现实世界中的问题来说，其规模很小，因为在现实世界中，搜索空间结构很深，评分模型也很精细。很难找到正确重复出现的页面，实现很容易出错，调试也很繁琐。代数动态编程（ADP）是一种独立于语言的声明式方法，它可以缓解序列数据上相关类动态编程问题的这些问题。

Bellman的GAP通过提供一种声明性语言（GAP-L）和一个编译器（GAP-C），将声明性程序转换为C++代码来实现ADP，这与手写代码相比具有竞争力，而且可能更可靠。本文介绍了GAP-L语言，通过教育示例演示了在声明性框架中开发动态编程算法的好处，并报告了使用Bellman的GAP编程生物信息学应用程序的实践。