NAE-HORN-SATはPまたはNPハードですか？
NAE-HORN-SAT問題の複雑さ（すべてが同じというわけではありません）を知りたいです。HORNSATは完全であることはわかっていますが、一方、NAE-SATは完全です。NAE-HORN-SAT問題について何が言えるか知りたい。問題を正式に定義しましょう：PP\mathsf{P}NPNP\mathsf{NP} 与えられた：1つのブール式ϕϕ\phiがCNFで与えられ、各句には最大で1つの正のリテラル（HORNプロパティ）があります。 質問：\ phiの入力変数にϕϕ\phi、少なくとも1つのFalseと少なくとも1つのTrueリテラル（NAEプロパティ）があるような割り当てはあります か？ 注意： 正のリテラル：任意の変数を直接、 負のリテラル：変数の否定。 Trueリテラル：リテラルは任意の割り当てによってブールTrueに割り当てられ、 Falseリテラル：リテラルは、割り当てによってブールFalseに割り当てられます。 シェーファーの二分法の定理によると、この問題はPP\mathsf{P}または\ mathsf {NP}のいずれかにあるはずNPNP\mathsf{NP}です。HORNSATからこの問題への1つの多項式削減を見つけるだけで、実際には何も証明されません。この問題を解決する多項式時間アルゴリズムはありますか？ または、この問題が\ mathsf {NP}困難であることを証明する方法はありますNPNP\mathsf{NP}か？これについて何か考えはありますか？