oracles पर टैग किए गए जवाब

परिभाषित करें ioioio - भाषाओं के वर्ग होने के लिए एक भाषा है ऐसा है कि और असीम कई के लिए , और लंबाई सभी उदाहरणों पर सहमत हैं । (अर्थात्, यह भाषाओं का वह वर्ग है, जिसे "प्रायः प्रायः, प्रायः समय पर हल किया जा सकता है")।एल एल ' …

30 cc.complexity-theory  sat  oracles 

बहुत सारे डोमेन में, कैनोनिकल तकनीकें हैं जो क्षेत्र में काम करने वाले प्रत्येक व्यक्ति को मास्टर करनी चाहिए। उदाहरण के लिए, लॉगस्पेस रिडक्शन के लिए, कंपोजिशन के लिए "बिट ट्रिक" जिसमें सम्‍मिलित फंक्शन का पूरा आउटपुट नहीं होता है, लेकिन हमेशा आउटपुट के हर बिट के लिए रिजल्ट रिक्‍वेस्‍ट …

28 cc.complexity-theory  oracles  relativization 

सामान्य तौर पर, एक ओरेकल के लिए क्वेरी-टेप एक टीएम की अंतरिक्ष-जटिलता की ओर गिना जाता है। हालांकि, यह केवल लिखने योग्य ऑरेकल-टेप (जैसे एल-स्पेस रिडक्शन में उपयोग किया जाता है) की अनुमति देने के लिए प्रशंसनीय लगता है। क्या ऐसा निर्माण उपयोगी है? क्या यह किसी विशेष रूप से …

20 cc.complexity-theory  space-bounded  oracles 

मैं सिर्फ पढ़ने " गुणन पूर्णांक एक एन पी-सम्पूर्ण समस्या है? " सवाल ... इसलिए मैं अपने प्रतिष्ठा के कुछ :-) एक और सवाल पूछ खर्च करने का फैसला QQQ होने :P(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 यदि एक ऐसा अणु है जो पूर्णांक गुणन को हल …

19 cc.complexity-theory  oracles  factoring 

खैर, शीर्षक बहुत यह सब कहते हैं। उपरोक्त दिलचस्प सवाल मेरे ब्लॉग पर टिप्पणीकर्ता जे द्वारा पूछा गया था ( यहां और यहां देखें )। मैं दोनों का अनुमान लगा रहा हूं कि इसका उत्तर हां है और यह एक अपेक्षाकृत सरल प्रमाण है, लेकिन मैं इसे बंद नहीं देख …

18 computability  oracles  random-oracles 

मान लीजिए एक निरंतर डिग्री वाला पेड़ है जिसकी संरचना हमें नहीं पता है। समस्या उत्पादन के लिए पेड़ है प्रपत्र के प्रश्नों पूछकर: "नोड करता है नोड से पथ पर झूठ नोड के लिए ?"। मान लें कि प्रत्येक क्वेरी का जवाब निरंतर समय में एक ओरेकल द्वारा दिया …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

पृष्ठभूमि यह ज्ञात है कि वहाँ एक ओरेकल मौजूद है जैसे कि, पी एस पी ए सी ई ई ए that पी एच ए ।AAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A यह भी ज्ञात है कि पृथक्करण यादृच्छिक यादृच्छिक के सापेक्ष होता है। अनौपचारिक रूप से, इसका अर्थ यह हो सकता है कि कई …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

माइक और इके की "क्वांटम कम्प्यूटेशन और क्वांटम सूचना" में, ग्रोवर के एल्गोरिथ्म को बहुत विस्तार से समझाया गया है। हालांकि, पुस्तक में, और ग्रोवर के एल्गोरिथ्म के लिए मैंने ऑनलाइन सभी स्पष्टीकरणों में पाया है कि ग्रोवर के ओरेकल का निर्माण कैसे किया जाता है, इसका कोई उल्लेख नहीं …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

जटिलता सिद्धांत में ओरेकल होने का सबसे आम तरीका इस प्रकार है: एक निश्चित ऑरेकल को कुछ सीमित संसाधनों के साथ एक ट्यूरिंग मशीन उपलब्ध कराई जाती है, और एक अध्ययन करता है कि ऑरेकल मशीन की कम्प्यूटेशनल शक्ति को कैसे बढ़ाता है। हालांकि, एक और तरीका है जिसमें कभी-कभी …

14 cc.complexity-theory  oracles 

राफेल पास लिखते हैं, "कॉमन रेफरेंस स्ट्रिंग एंड रैंडम ओरेकल मॉडल में डेनबिलिटी पर" शीर्षक से एक पेपर में: हम ध्यान दें कि जब आरओ [रैंडम ओरेकल] मॉडल में मानक शून्य-ज्ञान की परिभाषा के अनुसार सुरक्षा साबित करते हैं, तो सिम्युलेटर को एक सादे मॉडल सिम्युलेटर पर दो फायदे हैं, …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

सीधे शब्दों में कहें: oracles के साथ ट्यूरिंग मशीनों, और oracles के साथ समान सर्किट परिवारों के बीच क्या पत्राचार है? किसी दिए गए ओरेकल ट्यूरिंग मशीन के लिए समान कम्प्यूटेशनल मॉडल प्राप्त करने के लिए उत्तरार्द्ध को कैसे परिभाषित किया जाता है? यह एक प्रारंभिक प्रश्न हो सकता है, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

हॉल्टिंग समस्या को सर्वविदित होने के लिए जाना जाता है। हालांकि, हॉल्टिंग समस्या के बारे में जानकारी को "संपीड़ित" करना संभव है, ताकि डिकम्प्रेसिंग यह कम्प्यूटेशनल हो। अधिक सटीक रूप से, ट्यूरिंग मशीनों के विवरण से गणना करना संभव है और एक एन -बिट सलाह राज्य के सभी 2 एन …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

क्या एन पीएन पी∩सी ओ एन पी= एन पीएनपीएनपी∩सीओएनपी=एनपी\mathsf{NP^{NP \,\cap\, coNP}=NP}पकड़? जाहिर एन पीएन पी≠ एन पीएनपीएनपी≠एनपी\mathsf{NP^{NP}\neq NP} , लेकिन मुझे लगता है कि एन पी ∩ सी ओ एन पीएनपी∩सीओएनपी\mathsf{NP\cap coNP} जो बनाता है मुझे विश्वास है कि यह सच है "नियतात्मक" है। क्या कोई सरल प्रमाण है (या …

12 cc.complexity-theory  complexity-classes  oracles 

मैं बुहरमैन और होमर का एक पेपर पढ़ रहा था " सुपरपोलिनोमियल सर्किट्स, लगभग स्पार्स ओरकल्स और एक्सपोनेंशियल हायरार्की" । पृष्ठ 2 के तल पर वे टिप्पणी करते हैं कि कन्नन के परिणामों का अर्थ है कि NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} में बहुपद आकार के सर्किट नहीं हैं। मुझे पता है कि घातीय …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

ग्रेग कुपरबर्ग द्वारा जटिलता जूलॉजी में कहा गया है कि एक भाषा ऐसी है जिसमें - दूसरे शब्दों में, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - लेकिन इस परिणाम का संदर्भ नहीं देता है। यह पकड़ क्यों है? या प्रमाण …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation