क्या कई ओरेकल टेप के साथ ट्यूरिंग मशीनों के लिए एक निश्चित संदर्भ है?


10

अधिकांश साहित्य विशिष्ट समस्याओं के लिए एकल oracles के साथ मशीनों से संबंधित प्रतीत होता है, हालांकि कुछ कागजात प्रतीत होते हैं जो कई oracles के साथ मशीनों पर विचार करते हैं। क्या एक अच्छा पेपर या थीसिस है जो इस तरह की मशीनों के बारे में जाना जाता है? विशेष रूप से मैं कई oracles के साथ P में रुचि रखता हूं।


3
यदि आप केवल oracles का एक परिमित संख्या N चाहते हैं, तो आप यह इंगित करने के लिए कि कौन सा उप-भाग क्वेरी करना चाहते हैं, यह इंगित करने के लिए यौगिक oracle के पहले लॉग (N) बिट्स का उपयोग करके एक N-in-1 यौगिक oracle परिभाषित कर सकता है। क्या मैं कुछ भूल रहा हूँ?
नील डी बेउड्राप

हां, मैंने ऐसा सोचा था। हालाँकि, मुझे oracles के विशिष्ट सेटों में दिलचस्पी है, और इसलिए उन्हें एक यौगिक वस्तु के रूप में अलग से विचार करना अधिक स्वाभाविक लगता है। मैंने सोचा कि शायद इस दिशा में कुछ अच्छे परिणाम मिल सकते हैं।
जो फिट्जसिमों

1
बस जिज्ञासा के लिए, क्या कई ओरेकल एकल ऑर्किल मशीन के संबंध में अधिक कम्प्यूटेशनल शक्ति जोड़ते हैं? यह मुझे प्रतीत होता है कि नहीं, क्योंकि आप केवल उच्चतम जटिलता वर्ग में भाषा के अनुरूप अलंकरण लेते हैं। इसके अलावा, ओरेकल की एक निश्चित संख्या होने से मशीन स्थिर हो जाएगी।
मार्कोस विलगरा

1
मैं मार्कोस की टिप्पणी के साथ दूसरों के लिए सबसे मजबूत तांडव के बारे में हूं .. लेकिन मुझे आपकी दिलचस्पी अब ध्यान में है!
डैनियल अपॉन

1
क्या आप असीम रूप से कई oracles की अनुमति देने के बारे में सोच रहे हैं, जहां TM को क्वेरी करने के लिए कौन सा ओरेकल चुनने की अनुमति है? इस तरह के एक सेटअप के साथ ऑरकल्स के एक सेट के बीच एक दिलचस्प अंतर हो सकता है जिसमें प्रत्येक कड़ाई से किसी अन्य ऑरेकल क्यू, और क्यू से ही कमजोर था।
आंद्रेस सलामोन

जवाबों:


5

यहाँ क्रिप्टोग्राफी से प्रेरित एकल बनाम एकाधिक oracles के बीच अंतर करने वाला एक और हालिया पेपर है:

डोनाल्ड बीवर और जोन फेगनबाम। बहु-स्तरीय प्रश्नों में उदाहरणों को छिपाना । एसटीएसीएस 1990. कंप्यूटर साइंस में स्प्रिंगर लेक्चर नोट्स, वॉल्यूम 415/1990, 37-48, डीओआई: 10.1007 / 3-540-52282-4_30


बस एक सवाल है, मुझे लगता है कि बहु-अवधारणा की अवधारणा केवल तभी समझ में आती है जब कुछ (कथित) सुरक्षा कारणों से oracles को एक-दूसरे में नहीं तोड़ा जा सकता है?
अहमद मसूद

3

यहाँ एक पुराना पेपर है जो आपको मददगार लग सकता है: MIT ( PDF ) में नैन्सी लिंच द्वारा एकाधिक ओरेकल टेप के साथ लॉगस्पेस मशीनें । विशेष रूप से प्रमेय 2.2, पीडीएफ-पेज 5 पर, उस प्रकार का हो सकता है जिसे आप खोज रहे हैं। प्रति मशीन ओरेकल टेप के विभिन्न नंबरों द्वारा परिभाषित पदानुक्रम पर एक खंड भी है।

इस तथ्य के बाद अस्वीकरण: एक समान प्रश्न जैसा दिखता है और (इससे भी अधिक समान) उत्तर यहां दिया गया था ।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.