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

मैं एक ऐसी समस्या की तलाश कर रहा हूं, जो सामान्य रेखांकन में , लेकिन पेड़ की चौड़ाई के ग्राफ़ में में है, वास्तव में मुझे लगता है कि यह समस्याएँ में सामान्य डायनेमिक प्रोग्रामिंग का उपयोग करने की तुलना में कठिन हैं उन्हें हल करने के लिए बेहतर रेखांकन।Σपी2Σ2पी\mathsf{\Sigma^P_2}पीपी\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

यह देखते हुए कि ज्यादातर अमेरिकी विश्वविद्यालय केवल एक ही क्षेत्र में आवेदन स्वीकार करते हैं, मैं यह पता लगाने की कोशिश कर रहा हूं कि सीएस सिद्धांत कार्यक्रम के लिए आवेदन करने के क्या फायदे / नुकसान हैं? एक लागू गणित कार्यक्रम बनाम किसी के हित दोनों विभागों में …

16 soft-question  advice-request  career 

मैं शीर्षक प्रश्न का एक निश्चित उत्तर पाने के लिए देख रहा हूँ। क्या नियमों का एक सेट है जो किसी भी कार्यक्रम को अनंत टुकड़ों पर परिमित टुकड़ों के विन्यास में बदल देता है, जैसे कि यदि श्वेत और श्याम केवल कानूनी चालें चलते हैं, तो खेल रुक जाता …

16 computability  turing-machines  board-games  halting-problem  recreational 

पीटीआईएम, या कोएनपी-हार्ड में निम्नलिखित समस्या है: दो बूलियन अभिव्यक्तियों को देखते हुए और को चर में , बिना नकार के (अर्थात, भाव पूरी तरह से और माध्यम से बनाए गए हैं )। यह तय करें कि क्या , कि वे चर के सभी असाइनमेंट के लिए समान मान रखते …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

क्या ऐसे मामले हैं जहां अतिरिक्त प्रकाशन आपके रिकॉर्ड को नुकसान पहुंचा सकते हैं? यह उन स्पष्ट मामलों से बच रहा है जहां आप गलत या विवादास्पद परिणाम प्रकाशित करते हैं। परिमित समय के मामले से बचना: आपके पास सोचने और लिखने के लिए केवल इतना समय है, इसलिए एक …

16 soft-question  advice-request  career 

नहीं है सैद्धांतिक सबूत है कि DFAs के चौराहे के लिए अनुभवहीन कार्तीय उत्पाद निर्माण है "सबसे अच्छा हम कर सकते हैं"। दो डीएफए के संघटन के बारे में क्या? तुच्छ निर्माण में प्रत्येक डीएफए को एनएफए में परिवर्तित करना, एप्सिलॉन-संक्रमण जोड़ना और परिणामी एनएफए को निर्धारित करना शामिल है। …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

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

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

निम्नलिखित पांडुलिपि publically उपलब्ध है? डाना स्कॉट, 1969, उच्च प्रकार के कम्प्यूटेशनल कार्यों का एक सिद्धांत । अप्रकाशित संगोष्ठी नोट्स, 7 पृष्ठ, ऑक्सफोर्ड विश्वविद्यालय। इस पत्र की चर्चा 8.1.2 खंड में , कार्डोन और हिंडले में, 2006 के प्रकार , लैंबडा -कैलकुलस और कॉम्बिनेटर लॉजिक के इतिहास में की गई …

16 reference-request  lo.logic  type-theory  domain-theory 

पृष्ठभूमि एक द्विआधारी निर्णय वृक्ष टीटीT एक जड़ें पेड़ जहां प्रत्येक आंतरिक नोड (और रूट) एक सूचकांक द्वारा लेबल है j ∈ { 1 , । । । , एन }जे∈{1,।।।,n}j \in \{1,..., n\} ऐसा है कि रूट से लीफ तक कोई भी पथ एक इंडेक्स को दोहराता नहीं है, …

16 ds.algorithms  query-complexity  decision-trees 

एक निर्देशित ग्राफ लें जहां किनारों को प्राकृतिक संख्या से सजाया गया है। हम चाहते हैं कि सभी रास्तों का सेट दो दो और बीच ऐसा हो कि मार्ग में प्रत्येक क्रमिक किनारे को एक प्राकृतिक संख्या से सजाया जाए जो पिछले किनारे को सजाने वाली प्राकृतिक संख्या से अधिक …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

मैं सोच रहा था कि क्या एक औपचारिक व्याकरण के रूप में Collatz अनुमान की जांच करने के प्रयासों की एक अच्छी ग्रंथ सूची है ? (या जेनेटिक घटना और उनके "पड़ाव" गुणों के इस वर्ग से निपटने के लिए सीएस समुदाय में कोई अन्य प्रयास)।

16 fl.formal-languages  nt.number-theory  halting-problem 

हम अक्सर एक वस्तु _ को परिभाषित करना चाहते हैं कुछ अनुमान नियमों के अनुसार। वे नियम उत्पन्न करने वाले फ़ंक्शन F को दर्शाते हैं, जो कि एकरस होने पर, एक न्यूनतम निश्चित बिंदु μ F उत्पन्न करता है। हम ले एक : = μ एफ की "आगमनात्मक परिभाषा" होने …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq 

कंप्यूटर विज्ञान के बारे में आश्चर्यजनक चीजों में से एक यह है कि भौतिक कार्यान्वयन कुछ अर्थों में "अप्रासंगिक" है। लोगों ने कई अलग-अलग सब्सट्रेट्स - रिले, वैक्यूम ट्यूब, असतत ट्रांजिस्टर आदि से कंप्यूटर का सफलतापूर्वक निर्माण किया है। लोग जल्द ही ट्यूरिंग-पूर्ण कंप्यूटर को गैर-रेखीय ऑप्टिकल सामग्री, विभिन्न बायोमोलेक्यूल्स …

16 computability  turing-machines  terminology  physics  natural-computing 

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

16 pl.programming-languages  semantics 

यह सर्वविदित है कि क्लाज के साथ वैरिएबल पर यादृच्छिक -CNF फॉर्मूले पर्याप्त रूप से बड़े निरंतर लिए उच्च संभावना के साथ असंतोषजनक हैं (यानी वे विरोधाभास हैं) । इस प्रकार, यादृच्छिक सीएनएफ फ़ार्मुलों ( लिए पर्याप्त रूप से) असंतोषजनक बूलियन फ़ार्मुलों पर एक प्राकृतिक वितरण का गठन होता है …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat