2
มีการอธิบายความซับซ้อนเชิงพรรณนาของคลาสความซับซ้อนควอนตัมหรือไม่
ชื่อมากขึ้นหรือน้อยลงจะพูดทั้งหมด แต่ฉันเดาว่าฉันสามารถเพิ่มพื้นหลังเล็กน้อยและตัวอย่างเฉพาะที่ฉันสนใจ นักทฤษฎีความซับซ้อนเชิงพรรณนาเช่น Immerman และ Fagin มีลักษณะของคลาสความซับซ้อนที่เป็นที่รู้จักมากที่สุดโดยใช้ตรรกะ ตัวอย่างเช่น NP สามารถกำหนดลักษณะได้ด้วยแบบสอบถามที่มีอยู่ลำดับที่สอง P สามารถระบุลักษณะด้วยคิวรีแบบลำดับแรกที่มีตัวดำเนินการจุดคงที่น้อยที่สุด คำถามของฉันคือ: มีความพยายามใด ๆ โดยเฉพาะอย่างยิ่งความสำเร็จที่เกิดขึ้นกับการเป็นตัวแทนดังกล่าวสำหรับคลาสความซับซ้อนของควอนตัมเช่น BQP หรือ NQP หรือไม่? ถ้าไม่ทำไมไม่ ขอขอบคุณ. Update (ผู้ดูแล) : คำถามนี้ตอบอย่างสมบูรณ์โดยการโพสต์เกี่ยวกับเรื่องนี้ mathoverflow