王瑞伟
- 作品数:2 被引量:2H指数:1
- 供职机构:吉林大学软件学院更多>>
- 发文基金:吉林省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 求解约束可满足问题的eSTR算法优化被引量:2
- 2016年
- 表约束方法是1种外延式知识表示方法,每个约束通过元组集直接枚举出其在1个变量集上允许或禁止的所有元组,直观易于理解,在约束程序中得到了深入的研究,这是因为表约束出现在如设计、数据库、配置以及偏好建模等许多现实世界的应用中.但随着约束的增多及其元组集增大,占有的空间与相容性检测效率成了关键问题.eSTR是1个将STR扩展到高阶相容的算法,通过深入分析eSTR算法后发现有2种优化方式:PWsup数据结构和极小约束范围,同时证明了在极小约束范围上,约束网络仍然能够维持PWC+GAC,其中极小约束范围可以通过删除约束元组集中相应的列来降低eSTR2算法的空间消耗,而PWsup数据结构能够通过避免不必要的PW支持检测来减少eSTR2的CPU运行时间,实验结果表明:2种优化方式和eSTR2相结合后能够同时减少算法的空间消耗和CPU运行时间,在许多类实例上明显优于eSTR2和eSTR2w.
- 王瑞伟李占山李宏博
- 关键词:约束网络
- 表约束的相容性技术研究
- 对于约束可满足问题,在回溯搜索的过程中应用相容性进行剪枝是最高效的完备求解算法之一。在非二元约束上,广义弧相容是目前被应用最广的相容性,同时简单表缩减算法(STR)及其优化的算法(STR2)是在表约束上维持广义弧相容最高...
- 王瑞伟
- 文献传递