أثبت الباحثون أن QMA=QMA1، مما يُظهر أن أنظمة البرهان الكمية من نوع ميرلين-آرثر يمكنها تحقيق اكتمال كامل دون التضحية بالقوة الحسابية باستخدام مجموعة بوابات عامة تتكون من بوابات Hadamard و Toffoli و X.
@informaq-ar.bsky.social@informaq-ar.bsky.social