คำถามติดแท็ก 3-sat

GSAT อัลกอริทึมส่วนใหญ่ส่งตรง: คุณได้รับสูตรในรูปแบบปกติซึ่งเชื่อมต่อกันและพลิกตัวอักษรของอนุประโยคจนกว่าคุณจะพบวิธีแก้ปัญหาที่ตรงกับสูตรหรือถึงขีด จำกัด สูงสุดของ max_tries / max_flips และไม่พบวิธีแก้ปัญหา ฉันใช้อัลกอริทึมต่อไปนี้: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S <- instantiation of variables for j:=1 to Max_Iter do if A satisfiable by S then return S endif V <- the variable whose flip yield the most …

20 algorithms  satisfiability  3-sat 

ฉันพยายามคลุมหัวของฉันเพื่อพิสูจน์ความสมบูรณ์ของปัญหา NP ซึ่งดูเหมือนจะหมุนรอบ SAT / 3CNF-SAT อาจจะเป็นช่วงดึก แต่ฉันเกรงว่าจะนึกถึงสูตร 3CNF ที่ไม่พึงพอใจ คุณสามารถยกตัวอย่างสูตรดังกล่าวให้ฉันได้หรือไม่

15 logic  satisfiability  3-sat 

ภาพถ่าย 3SATนั้นสมบูรณ์แบบ อินสแตนซ์ภาพถ่าย 3SAT เป็นอินสแตนซ์ 3SAT ซึ่งกราฟที่สร้างขึ้นโดยใช้กฎต่อไปนี้คือภาพถ่าย: เพิ่มจุดยอดสำหรับทุกๆและ¯ x ixผมxผมx_ixผม¯xผม¯\bar{x_i} เพิ่มจุดสุดยอดสำหรับทุกข้อคJคJC_j เพิ่มขอบสำหรับทุกคู่( xผม, xผม¯)(xผม,xผม¯)(x_i,\bar{x_i}) เพิ่มขอบจากจุดสุดยอด (หรือ¯ x i ) ให้กับแต่ละจุดสุดยอดที่เป็นตัวแทนของส่วนที่มีอยู่xผมxผมx_ixผม¯xผม¯\bar{x_i} เพิ่มขอบระหว่างตัวแปรทั้งสองติดต่อกัน ( x1, x2) , ( x2, x3) , . . , ( xn, x1)(x1,x2),(x2,x3),...,(xn,x1)(x_1,x_2),(x_2,x_3),...,(x_n,x_1) โดยเฉพาะอย่างยิ่งกฎที่ 5 สร้าง "กระดูกสันหลัง" ที่แยกส่วนคำสั่งในสองภูมิภาคที่แตกต่างกัน Planar 1-in-3 SATนั้นสมบูรณ์แบบด้วยเช่นกัน ( xผม, xฉัน+ 1)(xผม,xผม+1)(x_i,x_{i+1})

14 np-complete  reductions  satisfiability  3-sat 

ฉันกำลังพยายามทำงานที่ได้รับมอบหมาย (นำมาจากหนังสืออัลกอริทึม - โดย S. Dasgupta, CH Papadimitriou และ UV Vazirani , Chap 8, ปัญหา 8.6a) และฉันถอดความสิ่งที่ระบุ: เนื่องจาก 3SAT ยังคงเป็นปัญหา NP-complete แม้ว่าจะถูก จำกัด เฉพาะสูตรที่แต่ละตัวอักษรปรากฏสูงสุดสองครั้งแสดงว่าถ้าแต่ละตัวอักษรปรากฏมากที่สุดครั้งเดียวปัญหาจะสามารถแก้ไขได้ในเวลาพหุนาม ฉันพยายามที่จะแก้ปัญหานี้โดยการแบ่งคำสั่งเป็นหลายกลุ่ม: ส่วนคำสั่งที่ไม่มีตัวแปรเหมือนกับส่วนที่เหลือของข้อ ส่วนคำสั่งที่มีเพียง 1 ตัวแปรเท่านั้น ส่วนคำสั่งที่มี 2 ตัวแปรเหมือนกัน ส่วนคำสั่งที่มีตัวแปร 3 ตัวที่เหมือนกัน เหตุผลของฉันได้พยายามตามบรรทัดที่ # ของกลุ่มดังกล่าวมี จำกัด (เนื่องจากมีข้อ จำกัด ที่กำหนดว่าไม่มีตัวอักษรอยู่มากกว่าหนึ่งครั้ง) และเราสามารถพยายามสนองกลุ่มที่ถูก จำกัด มากที่สุดก่อน (กลุ่ม 4) จากนั้นแทนที่ ส่งผลให้กลุ่มที่ถูก จำกัด …

10 complexity-theory  satisfiability  3-sat