Tsuyoshi Ito ने इस प्रश्न का उत्तर शाब्दिक रूप से दिया, लेकिन मैं MA और PCP के शब्दार्थों के बारे में टिप्पणी करना चाहता था और वे कैसे भिन्न होते हैं।
एमए एनपी का संभाव्य संस्करण है, अर्थात, सत्यापनकर्ता को पाली-कई यादृच्छिक बिट्स का उपयोग करने के लिए भी मिलता है।
पीसीपी में हम सत्यापनकर्ता की "यादृच्छिकता" का उल्लेख कर सकते हैं, लेकिन आमतौर पर यादृच्छिकता सत्यापनकर्ता के चलने के समय में लघुगणक होती है, अर्थात, सत्यापनकर्ता स्वयं द्वारा सभी संभव यादृच्छिक तारों की कोशिश कर सकता था। दूसरे शब्दों में, यह "यादृच्छिकता" एमए के मामले के विपरीत सत्यापनकर्ता को किसी भी कम्प्यूटेशनल शक्ति को नहीं खरीदती है।
[तो क्या यह "यादृच्छिकता" के लिए अच्छा है? पीसीपी की बात यह है कि संभाव्य सत्यापन के लिए एकल परीक्षण - प्रूफ के लिए प्रश्नों की एक निरंतर संख्या के साथ - प्रत्यय]
परिशिष्ट (त्सुयोशी की टिप्पणी के बाद): एनपी की पीसीपी विशेषताओं में सत्यापनकर्ता के चलने का समय पाली-लॉगरिदमिक बनाया जा सकता है, और, इसी तरह, एनईएक्सपी की विशेषताओं में वेरिफायर का चलने का समय बहुपद है। बहरहाल, आमतौर पर पीसीपी निर्माणों में यादृच्छिकता का उपयोग केवल एक परीक्षण लेने के लिए किया जाता है (एनपी की विशेषताओं में, पॉली-कई परीक्षणों से बाहर, और एनईएक्सपी के चरित्रों में, बहुत से बाहर) और गणना के साथ मदद करने के लिए नहीं। इसके अलावा, एमए में, सबूत बहुपद आकार का है, जबकि NEXP के लक्षण वर्णन में, प्रमाण घातीय आकार का है।