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

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


2
अस्पष्ट ट्यूरिंग मशीन अनुकरण कम बाध्य
वहाँ एक सबूत है कि एक विचलित ट्यूरिंग मशीन पर ट्यूरिंग मशीन का अनुकरण ओ ( एम लॉगम )O(mlog⁡m)\mathcal{O}\left(m\log m\right) से कम में नहीं किया जा सकता है जहां mmm ट्यूरिंग मशीन के उपयोग की चरणों की संख्या है? या यह सिर्फ एक ऊपरी बाध्यता है? पॉल विटैनी के पेपर …

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

1
एल्गोरिथम वेक्टर समस्या
मुझे फ़ील्ड GF (2) में वैक्टर से संबंधित एक बीजगणितीय समस्या है। चलो be (0,1) आयाम n के डॉक्टर , और m = n O ( 1 ) । एक बहुपद समय एल्गोरिथ्म का पता लगाएं जो एक (0,1) -वेटर u को एक ही आयाम के ऐसे पाता है जैसे …

2
वैचारिक रूप से सरल रेखीय-समय प्रत्यय वृक्ष निर्माण
1973 में वेनर ने प्रत्यय वृक्षों का पहला रैखिक-समय निर्माण दिया। एल्गोरिथ्म को 1976 में मैकक्रेइट द्वारा और 1995 में उकोनेन द्वारा सरल बनाया गया था। फिर भी, मुझे लगता है कि उकोकोन के एल्गोरिथ्म में अपेक्षाकृत अवधारणा शामिल है। क्या 1995 के बाद से उकोकोन के एल्गोरिथ्म में सरलीकरण …

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

3
क्या पेड़ों पर एनपी-हार्ड की समय सीमा के तहत यह इष्टतम यात्रा समस्या है?
मेरे एक मित्र ने मुझसे पेड़ पर निम्नलिखित शेड्यूलिंग समस्या के बारे में पूछा। मुझे लगता है कि यह बहुत साफ और दिलचस्प है। क्या इसका कोई संदर्भ है? समस्या: एक पेड़ , प्रत्येक किनारे पर 1 की सममित यात्रा लागत है । प्रत्येक वर्टेक्स v i के लिए , …

1
कॉर्डल ग्राफ़ के विशिष्ट उपवर्गों में वर्चस्वकारी सेट समस्या की जटिलता
मुझे कुछ विशिष्ट ग्राफ कक्षाओं में वर्चस्व सेट समस्या (डीएसपी) की जटिलता में दिलचस्पी है जो कॉर्डल ग्राफ़ के उपवर्ग हैं । एक ग्राफ एक अप्रत्यक्ष पथ ग्राफ है यदि यह कुछ अप्रत्यक्ष वृक्षों में पथों के परिवार के शीर्ष-प्रतिच्छेदन ग्राफ है। बता दें कि यूपी अप्रत्यक्ष पथ ग्राफ का …

2
रैमसे नंबरों का अनुप्रयोग
रैमसे नंबरों की परिभाषा निम्नलिखित है: आज्ञा देना एक सकारात्मक संख्या है जैसे कि कम से कम आर ( ए , बी ) के क्रम के हर ग्राफ में एक कोने पर एक क्लिच या बी कोने पर एक स्थिर सेट होता है।आर ( ए , बी )R(a,b)R(a,b)आर ( ए …

1
क्या समानांतर पुनरावृत्ति प्रमेय का एक निरंतर संस्करण है
रेज़ का पैरेलल प्रीटिशन प्रमेय पीसीपी, इंप्रूवमेंट आदि में एक महत्वपूर्ण परिणाम है। प्रमेय को निम्न प्रकार से फॉमलाइज़ किया जाता है। एक खेल G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V) , जहां S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} परिमित सेट कर रहे हैं, ππ\pi पर एक वितरण है S×TS×T\mathcal{S}\times\mathcal{T} , और विधेय V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\} । खेल मूल्य को परिभाषित करेंv(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t))nnn …

6
कंप्यूटर विज्ञान में ग्रेजुएट स्कूल के लिए सलाह
मैं कुछ सलाह और प्रतिक्रिया के लिए देख रहा हूँ। पृष्ठभूमि: मैं सैद्धांतिक कंप्यूटर विज्ञान (कम्प्यूटेशनल जटिलता, ग्राफ सिद्धांत, संयोजन विज्ञान) में रुचि के साथ एक स्नातक गणित का छात्र हूं। मैं कंप्यूटर साइंस में पीएचडी करना चाहता हूं और सिद्धांत पर ध्यान केंद्रित करना चाहता हूं। मेरी पृष्ठभूमि कंप्यूटर …

4
आश्रित प्रकार के सिद्धांत में मॉडलिंग ऑब्जेक्ट्स (OOP)
मुझे ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग से, डिपेंडेंट टाइप थ्योरी में, मॉडलिंग ऑब्जेक्ट्स में दिलचस्पी है। एक संभावित आवेदन के रूप में, मैं एक मॉडल रखना चाहूंगा जहां मैं अनिवार्य प्रोग्रामिंग भाषाओं की विभिन्न विशेषताओं का वर्णन कर सकता हूं। मैं आश्रित प्रकार के सिद्धांत में मॉडलिंग ऑब्जेक्ट्स पर केवल एक पेपर …

1
SERF-reducibility और subexponential एल्गोरिदम
इम्प्लैग्लियाज़ो, पटुरी और ज़ेन के एसईआरएफ-रिड्यूसबिलिटी और सबफ़ेक्टोनियम एल्गोरिदम से संबंधित मेरा एक प्रश्न है। SERF-reducibility की परिभाषा निम्नलिखित देती है: यदि कम्मी-कम करने योग्य है और वहाँ हे (2 ^ {\ varepsilon n}) एल्गोरिथ्म के लिए p_2 के लिए प्रत्येक \ varepsilon> 0 , तब वहाँ है हे (2 …

1
लैम्ब्डा-कैलकुलस शब्द जो खुद को कम करते हैं
लैंबडा कैलकुलस सीखने की कोशिश करने की मेरी निरंतर खोज में, हिंडले और सेलेडिन की "लैम्ब्डा-कैलकुलस एंड कॉम्बिनेटर्स ए इंट्रोडक्शन" में निम्नलिखित पेपर (ब्रूस लेचर द्वारा) का उल्लेख किया गया है, जो यह साबित करता है कि एकमात्र reducible विकल्प जो स्वयं के लिए समान (मॉडुलो अल्फा रूपांतरण) है है: …


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