-
题名一种基于STR算法的新表压缩方法
- 1
-
-
作者
董爱迪
李占山
于海鸿
-
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2018年第12期2734-2740,共7页
-
基金
吉林省自然科学基金项目(20180101043JC)~~
-
文摘
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction,STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalised arc consistent,GAC)算法的运行速度.短支持方法是在约束传播算法中使用最广泛的一种表压缩方式,但当约束表压缩率较低时,短支持方法提高运行速度效果不明显.因此提出一种压缩约束表的新算法STRO(simple tabular reduction optimization),结合短支持压缩和位操作,在提高STR算法的运行速度的同时压缩表空间效果更好.实验结果表明:在约束表的平均大小不是特别小的情况下,STRO与ShortSTR2,STR2算法相比,速度更快、效率更高;与STRbit算法相比,在时间上可以替代STRbit算法,但STRO算法的表压缩率更大、更加节省空间.
-
关键词
约束传播
约束编程
表约束
表压缩方法
位操作
广义弧相容
简单表缩减
-
Keywords
constraint propagation
constraint programming
table constraint
table compression method
bit-wise operation
generalised arc consistent (GAC)
simple tabular reduction (STR)
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
