ระดับความซับซ้อนที่เกี่ยวข้องกับการค้นหาอย่างละเอียด

คลาสความซับซ้อนเกี่ยวข้องกับอัลกอริธึมการค้นหาที่ละเอียดถี่ถ้วนอย่างไร (ถ้ามี)

มันเป็น NP หรือ PSPACE

มีการ จำกัด รูปแบบการคำนวณเพื่อจับภาพคลาสของอัลกอริธึมการค้นหาที่ละเอียดถี่ถ้วนซึ่งคล้ายกับโมเดลสำหรับการโปรแกรมแบบโลภและแบบไดนามิกหรือไม่?

มันค่อนข้างคลุมเครือ แต่ฉันชอบคำถาม ฉันเขียนบทความเกี่ยวกับเรื่องนี้เป็นเวลานานแล้ว บางทีนี่อาจช่วยผู้ถามที่ไม่เปิดเผยตัว:

Brute Force Search และการคำนวณบนพื้นฐานของ Oracle

นี่คือบทสรุป อย่างไม่เป็นทางการถ้าคุณไม่ให้การทำงานของรอยขีดข่วนใด ๆ จากการทดลองก่อนหน้านี้และเพียงแค่พยายามแก้ปัญหาที่เป็นไปได้ทั้งหมดเพื่อ lexicographical จนกว่าจะมีวิธีการแก้ปัญหาที่ต้องการพบแล้วกำลังดุร้ายสอดคล้องแม่นยำเพื่อ{} หากคุณรักษารอยขีดข่วนไว้ประมาณบิตจากวิธีแก้ปัญหาเดียวที่เป็นไปได้ต่อไปคุณสามารถทำผ่านทฤษฎีบทของ Barrington มีความเป็นไปได้อื่น ๆ เช่นเกิดอะไรขึ้นเมื่อคุณไม่ได้ทำงานตามลำดับ lex แต่อ้างอิงจากรายการที่คำนวณได้อย่างมีประสิทธิภาพอื่น ๆ ของสตริงทั้งหมด$P^{NP}$$3$$PSPACE$

[ คำเตือนคำเตือนคำเตือน: มีโอกาสที่ฉันไม่เห็นด้วยกับความคิดเห็นเกือบทั้งหมดที่ระบุไว้ในเอกสารนี้ มันถูกเขียนขึ้นเมื่อประมาณ 10 ปีที่แล้วโดยคนที่มีชื่อเหมือนกัน ]