3
XOR-ilişkileri NP ile 2-SAT tamamlandı mı?
"XOR-ilişkileri ile 2-SAT" için bir polinom algoritması olup olmadığını merak ediyorum. Hem 2-SAT hem de XOR-SAT P cinsindendir, ancak kombinasyonu nedir? Örnek Giriş: 2-SAT parçası: (a or !b) and (b or c) and (b or d) XOR kısmı: (a xor b xor c xor 1) and (b xor c xor …