扩展的随机约束满足问题生成模型研究
本文针对约束求解算法的测试问题，研究了当前用于测试算法的各种典型约束满足问题的生成模型，分析了各种模型的特点，提出了扩展的RCSP生成模型以及问题实例的生成办法，给出了一种回溯搜索与相容性检查结合的基于关系矩阵表示的RCSP求解算法，并设计实现了相应的问题生成器和求解器，给出了几组典型的问题实例的测试结果。实验证明，我们提出的扩展模型所生成的问题实例与实际问题更加接近，而与传统模型具有一致的相变区域，尤其适合对启发式约束求解算法进行测试。
约束满足问题 随机生成模型 相变 前向检查
张永刚 孙吉贵 高健
吉林大学计算机科学与技术学院，长春130012
国内会议
武汉
中文
2005-10-13（万方平台首次上网日期，不代表论文的发表时间）