मेरा पहला सवाल यह है कि क्या एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन सभी क्लासिक जटिलता वर्गों के लिए जाना जाता है। मैं P, NP, PSPACE, EXP, NEXP, EXPSPACE, पुनरावर्ती और पुनरावर्ती असंख्य कार्यों को क्लासिक (अन्य के बीच) कहूंगा। विशेष रूप से, एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन है जिसे पुनरावर्ती और पुनरावर्ती रूप से उल्लेखनीय कार्यों के लिए जाना जाता है?
मैं केवल उस IP = PSPACE और उस MIP = NEXPTIME को जानता हूं। `पता 'से तात्पर्य है कि मैं समानता के दोनों ओर की वस्तुओं की परिभाषा को समझता हूँ और संभवतः समानता को समझता हूँ।
मेरा दूसरा सवाल यह है कि क्या विभिन्न प्रकार के संवादात्मक प्रूफ सिस्टमों की एक चित्रमय सारांश और वे जिस जटिलता वर्गों की विशेषता रखते हैं।
विशेष रूप से, मैं इम्मेरमैन के वर्णन जटिलता जटिलता के चित्र के समान आकृति का संदर्भ चाहूंगा ।