Czy 2-SAT z relacjami XOR NP-jest kompletny?
Zastanawiam się, czy istnieje algorytm wielomianowy dla „2-SAT z relacjami XOR”. Zarówno 2-SAT, jak i XOR-SAT są w P, ale czy jest to kombinacja? Przykładowe dane wejściowe: Część 2-SAT: (a or !b) and (b or c) and (b or d) Część XOR: (a xor b xor c xor 1) and (b xor c xor d) Innymi słowy,...