問題
私は、SAT 最適化問題の特別なサブセットを見ています。SAT および関連トピックに慣れていない方は、関連するウィキペディアの記事をご覧ください。
TRUE=(a OR b OR c OR d) AND (a OR f) AND ...
NOT はなく、接続詞の標準形です。これは簡単に解決できます。ただし、ステートメント全体を真にするために、真の割り当ての数を最小限に抑えようとしています。その問題を解決する方法が見つかりませんでした。
可能な解決策
私はそれを解決するために次の方法を思いつきました:
- 有向グラフに変換し、頂点のサブセットのみにまたがる最小全域木を検索します。エドモンドのアルゴリズムがありますが、それは頂点のサブセットではなく完全なグラフの MST を提供します。
- 頂点のサブセットの問題を解決する Edmond のアルゴリズムのバージョンがあるのではないでしょうか?
- 元の問題から他のアルゴリズムで解決できるグラフを作成する方法があるのではないでしょうか?
- SAT ソルバー、LIP ソルバー、または徹底的な検索を使用します。この問題を講義資料として使用しようとしているので、これらの解決策には興味がありません。
質問
アイデアやコメントはありますか?うまくいくかもしれない他のアプローチを考え出すことができますか?