ปัญหา:จากแสดงโดยวงจรบูลีนสร้างสุ่มแบบสุ่มx ∈ { 0 , 1 } nเช่นนั้นϕ ( x ) = 1 (หรือเอาท์พุท⊥ถ้าไม่มีเช่นนั้นมีx )
เห็นได้ชัดว่าปัญหานี้เกิดจาก NP-hard คำถามของฉันคือว่าปัญหานี้เป็น "NP-easy" หรือไม่:
คำถาม:มีอัลกอริธึมที่แก้ปัญหาข้างต้นในพหุนามเวลาในและขนาดวงจรของϕ ที่ให้การเข้าถึง SAT oracle หรือไม่?
อีกวิธีหนึ่งมีขั้นตอนวิธีพหุนามเวลาสมมติว่า NP = P?
เห็นได้ชัดว่ามีการเข้าถึง #SAT oracle เพียงพอสำหรับความซับซ้อนดังนั้นความซับซ้อนอยู่ระหว่าง NP และ #P
ฉันรู้สึกว่าควรได้รับการศึกษามาก่อน แต่ฉันไม่พบคำตอบใน Google
ฉันรู้วิธีแก้ปัญหาโดยประมาณ (เช่นสร้างการมอบหมายที่น่าพอใจที่ใกล้เคียงกับสถิติ) โดยใช้ตัวแปรของทฤษฎีบท Valiant-Vazirani และ / หรือการนับโดยประมาณ