在本文中，我们描述了一个将硬局部约束满足问题（PCSP）求解到最优性的计算研究。PCSP是一类包含多种问题的一般问题，例如广义子图问题、MAX-SAT、布尔二次规划以及着色和频率规划等分配问题。我们提出了一种基于底层约束图的结构（树分解）求解PCSP的动态规划算法。通过使用优势和边界技术，我们能够在合理的时间和内存限制内，将问题的中小型实例求解到最优，并为大型实例获得良好的下限。
| 原始语言 | 英语 |
|---|
| 页面（从至） | 170-180 |
|---|
| 日记账 | 网络 |
|---|
| 体积 | 40 |
|---|
| 发行编号 | 三 |
|---|
| 内政部 | |
|---|
| 出版物状态 | 已发布-2002年1月1日 |
|---|