一种笛卡尔积压缩的负表约束上表缩减算法
来源：吉林大学学报·理学版杂志2019年第3期北京时间：
作者：蔡毛毛, 李占山, 董学阳
单位：1. 吉林大学 计算机科学与技术学院, 符号计算与知识工程教育部重点实验室, 长春 130012;2. 吉林大学 公共计算机教学与研究中心, 长春 130012
摘要：利用笛卡尔积压缩方法可有效减小负表约束规模的原理, 提出一种在压缩负表上维持广义弧相容的高效算法STRC-N, 以解决负表约束维持弧相容过程中遍历所有元组导致效率低的问题. 实验结果表明, 当压缩负表上压缩率较大时, 得益于表规模的减小, 新算法相对于主流的负表约束处理算法效率更高, 性能更好, 从而实现了对负表约束处理算法的改进.
关键词：约束满足问题,负表约束,表压缩,弧相容
