一种笛卡尔积压缩的负表约束上表缩减算法

摘要：

利用笛卡尔积压缩方法可有效减小负表约束规模的原理,提出一种在压缩负表上维持广义弧相容的高效算法STRC-N,以解决负表约束维持弧相容过程中遍历所有元组导致效率低的问题.实验结果表明,当压缩负表上压缩率较大时,得益于表规模的减小,新算法相对于主流的负表约束处理算法效率更高,性能更好,从而实现了对负表约束处理算法的改进.

关键词：约束满足问题、负表约束、表压缩、弧相容

所属期刊栏目：57

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

资助基金：吉林省科技发展计划项目20140101200JC

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

页数：共7页

页码：591-597