3
XOR 관계가있는 2-SAT는 NP- 완전합니까?
"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) 다시 말해, …