完整的图形k着色解算器

Question

我正在寻找一个完整的CSP求解器，这意味着如果它存在，它将始终找到解决方案，并告诉您是否存在解决方案。优化用于图形着色的求解器是优选的，但不是必需的。有很多迭代算法/求解器，但我需要完整性（？）来完成我的工作。

我已经使用Weak-Commitment Search算法实现了我自己的求解器，但我确信有许多优化和基于线程的特性可以使解决方案更快，并允许我增加可以使用的变量数量在我的模拟中。我意识到这是一个指数级难题，但每一点都会有所帮助！

Answer 1

有人implemented Mehrotra and Trick的分支价格方法。我没有使用过这段代码，但我相信这种方法是精确着色的最先进技术。