ほぼ2SAT問題の固定パラメーターの扱いやすさを超えるバイナリブールCSPの結果はありますか？

してみましょう 2CNF式も及び非負整数を。この論文では、満足できるようにするために最大で節を削除できるかどうかを決定する問題が、がパラメーターである固定パラメーターで扱いやすいことを証明しています。私の質問は、この結果を他のバイナリブールCSPに一般化する作業があるかどうかです。（つまり、最大制約を削除して、でパラメーター化されたCSPインスタンスを充足可能にするかどうかを決定します）または否定的な結果はありますか？$\varphi$$k$$k$$\varphi$$k$$k$$k$

私の知る限り、このCSPバリアントの分類は広く行われています。設定では、いくつかの固定パラメータの扱いやすい問題を表現できます（たとえば、d-Hitting Setは、サイズがd以下の正の句と負の代入がほぼある場合です。大まかに言うと、CSPの問題はやや一般的ですが、簡単に減少しますd-HSに戻るか、少なくとも加重d-HS）。実存的に定量化された2-CNF式を介して実装できる制約であっても、その複雑さは何でもありません。問題は、この方法で制約を実装する場合、2-CNFであるにもかかわらず、1つだけを支払ってすべてを削除することです。したがって、他の2つの結合だけの単純な制約でさえ難しい場合があります（例+参照が後である場合があります）。