一种基于环切割的约束满足问题求解算法.pdfVIP

第卷第期 计 算 机 学 报 ３４ ８ 　 　　　　　　　　 Ｖｏｌ．３４Ｎｏ．８ 年月 ２０１１８ Ａｕ．２０１１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｇ 　 一种基于环切割的约束满足问题求解算法 李占山李宏博张永刚王孜文 　 　 　 （ ） 吉林大学符号计算与知识工程教育部重点实验室长春１３００１２ 　 　 （吉林大学计算机科学与技术学院长春 ） １３００１２ 　 　 摘要该文首先给出一种无环约束满足问题的无回溯搜索算法 ＿ 然后将环切割思想嵌入到目前最 ， ＴｒｅｅＳｅａｒｃｈ 　　 ， ： 流行的 算法中给出一种新算法 将原回溯搜索过程分为两部分第部分通过回溯搜索求解 ＭＡＣ３ｒｍ ＣＣＳ．ＣＣＳ １ ， ； 环切割集中变量将原问题化简成一个满足弧相容的无环问题第部分通过无回溯的 ＿ 算法求解化简 ２ ＴｒｅｅＳｅａｒｃｈ 后的无环问题，改进了 算法证明了 算法在环切割集上求得的局部解一定可以扩展为一个全 ＭＡＣ３ｒｍ ． ＭＡＣ３ｒｍ ， ， ， 局解并且如果原问题无解则 算法在环切割集上找不到局部解实验结果显示 的效率在大多数情 ＭＡＣ３ｒｍ ． ＣＣＳ 况下高于 在求解随机问题相变阶段的测试用例时， 的效率最高可以达到 的 倍 ＭＡＣ３ｒｍ． ＣＣＳ ＭＡＣ３ｒｍ１４０． ， ， 中几组问题的测试结果显示 在整体上效率高于 最高可以达到 的 倍以上 Ｂｅｎｃｈｍａｒｋ ＣＣＳ ＭＡＣ ＭＡＣ３ｒｍ１００ ． 关键词 ； ； ； 弧相容无回溯搜索环切割ＭＡＣ３ｒｍ 　 中图法分类号 号： ／ ＴＰ１８ 犇犗犐１０．３７２４ＳＰ．Ｊ．１