💻 علوم الحاسوب
Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy
تُثبت هذه الورقة أنه، بالنسبة إلى أوراكل كلاسيكي، يمكن لمُتحقق كلاسيكي يعمل في وقت متعدد الحدود أن يتحقق بكفاءة من لغة تتجاوز الهرم متعدد الحدود الذي يقرره مُثبت يعمل بوقت كمي متعدد الحدود باستخدام نظام إثبات تفاعلي ذي عملات عامة، وذلك من خلال متغير جديد لأخذ عينات فوريه المتكرر ونظرية تحويل جديدة تتغلب على قيود ليمّا التبديل لهستاد.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.