（SAT to 3-SAT）問題の複雑さ？

新しい変数を使用することにより、CNF数式を多項式時間で3-CNF数式に変換できることはよく知られています（ここを参照）。新しい変数の使用が許可されていない場合、常に可能であるとは限りません（たとえば、単一句の式を考えてみます：$(x_1 \lor x_2 \lor x_3 \lor x_4)$）。

（SAT to 3-SAT）問題を定義してみましょう： $F$、CNF式。変身することは可能ですか$F$3-CNFが定義同等に同じ変数にとして$F$？-「同等」とは、同じモデルのセットを意味します。

この問題の複雑さは何ですか？

編集：問題はco-NPハードであることがcstheoryで示されています。

これは、CS Theory StackExchangeサイトで回答されています：https ://cstheory.stackexchange.com/a/19833/5038

（私はここに回答を投稿しているため、この質問は回答なしの質問として扱われず、コミュニティユーザーによってフロントページに定期的にローテーションされます。通常、回答が承認または承認されていない質問は、 -フロントページに頻繁に表示されます。この質問は別の場所で解決されているため、その必要はないようです。誰かがこの回答に賛成または同意する限り、この質問が再び回転するのを防ぐ必要がありますフロントページ。コミュニティのwikiボックスをチェックしているので、この回答からの返信はありません。）