3
具有XOR关系的NP 2-SAT是否完整？
我想知道是否存在针对“具有XOR关系的2-SAT”的多项式算法。2-SAT和XOR-SAT都在P中，但是它的组合吗？ 输入示例： 2-SAT部分： (a or !b) and (b or c) and (b or d) XOR部分： (a xor b xor c xor 1) and (b xor c xor d) 换句话说，输入是以下布尔公式： (a∨¬b)∧(b∨c)∧(b∨d)∧(a⊕b⊕¬c)∧(b⊕c⊕d).(a∨¬b)∧(b∨c)∧(b∨d)∧(a⊕b⊕¬c)∧(b⊕c⊕d).(a \lor \neg b) \land (b \lor c) \land (b \lor d) \land (a \oplus b \oplus \neg c) \land (b …