完全グラフk-着色ソルバー

Question

私は完全なCSPソルバーを探しています。それは、存在する場合には常に解を見つけることを意味し、解が存在しないかどうかを教えてくれます。グラフの色付けに最適化されたソルバが推奨されますが、必要はありません。そこには多くの反復アルゴリズム/ソルバーがありますが、私は自分の仕事に完全性（？）が必要です。

私はWeak-Commitment Searchアルゴリズムを使用して独自のソルバを実装しましたが、非常に高速なソルバを作成するための多くの最適化とスレッドベースの機能があり、可能な変数の数を増やすことができます私のシミュレーションで使用します。私はそれが指数関数的に難しい問題だと気づいていますが、少しずつ助けになります！

Answer 1

誰かがimplementedMehrotra and Trickの支店と価格の方法を持っています。私はこのコードを使用していませんが、そのアプローチは正確な着色の状態であると考えています。