interactive-proof-systems पर टैग किए गए जवाब

1
क्या कोई ज्ञात एएम-पूर्ण समस्याएं हैं / क्या एएम-पूर्ण अच्छी तरह से परिभाषित है?
मैं इस बात को लेकर उत्सुक हूं कि आर्थर-मर्लिन जटिलता वर्ग में कोई पूर्ण समस्याएं हैं या नहीं। ग्राफ गैर-समतावाद (जीएनआई) एएम में एक समस्या का विहित उदाहरण प्रतीत होता है , लेकिन यह शायद एक पूर्ण नहीं है। मुझे लगता है कि मैं भी सोच रहा हूं कि क्या …

2
CoNP के लिए इंटरएक्टिव सबूत
मैं इंटरेक्टिव प्रूफ सिस्टम को समझने की कोशिश कर रहा हूं और एक अभ्यास के रूप में निम्नलिखित समस्या की कोशिश की है। हम जानते हैं किPH⊆PSPACEपीएच⊆पीएसपीएसीइPH \subseteq PSPACE तथा IP=PSPACEमैंपी=पीएसपीएसीइIP=PSPACE, इसलिए साथ आओ (समझने में आसान) के लिए इंटरैक्टिव प्रूफ सिस्टम PHपीएचPH? के लिए एक इंटरैक्टिव प्रूफ सिस्टम NPNPNP …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.