Exact Quantum Circuit Optimization is co-NQP-hard
تُثبت هذه الورقة أن مشكلة التحسين الدقيق للدوائر الكمومية لتقليل الموارد مثل عدد البوابات، أو العمق، أو أنواع بوابات محددة (بما في ذلك البوابات غير كليفورد، وبوابات التراكب، وبوابات التشابك) هي مسألة من فئة co-NQP-hard، مما يضعها خارج التسلسل الهرمي متعدد الحدود ما لم ينهار هذا التسلسل.