คำถามติดแท็ก satisfiability

ฉันเป็นนักเรียนมัธยมปลายที่สนใจด้านวิทยาศาสตร์คอมพิวเตอร์ ฉันพัฒนาอัลกอริทึมที่ยอดเยี่ยมสำหรับ #SAT และฉันกำลังใช้งานและทำโครงงานวิทยาศาสตร์ที่เป็นธรรม ที่ปรึกษาของฉันซึ่งเป็นครูสอนวิทยาศาสตร์ที่ดีที่สุดในโรงเรียนของฉันและยังเป็นอาจารย์ AP Comp Sci บอกฉันว่าเธอไม่รู้ว่าโครงการของฉันเป็นอย่างไรและฉันต้องอธิบายเหตุผลสั้น ๆ ว่าทำไม #SAT ถึงเป็น สำคัญในภายใต้ 5 นาที ฉันบอกเธอว่า SAT ลดเหลือ #SAT และพยายามอธิบายว่าทำไม SAT ถึงสำคัญ: ฉันให้ตัวอย่างปัญหา NP แก่เธออธิบายว่าปัญหาใน NP ลดเป็น SAT และอธิบายว่าด้วยการค้นหาแบบไบนารีคุณสามารถลดปัญหาการหาค่าเหมาะที่สุดให้กับ SAT ได้ ซึ่งช่วยให้คุณพับโปรตีนและสร้างแบบจำลอง AI ที่ทรงพลัง น่าเสียดายที่เธอไม่เข้าใจฉันเลย คุณช่วยชี้ให้ฉันหน่อยได้ไหม? ป.ล. ที่ปรึกษาของฉันถามฉันว่าปัญหาที่มีประโยชน์ลดลงเป็น #SAT ที่ไม่ลดลงถึง SAT (สมมติว่าปัญหาบางอย่างใน #P นั้นยากกว่ารุ่น NP ที่สอดคล้องกัน) ทั้งหมดที่ฉันสามารถหาได้คือการหาจำนวนโมเดลสำหรับชุดข้อมูลที่กำหนดนั้นดีกว่าโมเดลที่ระบุ (สมมติว่าพารามิเตอร์แต่ละตัวของโมเดลนั้นเล็กกว่าจำนวนบิตที่กำหนด) ฉันค้นหาคนอื่นบนเว็บ …

9 algorithms  satisfiability 

Valiant & Vazirani พิสูจน์แล้วว่า SAT สามารถลดลงเป็น UNIQUE SAT ได้ภายใต้การลดความน่าจะเป็นแบบสุ่มในเวลาพหุนาม Calabro et al, แสดงให้เห็นว่า UNIQUE k-SAT นั้นยากเหมือน k-SAT ตอนนี้คำถามคือถ้ามีคนแสดงให้เห็นว่า UNIQUE k-SAT อยู่ใน P มันหมายถึง P = NP หรือไม่? อ้างอิง LG Valiant และ VV Vazirani "NP นั้นง่ายเหมือนการตรวจหาโซลูชันที่ไม่เหมือนใคร" ทฤษฎีวิทยาศาสตร์คอมพิวเตอร์ 47: 85–93, 1986. ( PDFทางวิทยาศาสตร์โดยตรง) C. Calabro, R. Impagliazzo, V. Kabanets และ R. Paturi, …

9 complexity-theory  satisfiability  p-vs-np 

ฉันสงสัยว่าปัญหานี้มีชื่อ: ให้กราฟง่าย ๆ ที่มีขอบเป็นสีแดงน้ำเงินและเขียวมีจุดยอดสีเช่นนั้น ขอบทุกอันมีจุดปลายที่มีสีเดียวกันG=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} นอกจากนี้ยังเป็นที่รู้จักกันว่าเป็น NP-complete? สิ่งนี้สามารถถูกมองว่าเป็นกรณีพิเศษของ CSP (หรือการวางนัยทั่วไปของ 2SAT) โดยที่แต่ละข้อ จำกัด เป็นการแยกความแตกต่างของตัวแปร 2 ตัวที่สามารถรับหนึ่งในสามค่าและไม่มีข้อ จำกัด สองประการในคู่ตัวแปรเดียวกัน

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

ปล่อย LεLϵL_\epsilon เป็นภาษาของทั้งหมด 222สูตร -CNF φφ\varphiอย่างน้อยที่สุด (12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon) ของ φφ\varphiข้อของพอใจ ฉันต้องพิสูจน์ว่ามีอยู่จริง ϵ′ϵ′\epsilon' เซนต์ LϵLϵL_\epsilon คือ NPNP\mathsf{NP}- ยากสำหรับใด ๆ ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon'. เรารู้ว่า Max2SatMax2Sat\text{Max}2\text{Sat} สามารถประมาณ 55565556\frac{55}{56} ร้อยละของอนุประโยคจาก Max3SatMax3Sat\text{Max}3\text{Sat}การลดลง ฉันจะแก้ปัญหานี้ได้อย่างไร

9 complexity-theory  satisfiability  approximation