बीपीपी में समस्या लेकिन आरपी या सह-आरपी में होने का पता नहीं

Question

क्या बीपीपी में होने वाली प्राकृतिक समस्या का एक उदाहरण है लेकिन यह आरपी या सह-आरपी में नहीं है?

Comments

देखें: blog.computationalcomplexity.org/2008/12/…

— Alessandro Cosentino

@AlessandroCosentino टिप्पणी -> उत्तर?

— सुरेश वेंकट

Answer 1

सुरेश के अनुरोध के बाद मेरी टिप्पणी यहां स्थानांतरित की गई।

एक प्राकृतिक समस्या का एक उदाहरण जिसके लिए हम केवल उन एल्गोरिदम को जानते हैं जिनके लिए दोनों तरफ त्रुटि की आवश्यकता होती है, निम्नलिखित हैं: तीन बीजीय सर्किट दिए गए हैं, यह तय करें कि क्या उनमें से दो समान हैं। यह इस तथ्य से आता है कि दो बीजीय सर्किट समान हैं, यह तय करना सह-आरपी में है।

संदर्भ: पोस्ट देखें कि आपकी त्रुटि के लिए कितने पक्ष हैं? (2 दिसंबर, 2008) लांस फ़ॉर्स्टन के ब्लॉग पर बहुत ही सवाल और समस्या की स्वाभाविकता के बारे में चर्चा के लिए उनकी पोस्ट के नीचे की टिप्पणियों के बारे में।

Answer 2

एक यकीनन अधिक प्राकृतिक समस्या - नहीं एक समस्या यह है कि में हो सकता है खोजने के उद्देश्य के लिए विशेष रूप से डिजाइन , और भी इतनी बारीकी में माने जाते एक समस्या से संबंधित नहीं सी ओ आर पी - [२] की समस्या २.६ से सुसज्जित है: एक प्राइम पी , पूर्णांक एन और डी को देखते हुए , और एफ पी पर एक उल्टे डी × डी मेट्रिसेस की सूची ए , ए द्वारा निर्मित समूह को ऑर्डर quot एन का एक भाग है।$\mathsf{BPP} \backslash \mathsf{RP} \cup \mathsf{coRP}$$\mathsf{coRP}$$p$$N$$d$$A$$d \times d$$\mathbb{F}_{p}$$A$$\geq N$कोई एबेलियन सामान्य उपसमूहों के साथ? [१] में यह दिखाया गया है कि यह समस्या ।$\mathsf{BPP}$

एबेलियन सामान्य उपसमूहों वाले उद्धरणों के लिए पूछते समय विलक्षण प्रतीत हो सकता है, बिना एबेलियन सामान्य उपसमूहों (कभी-कभी सेमीसिम्पल कहा जाता है) वाले समूहों का वर्ग वास्तव में समूहों के संरचना सिद्धांत के दृष्टिकोण से काफी स्वाभाविक है। [२] और उसमें सन्दर्भ देखें।

[१] एल। बाबई, आर। बील्स, ए। सीरस। मैट्रिक्स समूहों के बहुपद-समय सिद्धांत । एसटीओसी 2009।

[२] एल। बाबई, पी। कोडेनोटी, वाई। किआओ। पॉलीनोमियल-टाइम आइसोमॉर्फिज्म टेस्ट, जिसमें एबेलियन नॉर्मल सबग्रुप्स नहीं हैं । प्रकट होने के लिए, ICALP 2012।