除了几乎2SAT问题的固定参数易处理性之外，关于二进制布尔CSP的任何结果吗？

令为2CNF公式，k为非负整数。本文证明了确定一个人是否最多可以删除k个子句以使φ满足的问题是固定参数易处理的，其中k是参数。我的问题是是否有一些工作可以将此结果推广到其他二进制布尔CSP？（也就是说，决定是否最多可以删除k个约束以使某个CSP实例可满足，并用k进行参数化）还是任何否定结果？$\varphi$$k$$k$$\varphi$$k$$k$$k$

据我所知，对该CSP变体进行分类是广泛的。您可以在设置中表达一些固定参数易处理的问题（例如，d-Hitting Set大概是最大大小为d的正从句加上负赋值的情况；这大致意味着CSP问题稍微普遍一些，但很容易减少返回d-HS，或至少加权的d-HS）。即使对于可以通过现有量化的2-CNF公式实现的约束，其复杂性也是开放的。问题在于，以这种方式实施约束时，尽管约束是2-CNF，但您只需支付一个即可删除整个约束。因此，即使是仅是其他两个约束的简单约束也可能很难（我可能在后面有示例+参考）。