| 约束满足问题求解的符号OBDD桶消元算法 |
| |
| 引用本文： | 徐周波,古天龙,常亮,李凤英.约束满足问题求解的符号OBDD桶消元算法[J].计算机科学,2011,38(7):200-202. |
| |
| 作者姓名： | 徐周波 古天龙 常亮 李凤英 |
| |
| 作者单位： | 1. 西安电子科技大学电子工程学院,西安710071;桂林电子科技大学计算机科学与工程学院,桂林541004
2. 桂林电子科技大学计算机科学与工程学院,桂林,541004 |
| |
| 基金项目： | 本文受国家自然科学基金(60963010,60903079,61063002),广西自然科学基金重点项目(082006Z)资助。 |
| |
| 摘 要： | 桶消元算法是求解约束满足问题的一种典型推理方法.针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图( OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法.通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法；基于桶消元的算法思想,在约束满足问题...
|
| 关 键 词： | 约束满足问题 符号算法 桶消元 有序二叉决策图(OBDD) |
OBDD-based Bucket Elimination Algorithm for Constraint Satisfaction Problem |
| |
| XU Zhou-bo,GU Tian-long,CHANG Liang,LI Feng-ying.OBDD-based Bucket Elimination Algorithm for Constraint Satisfaction Problem[J].Computer Science,2011,38(7):200-202. |
| |
| Authors: | XU Zhou-bo GU Tian-long CHANG Liang LI Feng-ying |
| |
| Affiliation: | (School of Electronic Engineering,Xidian University,Xi'an 710071,China);(School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China) |
| |
| Abstract: | |
| |
| Keywords: | Constraint satisfaction problem Symbolic algorithm Bucket elimination Ordered binary decision diagram(OBDD) |
| 本文献已被 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
