我正在寻找一个完整的CSP求解器,意味着它总是会找到一个解决方案,如果它存在,并告诉你,如果没有解决方案存在。对于图着色优化的解算器是首选的,但不是必需的有很多迭代算法/求解器,但我需要一个完整性(?)为了我的工作。
我已经使用弱承诺搜索算法实现了自己的解算器,但我确信有许多优化和基于线程的特性可以使解算器更快,并允许我增加可以在模拟中使用的变量数。我知道这是一个指数级的难题,但每一点都会有帮助!
最佳答案
有人有implemented的分支和定价方法我没有使用过这段代码,但我相信这种方法在精确着色方面是最先进的。