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

आज्ञा देना एक स्थिर स्थिरांक है। पूर्णांक को देखते हुए , हम एक क्रमपरिवर्तन का निर्माण करना चाहते हैं :एन σ ∈ एस एनk>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n निर्माण निरंतर समय और स्थान का उपयोग करता है (यानी प्रीप्रोसेसिंग में निरंतर समय और स्थान लगता है)। हम यादृच्छिककरण का उपयोग कर सकते …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

प्र । आयाम d में हाइपरप्लेनकी व्यवस्था में सबसे बड़ी मात्रा में बंधे सेल को खोजने की जटिलता क्या है ?nnnघdd मुझे लगता है कि मुझे यह पता होना चाहिए ... लेकिन मुझे एक निश्चित संदर्भ नहीं मिल रहा है। यह है ? कैसे के बारे में डी = 2 …

10 computational-geometry  high-dimensional-geometry  arrangements 

पृथक्करण समस्या के रूप में जानी जाने वाली औपचारिक भाषाओं में एक खुली समस्या है; जिसे संक्षेप में लंबाई दो अलग-अलग तारों के रूप में कहा गया है, उन्हें अलग करने के लिए DFA की कितनी बड़ी आवश्यकता है, मतलब एक स्ट्रिंग को स्वीकार करें लेकिन दूसरे को अस्वीकार करें।nnn …

10 fl.formal-languages  automata-theory 

शायद हास्केल में प्रदर्शन की समस्याओं का मुख्य स्रोत तब होता है जब कोई कार्यक्रम अनजाने में गहराई का एक हिस्सा बनाता है - यह मूल्यांकन करते समय मेमोरी रिसाव और संभावित स्टैक ओवरफ्लो दोनों का कारण बनता है। क्लासिक उदाहरण sum = foldr (+) 0हास्केल में परिभाषित किया गया …

10 type-theory  functional-programming  program-verification 

समस्याएं, एक समग्र रूप से वर्गीकृत की गई हैं, कम्प्यूटेशनल जटिलता के लिए धन्यवाद। लेकिन, अंतर समीकरणों में, क्या उनके कम्प्यूटेशनल संरचना के आधार पर अंतर समीकरणों को वर्गीकृत करना संभव है? उदाहरण के लिए, यदि पहले क्रम के गैर-सजातीय समीकरण को 100 वें क्रम के सजातीय समीकरण के मुकाबले …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

एनपी-पूर्णता ( वजन प्रश्न और निर्देशित प्रश्न देखें ) के संबंध में समकक्ष प्रश्नों के बाद , मैं सोच रहा था कि इन विशेषताओं के साथ पैरामीटरकृत समस्याएं कैसे प्रभावित होती हैं। कौन सा -हार्ड ग्राफ समस्याएं हैं डब्ल्यू [ 1 ] निर्देशित रेखांकन पर हार्ड, लेकिन अनिर्दिष्ट रेखांकन पर …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

यह एक सर्वविदित तथ्य है कि मार्टिन-लोफ प्रकार के सिद्धांत में एक असमानता (उदाहरण के लिए, ) से विरोधाभास प्राप्त करना एक ब्रह्मांड की आवश्यकता है।(0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot प्रमाण भी काफी सीधा है - ब्रह्मांड की अनुपस्थिति में, हम किसी भी आश्रित प्रकार से आश्रितों …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

ग्राफ आइसोमॉर्फिज्म समस्या सबसे लंबे समय तक चलने वाली समस्याओं में से एक है जिसने या एन पी- अपूर्ण समस्याओं में वर्गीकरण का विरोध किया । हमारे पास सबूत हैं कि यह N P -complete नहीं हो सकता है । जब तक बहुपद पदानुक्रम [1] दूसरे स्तर तक ढह नहीं …

10 cc.complexity-theory  graph-isomorphism 

सबूत जटिलता कम्प्यूटेशनल जटिलता सिद्धांत का एक सबसे बुनियादी क्षेत्र है। इस क्षेत्र का एक अंतिम उद्देश्य को साबित करने के है , यह है कि, किसी भी prover नहीं दिए गए इनपुट सूत्र के unsatisfiability का एक सबूत दे सकते हैं। NP≠coNPNP≠coNPNP\neq coNP एक ग्राफ सबूत के औपचारिक मॉडल …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

हार्टमैनिस और स्टर्न्स द्वारा 1965 के लेख " एल्गोरिदम की कम्प्यूटेशनल जटिलता पर " में, लेखक अनुमान लगाते हैं कि यदि वास्तविक समय ट्यूरिंग मशीन वास्तविक संख्या गणना करती है, उदाहरण के लिए, आधार 10, तो r या तो एक परिमेय संख्या है या a पारलौकिक संख्या।आरrrआरrr क्या एक कम्प्यूटेशनल …

10 cc.complexity-theory  reference-request  examples 

समान रूप से, क्या संभाव्य उच्चतर-क्रम कार्यात्मक प्रोग्रामिंग भाषाओं के लिए एक ज्ञात संप्रदाय शब्दार्थ है? विशेष रूप से, वहाँ शुद्ध अनिर्दिष्ट -culculus का एक डोमेन मॉडल है जो एक सममित यादृच्छिक बाइनरी पसंद ऑपरेशन द्वारा विस्तारित है।λλ\lambda प्रेरणा कार्तीय बंद श्रेणियां उच्च-क्रम -culculi को एक शब्दार्थ प्रदान करती हैं। …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

विशेष रूप से मैं क्या इसके मतलब है, हम परिभाषित वर्णमाला होने के लिए { 0 , 1 , 2 , । । । , मैं } । यह देखते हुए नियमित भाषाओं एक और बी कुछ वर्णमाला के तहत Σ मैं , पर नज़र एक × बी ।ΣमैंΣi\Sigma_i{ 0 …

10 automata-theory 

बुच्ची-ऑटोमेटा (या मुलर-ऑटोमेटा) को कम करने के लिए मानक दृष्टिकोण क्या है? परिमित शब्दों से सामान्य तकनीक को स्थानांतरित करना, अर्थात दो राज्यों को समान होना यदि राज्य स्वीकार किए गए "रनिंग आउट" शब्द समान हैं, तो काम नहीं करेगा। उदाहरण के लिए, बुची-ऑटोमोटन सभी शब्दों को स्वीकार करने के …

10 fl.formal-languages  automata-theory 

पृष्ठभूमि: लेनदेन प्रसंस्करण डेटाबेस सिद्धांत में एक पारंपरिक शोध विषय रहा है। आजकल वितरित लेनदेन को बड़े पैमाने पर वितरित भंडारण प्रणालियों द्वारा लोकप्रिय किया जाता है जिसमें आम तौर पर डेटा विभाजन (जिसे शार्डिंग भी कहा जाता है) और डेटा प्रतिकृति शामिल होता है । वितरित लेनदेन में प्रमुख …

10 reference-request  big-list  dc.distributed-comp  db.databases 

बाबई और Seress साबित कर दिया है कि एक उपसमूह दी और एक पैदा सेट एस के जी , में किसी भी परिवर्तन जी जनरेटर का एक उत्पाद है और लंबाई के अपने प्रतिलोम के रूप में लिखा जा सकता है ई ( 1 + ओ ( 1 ) ) …

10 gr.group-theory