论文部分内容阅读
本文针对约束求解算法的测试问题，研究了当前用于测试算法的各种典型约束满足问题的生成模型，分析了各种模型的特点，提出了扩展的RCSP生成模型以及问题实例的生成办法，给出了一种回溯搜索与相容性检查结合的基于关系矩阵表示的RCSP求解算法，并设计实现了相应的问题生成器和求解器，给出了几组典型的问题实例的测试结果。实验证明，我们提出的扩展模型所生成的问题实例与实际问题更加接近，而与传统模型具有一致的相变区域，尤其适合对启发式约束求解算法进行测试。