2
เวลาพหุนามแก้ไขได้กรณีของ Max-Sat
ปัญหา Max-Sat ขอให้คุณค้นหาการกำหนดสูตร CNF ที่ตอบสนองข้อมากที่สุด สำหรับปัญหาที่ง่ายกว่า SAT มีกรณีพิเศษจำนวนมากที่รู้จักซึ่งสามารถแก้ไขได้ในเวลาพหุนามเช่นเราสามารถแก้ปัญหา 2-SAT ในเวลาพหุนาม สำหรับ Max-Sat สถานการณ์จะแตกต่างกันเนื่องจาก Max-Sat นั้นเป็น NP-hard แม้สำหรับสูตร 2-CNF (แต่ละข้อมีเพียง 2 ตัวแปร) มีอินพุตพิเศษที่น่าสนใจสำหรับ Max-Sat ใดที่เป็นพหุนาม โดยเฉพาะอย่างยิ่งฉันจะสนใจในการอ้างอิงมาตรฐานสำหรับการแก้ปัญหา Max-Sat เมื่อกราฟ incedence ได้ล้อมรอบ treewidth