Saya bertanya-tanya apakah ada algoritma polinomial untuk "2-SAT dengan hubungan XOR". Baik 2-SAT dan XOR-SAT berada di P, tetapi apakah kombinasinya? Input Contoh: Bagian 2-SAT: (a or !b) and (b or c) and (b or d) Bagian XOR: (a xor b xor c xor 1) and (b xor c xor d) Dengan kata lain,...
11
Apakah 2-SAT dengan XOR-relations NP-complete?