คำถามติดแท็ก hard-instances

Greibach กำหนดชื่อเสียงภาษา , ที่เรียกว่ารุ่น nondeterministicของD 2เช่นว่า CFL ใด ๆ ที่เป็นภาพ Morphic ผกผันของH มีคำสั่งที่คล้ายกันกับ DCFL หรืออาจมีข้อ จำกัด บางประการเกี่ยวกับสัณฐานที่ได้รับอนุญาต?HHHD2D2D_2HHH (ดูเช่น M. Autebert, J. Berstel, และ L. Boasson ภาษาที่ไม่มีบริบทและออโตมาดาวน์ในบริบทของ R. Rozenberg และ A. Salomaa, บรรณาธิการ, คู่มือของภาษาทางการ, เล่ม I, ตอนที่ 3 Springer Verlag พ.ศ. 2540)

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

กระดาษเมื่อเร็ว ๆ นี้จาก FOCS2013, Strong Backdoors to Bounded Treewidth SATโดย Gaspers และ Szeider พูดถึงการเชื่อมโยงระหว่างความน่าเชื่อถือของส่วนคำสั่ง SAT และความแข็งตัวอย่าง สำหรับการสุ่ม 3-SAT คืออินสแตนซ์ 3-SAT ที่เลือกโดยการสุ่มความสัมพันธ์ระหว่างความกังวลของกราฟประโยคและความแข็งของอินสแตนซ์คืออะไร? "ความแข็งของอินสแตนซ์" สามารถใช้เป็น "ยากสำหรับตัวแก้ SAT ทั่วไป" เช่นเวลาทำงาน ฉันกำลังมองหาคำตอบหรือการอ้างอิงสไตล์ทั้งทางทฤษฎีหรือเชิงประจักษ์ สำหรับความรู้ของฉันดูเหมือนจะไม่มีการศึกษาเชิงประจักษ์เกี่ยวกับเรื่องนี้ ฉันรู้ว่ามีวิธีที่แตกต่างกันบ้างในการสร้างกราฟประโยค SAT แต่คำถามนี้ไม่ได้เน้นไปที่ความแตกต่าง บางทีคำถามที่เกี่ยวข้องอย่างเป็นธรรมชาติคือความกังวลของกราฟส่วนเกี่ยวข้องกับการเปลี่ยนเฟส 3-SAT

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

ฉันสนใจตัวอย่างที่ชัดเจนของกราฟที่ใช้อัลกอริทึมของ Goemans และ Williamson ในการประมาณค่าการตัดสูงสุดใน 0.878 ... -approximation factor อัลกอริทึมในการสร้างอินสแตนซ์ดังกล่าวน่าจะสมบูรณ์แบบตัวอย่างและการอ้างอิงที่น่าพอใจ

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

ฉันสนใจปัญหาอินสแตนซ์ของ NP ที่สมบูรณ์ ไรอันวิลเลียมส์กล่าวถึงปัญหา SAT0 ที่บล็อกของริชาร์ดลิปตัน SAT0 ถามว่าอินสแตนซ์ SAT มีโซลูชันเฉพาะซึ่งประกอบด้วย 0 ทั้งหมดหรือไม่ นี่ทำให้ฉันคิดถึงการสร้างอินสแตนซ์ SAT ที่น่าจะ "ยาก" พิจารณาตัวอย่าง SAT กับเมตรข้อและnตัวแปรที่α = เมตร/ nคือ "มากพอ" ในแง่ที่ว่ามันตกอยู่ในภูมิภาคเกินช่วงหัวเลี้ยวหัวต่อที่เกือบทุกกรณีมี unsatisfiable ให้xเป็นสุ่มมอบหมายให้เป็นค่าของφφϕ\phiม.mmnnnα = m / nα=ม./n\alpha = m/nxxxφφ\phi เป็นไปได้หรือไม่ที่จะแก้ไขเพื่อรับอินสแตนซ์ใหม่ϕ | xดังนั้นϕ | xคือ "คล้ายกันมาก" กับϕแต่xนั้นเป็นคำตอบที่น่าพอใจสำหรับϕ | x ?φφ\phiϕ | xφ|x\phi|xϕ | xφ|x\phi|xφφ\phixxxϕ | xφ|x\phi|x ตัวอย่างเช่นเราอาจลองเพิ่มแต่ละประโยคตามตัวอักษรที่เลือกแบบสุ่มจากโซลูชันซึ่งไม่ได้เกิดขึ้นในประโยค นี่จะรับประกันได้ว่าเป็นคำตอบxxx …

10 cc.complexity-theory  sat  hard-instances