タグ付けされた質問 「max2sat」

問題のMax-Satでは、できるだけ多くの節を満たすCNF式の割り当てを見つけるように求められます。 より単純な問題SATの場合、多項式時間で解くことができる多くの特殊なケースがあります。たとえば、多項式時間で2-SATを解くことができます。 Max-Satでは、2-CNF式の場合でもMax-SatはNP困難であるため、状況は異なります（各句には2つの変数しか含まれていません）。 Max-Satが多項式である興味深い特別な入力はありますか？ 特に、インデンスグラフがツリー幅を制限している場合にMax-Satを解決するための標準リファレンスに興味があります。

18 sat  treewidth  max2sat 

最大の充足可能性問題（最大土）ブール充足インスタンスでsatisifiedことができる句の最大数を求める問題です。正確に1 2におけるSAT問題は、条項2つのリテラル各セットが与えられると、求められ、各節はこのセットから正確に一つのリテラルを有するようにリテラルの集合があります。 独自の選択を行うことの複雑さ：グルスワミとトレビザンによる1-in-k SATの概算は、最大2土1土を概算する方法を提供します。彼らは単調（否定されたリテラルなし）を2 Satで最大1と述べています「多項式時間でe近似を採用しています」。 Max monotone 1 in 2 Sat問題の正確なアルゴリズムを見つけたいのですが。

8 graph-algorithms  sat  max2sat