自适应表压缩方法优化STR算法

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:meirumen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
表约束,也称为外延式约束,是约束编程领域最常见的约束形式,表压缩方法通过紧凑的表示元组集可以极大地缩减空间消耗,同时加速GAC算法。笛卡尔乘积表示和短支持是表约束中最常见的两种表压缩方法,两种表压缩方法在同一问题上的压缩率是影响它们优化效果的主要原因。基于STR算法提出一种自适应表压缩方法,在求解问题时自适应选择压缩率大的表压缩方法,将自适应表压缩方法应用到STR2上提出了STR2-Adaptive算法,可以同时覆盖两种表压缩方法的优势。实验结果表明,STR2-Adaptive算法在绝大部分实例上都能自适应选择最佳的表压缩方法,有效地减少了STR2算法空间消耗和CPU运行时间。然后将自适应表压缩方法扩展到采用了高效的比特向量表示的STRbit算法上提出了STRbit-Adaptive算法。实验结果表明,STRbit-Adaptive算法效率同样普遍优于STRbit算法。
其他文献
基于传统人工势场法的机器人路径规划存在障碍物附近目标不可达和局部极小点的问题。在研究该问题产生原因的基础上,提出了一种基于改进人工势场法的移动机器人路径规划算法。
为改善嵌入式网络实时设备的服务可靠性问题,文章提出了一种基于特定规则数据流量监测的网口状态检测机制,以及一种基于报文定制的故障网口服务数据迁移方法.并通过在基于嵌
地方本科院校作为应用型人才培养的生力军,一方面,要满足学生就业与发展的需求;另一方面,我国社会经济不断发展的趋势对于创造性人才的数量和质量的要求更高。因此,地方高校
手势识别装置采用电容传感器与电感构成LC谐振电路,通过手势变化引起电容传感器感生电容的改变,从而改变谐振电路的谐振频率,再由MCU读取FDC2214的测量值并进行处理。手势识
Prover9证明器只采用二元归结方法,是一种静态的、局部的推理规则。基于矛盾体分离规则,提出了一种多元动态演绎算法,采用整体式演绎框架,通过子句演绎权重与文字演绎权重规
目的探讨早期肺部超声评分(LUS)对重症肺炎患者病情严重程度及预后的评估价值,及与氧合指数(OI)、肺泡-动脉氧分压差(A-a DO2)、淋巴细胞计数(LYM)、呼气末正压(PEEP)、急性生理与慢性