基于分割的超树分解方法

摘要：

基于det-k-decomp算法,通过引入同构的概念和对separator选择空间的进一步限制,提出一类新的超树分解:分割的超树分解,并提出一种具有较小超树宽度的超树分解方法:基于分割的超树分解——sht-k-decomp,该算法能有效提高约束满足问题的求解效率.实验结果表明,sht-k-decomp算法多数情况下效率高于det-k-decomp算法.

关键词：人工智能、超树分解、约束满足问题

所属期刊栏目：51

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60873148,60973089,61170314,61272208;吉林省科技发展计划项目20071106

在线出版日期：2013-05-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：257-266