3
Чи є 2-SAT з XOR-відносинами NP-завершеним?
Мені цікаво, чи існує поліноміальний алгоритм для "2-SAT з XOR-відношеннями". І 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 …