计算机研究与发展

北大核心,JST,Pж(AJ),EI,CSCD

国内刊号:11-1777/TP

国际刊号:1000-1239

计算机研究与发展杂志2018年第12期:一种基于STR算法的新表压缩方法

发布日期:

作者:董爱迪,李占山,于海鸿,

关键词:约束传播, 约束编程, 表约束, 表压缩方法, 位操作, 广义弧相容, 简单表缩减,

约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simpletabularreduction,STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalisedarcconsistent,GAC)算法的运行速度.短支持方法是在约束传播算法中使用最广泛的一种表压缩方式,但当约束表压缩率较低时,短支持方法提高运行速度效果不明显.因此提出一种压缩约束表的新算法STRO(simpletabularreductionoptimization),结合短支持压缩和位操作,在提高STR算法的运行速度的同时压缩表空间效果更好.实验结果表明:在约束表的平均大小不是特别小的情况下,STRO与ShortSTR2,STR2算法相比,速度更快、效率更高;与STRbit算法相比,在时间上可以替代STRbit算法,但STRO算法的表压缩率更大、更加节省空间.

来源:2018年第12期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2018年第12期

声明

严正声明:本站非期刊官网,非中介代理。

本站仅提供学术规范服务:快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。

联系我们

  • 地址:北京中关村科学院南路6号
  • 电话:(010)62620696
  • E-mail:crad@ict.ac.cn

咨询工作人员