论文部分内容阅读
为提高大规模约束满足问题（CSP）的求解效率，提出了基于改进树分解技术的符号ADD求解算法。通过CSP的ADD描述，将树分解技术的树聚类与符号ADD结合，以提高算法的求解效率。采用改进最大基数（MC）的变量选择法，提高构造弦图的效率，引导团的构造以及连接树的生成。对大量随机生成的测试用例进行实验仿真，结果表明，基于改进树分解技术的符号ADD求解算法求解效率优于BT—FC—ADD算法和BT—ADD算法。