摘要：为提高大规模约束满足问题（CSP）的求解效率，提出了基于改进树分解技术的符号ADD求解算法。通过CSP的ADD描述，将树分解技术的树聚类与符号ADD结合，以提高算法的求解效率。采用改进最大基数（MC）的变量选择法，提高构造弦图的效率，引导团的构造以及连接树的生成。对大量随机生成的测试用例进行实验仿真，结果表明，基于改进树分解技术的符号ADD求解算法求解效率优于BT—FC—ADD算法和BT—ADD算法。
分类：期刊> 自然科学与工程技术> 信息科技> 无线电电子学
收录：知网收录(中) > 维普收录(中) > 万方收录(中) > SA 科学文摘(英) > 哥白尼索引(波兰) > 剑桥科学文摘 > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：约束满足问题 树分解 代数决策图 符号算法
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
