MONOTONE WSATを多項式時間で解くことはできますか?

加重単調充足可能性問題(MONOTONE WSAT)では、入力はn変数のMONOTONE
CNFブール式(負の変数を持つ節がない場合)と整数kであり、問​​題は満たしているかどうかを判断することです多くともk個の変数が真である代入。
MONOTONE WSATを多項式時間で解くことができますか、NP完結ですか?

ベストアンサー

この問題は確かにNP完全です。

実際、この質問に対する答えは次のようになります。

https://cs.stackexchange.com/質問/
11558/prove-np-monoone-boolean-formulaiの完全性の決定の完全性

したがって、この質問は閉じられ、答えられました…

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です