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

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

1
Treewidth पर पैथोलोजी के अल्गोरिदमिक फायदे
ट्रेविटिथ एफपीटी एल्गोरिदम में एक महत्वपूर्ण भूमिका निभाता है, क्योंकि कई समस्याएं एफपीटी को ट्रेविद द्वारा मानकीकृत किया जाता है। एक संबंधित, अधिक प्रतिबंधित, धारणा यह है कि पथ-प्रदर्शक है। यदि किसी ग्राफ़ में पाथवॉलेशन , तो इसमें अधिकांश k पर treewidth भी है , जबकि विपरीत दिशा में, treewidth …

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

2
लंबे समय तक चलने वाले अनुमान बाद में एक निहितार्थ द्वारा तुच्छ साबित हुए
मैं जानना चाहता हूं कि क्या ऐसे अनुमान हैं जो लंबे समय से टीसीएस में अप्रमाणित हैं, जो बाद में एक अन्य प्रमेय से निहितार्थ द्वारा सिद्ध किए गए थे, जो कि साबित करना आसान हो सकता है।

3
बंधे हुए त्रिभुज के ग्राफ़ पर कठिन वैश्विक समस्याओं से आसान वैश्विक समस्याओं को क्या अलग करता है?
बाउंड्री ट्रेविदथ के ग्राफ पर बहुपद समय में हार्ड ग्राफ की कई समस्याएं हल करने योग्य हैं । दरअसल, पाठ्यपुस्तकें आमतौर पर उदाहरण के रूप में सेट इंडिपेंडेंट का उपयोग करती हैं, जो एक स्थानीय समस्या है । मोटे तौर पर, एक स्थानीय समस्या एक समस्या है जिसके समाधान को …

5
क्या उल्लेखनीय ऑटोमेटन मॉडल में बहुपद-अवनयन योग्य समाकलन है?
मैं एक विशेष समस्या को हल करने की कोशिश कर रहा हूं, और मैंने सोचा कि मैं इसे ऑटोमेटा सिद्धांत का उपयोग करके हल करने में सक्षम हो सकता हूं। मैं सोच रहा हूँ, बहुपद समय में ऑटोमेटा के कौन से मॉडल निर्णायक हैं? यानी अगर आप मशीन है आप …

2
एक अनंत प्रकार की पदानुक्रम क्यों?
Coq, Agda, और Idris में एक अनंत प्रकार की पदानुक्रम है (टाइप 1: टाइप 2: टाइप 3: ...)। लेकिन यह λC की तरह क्यों नहीं है, लैंबडा क्यूब में सिस्टम जो निर्माणों की गणना के सबसे करीब है, जिसमें केवल दो प्रकार हैं, ∗∗* और , और ये नियम?◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac …

2
इनपुट के एक छोटे से हिस्से को छोड़कर कुशल समाधान के साथ समस्याएं
ट्यूरिंग मशीनों के लिए रुकने की समस्या शायद विहित अविशिष्ट सेट है। फिर भी, हम साबित करते हैं कि एक एल्गोरिथ्म है जो इसके लगभग सभी उदाहरणों को तय करता है। इसलिए हॉल्टिंग समस्या जटिलता सिद्धांत के "ब्लैक होल" घटना का प्रदर्शन करने वालों के बढ़ते संग्रह के बीच है, …

1
Isomorphism Conjecture के खिलाफ प्राकृतिक उम्मीदवार?
बर्मन और हार्टमैनिस के प्रसिद्ध आइसोमोर्फिज्म अनुमान कहते हैं कि सभी अपूर्ण भाषाएं एक-दूसरे के लिए बहुपद समय आइसोमोर्फिक (पी-आइसोमॉर्फिक) हैं। अनुमान का मुख्य महत्व यह है कि इसका अर्थ P ≠ N P है । यह 1977 में प्रकाशित हुआ था, और सहायक सबूतों का एक टुकड़ा यह था …

1
परीक्षण के लिए एक अच्छा पुस्तकालय है कि क्या नाबालिगों में एक ग्राफ मौजूद है?
मैं यह जानना चाहूंगा कि क्या परीक्षण के लिए कोई मुफ्त ग्राफ़ लाइब्रेरी हैं या नहीं, किसी दिए गए ग्राफ़ में नाबालिगों का एक विशिष्ट सेट मौजूद है या नहीं?

2
मैक्सिम-सैट के बहुपत्नी समय के ठोस उदाहरण
समस्या मैक्स-सत आपको एक CNF सूत्र के असाइनमेंट को खोजने के लिए कहती है जो यथासंभव अधिक क्लॉज को संतुष्ट करता है। सरल समस्या SAT के लिए कई ज्ञात विशेष मामले हैं जिन्हें बहुपद समय में हल किया जा सकता है, जैसे हम बहुपद में 2-SAT हल कर सकते हैं। …
18 sat  treewidth  max2sat 

2
न्यूनतम TSP दौरे की सह-एनपी-पूर्णता?
यह समस्या मेरे हालिया ब्लॉग पोस्ट से सामने आई , मान लीजिए कि आपको टीएसपी टूर दिया गया है, क्या यह निर्धारित करने के लिए सह-एनपी-पूर्ण है कि यह न्यूनतम है? अधिक सटीक निम्न समस्या एनपी-पूर्ण है: उदाहरण: सकारात्मक पूर्णांक और एक सरल चक्र C के साथ भारित किनारों के …

3
अप्रत्यक्ष ग्राफ़ में सरल पथों की संख्या की गिनती
मैं एक अप्रत्यक्ष ग्राफ़ के भीतर अद्वितीय सरल पथों की संख्या निर्धारित करने के बारे में कैसे जा सकता हूं? या तो एक निश्चित लंबाई के लिए, या स्वीकार्य लंबाई की एक सीमा के लिए। याद रखें कि एक सरल पथ बिना चक्रों वाला एक मार्ग है, इसलिए मैं बिना …

4
ग्राफ समरूपता से संबंधित खुली समस्याएं
वर्तमान में मैं ग्राफ आइसोमॉर्फिज्म (जीआई) समस्या पर साहित्य सर्वेक्षण कर रहा हूं। मैं निम्नलिखित से संबंधित कुछ खुले प्रश्न जानना चाहूंगा जीआई के निश्चित पैरामीटर ट्रैक्टबिलिटी के लिए ग्राफ पैरामीटर एक खुली समस्या है। जीआई के बहुपद समय की विलेयता ज्ञात करने से ग्राफ पैरामीटर क्या हैं, ज्ञात नहीं …

2
L_k-different के लिए सबसे छोटे NFA के आकार पर सीमाएं
भाषा पर विचार करें एल कश्मीर - d मैं रों टी मैं n ग टीLk−distinctL_{k-distinct} सभी से मिलकर कश्मीरkk -letter तार से अधिक ΣΣ\Sigma ऐसी है कि कोई दो पत्र के बराबर हैं: एल कश्मीर - d मैं रों टी मैं n ग टी : = { w = σ …

5
फास्ट ट्रेविद एल्गोरिदम
मैं एक ग्राफ के treewidth की गणना करना चाहूंगा । उदाहरण के लिए igraph में उपलब्ध कोड के साथ अन्य एनपी-हार्ड ग्राफ की समस्याओं के लिए वास्तव में अच्छे उप-लक्षण समरूपता के लिए VF2 जैसे हैं। मैंने उन्हें अपने ग्राफ़ पर आज़माया है और मुझे लगता है कि वे अपने …

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