3
2-SAT กับ XOR-Relations NP-complete หรือไม่
ฉันสงสัยว่ามีอัลกอริทึมแบบพหุนามสำหรับ "2-SAT พร้อมความสัมพันธ์ XOR" ทั้ง 2-SAT และ XOR-SAT อยู่ใน P แต่เป็นการรวมกันหรือไม่ อินพุตตัวอย่าง: ส่วนที่ 2-SAT: (a or !b) and (b or c) and (b or d) ส่วนแฮคเกอร์: (a xor b xor c xor 1) and (b xor c xor d) กล่าวอีกนัยหนึ่งอินพุตเป็นสูตรบูลีนต่อไปนี้: ( ∨ ¬ ข) ∧ ( ข∨ ค) ∧ ( …