c++ - 純粋な整数 MIP のすべての解を見つけるためのソルバー ソフトウェア

Question

私はすべての変数が整数でなければならないことを知っている問題のセット (方程式と不等式のセット) を持っており、有限数の解があります。ランダムな目的関数を取り、それに lp または mip ソルバーを適用すると、解が見つかることはわかっていますが、問題に対するすべての解が必要であり、もちろん、できるだけ効率的にしたいと考えています。私は何かを最適化することをあまり気にしませんが、どうやらそれを扱うほとんどのソフトウェアが最適化を行っているようです。それを行うことができるソルバーはありますか？もしそうなら、どれが最良/最も単純なものですか、またはどれをお勧めしますか? せいぜい C/C++ ライブラリとして使用できるもの。

Answer 1

すべてのソリューションを得るために簡単に一般化できる最適なソリューションを見つける方法について、Paul Rubin による素敵なブログ投稿があります。KAli が提案したように、アプローチの 1 つはソリューション プールを使用することです。他の 2 つのアプローチは次のとおりです。

1. 現在のコールバックを使用して、ソリューションを追跡および拒否します。
2. ソリューション インジェクションで現在のコールバックを使用します。

詳細については、ブログ投稿を参照してください。