资料下载
×
基于时序计数的约束满足问题双向传播方案
消耗积分:0 |
格式:pdf |
大小:1.71 MB |
2021-04-27
分享资料个
约束满足问题是经典 Np-hard问题，其基本算法是递归形式的回溯算法和弧一致性算法。将弧相容与回溯搜索结合，可以有效降低解空间大小。针对弧相容的维持问题，提出一种新的基于时序计数的传播方案，用于增量更新约束子网。将 accumulate Revision和 push Revison作为双向修订的主要方法，以减少修订次数和域过滤变量的数量。实验结果表明，与经典的基于关系的方案和基于变量的传播方案相比，该方案的整体求解速度明显提高。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
