सैद्धांतिक कंप्यूटर विज्ञान

संबंधित क्षेत्रों में सैद्धांतिक कंप्यूटर वैज्ञानिकों और शोधकर्ताओं के लिए प्रश्नोत्तर

2
इस धारणा के तहत सहानुभूति है कि
यह ज्ञात है कि अगर तो बहुपद पदानुक्रम यह संक्षिप्त हो Σ पी 2 और एम ए = ए एम ।NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM क्या सबसे मजबूत करता है, तो होना ही जाना जाता गिर रहे हैं ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

2
क्या ALogTime! = PH (और अज्ञात) साबित करने के लिए कठिन है?
लांस फोर्टेन ने हाल ही में दावा किया है कि एल! = एनपी पी साबित करने से आसान होना चाहिए! = एनपी : लॉगरिदमिक स्पेस से एनपी को अलग करें। मैंने 2001 के पूर्व- सर्वेक्षण में विकर्णीकरण (धारा 3) पर चार दृष्टिकोण दिए थे, हालांकि किसी ने भी बाहर नहीं …

1
राबिन की "एक समारोह की गणना की कठिनाई, और पुनरावर्ती सेटों का आंशिक क्रम"
मैं खोज रहा हूँ: माइकल ओ। राबिन, "एक समारोह की गणना की कठिनाई की डिग्री, और पुनरावर्ती सेटों का आंशिक आदेश", हिब्रू विश्वविद्यालय, यरूशलेम, 1960 सारांश: “हम किसी दिए गए कम्प्यूटेबल (पुनरावर्ती) फ़ंक्शन की गणना के कार्य में निहित कार्य की मात्रा को मापने का प्रयास करते हैं। कंप्यूटिंग की …

2
आप सुसंगत रिक्त स्थान के पीछे एक अंतर्ज्ञान की व्याख्या कर सकते हैं?
रैखिक तर्क का सुसंगत रिक्त स्थान का उपयोग करके व्याख्या की गई है , और वे गिरार्ड के पत्रों में प्रमुखता से शामिल हैं। मैं औपचारिक रूप से उन्हें परिभाषित करने के लिए सभी तीन मुख्य तरीके जानता हूं, और वे वास्तव में उपयोग करने और सामान को साबित करने …

3
स्वयंसिद्ध सीआईसी के विस्तार के नकारात्मक परिणाम क्या हैं?
क्या यह सच है कि सीआईसी में स्वयंसिद्ध जोड़ने से परिभाषाओं और प्रमेयों की कम्प्यूटेशनल सामग्री में नकारात्मक प्रभाव पड़ सकता है? मुझे लगता है कि समझ में सिद्धांत के सामान्य व्यवहार में, किसी भी बंद अवधि अपनी विहित सामान्य रूप, जैसे करने के लिए कम हो जाएगा अगर, सत्य …

4
रैखिक समीकरणों की एक प्रणाली के लिए सबसे कम समाधान खोजना
रैखिक समीकरणों की एक प्रणाली के लिए सबसे मुश्किल समाधान खोजना कितना कठिन है? अधिक औपचारिक रूप से, निम्नलिखित निर्णय समस्या पर विचार करें: उदाहरण: पूर्णांक गुणांक और संख्या साथ रैखिक समीकरणों की एक प्रणाली ccc। प्रश्न: क्या शून्य के लिए कम से कम ccc चर के साथ प्रणाली का …

2
चर्च-रोसेर संपत्ति निर्भरता से टाइप किए गए लैम्ब्डा कैलकुलस के लिए?
यह अच्छी तरह से ज्ञात है कि चर्च-Rosser संपत्ति के लिए रखती है -Reduction में बस-टाइप लैम्ब्डा पथरी। इसका मतलब है कि पथरी अनुरूप है, इस अर्थ में कि शामिल नहीं सभी समीकरणों में λ -नियम व्युत्पत्ति हैं: उदाहरण के लिए, कश्मीर ≠ मैं , क्योंकि वे एक ही सामान्य …

1
SETH का MA संस्करण कैसे गलत साबित हुआ है?
इस पत्र के अनुसार , जो सशक्त घातांक समय परिकल्पना (SETH) के एक nondeterministic विस्तार पर चर्चा करता है , "[…] विलियम्स ने हाल ही में k-TAUT के मर्लिन-आर्थर जटिलता के बारे में संबंधित परिकल्पना को दिखाया है"। हालांकि, वह कागज केवल एक व्यक्तिगत संचार का हवाला देता है। SETH …

1
सबसे कम कई-एक कमी?
हम साबित होता है कि एक चाहते हैं है एन पी -Complete, तो मानक दृष्टिकोण एक ज्ञात का एक बहुपद समय गणना कर सका कई-एक कमी प्रदर्शन करने के लिए है एन पी के -Complete समस्या एल । इस संदर्भ में हमें कमी के चल रहे समय पर कड़े बंधन …

1
रेखांकन की संरचना जो एक प्रेरित ग्राफ के रूप में चार कोने पर एक परिपूर्ण मिलान को बाहर करती है
मुझे ग्राफ़ के वर्ग की संरचना को समझने में दिलचस्पी है कि चार वर्टिक्स पर कोई वर्टेक्स प्रेरित सबग्राफ नहीं है जो कि एक परिपूर्ण मिलान है। किसी भी चार कोने के लिए अलग तरह से कहा गया है एक , ख , ग , d में जी करता है, …

2
लेबल किए गए DAG का न्यूनतम रूप से न्यूनतम टोपोलॉजिकल प्रकार
उस समस्या पर विचार करें, जहां हमें इनपुट एसाइक्लिक ग्राफ G=(V,E)G=(V,E)G = (V, E) , V से एक लेबलिंग फ़ंक्शन λλ\lambda है जो कुल ऑर्डर < L (उदाहरण के लिए, पूर्णांक) के साथ कुछ सेट L पर है , और जहां हमें पूछा जाता है λ के संदर्भ में लेक्सिकोग्राफिक …

2
ट्यूरिंग मशीन के संदर्भ में mP / पाली की एक समान परिभाषा क्या है?
P / Poly बहुपद-आकार बूलियन सर्किट के एक परिवार द्वारा हल की जाने वाली निर्णय समस्याओं का वर्ग है। यह वैकल्पिक रूप से एक बहुपद-समय ट्यूरिंग मशीन के रूप में परिभाषित किया जा सकता है जो एक सलाह स्ट्रिंग प्राप्त करता है जो n में बहुपद है और यह केवल …

1
दूसरा सबसे छोटा
क्या एक प्रवाह नेटवर्क में दूसरे सबसे छोटे - t -cut के बारे में कुछ भी ज्ञात है ? या, अधिक सामान्य, इस समस्या के बारे में:रोंssटीtt इनपुट: एक नेटवर्क और एक नंबर k , सभी बाइनरी में। आउटपुट: एक k वें सबसे छोटा s - t कट।एनNNकkkकkkरोंssटीtt एक वें …

2
श्रेणी सिद्धांत और पार्सर्स - संदर्भ चाहते थे
चूंकि मुझे पार्सर्स में दिलचस्पी है (मुख्य रूप से पार्सर अभिव्यक्ति व्याकरण में), मैं सोच रहा हूं कि क्या कुछ काम है जो पार्सिंग का एक श्रेणीबद्ध उपचार देता है। श्रेणी सिद्धांत के पार्सिंग के अनुप्रयोगों पर किसी भी संदर्भ की बहुत सराहना की जाती है। श्रेष्ठ,

2
सम-वर्ग वर्गों में संख्यात्मक परिशुद्धता?
मैं बराक एंड स्टेयूर के सर्वेक्षण और बराक के व्याख्यान नोट्स से राशि-वर्ग विधि (एसओएस) के बारे में थोड़ा पढ़ रहा हूं । दोनों मामलों में वे गलीचा के नीचे संख्यात्मक सटीकता के मुद्दों को स्वीप करते हैं। विधि की मेरी (सीमित रूप से सीमित) समझ से, निम्नलिखित सत्य होना …

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