この記事では、非負振幅を持つ非絡み合った量子証明に焦点を当て、QMA+(2)プロトコルの重要性が強調されています。複数の未絡み合った量子証明による新しい定数ギャッププロトコルは、NEXPへの効率的なアクセスと理解を提供します。これらのプロトコルは、指数的に大きなオブジェクトを効率的かつ具体的な形式で操作することで、定数ギャップと多項式時間検証を同時に達成します。
לשפה אחרת
מתוכן המקור
arxiv.org
תובנות מפתח מזוקקות מ:
by Fernando Gra... ב- arxiv.org 03-01-2024
https://arxiv.org/pdf/2402.18790.pdfשאלות מעמיקות